Curry and Type @TypeSafetyFirst
I do semantics, type systems** and other stuff. ** mechanized mostly! Joined September 2023-
Tweets82
-
Followers17
-
Following64
-
Likes388
Curry and Type retweeted
29
112
2K
100K
123
Download Image
Question for researchers: How do you become a program committee of some conference, workshop, demos, SRC??!
Waking up at 1 am to catch a flight to USA for CSF'25 conference. So excited!! @CSFSymposium
Curry and Type retweeted
first author vs second author
Curry and Type retweeted
We are looking for an individual who will promote, nurture and grow the P4 ecosystem. This is a technical role, ideal for an individual from a hands-on software engineering background in networking . Learn more and apply | bit.ly/43F9OFm #P4 #Job
Curry and Type retweeted
if you think education is about getting the answers correct on the test you’ve got major volkswagen syndrome
if you think education is about getting the answers correct on the test you’ve got major volkswagen syndrome
Tavo + Bara bada bastu for the win!!! #Eurovision2025
Going to a conference with an early bird price feels good 💵 💸
Going to a conference with an early bird price feels good 💵 💸
Curry and Type retweeted
Eating a Toblerone in the dark to make sure I get enough aluminum in my diet
Curry and Type retweeted
Curry and Type retweeted
Dollar for dollar, the booze is a significantly better investment.
Dollar for dollar, the booze is a significantly better investment.
Curry and Type retweeted
Are you interested in programming 💻 languages 🗣️research? Do you like reading cool short student papers? Then you could become part of the PC of the PLDI 25 student research competition!!!! Here is the self nomination form with more information: docs.google.com/forms/d/e/1FAI…
How does 'Accept with shepherding' from 3 reviewers make the final decision for a paper as 'Major revision'? Even Reviewer 2 was happy! -.-
Curry and Type retweeted
Curry and Type retweeted
Reading the feedback
Curry and Type retweeted
2015 was 10 years back...let that sink in
Naming definitions and picking symbols takes longer than writing them. Just me? 🥲
Curry and Type retweeted
@hmemcpy Bold of you to assume debugging isn't our therapy.
Writing code is easy, but understanding it a week later? That's the real challenge!
JoByron @e3r2pqeCj1xWvHV
16 Followers 705 Following
Barbara @macumber_barbar
185 Followers 3K Following
Mathew Green is on Bl... @harris_jam69154
66 Followers 225 Following
alcuin ❄️ @scheminglunatic
6K Followers 1K Following pure, lazy, immutable ✝️ "In programming language theory, there is only moral correctness." 🐱👉investi(gati)bg ... #TRAD_YAOI and #AuDHD_NetSlop 🐢🦀🦥❄️🍛🐓
Liger @0xlustronatury
165 Followers 941 Following Formerly a formal verifier(Isabelle), then did a few years in wealth management, crashed out and now I'm focussing on LM interp. Probably founding smtn soon.
Re-energising Your Ca... @career_re
11K Followers 6K Following Re-energising Your Career is an upbeat, accessible Career Development Hub. It's your specially designed personal Pocket Career Coach.
Ranveer @ranveer2252
1K Followers 2K Following Chartered Accountant (Indian CPA)| Tweets cover Tax, Finance and some jokes 👉👈 https://t.co/IMZmyVwCxg
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). 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
4K 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
3K Followers 2K Following uncertified haskell engineer | certified researcher
Mwai Newton @Mwai_Newton
1K Followers 1K Following PhD student in CSE @chalmersuniv and @WASP_Research - ML, interactive personalisation, bandit algorithms, causality. Alum @carnegiemellon. Views my own.
Aran Komatsuzaki @arankomatsuzaki
146K Followers 306 Following Looking for a cofounder. Sharing AI research. Early work on AI (GPT-J, LAION, scaling, MoE). Ex ML PhD (GT) & Google.
CAV @confCAV
799 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
523 Followers 222 Following Co-founder @ Coana | Professor at Aarhus University ⇒ https://t.co/DKgUDms7HT
Roberto Giacobazzi�... @rgiacobazzi
846 Followers 654 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, @NaptownUltimate · @[email protected]
Matthew Green is on B... @matthew_d_green
150K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxZr2S.
Tianyin Xu @tianyin_xu
5K Followers 1K Following Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
José Manuel Calderó... @josecalderon
2K Followers 855 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
10K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Owen Arden @owenarden
947 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
561 Followers 470 Following Professor, @UniOslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. Mastodon: @[email protected]
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.
alcuin ❄️ @scheminglunatic
6K Followers 1K Following pure, lazy, immutable ✝️ "In programming language theory, there is only moral correctness." 🐱👉investi(gati)bg ... #TRAD_YAOI and #AuDHD_NetSlop 🐢🦀🦥❄️🍛🐓
Alastair Donaldson @afd_icl
3K Followers 428 Following Professor of Programming Languages at Imperial College London
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Azalea Raad @AzaleaRaad
1K Followers 274 Following Senior Lecturer (associate prof.) @ImperialCollege. UKRI Future Leader Fellow. Researcher in programming languages & formal verification. Director of @VeTSS_RI.
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
Ranveer @ranveer2252
1K Followers 2K Following Chartered Accountant (Indian CPA)| Tweets cover Tax, Finance and some jokes 👉👈 https://t.co/IMZmyVwCxg
Dmitrii Kovanikov @ChShersh
48K Followers 231 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
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 283 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
OCaml @ocaml_org
2K Followers 16 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds https://t.co/TqiIR3AdHB
Eric Hayden Campbell @EricTheWry
293 Followers 303 Following Formal Methods Researcher at UT Austin PL, Verification, Synthesis, Networking, Databases Cornell PhD, 2024
Clément Canonne (on ... @ccanonne_
37K Followers 65 Following Senior Lecturer @Sydney_Uni. Formerly Postdocs @IBMResearch, @Stanford; PhD @Columbia. Converts ☕ into puns: sometimes theorems. He/him. @ccanonne.bsky.social
Jonathan Aldrich @JAldrichPL
4K 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.
Mwai Newton @Mwai_Newton
1K Followers 1K Following PhD student in CSE @chalmersuniv and @WASP_Research - ML, interactive personalisation, bandit algorithms, causality. Alum @carnegiemellon. Views my own.
P4 @P4lang
1K Followers 75 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
3K Followers 2K Following uncertified haskell engineer | certified researcher
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
✨ Jean Yang ✨ @jeanqasaur
24K Followers 4K Following API observability product @getpostman. Founded @akitasoftware (acquired 2023). Programming, APIs, and developer experience. Former professor @CSDatCMU.
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Andrew Myers @AndrewCMyers
5K Followers 296 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Aleksey Charapko @AlekseyCharapko
3K Followers 187 Following Assistant professor of computer science @UofNH. Interested in everything distributed/cloud/edge. Metastable failures
IEEE S&P @IEEESSP
9K Followers 0 Following Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy.
ACM CCS 2025 @acm_ccs
6K Followers 0 Following ACM Conference on Computer and Communications Security
Scholarship for PhD @ScholarshipfPhd
237K Followers 29 Following PhD, Postdoc & Fellowship scholarships, research tips & more 📚 Stay updated & subscribe for exclusive premium content Promotion: [email protected]
Thorsten Ball @thorstenball
36K Followers 968 Following Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. @sourcegraph working on @ampcode. Ex-@zeddotdev. Programming where the rubber hits the road.
Neil Renic @NC_Renic
45K Followers 4K Following Lecturer at @UNSW, working on the changing character of war, the ethics of killing, and emerging military technologies.Trends for United States
42,2 B posts
18,9 B posts
38,9 B posts
257 B posts
29,4 B posts
37,9 B posts
46,2 B posts
359 B posts
11,1 B posts
21,8 B posts
14 B posts
12 B posts
2.228 posts
1.966 posts
8.216 posts
29,2 B posts
46,4 B posts
19,4 B posts
You might like
Elon Musk
@elonmusk
226.9M Followers
Barack Obama
@BarackObama
130.0M Followers
Cristiano Ronaldo
@Cristiano
115.2M Followers
Donald J. Trump
@realDonaldTrump
109.5M Followers
Justin Bieber
@justinbieber
107.8M Followers
Rihanna
@rihanna
106.9M Followers
Taylor Swift
@taylorswift13
92.9M Followers
NASA
@NASA
88.0M Followers
Lady Gaga
@ladygaga
81.0M Followers
YouTube
@YouTube
78.4M Followers
Kim Kardashian
@KimKardashian
74.0M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.4M Followers
Virat Kohli
@imVkohli
67.8M Followers
Bill Gates
@BillGates
66.3M Followers
Selena Gomez
@selenagomez
64.5M Followers
CNN Breaking News
@cnnbrk
63.6M Followers
CNN
@CNN
63.6M Followers
Neymar Jr
@neymarjr
63.6M Followers
PMO India
@PMOIndia
59.1M Followers