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 @[email protected] grgz.me St. Gallen, Switzerland Joined August 2021-
Tweets113
-
Followers55
-
Following209
-
Likes274
@roboguy20 @joomy @Aron_Adler @alpha_convert Yeah, I can see that working. The next problem would be how to avoid introducing two kinds of ticks (one to increment the fst and another for the snd). afaik, the CSLib folks are thinking about ways to automate the tick away
@joomy @Aron_Adler @alpha_convert CSLib has a monad that "counts" resources (time or memory) that you can prove a bound on. Figures 3 and 4 of arxiv.org/pdf/2602.04846 have some examples. Caveat 1: you need to manually label statements to count. Caveat 2: I suspect it's not possible to do both mem/time together.
@gregnavis @antirez I love it, I visit it daily for the last 6yrs, but I've yet to meet anyone with an account who could invite me. If it was up to me I would add an "adoption" page where people like me would write about themselves and benevolent users would send them an invite.
@ShriramKMurthi Almost all the slop papers have formulas/text that overflow into the margins. A giveaway to being real was also the data-availability section some had that linked to a Zenodo artifact with the same title. I never had to read the content to tell which is which.
I think physics and math are gonna be solved in the next few years
@SandMouth Another place where I use these weights is in type inference: inference variables have smaller weights than types, so when I treat a new constraint `x = int`, int is always the root/canonical, so extracting `x -> x` becomes trivial and gives `int -> int`
wild c feature none of you knew about
Anyone whose explanations are more technical than mine is obfuscating with formalism to hide their underlying lack of conceptual clarity. Anyone whose explanations are less technical than mine is a poseur who has failed to engage with the substantive content of the theory.
I caught an undefined bug in the @ACMDL citation export tool. Sadly if you search for "Kundefinedhler" on google scholar (with quotes) you'll find many papers citing Kœhler incorrectly :(
@emnode @Anthony_Bonato I remember getting it as a student when I thought of it as "I'll do X when pigs fly". It's something I'd say if I don't want to say something false (I'll do X) so I don't lie.
/someone/ filled a bug report just because hazel let them write this perfectly unobjectionable syntax
The Best New Programming Language is a Proof Assistant youtube.com/watch?v=c5LOYz…
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…
There are three kinds of people!
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%!
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 (⊬)
"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. So I think it's still pretty important." Chris Lattner on why coding by humans is still important. pldb.io/blog/chrisLatt…
Lulu R @mehmet_sayer
3 Followers 519 Following professional overthinker & playlist curator 🎧 follow back always
joomy @joomy
4K Followers 975 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
ahuoguo @ahuoguo
40 Followers 359 Following
DeborahEllis @m6Nh20A2w19niK
11 Followers 520 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
115 Followers 409 Following I work at Google, views are my own | hobby projects at https://t.co/cVqROiWEww | he/him
Dan Plyukhin @dplyukhin
256 Followers 344 Following
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Michael Schwarz @93mSchwarz
119 Followers 281 Following Research Fellow @NUSComputing. PhD from @TU_Muenchen in Static Program Analysis. Also at: https://t.co/cAFeibkYtZ
Caspar @ghost_rights
30 Followers 142 Following CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
wuc9521 @wuc9521
85 Followers 1K Following
Dong Chen @jameschennerd
83 Followers 2K Following Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?
Thodoris Sotiropoulos @theosotir
139 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 products. Applied AI @OpenAI ex-Google
Alexander Serebrenik @aserebrenik
7K Followers 5K Following Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
Talltoombs Designs @Talltoombs
842 Followers 7K Following Dad, Artist, AI Tutor, LUMEN dreamer, #EpilepsyWarrior! Neuralink hopeful Ex-chem plant Head Op (18 yrs) now restarting new! NASCAR Pitroad Security Lead 23yrs+
Adrien Pasquereau @Adglouton
13 Followers 62 Following
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
Marco Peressotti @marcoperessotti
133 Followers 75 Following
Philip Zucker @SandMouth
2K Followers 2K Following Computer Friend, Not a Bird. https://t.co/hnYqnXLnqW
Xuejing, aka Snow @hxjxsnow
381 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
475 Followers 4K Following The University of Tokyo / PhD student / JSPS DC1
Fabrizio Montesi ⬣ ... @famontesi
682 Followers 492 Following Formal Methods at the Scale the World Needs | Lead Maintainer of CSLib (Lean) and Jolie Lang. | #ChoreographicProgramming #FormalMethods #Microservices
Robert Zhang @0xrobertzhang
270 Followers 395 Following Research Fellow @theoremlabs | CS PhD student @UTCompSci | CS undergrad & Masson Fellow @JohnsHopkins | Formerly @Reactjs @MetaOpenSource
Mikail Khan @fiiissshh
105 Followers 169 Following Moving fast and making things @ CMU S3D, Purdue CS '24
Ernest Ng @ngernest2
495 Followers 3K Following PL/Systems PhD student @Cornell_CS, pipe organist | he/him
baIbhav thapa @baibhav_thapa
5 Followers 320 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
191 Followers 218 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. #DAML #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
282 Followers 859 Following @[email protected] CS grad student in programming languages at Penn Former @neu_prl undergrad
Mohammad Hossein Khos... @Mh_khoshechin
293 Followers 897 Following PhD student @ Max Planck Institute for Software Systems (MPI-SWS) /Interested in Formal Verification / Distributed Systems / Concurrency Theory
Daniel Neumann @DanAtResearch
50 Followers 94 Following HCI PhD Student (University of St Gallen) - Always Curious - Musician
Quentin Gigon @QuentinGigon
165 Followers 907 Following Software Engineer Computer Science @ETH | Economics @HSGStGallen
Leonard Schütz @leni4838
111 Followers 574 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
26 Followers 111 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
David Young @roboguy20
544 Followers 2K Following Computer science PhD student focusing in programming languages
Programming Languages... @ProgPapers
145 Followers 3 Following New Programming Languages papers from https://t.co/Fb8gxovwu3: programming language semantics. Thank you to arXiv for use of its open access interoperability.
Leonardo de Moura @Leonard41111588
7K Followers 29 Following
Kiran @kirancodes
1K Followers 190 Following Research Scientist I work in Programming Languages research, on formal verification. British South Asian diaspora~
Loris D'Antoni @lorisdanto
9K Followers 775 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
joomy @joomy
4K Followers 975 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
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.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Ningning Xie @xnningxie
4K Followers 307 Following Having fun with types! @UofTCompSci @GoogleDeepMind
KC Sivaramakrishnan @kc_srk
5K 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 383 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
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Francesca Albanese, U... @FranceskAlbs
595K Followers 996 Following Int'l Lawyer | Scholar | Former UN Official | Sen.Adviser @ARDD @ar_renaissance Palestine has given me the opportunity to become a better person.
Dr Heidy Khlaaf (ها... @HeidyKhlaaf
9K Followers 639 Following Climber 🇪🇬| Chief AI Scientist @AINowInstitute | Safety Engineer (☢️ ✈️)| TIME100 AI | MIT 35u35 | Formal Methods PhD | x-ToB, Zipline, OpenAI, MSFTResearch
Dan Plyukhin @dplyukhin
256 Followers 344 Following
Michael Schwarz @93mSchwarz
119 Followers 281 Following Research Fellow @NUSComputing. PhD from @TU_Muenchen in Static Program Analysis. Also at: https://t.co/cAFeibkYtZ
Dominik Winterer @DominikWinterer
1K Followers 652 Following Assistant Professor at University of Manchester
Caspar @ghost_rights
30 Followers 142 Following CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
Tikhon Jelvis @tikhonjelvis
3K Followers 258 Following I like programming languages. A lot. Tools, types and functions.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Thodoris Sotiropoulos @theosotir
139 Followers 114 Following Postdoctoral researcher in the Advanced Software Technologies group, ETH Zurich.
Eli Rosenthal @ezrosent
115 Followers 409 Following I work at Google, views are my own | hobby projects at https://t.co/cVqROiWEww | he/him
Dong Chen @jameschennerd
83 Followers 2K Following Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?
Julien Vanegue @jvanegue
6K Followers 984 Following CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
ahuoguo @ahuoguo
40 Followers 359 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 2027 @poplconf
3K Followers 278 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Maxico City, Mexico, 10-16 January 2027 (#POPL2027).
Dani ✨🐚 @starsandspirals
307 Followers 223 Following postdoc @GlasgowCS ❤️ PhD student @UniKentComp on the @granulelang team 💙🧡 former masters student @SheffieldUni 💚 LGBT+ 💜 (she/they)
rntz @arntzenius
2K Followers 336 Following Michael Arntzenius irl. PL design, math, calligraphy, &c. ✉️ [email protected] 🐘 @[email protected] 🟦 https://t.co/bdWP4Lq7Td
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
Will Crichton @tonofcrates
7K Followers 160 Following Cognitive engineer, assistant professor @BrownUniversity.
Elia is not here bcs ... @EliaJAyoub
2K Followers 109 Following Get off this site. I post on Bluesky, Mastodon and IG.
Adrien Pasquereau @Adglouton
13 Followers 62 Following
Megaphone @megaphone_news
44K Followers 5 Following ميغافون منصة إعلامية إلكترونية مستقلة 📢 Independent Online Media Platform
Alvin Cheung @alvinkcheung
2K Followers 312 Following Data management and programming systems; Professor @Berkeley_EECS, member of @ucbrise, SLICE Lab, and @UCBIDS
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
Some theorems @CihanPostsThms
30K 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
35K Followers 7K Following A psychology researcher/mathematician/entrepreneur. I tweet about psychology, society, rationality, science, and philosophy. My book: https://t.co/qd3iRl7q1X
Xuejing, aka Snow @hxjxsnow
381 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 968 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
133 Followers 75 FollowingYou might like
