sinan @_osa1

Joined January 2011

Tweets

71
Followers

862
Following

277
Likes

2K

No recent Tweets. New Tweets will appear here.

Matt Parsons @mattoflambda

5K Followers 523 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 957 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 315 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 700 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

Padu @Padu9971

30 Followers 2K Following

Meaqim @Meaqim9496

80 Followers 2K Following

Mother of orphans @bbnn110414

4 Followers 80 Following

ZENITH @ALIVE830

0 Followers 2K Following

Las @x48349

701 Followers 4K Following 工業派

Faez Shakil @f_aezs

239 Followers 850 Following The Law is a topos.

Here we go @AvimanyuRoy3

650 Followers 3K Following

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

Tom @tomstructured

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

Boby Tanev @btanev

390 Followers 2K Following 0xCAFEBABE

Alistair O'Brien @ajob41

1 Followers 14 Following

flexbox @gridlayoutcss

26 Followers 514 Following Frontend developer Looking for Job opportunities.

YJJ @yhstor

22 Followers 922 Following unk

test domain @User2Micro

721 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

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

aeesz4 @aepau2

76 Followers 466 Following

Vitaly Bragilevsky @VBragilevsky

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

Zohaib @Zohaib22732

10 Followers 441 Following

ab44 @ab44istaken

39 Followers 2K Following Bio

Rajveer Singh Bharadw... @Rajveer_1000

298 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

213 Followers 866 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 444 Following GDE for Flutter & Dart Organizing the @FlutterNFriends conference 🥳 Building #FlameEngine, a game engine for Flutter 🔥 Member of @BlueFireOSS 💙

Ozgur Ersoz @ersozoz

26 Followers 702 Following

of eleusis initiative @eleusis_init

170 Followers 2K Following

Richard V (e/relay) @blitz2145

39 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 489 Following Software ramblings, functional programming, Swift, Haskell…

Salajan Silviu @salanoid

50 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 239 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

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

farsi_rumi @farsi_rumi

0 Followers 2K Following

fabiohhto 🎲 @0xfabiosje

1K Followers 6K Following

Rico @rico_1900

123 Followers 327 Following

herman permafrost @thistlesticks66

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

Renzo @renzocarbonara

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

167 Followers 190 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

41 Followers 599 Following translating math dialects into Haskell dialects.

Moshe Schorr @MosheSchorr

221 Followers 561 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

108 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

935 Followers 647 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

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

911 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 273 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 123 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 315 Following Director of Product @Constellation Network

Andreas Kling @awesomekling

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

4K Followers 153 Following Seditious Traitor - He/Him

Vitaly Bragilevsky @VBragilevsky

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

4K Followers 958 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 70 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 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

Magnus Madsen @MagnusMadsenDK

292 Followers 202 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 896 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

357 Followers 607 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

494 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

373 Followers 318 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 667 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 820 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 479 Following He/him. Engineer @Google, Stuff @FlutterDev. I have notifications disabled and may be slow to respond. https://t.co/kmqe5tf8OK

Quentin / BastardKB @bstkbd

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

Paul Biggar 🇵🇸�... @paulbiggar

33K Followers 328 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

98K 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 774 Following

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

Zed @zeddotdev

56K 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 783 Following Physicist turned software dev turned eng mgr. Current: Leading Ruby Infrastructure team at @ShopifyEng & Board Member @rubycentralorg

MoErgo Keyboards @moergo_keeb

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

Norman Finkelstein @normfinkelstein

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

956 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

42 Followers 45 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 735 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 495 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 167 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 517 Following Chip compiler engineer at @MatXComputing. https://t.co/iDLqRHwKvl https://t.co/PHcIJReCEj https://t.co/7E7yOtVEZe

Anders Møller @amoellercsaudk

518 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