it's interesting bridging colloquial terminology between domains - as a verification gal, I'm very used to intrinsic/extrinsic to classify verification styles, but surprised my co-authors weren't aware of it, so had to look up if I had just made it up lol joomy.korkutblech.com/posts/2024-1...

“c gets you close to the machine” is the kind of sentence that lands very differently after working in a factory you’re not supposed to be close to the machine! that’s where the finger munchers are!

i love c++ mcyoung.xyz/2025/07/14/b...

excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️ includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬

Violating memory safety with Haskell's value restriction welltypedwit.ch/posts/value-...

hey, I’m going to be the last talk of the upcoming NJPLS! now I really have to prepare a talk… 🎙️ njpls.org/may2025.html

NYC folks, come hear me sing on May 31! tickets available here: www.eventbrite.com/e/new-york-a...

I'm writing a paper and I once again found myself explaining intrinsic vs. extrinsic style of verification. I never know what to cite for this, so I decided to dig a bit deeper to find the origin of these terms. please lmk if you find anything else: joomy.korkutblech.com/posts/2024-1...

bound copies of my dissertation arrived and they are so pretty ☀️

"A Verified Foreign Function Interface between Coq and C", by me, Kathrin Stark and Andrew W. Appel will appear at POPL 2025! www.cs.princeton.edu/~appel/paper... this is the culmination of years of research (and most of my grad school work), so I'm excited to see it finally published! 🎉

Is it cool if I post one of my favorite creations from the other place? #functionalprogramming #math #programming

Twitter was really bad at multilingualism. my followers were mostly English speakers (professional connections) and a few hundred Turkish speakers (personal connections). I avoided tweeting in Turkish because it could look unprofessional.

if you run haskell on an ibm laptop, call it a thunkpad