dplyukhin.bsky.social
dplyukhin.github.io
👤 Joined on 19 November 2024
Followers
Following
Total Posts
@dplyukhin.bsky.socialIf you carry out the torture chamber LLM experiments by doing all the matrix multiplications and whatnot with a pen and paper, and you produce, like, “ow ow that hurts”, what exactly is the entity that is being tortured?
Show Postto know where you are going, you have to know where you have been: pldb.kirancodes.me Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
Show PostYesterday I gave a talk at an OpenAI summit on the future of mathematics. I was asked to talk about the bad future, where humans become mathematically disempowered. Here's a blog post based on the talk: www.daniellitt.com/blog/2026/8/...
Show Post6th time on the front of HN (in 6 months) for The Consensus and this month was the best one for page views yet. It's not a big site by volume but it gets in front of experienced developers and technical managers. Don't miss a chance to advertise job openings or your product.
Show Post