← Back to news

Programming RSS Feed

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

Open Weight AI Is Moving the Competitive Advantage From Models to Inference

Why a Five-Cent Earnings Beat Isn't Always What It Seems

Changing Your IPAM Should Not Rewrite Every Deployment

How Tokenized Stocks Could Reshape Wall Street's Global Power

The Hidden Costs of Apache Spark: Why Architecture Matters More Than Compute

The Hidden Risks Behind High Staking and DeFi Yields

Reducing undefined behavior in the C language

B-Trees Are Back: Engineering Fast and Pageable Node Layouts

Bevy 0.20

Integrating Condition Monitoring and Production Scheduling in High-Load Manufacturing

Rolling the Root Key (Update)

Demoting i686 Windows targets to std-only