← Feed

Posts

• Post #2569280

  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

• Post #1806298

  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.

• Post #1574704

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

• Post #902686

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

• Post #84429

  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,”...