sinan @_osa1

Joined January 2011

Tweets

69
Followers

838
Following

270
Likes

2K

No recent Tweets. New Tweets will appear here.

Matt Parsons @mattoflambda

5K Followers 597 Following Haskell jock. 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

4K Followers 974 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

Ben Gamari @bgamari

2K Followers 313 Following I no longer use X. Find me on Mastodon or Bluesky.

Platform Eng @StackOverflow. Previously @TrueLayer @Redgate @hepsiburada. Building https://t.co/gMsz2Szbbj. Opinions my own. Tweets in En/TR

Onat Yiğit Mercan @onatm

4K Followers 670 Following Platform Eng @StackOverflow. Previously @TrueLayer @Redgate @hepsiburada. Building https://t.co/gMsz2Szbbj. Opinions my own. Tweets in En/TR

Matti Palli 🧙‍�... @tritlo

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

Well-Typed @welltyped

7K Followers 254 Following The Haskell Consultants

MD SHOHIDUL ISLAM @MdShohidul66006

12 Followers 497 Following Language translator and Microsoft office application specialized.

I quit cross-platform. Native iOS / Android saved my sanity. Write about how bad React Native / Flutter are and how to make apps better

Aether Quinque @aether_quinque

68 Followers 808 Following I quit cross-platform. Native iOS / Android saved my sanity. Write about how bad React Native / Flutter are and how to make apps better

kopan7 🇨🇦 💙 @koiralapankaj7

74 Followers 405 Following Software Engineer(@FlutterDev) at @cmicsoftware

luis @luisround

117 Followers 4K Following

DwarDoggo @DoggoDwar

1K Followers 3K Following #WAX $WAXP and Doggos. I Follow Back. DM for Free Giveaway Collabs !!

dany.codes @kod3000

377 Followers 1K Following just a philomath junkie. I ship software as my pastime.. otro bori mas en la luna w/hiphop ears. 🌚🇵🇷

Markus Metsäranta @markusmetsa

105 Followers 501 Following Coder of codes

mln4574 @mln4574

32 Followers 347 Following

Mahan @MahanRahmati1

21 Followers 374 Following The dark side of the kernel is a pathway to many abilities some consider to be unnatural.

Rahmi @RahmiTufanoglu

53 Followers 220 Following Programming 👨🏻‍💻 & Music 🎹 & 💪

Meaqim @Meaqim9496

67 Followers 1K Following

Mother of orphans @bbnn110414

2 Followers 81 Following

ZENITH @ALIVE830

0 Followers 4K Following

Faez Shakil @f_aezs

286 Followers 938 Following The Law is a topos.

何 @AvimanyuRoy3

743 Followers 6K Following

Boby Tanev @btanev

382 Followers 2K Following 0xCAFEBABE

Alistair O'Brien @ajob41

1 Followers 13 Following

reakour @yhstor

23 Followers 1K Following 不会不学不练

test domain @User2Micro

704 Followers 5K Following

Roman Preis @roman_preis

1 Followers 42 Following

moritz ✨ @angerman

2K Followers 2K Following 🏠 Stay-at-home dad wrangling kids & LLMs 🤖 AI maxi | FP degen | Cumlang CEO (it’s a joke) Opinions hotter than my coffee. NFA ever.

EmmanuelOga @EmmanuelOga

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

aeesz4 @aepau2

80 Followers 569 Following

Vitaly Bragilevsky @VBragilevsky

4K Followers 424 Following Head of Rust Ecosystem at @JetBrains/@rustrover. Author of Haskell in Depth https://t.co/gLENKWVA9E…

Zohaib @Zohaib22732

9 Followers 475 Following

ab44 @ab44istaken

32 Followers 3K Following Bio

Rajveer Singh Bharadw... @Rajveer_1000

247 Followers 1K Following ⏳ 24 ⌛️ Compilers 🛠️ • 🎮 GameDev / Unreal / Bevy 🖥️ • Security 🚨• Open Source 😸 •  Swift • 🐉 LLVM • 🦀 Rust •  macOS •⚡️Performance • Fitness 🏃

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

5K Followers 2K 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

216 Followers 1K Following Techie | Software Developer | Eternal student

Responsible for the Flutter SDK @Supabase |
GDE for Flutter |
Organizing @FlutterNFriends conference 🥳 |
Building #FlameEngine, a game engine for Flutter 🔥

Lukas Klingsbo 💙�... @spydon

5K Followers 448 Following Responsible for the Flutter SDK @Supabase | GDE for Flutter | Organizing @FlutterNFriends conference 🥳 | Building #FlameEngine, a game engine for Flutter 🔥

Ozgur Ersoz @ersozoz

28 Followers 776 Following

poincarx @poincarx

228 Followers 4K Following - weird

Richard V (e/relay) @blitz2145

31 Followers 1K Following

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

Matt @matt_dz

6K 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

623 Followers 483 Following Software ramblings, functional programming, Swift, Haskell…

Salajan Silviu @salanoid

44 Followers 378 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

238 Followers 232 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 Non voglio contribuire al rumore di fondo.

farsi_rumi @farsi_rumi

0 Followers 2K Following

/fabio/ S. 🎲 @0xfabiosje

1K Followers 7K Following hiperinsulinêmico

Rico @rico_1900

96 Followers 346 Following

herman permafrost @thistlesticks66

31 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.

Johannes Riecken @rubystallion

2 Followers 91 Following

Alecs, B.P.Ed. @KleeneAlgebra

237 Followers 238 Following Currently working on trying to get a PhD somehow

Idriss Riouak @riouakidriss

32 Followers 77 Following

Rommel Quintanilla @rommelqc

163 Followers 2K Following

Cagatay Ulusoy @ulusoyapps

6K Followers 1K Following Google Developer Expert for Flutter and Dart, Creator of Finnish it App, KMP/CMP daytime, Flutter at night

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

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

András Kovács @andrasKovacs6

909 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

2.3M Followers 286 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 124 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]

Ben Gamari @bgamari

2K Followers 313 Following I no longer use X. Find me on Mastodon or Bluesky.

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 151 Following Seditious Traitor - He/Him

Vitaly Bragilevsky @VBragilevsky

4K Followers 424 Following Head of Rust Ecosystem at @JetBrains/@rustrover. Author of Haskell in Depth https://t.co/gLENKWVA9E…

Ayaz Hafiz @ayaz_hafiz_

109 Followers 61 Following

Matt @matt_dz

6K 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

55K Followers 93 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. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.

Ilya Sergey @ilyasergey

8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.

Magnus Madsen @MagnusMadsenDK

302 Followers 207 Following Associate Professor. Lead developer of Flix.

max.rss @tekknolagi

2K Followers 909 Following fmr Chief Potato; he/him gone here. find me on: https://t.co/q3ainEJ9sW https://t.co/ui3S5mSXEd

Christopher Fujino @chrisfujino

354 Followers 601 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

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

Matt Ferraro @mferraro89

3K Followers 372 Following Aerospace Engineer building browser-based CAD, CAM, and FEA software. Formerly @NASA, @planet, @MIT

Richard Feldman @rtfeldman

17K Followers 675 Following Let’s go with the ambitious approach.

Roc @roc_lang

3K Followers 4 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 811 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.

Matan Lurey @MatanLurey

2K Followers 498 Following He/him. Engineer @Vast

Quentin / BastardKB @bstkbd

733 Followers 69 Following Keyboard creator // https://t.co/KuTzW7vqGZ

Paul Biggar 🇵🇸�... @paulbiggar

34K Followers 323 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

99K 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

3.4M Followers 791 Following

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

Zed @zeddotdev

79K Followers 78 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 and back to dev. Current: Senior Staff Engineer on the Ruby and Rails Infrastructure team at @ShopifyEng

Ufuk Kayserilioglu @paracycle

2K Followers 782 Following Physicist turned software dev turned eng mgr and back to dev. Current: Senior Staff Engineer on the Ruby and Rails Infrastructure team at @ShopifyEng

MoErgo Keyboards @moergo_keeb

725 Followers 77 Following Home of Glove80 and Go60 ergonomic keyboards, and various weird switches and keycaps.

Norman Finkelstein @normfinkelstein

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

FUNARCH @ACMFUNARCH

110 Followers 17 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

130 Followers 145 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

942 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

54 Followers 56 Following Working on @dart_lang at @google.

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

Morabbin @morabbin

795 Followers 721 Following Haskeller @ GitHub; ex-Meta; Ex-Head of SCB Strats; Galois Co-Founder; Husband; Dad; vintage geek. Views my own. He/him. #BlackLivesMatter

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

1K Followers 487 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.

Max Brunsfeld @maxbrunsfeld

1K Followers 174 Following @zeddotdev co-founder. Tree-sitter creator. @alissasobo’s husband. Dad of 2. Musician. Boulderer.

Remy Goldschmidt @taktoa1

890 Followers 538 Following Chip architect at @MatXComputing. https://t.co/PHcIJReCEj https://t.co/7E7yOtVEZe

Anders Møller @amoellercsaudk

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

SifuGame @SifuGame

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

git pull union @git_pull_union

2K Followers 33 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 892 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 94 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

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

Martin Kustermann @mkomoku

38 Followers 383 Following

Lukas Diekmann @lukasdiekmann

72 Followers 60 Following Researching compilers and JITs.

Shiva @shivakilaru

3K Followers 650 Following Director, actor, idiot @krazamtv

Rebase Conf @rebase_conf

230 Followers 18 Following An unusual non-profit conference connecting industry and academia.

KRAZAM @krazamtv

7K Followers 2 Following @ShivaKilaru @bb_fresh PARADISE co-created with @yayalexisgay out now on YouTube

Dart Language @dart_lang

88K Followers 48 Following An approachable, portable, and productive language for high-quality apps on any platform

working on @unisonweb

Mastodon: @pchiusano@universeodon.com

@pchiusano@universeod... @pchiusano

6K Followers 124 Following working on @unisonweb Mastodon: @[email protected]

Maoni Stephens @maoni0

8K Followers 179 Following loves working on dotnet GC and other perf stuff; avid zoo-goer; wannabe hiphop dancer. old blog https://t.co/FIoh6vkZpn

💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.

Maxime Chevalier @Love2Code

19K Followers 299 Following 💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.

still trying to do everything everywhere all at once // fuchsia rust lead @google, lang team @rustlang. opinions mine. he/him

Tyler Mandry @tmandry

2K Followers 811 Following still trying to do everything everywhere all at once // fuchsia rust lead @google, lang team @rustlang. opinions mine. he/him