joomy
@joomy.bsky.social
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
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Reposted by joomy
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...
joomy.korkutblech.com/posts/2024-1...
Intrinsic vs. extrinsic verification
Tracing the origin of the terms
joomy.korkutblech.com
October 8, 2025 at 4:39 PM
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...
joomy.korkutblech.com/posts/2024-1...
Reposted by joomy
“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!
you’re not supposed to be close to the machine! that’s where the finger munchers are!
September 7, 2025 at 9:39 PM
“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!
you’re not supposed to be close to the machine! that’s where the finger munchers are!
Reposted by joomy
i love c++ mcyoung.xyz/2025/07/14/b...
The Best C++ Library · mcyoung
mcyoung.xyz
July 14, 2025 at 5:35 PM
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! 📬
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
Bloomberg Infrastructure & Security Ph.D. Fellowship | Bloomberg LP
Apply now for the Bloomberg Infrastructure & Security Ph.D. Fellowship program. Applications are due by Monday, June 30, 2025 for the 2025-2026 academic year.
www.bloomberg.com
June 18, 2025 at 9:29 PM
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! 📬
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
Reposted by joomy
Violating memory safety with Haskell's value restriction
welltypedwit.ch/posts/value-...
welltypedwit.ch/posts/value-...
Violating memory safety with Haskell's value restriction
Violating memory safety with Haskell's value restriction
welltypedwit.ch
May 17, 2025 at 6:18 PM
Violating memory safety with Haskell's value restriction
welltypedwit.ch/posts/value-...
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
NJPLS May 2025
njpls.org
April 25, 2025 at 12:33 AM
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
April 16, 2025 at 12:27 PM
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...
Intrinsic vs. extrinsic verification
Tracing the origin of the terms
joomy.korkutblech.com
February 12, 2025 at 8:04 AM
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 ☀️
November 27, 2024 at 2:36 PM
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! 🎉
this is the culmination of years of research (and most of my grad school work), so I'm excited to see it finally published! 🎉
November 19, 2024 at 8:49 PM
"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! 🎉
this is the culmination of years of research (and most of my grad school work), so I'm excited to see it finally published! 🎉
Reposted by joomy
Is it cool if I post one of my favorite creations from the other place?
#functionalprogramming #math #programming
#functionalprogramming #math #programming
November 18, 2024 at 5:42 AM
Is it cool if I post one of my favorite creations from the other place?
#functionalprogramming #math #programming
#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.
one of the things that was interesting about Twitter was that it really was multilingual, there were whole worlds out there that most people never saw. wonder if something of that scale will ever be recreated, or whether we're now in a new age of the splinternet.
July 2, 2023 at 12:28 AM
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.
Reposted by joomy
if you run haskell on an ibm laptop, call it a thunkpad
June 28, 2023 at 5:19 PM
if you run haskell on an ibm laptop, call it a thunkpad