← Back to news

Programming RSS Feed

Equality Saturation: An “Incomplete” Project

Vectorized CLZ and CTZ

Two Futures for LLMs in Mathematics

I Wanted a Simpler Static Site Generator, So I Created Neyx

Python 3.15 released

An E-Commerce Platform Is a Reliability Problem Disguised as a Website Project

Python 3.15.0

[$] Adding kernel control-flow-integrity checking to GCC

How Loopjacking Hijacks Human Approval in AI Workflows

Unison Cloud is now open source

[$] The state of systemd: 2026 edition

How David Bratslavsky Is Helping Commercial Real Estate Operators Use AI to Win Deals

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

Why Are Coding Agents So Dumb?

The Lawyer Who's Building His Own Version Of Legal AI

"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot

482 Blog Posts To Learn About Design

Let's Encrypt moving to 64-day certificate lifetimes in 2027

Meta Doesn't Need to Win the AI Race: It Already Owns the Starting Grid

Publishing on HackerNoon Is a Badge You Get to Keep

The TechBeat: The Linguistic Survivorship: Why "Russian-Speaking" Regions are a Stupid Myth (10/9/2026)

Deepthi Sigireddi from Supabase

Spinlocks Considered Harmful (2020)

Deno is joining Cloudflare

Security updates for Friday

HIP and ROCm as first-class citizens in Guix

What are you doing this weekend?

On modern hardware, who handles what bit of hardware state can be unclear

A minimal kernel in Swift, running in QEMU

There are many themes, but this one is yours

Reverse Engineer Anything

The making of a very fast SPI flasher

Telegram Desktop: one-click account takeover via IPC injection

Programming Isn’t Special

CDC Tools With the Most Predictable Pricing for High-Volume Data Pipelines

Reward Hacking, Sycophancy, and the Limits of AI Reasoning Transparency

Why Legacy Infrastructure Remains a Barrier to Enterprise AI Adoption

Who Gets to Profit From Saving Nature? WEF Has a Proposal

Semantic Blast Radius: How Errors Propagate Through Multi-Agent Systems

Length Extension Attacks: How Hash-Based Signatures Can Be Forged

Designing Agent-Assisted Abuse Detection With Classifier Routing and Feedback Loops

Inspecting Multi-Platform Docker Images, SBOMs, and SLSA Provenance With Buildx

Physical vs. Cloud Servers for Building an Intelligent Home AI

A Treasure Hunt Inside Every Lightning Payment

en-html.org is a Scam Site

If AI Writes Better Code Than You, What Then Makes You a Programmer?

AI Agents Don't Need User Accounts. They Need Identities.

Escape Surface: A Missing Security Concept for AI Agents

Deeper dive: Keyboard differences between Windows and Macs

A Fake Coinbase Call, a $16 Million Loss, and What the Spektor Sentence Says About Self Custody