Curry and Type @TypeSafetyFirst
I do semantics, type systems** and other stuff. ** mechanized mostly! Joined September 2023-
Tweets82
-
Followers14
-
Following64
-
Likes389
Curry and Type retweeted
30
113
2K
99K
124
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!
Barbara @macumber_barbar
178 Followers 3K Following
Mathew Green is on Bl... @harris_jam69154
69 Followers 232 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
The Liger @0xlustronatury
148 Followers 919 Following Philosophy and computation. Good at (Isabelle/HOL).
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.
CAV @confCAV
796 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
518 Followers 222 Following Co-founder @ Coana | Professor at Aarhus University ⇒ https://t.co/DKgUDms7HT
Roberto Giacobazzi�... @rgiacobazzi
841 Followers 653 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 853 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
948 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
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)
Alastair Donaldson @afd_icl
3K Followers 430 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 273 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 for Web3, through formal verification 🚀 Ethereum, Solana, Sui 🔍 Solidity, Rust, zero-knowledge. DM us to ensure your code is safe!
Ranveer @ranveer2252
1K Followers 2K Following Chartered Accountant (Indian CPA)| Tweets cover Tax, Finance and some jokes 👉👈 https://t.co/IMZmyVwCxg
Dmitrii Kovanikov @ChShersh
43K Followers 205 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 274 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
294 Followers 303 Following Formal Methods Researcher at UT Austin PL, Verification, Synthesis, Networking, Databases Cornell PhD, 2024
Clément Canonne (on ... @ccanonne_
37K Followers 66 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 73 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 824 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
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Andrew Myers @AndrewCMyers
5K Followers 295 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
terminally onλine ε... @tekbog
34K Followers 945 Following principal engineer @ redacted | AI and distributed systems | do you hear the drums of liberation?
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
234K Followers 29 Following PhD, Postdoc & Fellowship scholarships, research tips & more 📚 Stay updated & subscribe for exclusive premium content Promotion: [email protected]
Thorsten Ball @thorstenball
35K Followers 961 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
41,2 B posts
5.773 posts
70,7 B posts
27,1 B posts
20,2 B posts
1,15 Mn posts
4.606 posts
19 B posts
18,8 B posts
9.768 posts
8.564 posts
2.851 posts
52,1 B posts
11,2 B posts
20,3 B posts
10,6 B posts
5.279 posts
21,8 B posts
You might like
Elon Musk
@elonmusk
225.4M Followers
Barack Obama
@BarackObama
130.6M Followers
Cristiano Ronaldo
@Cristiano
115.7M Followers
Justin Bieber
@justinbieber
108.9M Followers
Donald J. Trump
@realDonaldTrump
108.8M Followers
Rihanna
@rihanna
107.6M Followers
Taylor Swift
@taylorswift13
93.7M Followers
NASA
@NASA
87.8M Followers
Lady Gaga
@ladygaga
81.7M Followers
YouTube
@YouTube
79.0M Followers
Kim Kardashian
@KimKardashian
74.4M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.9M Followers
Virat Kohli
@imVkohli
67.9M Followers
Bill Gates
@BillGates
66.4M Followers
Selena Gomez
@selenagomez
64.9M Followers
Neymar Jr
@neymarjr
63.9M Followers
CNN Breaking News
@cnnbrk
63.9M Followers
CNN
@CNN
63.7M Followers
Justin Timberlake
@jtimberlake
59.2M Followers