George Zakhour @_typeable
PhD student at @prg_grp interested in PL and Type Systems. Programmer for more than 10 years. Based in 🇨🇭 from 🇱🇧 he/him grgz.me St. Gallen, Switzerland Joined August 2021-
Tweets105
-
Followers51
-
Following202
-
Likes241
George Zakhour retweeted
/someone/ filled a bug report just because hazel let them write this perfectly unobjectionable syntax
19
47
2K
80K
147
Download Image
George Zakhour retweeted
The Best New Programming Language is a Proof Assistant youtube.com/watch?v=c5LOYz…
George Zakhour retweeted
Common Lean pitfalls. ~ Niels Voss. github.com/nielsvoss/lean… #ITP #LeanProver
The SIGBOVIK 2025 proceedings are out! Make sure to check paper 17 out 👀 sigbovik.org/2025/proceedin…
George Zakhour retweeted
There are three kinds of people!
George Zakhour retweeted
Can LLMs actually solve hard math problems? Given the strong performance at AIME, we now go to the next tier: our MathArena team has conducted a detailed evaluation using the recent 2025 USA Math Olympiad. The results are… bad: all models scored less than 5%!
George Zakhour retweeted
Francesca Albanese’s trip to Germany descended into chaos as pro-Israel groups and Israeli and German officials targeted her with harassment and even threats of arrest over her comments. Read @FranceskAlbs's full article: zeteo.com/p/germany-trie…
George Zakhour retweeted
Idea to create a rival podcast to @ttforall that focuses on untyped programming languages like lisp and prolog It would be called "Judgment Free Zone" and the logo would obviously be (⊬)
George Zakhour retweeted
"The way I see code, and programming language therefore, is code is about allowing the humans on a team to understand what the product is and what it does. ... I think for the foreseeable future programming is a team sport and code is the interchange format between the players.…
I'm at #POPL in Denver all week. On Thursday I'm presenting my paper in the main track. I'm really looking forward to meet all of you. Hit me up if you want to meet or chat.
I'm grgzkhr on Blusky social! Rumor's that academics are on there now, so I made myself an account. I'm staying here too, but diversity (of anything, platforms included) is good. While you're on it, follow my group's account, prg-grp. We're slowly migrating there.
George Zakhour retweeted
for a non-trivial period of time, I used to think that when people said "Per Martin-Löf" they were saying "per Martin-Löf", as in "according to Martin-Löf".
George Zakhour retweeted
🚨🚨🚨 Another footage for Mhaibib Village Gone, All Gone with 1 button
🚨🚨🚨 Another footage for Mhaibib Village Gone, All Gone with 1 button https://t.co/Vz6wjFBkA6
George Zakhour retweeted
"What really sucks about the web these days, what has us feeling despair & anger, has everything to do with the industry that has formed around the web, but not the web itself. "The web is still just a substrate on which anything can be built. Most importantly, the web is the…
DeborahEllis @m6Nh20A2w19niK
11 Followers 547 Following
Theesneyr @TheesneyrXdzB
58 Followers 4K Following
Noor yousef @noor10w2w
2K Followers 2K Following A smile answers all disagreements, spreads comfort in the place, and is considered a medicine for wounds. Support for the Palestinian cause
Eli Rosenthal @ezrosent
117 Followers 405 Following I work at Google, views are my own | hobby projects at https://t.co/cVqROiWEww | he/him
Dan Plyukhin @dplyukhin
233 Followers 316 Following Actor/model/choreographer working on the Actor Model and Choreographic Programming. Postdoc @imadaSDU, occasional co-host @ttforall, formerly @IllinoisCS.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Michael Schwarz @93mSchwarz
114 Followers 277 Following PhD Student in Computer Science @TU_Muenchen working on Static Program Analysis. Also at: https://t.co/cAFeibkqEr
Caspar @ghost_rights
32 Followers 131 Following CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
wuc9521 @wuc9521
84 Followers 1K Following
Dong Chen @jameschennerd
85 Followers 1K Following Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?
Thodoris Sotiropoulos @theosotir
136 Followers 114 Following Postdoctoral researcher in the Advanced Software Technologies group, ETH Zurich.
Ayman Farhat @aymanfarhat
1K Followers 2K Following Solving problems, crafting data & AI tools, writing about code. Applied AI @OpenAI
Alexander Serebrenik @aserebrenik
7K Followers 5K Following Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
Troy Toombs @Talltoombs
955 Followers 7K Following AI learning always/DIY/Artist. #Epilepsywarrior, Let's go #neuralink 18 yrs in a chem. plant 15 yrs as Head Operator. Security Leader 22yrs at MIS on Pit Road
Adrien Pasquereau @Adglouton
13 Followers 61 Following
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
Marco Peressotti @marcoperessotti
136 Followers 76 Following
Xuejing, aka Snow @hxjxsnow
402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Jahrim Gabriele Cesar... @jahrimgc
2 Followers 11 Following MSc in Computer Science and Engineering PhD Student in the Programming Group at the University of St. Gallen
石川慶一 Keiich... @KeiichiInsei
512 Followers 4K Following The University of Tokyo / PhD student / JSPS DC1
Fabrizio Montesi ⬣ ... @famontesi
661 Followers 500 Following Marchigiano 🇮🇹 in 🇩🇰 | Author of #ChoreographicProgramming and 'Introduction to Choreographies' | Maintainer @jolielang | Pres. @c_microservices
Robert Zhang @0xrobertzhang
262 Followers 344 Following CS PhD student @UTCompSci | CS undergrad & Masson Fellow @JohnsHopkins | Formerly @Reactjs @MetaOpenSource
Mikail Khan @fiiissshh
91 Followers 156 Following Moving fast and making things @ CMU S3D, Purdue CS '24
Ernest Ng @ngernest2
506 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
baIbhav thapa @baibhav_thapa
13 Followers 304 Following
Coen De Roover @CoenDeRoover
2K Followers 2K Following Professor @ Software Languages Lab - Vrije Universiteit Brussel. Program, repository & ecosystem analysis, concolic testing, software quality, tools.
Kevin De Porre @KevinDP55
168 Followers 206 Following Founding engineer 👨💻 @ElectricSQL. Part-time postdoctoral researcher 👨🔬 @softlab_brussel.
Carlos Baquero @xmal
3K Followers 4K Following Professor @feup_porto and researcher @inesctec. Distributed Systems and Data. Co-creator of CRDTs. Still searching for unknown unknowns
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Jürgen Cito @citostyle
2K Followers 1K Following Visiting Researcher @Google, CS Professor @tu_wien, Programming
David Spielmann @DaSpielmann
14 Followers 14 Following
Nick Rioux @nickrioux
299 Followers 864 Following @[email protected] CS grad student in programming languages at Penn Former @neu_prl undergrad
Mohammad Hossein Khos... @Mh_khoshechin
264 Followers 910 Following PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
Daniel Neumann @DanAtResearch
51 Followers 96 Following HCI PhD Student (University of St Gallen) - Always Curious - Musician
Quentin Gigon @QuentinGigon
192 Followers 909 Following Software Engineer Computer Science @ETH | Economics @HSGStGallen
Leonard Schütz @leni4838
117 Followers 579 Following Interested in compilers, virtual machines and language runtimes. I also like cats.
Simon Fowler @Simon_JF
1K Followers 1K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].
David Richter @drcicer
30 Followers 114 Following ❤️ programming languages. phd student at @stg_darmstadt. DR are my initials not my title.
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
Daniel Sokolowski @Soko2D
202 Followers 315 Following ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist.
Guido Salvaneschi @guidosalva
752 Followers 433 Following Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.
Programming Group @prg_grp
155 Followers 97 Following Programming Group at the University of St.Gallen - School of Computer Science Prof. Guido Salvaneschi
Joe Cutler @alpha_convert
4K Followers 2K Following CS PhD candidate at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
Mathias Payer @gannimo
8K Followers 388 Following Securitatis inquisitor and professor at @EPFL_en leading the #HexHive 🐝 group, focusing on system/software security. @[email protected] (he/him)
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Francesca Albanese, U... @FranceskAlbs
504K Followers 999 Following Int'l Lawyer | Scholar | Former UN Official | Sen.Adviser @ARDD @ar_renaissance Solidarity is the political declination of Love (cit).
Dr Heidy Khlaaf (ها... @HeidyKhlaaf
8K Followers 637 Following Climber 🇪🇬| Chief AI Scientist @AINowInstitute | TIME100 AI | x-ToB, Zipline, OpenAI, MSFTResearch
Dan Plyukhin @dplyukhin
233 Followers 316 Following Actor/model/choreographer working on the Actor Model and Choreographic Programming. Postdoc @imadaSDU, occasional co-host @ttforall, formerly @IllinoisCS.
Michael Schwarz @93mSchwarz
114 Followers 277 Following PhD Student in Computer Science @TU_Muenchen working on Static Program Analysis. Also at: https://t.co/cAFeibkqEr
Dominik Winterer @DominikWinterer
1K Followers 649 Following Lecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical 👩🎓👨🎓 Looking for PhD students!
Caspar @ghost_rights
32 Followers 131 Following CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
Tikhon Jelvis @tikhonjelvis
3K Followers 249 Following I like programming languages. A lot. Tools, types and functions.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Thodoris Sotiropoulos @theosotir
136 Followers 114 Following Postdoctoral researcher in the Advanced Software Technologies group, ETH Zurich.
Eli Rosenthal @ezrosent
117 Followers 405 Following I work at Google, views are my own | hobby projects at https://t.co/cVqROiWEww | he/him
Dong Chen @jameschennerd
85 Followers 1K Following Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?
Julien Vanegue @jvanegue
6K Followers 958 Following CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
ahuoguo @ahuoguo
37 Followers 311 Following
Jahrim Gabriele Cesar... @jahrimgc
2 Followers 11 Following MSc in Computer Science and Engineering PhD Student in the Programming Group at the University of St. Gallen
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
Dani ✨🐚 @starsandspirals
331 Followers 236 Following postdoc @GlasgowCS ❤️ PhD student @UniKentComp on the @granulelang team 💙🧡 former masters student @SheffieldUni 💚 LGBT+ 💜 (she/they)
rntz @arntzenius
2K Followers 339 Following Michael Arntzenius irl. PL design, math, calligraphy, &c. ✉️ [email protected] 🐘 @[email protected] 🟦 https://t.co/bdWP4Lq7Td
max.rss @tekknolagi
2K Followers 895 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
Will Crichton @tonofcrates
7K Followers 159 Following Cognitive engineer, assistant professor @BrownUniversity.
Elia is not here bcs ... @EliaJAyoub
2K Followers 111 Following Get off this site. I post on Bluesky, Mastodon and IG.
Adrien Pasquereau @Adglouton
13 Followers 61 Following
Megaphone @megaphone_news
43K Followers 5 Following ميغافون منصة إعلامية إلكترونية مستقلة 📢 For our feed in English, follow @MegaphoneNewsEN
Alvin Cheung @alvinkcheung
2K Followers 309 Following Data management and programming systems; Associate professor @Berkeley_EECS, member of @ucbrise, SLICE Lab, and @UCBIDS
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
Some theorems @CihanPostsThms
29K Followers 6 Following Posting some theorems, and occasionally other stuff. By @bahran_cihan
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Spencer Greenberg �... @SpencrGreenberg
34K Followers 6K Following A mathematician/entrepreneur in social science. Tweets about psychology, society, rationality, tech, science, and philosophy. Founder of https://t.co/2YGraOwo77
Xuejing, aka Snow @hxjxsnow
402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Sam Aaron (@samaaron.... @samaaron
15K Followers 969 Following Live Coding Artist. Creator of @Sonic_Pi, programmer, educator, musician, PhD, Sam 'transcends the present' - Rolling Stone. he/him [email protected]
Marco Peressotti @marcoperessotti
136 Followers 76 Following
Andreas Kling @awesomekling
52K Followers 1K Following building @ladybirdbrowser. recovering addict. husband of @katalinkult. uncle. gymnasium brother.
〚Dan R. Ghica〛 @danghica
1K Followers 313 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Freya Holmér @FreyaHolmer
124K Followers 1K Following ⭕ I made Shapes & Shader Forge 🔥 shader sorceress 🎨 artist 📏 math influencer 💜 twitch partner 📡 ex-founder of @NeatCorp banner: @YO_SU_RA
Mikail Khan @fiiissshh
91 Followers 156 Following Moving fast and making things @ CMU S3D, Purdue CS '24
Ernest Ng @ngernest2
506 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Robert Zhang @0xrobertzhang
262 Followers 344 Following CS PhD student @UTCompSci | CS undergrad & Masson Fellow @JohnsHopkins | Formerly @Reactjs @MetaOpenSource
Subpar Parks @subparparks
11K Followers 54 Following ⛰️ Real one-star reviews of US national parks: apparently America's best idea wasn't all that great ✏️ By @ambershares_ 👇🏻 Get the book, available now!
Alex Boruch-Gruszecki @abgruszecki
74 Followers 81 Following Postdoc in Arjun Guha's group, investigating how AI and our understanding of programming languages can help build the future of programming
Trends for United States
147 B posts
2.330 posts
3.628 posts
37,5 B posts
48,1 B posts
31,4 B posts
4.635 posts
39,3 B posts
10,8 B posts
129 B posts
1.690 posts
127 B posts
13,3 B posts
122 B posts
26,9 B posts
1.826 posts
88,8 B posts
19,3 B posts
89,5 B posts
You might like
Oliver Bračevac
@etaconversion
221 Followers
Guido Salvaneschi
@guidosalva
752 Followers
Jonathan Brachthäuse...
@__protected
820 Followers
Julia Belyakova
@julbinb
500 Followers
EDJ
@EDKJJKDE
364 Followers