← Back to news

Programming RSS Feed

[$] The state of systemd: 2026 edition

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

Why Are Coding Agents So Dumb?

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

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

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

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

When Peer-To-Peer Crypto Transfers Beat Exchanges

Gate Partners with Visa to Launch Crypto-linked Card Across 40+ Countries and Territories

500 Blog Posts To Learn About Creativity

Insignary Launches Clarity AIR to Detect Undeclared Open-Source and AI-Written Code

64-Day Certificate Lifetimes Coming Feb 2027