← Feed

Posts

• View post

  SQL designers: TRUE, FALSE, NULL, and a secret fourth thing

• View post

  I'm somehow on the panel at the end of PLMW tomorrow at ICFP (to talk about my PL in industry experience!), so if any mutuals will be around, come say hi! (I'll also be there the entire week!)

• View post

  just submitted a paper to OOPSLA about Kip (my programming language in Turkish where grammatical case and mood are part of the type system)! 🎉 given how niche the topic is, I don't have super high hopes but you never know! also, I personally think the work is really cool so I care a bit less. I'll keep trying until I find the right reviewers / venue for this paper. the draft is available here: https://joomy.korkutblech.com/papers/kip.pdf

• View post

  web developers, please stop putting popups on text selection. I will never use a feature like this to share an excerpt from a text on social media. let me select text in peace, that's just how I read things.

• View post

  stress eating? yes, I also emphasize the importance of eating.

• View post

  Rocq is Pacman complete! see Rocqman, a Pacman implementation (with some proofs!) in Rocq, extracted to C++ via Crane: https://github.com/joom/rocqman

• View post

  the UNIX v4 tape reminded me of this story by Ali Akurgal about Turkish bureaucracy: Do you know what the unit of software is? A meter! Do you know why? In 1992, we did our first software export at Netaş. We wrote the software, pressed a button, and via the satellite dish on the roof, at the incredible speed of 128 kb/s, we sent it to England. We sent the invoice by postal mail. $2M arrived at the bank. 3-4 months passed, and tax inspectors came. They said, “You sent an invoice for $2M?” “Yes,”...