joomy

@joomy.bsky.social

293 Followers 182 Following

researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com

The Newsroom S1E7 - Will tells pilots that Bin Laden was killed
New York Ataturk Chorus Summer Concert flyer. Saturday, May 31, 2025. 2:30pm.
A printed and bound copy of my dissertation. My title “Foreign Function Verification Through Metaprogramming”, my name “Joomy Korkut”, and the Princeton logo are gold foil stamped on a black leather cover.