sinan @_osa1

Joined January 2011

Tweets

71
Followers

857
Following

277
Likes

2K

No recent Tweets. New Tweets will appear here.

Matt Parsons @mattoflambda

5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!

researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷

joomy @joomy

2K Followers 955 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷

0ch4rl3s.nfo @acid2

4K Followers 1K Following Also @[email protected]

Emre Sevinç @EmreSevinc

João Forte Carvalho ... @bgamari

2K Followers 319 Following Director of Product @Constellation Network

Platform Dev @StackOverflow. Loves 🦀 #rustlang. Previously @TrueLayer @Redgate @hepsiburada. Opinions my own. Mastodon @onatm@hachyderm.io Tweets in En/TR

Onat Yiğit Mercan @onatm

4K Followers 702 Following Platform Dev @StackOverflow. Loves 🦀 #rustlang. Previously @TrueLayer @Redgate @hepsiburada. Opinions my own. Mastodon @[email protected] Tweets in En/TR

Matti Palli 🧙‍�... @tritlo

3K Followers 2K Following uncertified haskell engineer | certified researcher

Well-Typed @welltyped

6K Followers 256 Following The Haskell Consultants

Meaqim @Meaqim9496

73 Followers 2K Following

Mother of orphans @bbnn110414

4 Followers 80 Following

ZENITH @ALIVE830

0 Followers 2K Following

Faez Shakil @f_aezs

242 Followers 849 Following The Law is a topos.

Here we go @AvimanyuRoy3

670 Followers 3K Following

CS student. Studying logic and programming languages. Mastodon: @tomstructured@mathstodon.xyz

Tom @tomstructured

24 Followers 511 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]

Boby Tanev @btanev

392 Followers 2K Following 0xCAFEBABE

Alistair O'Brien @ajob41

1 Followers 14 Following

flexbox @gridlayoutcss

28 Followers 514 Following Frontend developer Looking for Job opportunities.

reakour @yhstor

25 Followers 1K Following 不会不学不练

test domain @User2Micro

719 Followers 4K Following

Roman Preis @roman_preis

1 Followers 42 Following

C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!

모리츠 ✨ @4ngerman

3K Followers 2K Following C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!

EmmanuelOga @EmmanuelOga

760 Followers 4K Following Software Engineer - Ex Google - Ex YouTube Visit https://t.co/24MRgCEiVo! https://t.co/rsRYNk6wSr

aeesz4 @aepau2

74 Followers 472 Following

Vitaly Bragilevsky @VBragilevsky

4K Followers 406 Following Developer Advocate at @JetBrains (@rustrover, @JetBrains_Fleet). Author of Haskell in Depth https://t.co/gLENKWVA9E…

Zohaib @Zohaib22732

10 Followers 448 Following

ab44 @ab44istaken

42 Followers 2K Following Bio

Rajveer Singh Bharadw... @Rajveer_1000

296 Followers 1K Following ⏳ 23 ⌛️ Compilers 🛠️ • Graphics / Games 🖥️ • Open Source 😸 •  Swift • 🐉 LLVM • MLIR • 🦀 Rust •  iOS • Algorithms • ⚡️Performance • Fitness Freak 🏃

Diablo @zxhfirefox

118 Followers 4K Following Engineer @duolingo, opinions are mine own.

Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang.

JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.

Aram Hăvărneanu @aramh

3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.

Jihad Naji @JihadNaji

218 Followers 889 Following Techie | Software Developer | Eternal student

GDE for Flutter & Dart
Organizing the @FlutterNFriends conference 🥳
Building #FlameEngine, a game engine for Flutter 🔥
Member of @BlueFireOSS 💙

Lukas Klingsbo 💙�... @spydon

4K Followers 446 Following GDE for Flutter & Dart Organizing the @FlutterNFriends conference 🥳 Building #FlameEngine, a game engine for Flutter 🔥 Member of @BlueFireOSS 💙

Ozgur Ersoz @ersozoz

26 Followers 708 Following

of eleusis initiative @eleusis_init

185 Followers 2K Following

Richard V (e/relay) @blitz2145

41 Followers 1K Following

C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance

Matt @matt_dz

5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance

kirraObj @typedfurry

2K Followers 2K Following Coding (Mainly Kotlin & Java) / Undergrad.

Al Skipp @al_skipp

630 Followers 487 Following Software ramblings, functional programming, Swift, Haskell…

Salajan Silviu @salanoid

51 Followers 344 Following I just like to write code 👉👈

Polyglot developer, but C# is my first love. Senior Developer at @GitLab. Ex-@ThoughtWorks. Organizer of @dotnetunboxed. Maintainer of @casperbuild.

David Nelson @variableirony

237 Followers 238 Following Polyglot developer, but C# is my first love. Senior Developer at @GitLab. Ex-@ThoughtWorks. Organizer of @dotnetunboxed. Maintainer of @casperbuild.

ALBIV⚡ @valdra76

2K Followers 7K Following ALII NESCIO QUO PACTO OBDURUERUNT

kkyasch @chezchenxi

271 Followers 2K Following '(Chinese programmer (programming languages))

farsi_rumi @farsi_rumi

0 Followers 2K Following

fabiohhto 🎲 @0xfabiosje

1K Followers 6K Following

Rico @rico_1900

121 Followers 324 Following

herman permafrost @thistlesticks66

49 Followers 3K Following rates vol quant @ split-ticketing dot com

Renzo @renzocarbonara

2K Followers 2K Following Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.

Johannes Riecken @rubystallion

6 Followers 81 Following

Alecs P. Hacker @KleeneAlgebra

165 Followers 193 Following stuff that computes.

Idriss Riouak @riouakidriss

33 Followers 79 Following

Rommel Quintanilla @rommelqc

178 Followers 2K Following

Cagatay Ulusoy @ulusoyapps

5K Followers 1K Following Google Developer Expert for Flutter and Dart

milvi @milvi9099

42 Followers 607 Following translating math dialects into Haskell dialects.

Moshe Schorr @MosheSchorr

223 Followers 563 Following Software Engineer at Google TLV. Probably raising hell in a Courtyard by Marriott somewhere.

DevRel Lead @withgraphite

Views expressed here are not my own and are explicitly representative of *current employer*.

All tweets legally binding.

Kenneth DuMez @k_dumez

109 Followers 77 Following DevRel Lead @withgraphite Views expressed here are not my own and are explicitly representative of *current employer*. All tweets legally binding.

Building AI infrastructure. Previously @brexHQ and @pagarmestatus. Tweets may be in pt_BR or en_US. Every day we stray closer to our AGI overlords. e/acc

Jonathan Lima - compl... @greenboxal

931 Followers 649 Following Building AI infrastructure. Previously @brexHQ and @pagarmestatus. Tweets may be in pt_BR or en_US. Every day we stray closer to our AGI overlords. e/acc

alpharush @0xalpharush

9K Followers 1K Following security researcher @asymmetric_re

Rozzai @_rozzai

70 Followers 1K Following hazardous® materials™ engineer (happy to DM)

Nobody @2BJohnGalt

5 Followers 3K Following

Inactive; Bluesky is ... @hillelogram

18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

Shriram Krishnamurthi... @ShriramKMurthi

21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

András Kovács @andrasKovacs6

905 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM

Bob Nystrom @munificentbob

28K Followers 2K Following https://t.co/pgWITiHpDF, https://t.co/NSvQZjv923

John Carmack @ID_AA_Carmack

1.1M Followers 274 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace

I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.

Luc Tielen @luctielen

1K Followers 121 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.

0ch4rl3s.nfo @acid2

4K Followers 1K Following Also @[email protected]

João Forte Carvalho ... @bgamari

2K Followers 319 Following Director of Product @Constellation Network

Andreas Kling @awesomekling

53K Followers 1K Following building @ladybirdbrowser. recovering addict. husband of @katalinkult. uncle. gymnasium brother.

Socialist, antifascist, writer in various places, geriatric millennial, GQ's 9th Worst Dressed Man in 2016. He/him. YouTube channel https://t.co/KOwFSPHf2t 🍉

Owen Jones @owenjonesjourno

1.1M Followers 6K Following Socialist, antifascist, writer in various places, geriatric millennial, GQ's 9th Worst Dressed Man in 2016. He/him. YouTube channel https://t.co/KOwFSPHf2t 🍉

Not Krime @NotKrime_1

5K Followers 156 Following Seditious Traitor - He/Him

Vitaly Bragilevsky @VBragilevsky

4K Followers 406 Following Developer Advocate at @JetBrains (@rustrover, @JetBrains_Fleet). Author of Haskell in Depth https://t.co/gLENKWVA9E…

Ayaz Hafiz @ayaz_hafiz_

104 Followers 53 Following

Filip Jerzy Pizło @filpizlo

5K Followers 973 Following PL/VM/compilers @ Epic Games

Matt @matt_dz

5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance

Creator of @elixirlang. Chief Adoption Officer at @dashbit, where we build https://t.co/FK8F4URbVG and https://t.co/xncEVrvWml.

José Valim @josevalim

53K Followers 72 Following Creator of @elixirlang. Chief Adoption Officer at @dashbit, where we build https://t.co/FK8F4URbVG and https://t.co/xncEVrvWml.

Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

Ilya Sergey @ilyasergey

6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

Magnus Madsen @MagnusMadsenDK

295 Followers 201 Following Associate Professor. Lead developer of Flix.

Bread, beans, programming languages; fmr Chief Potato; he/him; cover photo credit xkcd

proud owner of https://t.co/kUeNYzHHut

https://t.co/q3ainEJ9sW

max.rss @tekknolagi

2K Followers 900 Following Bread, beans, programming languages; fmr Chief Potato; he/him; cover photo credit xkcd proud owner of https://t.co/kUeNYzHHut https://t.co/q3ainEJ9sW

Christopher Fujino @chrisfujino

353 Followers 610 Following Senior Vimscript Engineer

Associate Professor (Reader) at Edinburgh,
Former PhD Student at EPFL and Lecturer at Oxford,
Interested in Databases, Programming Languages, and Compilers

Amir Shaikhha @ashaikhha

496 Followers 332 Following Associate Professor (Reader) at Edinburgh, Former PhD Student at EPFL and Lecturer at Oxford, Interested in Databases, Programming Languages, and Compilers

Hossein Yousefi 💙 @YousefiDash

402 Followers 329 Following Software Engineer on @dart_lang Native Interop team at @Google 💙🩵

Matt Ferraro @mferraro89

2K Followers 304 Following Aerospace Engineer! Formerly @NASA, @planet, @useyardstick, now building browser-based FEA. DMs open!

Richard Feldman @rtfeldman

16K Followers 668 Following Let’s go with the ambitious approach.

Roc @roc_lang

3K Followers 0 Following The Roc Programming language

🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.

Matteo Capucci @mattecapu

6K Followers 823 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.

Edward Z. Yang @ezyang

14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.

He/him. Engineer @Google, Stuff @FlutterDev.

I have notifications disabled and may be slow to respond.

https://t.co/kmqe5tf8OK

matan is 💙 @MatanLurey

2K Followers 478 Following He/him. Engineer @Google, Stuff @FlutterDev. I have notifications disabled and may be slow to respond. https://t.co/kmqe5tf8OK

Quentin / BastardKB @bstkbd

748 Followers 70 Following Keyboard creator // https://t.co/KuTzW7vqGZ

Paul Biggar 🇵🇸�... @paulbiggar

33K Followers 326 Following Founder @tech4palestine, @darklang, @circleci (he/him)

Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.social

Miguel de Icaza ᯅ�... @migueldeicaza

97K Followers 5K Following Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.social

Paul Graham @paulg

2.1M Followers 779 Following

A next-generation code editor that enables high-performance collaboration with AI and your team. https://t.co/4Ua0UqLrsv

Zed @zeddotdev

57K Followers 46 Following A next-generation code editor that enables high-performance collaboration with AI and your team. https://t.co/4Ua0UqLrsv

Physicist turned software dev turned eng mgr. Current: Leading Ruby Infrastructure team at @ShopifyEng & Board Member @rubycentralorg

Ufuk Kayserilioglu @paracycle

2K Followers 784 Following Physicist turned software dev turned eng mgr. Current: Leading Ruby Infrastructure team at @ShopifyEng & Board Member @rubycentralorg

MoErgo Keyboards @moergo_keeb

606 Followers 72 Following Home of Glove80 Split Concave Keywell Ergonomic Keyboard, MCC & MBK Convex keycaps.

Norman Finkelstein @normfinkelstein

472K Followers 92 Following Official Twitter account for Norman G. Finkelstein https://t.co/RPKMXeCp9z

Associate Professor, @IULuddy ·
Core Developer, @racketlang ·
Member, @TC39 ·
Handler, @NaptownUltimate ·
@samth@types.pl

Sam Tobin-Hochstadt @samth

4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]

FUNARCH @ACMFUNARCH

106 Followers 18 Following ACM SIGPLAN Workshop on Functional Architecture

Worked on formal verification, static analysis, c++ compiler optimizations and code generation, security. Currently working on dart web compilers at Google.

Anna Gringauze @AnnaGringauze

135 Followers 147 Following Worked on formal verification, static analysis, c++ compiler optimizations and code generation, security. Currently working on dart web compilers at Google.

Leaf Petersen @LeafPetersen

958 Followers 161 Following Leading the Dart language team @google. Trying to make @dart_lang and @flutterdev faster, better, and more fun to use.

Moritz Sümmermann @mosum_g

46 Followers 47 Following Working on @dart_lang at @google.

Haskeller working on @fbinfer @ Meta; Galois Co-Founder; Ex-Head of SCB Strats; Husband; Dad; vintage geek. Views my own. He/him. #BlackLivesMatter

Morabijn @morabbin

804 Followers 736 Following Haskeller working on @fbinfer @ Meta; Galois Co-Founder; Ex-Head of SCB Strats; Husband; Dad; vintage geek. Views my own. He/him. #BlackLivesMatter

Varun / 王潤 / げ�... @typesanitizer

1K Followers 494 Following I am once again asking you to expect more from the tools you use every day. OK: English, हिंदी, ગુજરાતી. Learning: 日本語, 中文. Avatar by @evatrice. He/Him.

building @zeddotdev. biking around town, hanging with @alissasobo and our 2 kids, and playing some chords on keys and guitar

Max Brunsfeld @maxbrunsfeld

1K Followers 169 Following building @zeddotdev. biking around town, hanging with @alissasobo and our 2 kids, and playing some chords on keys and guitar

Remy Goldschmidt @taktoa1

866 Followers 518 Following Chip compiler engineer at @MatXComputing. https://t.co/iDLqRHwKvl https://t.co/PHcIJReCEj https://t.co/7E7yOtVEZe

Anders Møller @amoellercsaudk

521 Followers 222 Following Co-founder @ Coana | Professor at Aarhus University ⇒ https://t.co/DKgUDms7HT

SifuGame @SifuGame

51K Followers 38 Following By @Sloclap Available on Epic Games, Steam, PlayStation, Xbox, and Nintendo Switch!

git pull union @git_pull_union

2K Followers 35 Following Hubbers working to make a better future for all workers at GitHub.

Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage.

Google Research Scientist, ANU Professor.

https://t.co/zPlLF6sKVX

Steve Blackburn (@ste... @stevemblackburn

2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX

Michael Thomsen @MiSvTh

7K Followers 86 Following Product Manager, Google, https://t.co/XchdcIOGDA, https://t.co/R25JTqt1dR

Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV

Wilfred Hughes @_wilfredh

3K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV