Logic for Programmers Turns One
I released Logic for Programmers exactly one year ago today. It feels weird to celebrate the anniversary of something that isn’t 1.0 yet, but software projects...
Read moreI released Logic for Programmers exactly one year ago today. It feels weird to celebrate the anniversary of something that isn’t 1.0 yet, but software projects...
Read moreThe Go Blog Generic interfaces Axel Wagner 7 July 2025 There is an idea that is not obvious until you hear about it for the first...
Read moreHow are devs using AI tools at Big Tech and startups, and what do they actually think of them? This was the topic of my annual...
Read moreI realize that for all I’ve talked about Logic for Programmers in this newsletter, I never once explained basic logical quantifiers. They’re both simple and incredibly...
Read moreDeno bundle is back, alongside the addition of bytes and text imports, stabilized built-in OpenTelemetry, a new –preload flag, simplified dependency management with deno update, and...
Read more× Predicting Ego-centric Video from human Actions (PEVA). Given past video frames and an action specifying a desired change in 3D pose, PEVA predicts the next...
Read moreThe Trademark Trial and Appeal Board has dismissed our fraud claim against Oracle. We disagree with this decision.
Read moreWiki.js is free and open-source wiki software based on Node.js, Git, and Markdown. In this article, we’ll show you how to install Wiki.js on a Debian...
Read moreHere are proposals that were advanced at the last TC39 meeting and what that means for the future of JavaScript.
Read moreHello! After many months of writing deep dive blog posts about the terminal, on Tuesday I released a new zine called “The Secret Rules of the...
Read moreIntroducing a new, unifying DNA sequence model that advances regulatory variant-effect prediction and promises to shed new light on genome function — now available via API.
Read more