Curry and Type @TypeSafetyFirst
I do semantics, type systems** and other stuff. ** mechanized mostly! Joined September 2023-
Tweets138
-
Followers16
-
Following76
-
Likes533
@PeterOHearn12 @Jose_A_Alonso @AIatMeta @leanprover However, very motivated!!
0
0
0
12
0
View Details
@PeterOHearn12 @Jose_A_Alonso @AIatMeta @leanprover What if the applicant knows just the basics of SL and can uses Hol theorem prover instead? I'm genuinely curious 🤔
Curry and Type retweeted
The NeurIPS position paper track was flooded with submissions that substantially used AI. More than other tracks, and despite a requirement otherwise. I appreciate the chairs' strong action. People are not entitled to reviewers' time, AI makes it exceptionally easy to waste it.
This year, the NeurIPS 2026 Position Paper Track made the decision to require that all papers be substantially human-written, with AI used for only copy-editing or similar peripheral changes to the main text! For more details, please check our blogpost: blog.neurips.cc/2026/06/02/ai-…
@dbessner How come? What are you talking about?
@IAmSteveHarvey To actually being an adult
@tritlo Typical Nordic summer... One wants it so bad during the long 8 months of winter, then when it arrives, we just do everything to cool ourselves down...
@tekbog I'm worried about future gaps
@krismicinski I'm waiting for a "first author notification" where AoE is going to be my IRL birthday. This might make me either cry or extremely happy - as my defense depends on it-
Curry and Type retweeted
gonna launch my vibe coded app to prod-
@krismicinski @TaliaRinger That's so true! I agree
@krismicinski @TaliaRinger I also want to stay in academia, and I know I will be poor... At least I will do what I love
I have been banned since 24 hours, cause I am over clicking on citations and authors. Still, this is worst than getting banned from dating cites for me 😭
Who on earth gets banned from Google Scholar?!!
I can't find any postdoc in formal methods, what is happening... 😫
@daprofile @moraleDmaestro I agree, and glad to be alive in this century
@KemeiDommy @moraleDmaestro Where does this happen BTW?
Lev @chumwonktonodI
180 Followers 2K Following Most of the time, I try to be less confused than yesterday and fail. PhD student in physics @FU_Berlin. Always happy to chat and learn more.
Rishu Kumar @rishdotuk
842 Followers 1K Following Long document understanding, Multilingual Evals and efficient models mainly, but other #NLProc applications in free time | vim enthusiast
Netsu🇺🇦 @Pitometsu
247 Followers 1K Following • symbolic💡structural 🇺🇦 • ▓▒░ семантичний підмурівок архітектоніки значення ~ dreams are not my own ~
Mathew Green is on Bl... @harris_jam69154
51 Followers 188 Following
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Matti Palli 🧙�... @tritlo
4K Followers 2K Following uncertified haskell engineer | certified researcher
Dr. Mwai Newton @Mwai_Newton
1K Followers 1K Following Nodding along. I have a PhD in Machine Learning from @chalmersuniv and @WASP_Research. Alum @carnegiemellon. Chunga kisidim kick ikidunda kiding.
Lev @chumwonktonodI
180 Followers 2K Following Most of the time, I try to be less confused than yesterday and fail. PhD student in physics @FU_Berlin. Always happy to chat and learn more.
Erik Meijer @headinthebox
36K Followers 0 Following
David Nemer @DavidNemer
68K Followers 3K Following I'm back on Twitter, against my better instincts.
Rishu Kumar @rishdotuk
842 Followers 1K Following Long document understanding, Multilingual Evals and efficient models mainly, but other #NLProc applications in free time | vim enthusiast
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
Jules Jacobs @JulesJacobs5
1K Followers 3K Following
Sebastian Aaltonen @SebAaltonen
53K Followers 270 Following Building a new renderer at HypeHype. Former principal engineer at Unity and Ubisoft. Opinions are my own.
Marcel Böhme👨�... @mboehme_
7K Followers 1K Following Software Security Group @maxplanckpress PhD @NUSComputing, Singapore Research Group: https://t.co/BRnFNNh6d9
Gowtham Kaki @GowthamK
481 Followers 373 Following Assistant Professor @CUCompSci and @cuplv. Programming Languages and Formal Methods. Village idiot.
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Isil Dillig @IsilDillig
4K Followers 842 Following CS Professor at UT Austin + President of @VeridiseInc.
Stella Biderman @BlancheMinerva
18K Followers 858 Following Ensuring that tech companies don't have a monopoly on being able to do research on cutting edge AI @AiEleuther. She/her
Vru @vrundasays_
1K Followers 473 Following physics student| Reader|Just posting silly thoughts , nothing real| 22
ICSE @ICSEconf
12K Followers 1K Following The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
Formal Methods 2026 @FMsymp
683 Followers 243 Following The 27th International Symposium on Formal Methods. #FM2026
Aran Komatsuzaki @arankomatsuzaki
178K Followers 363 Following Sharing AI research. Early work on AI (GPT-J, LAION, scaling, MoE). Ex ML PhD (GT) & Google.
CAV @confCAV
791 Followers 0 Following 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
Anders Møller @amoellercsaudk
511 Followers 219 Following Co-founder @ Coana | Professor at Aarhus University ⇒ https://t.co/DKgUDms7HT
Roberto Giacobazzi�... @rgiacobazzi
832 Followers 651 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Matthew Green @matthew_d_green
154K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxYTdk.
Tianyin Xu @tianyin_xu
6K Followers 1K Following Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
José Manuel Calderó... @josecalderon
2K Followers 858 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Sibin @sibinmohan
5K Followers 2K Following Systems+Security faculty @GWTweets CS. Resiliency, OS, Networks, CPS, Real-Time. Photography. #AnnotatedEquations. He/him. Tweets/RTs are my personal opinions.
Nintendo .DS_Store @sliminality
11K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
Brendan Dolan-Gavitt @moyix
33K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Owen Arden @owenarden
923 Followers 2K Following CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems @[email protected] (https://t.co/L1VYRUX30H) he/him
Einar Broch Johnsen @ebjohnsen
555 Followers 467 Following Professor, @UniOslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. Mastodon: @[email protected]
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.
Alastair Donaldson @afd_icl
3K Followers 422 Following Professor of Programming Languages at Imperial College London
Loris D'Antoni @lorisdanto
9K Followers 775 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Formal Land 🌲 @FormalLand
2K Followers 2K Following Security audits for Web3, with formal verification. We innovate to provide you with the most extensive security solution. Solidity, Rust, ZK.
Pedro Abreu @p_droabreu0
1K Followers 723 Following Host of @ttforall, MSc in PL, PhD dropout. I like to meditate
Dmitrii Kovanikov @ChShersh
71K Followers 256 Following Dysfunctional Programming account #1. Senior SWE. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
Type Theory Forall @ttforall
4K Followers 323 Following Your favorite type theory podcast! Check our merch store! https://t.co/qiQYj4pnqx
OCaml @ocaml_org
2K Followers 15 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds https://t.co/TqiIR3AdHB
Eric Hayden Campbell @EricTheWry
289 Followers 300 Following Formal Methods Researcher at UT Austin PL, Verification, Synthesis, Networking, Databases Cornell PhD, 2024
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Dr. Mwai Newton @Mwai_Newton
1K Followers 1K Following Nodding along. I have a PhD in Machine Learning from @chalmersuniv and @WASP_Research. Alum @carnegiemellon. Chunga kisidim kick ikidunda kiding.
P4 @P4lang
1K Followers 78 Following P4 is a domain-specific language for network devices, specifying how data plane devices (switches, NICs, routers, filters, etc.) process packets.
Matti Palli 🧙�... @tritlo
4K Followers 2K Following uncertified haskell engineer | certified researcherYou might like
Elon Musk
@elonmusk
240.2M Followers
Barack Obama
@BarackObama
119.3M Followers
Donald J. Trump
@realDonaldTrump
111.6M Followers
Cristiano Ronaldo
@Cristiano
108.8M Followers
Rihanna
@rihanna
97.2M Followers
NASA
@NASA
92.1M Followers
Justin Bieber
@justinbieber
90.5M Followers
Taylor Swift
@taylorswift13
80.5M Followers
Lady Gaga
@ladygaga
72.1M Followers
Kim Kardashian
@KimKardashian
69.3M Followers
YouTube
@YouTube
68.6M Followers
Virat Kohli
@imVkohli
68.4M Followers
Bill Gates
@BillGates
63.4M Followers
CNN
@CNN
61.9M Followers
Neymar Jr
@neymarjr
61.0M Followers
X
@X
60.9M Followers
CNN Breaking News
@cnnbrk
59.9M Followers
Selena Gomez
@selenagomez
59.8M Followers
PMO India
@PMOIndia
58.4M Followers
The New York Times
@nytimes
53.5M Followers