← Back to news

Programming RSS Feed

Introduction to Formal Verification with Lean (Part 1)

I Built an Even Better Ropebot Dog

CodeSizer: Why is that binary so big?

ZTA: Zero Token Architecture

Git email patch review addon for Thunderbird

The TechBeat: Let the Agent Complain: A Feedback Loop for Better AI Tools (7/19/2026)

363 Blog Posts To Learn About Code Quality

Shake Blog

What is your favorite blog to read recently?

Skred is now a MIDI aware synth and drum machine construction kit

Triton language for Alibaba SAIL

The death and rebirth of my home server

Your Agent Doesn't Need Better Retries, It Needs a Circuit Breaker

More emulation goodness, an Intel Itanium (IA-64) emulator that boots Windows

Mathematicians still don’t know the fastest way to multiply numbers

The computer at the bottom of a canal

Hardcore IndieWeb: Run your own website 100% independently for only $0.01/day

Software and AI - Plotting vs. Pantsing

466 Blog Posts To Learn About Cloud

Where to download LMStudio Bionic app?

Dictionaries and Tables

Studying Linux Schedulers, and Why Metrics Matter

Human-like Neural Nets by Catapulting

Repeatable Read vs Snapshot Isolation

Gleam has mirrored its source code on tangled (an AT-protocol based forge)

OpenSSL HollowByte: A DoS Hiding in 11 Bytes

79 Blog Posts To Learn About Cloud Storage

How Does Code Simulation Improve Software Quality?

"Half a Second" - a book on the XZ backdoor

A better bitset for enum flags

Half-Edge Data Structure. Part2

wp2shell: Pre Authentication RCE in WordPress Core

AI in Education: Why AI-Generated Materials Can't Replace Programming Teachers

Over-Engineering Technology Stacks: Simplifying Architecture to Reduce Complexity

Most AI Agent Failures Aren't Model Problems, They're Architecture Problems

The Hidden Work Behind Every Dashboard: Why Enterprise Data Validation Takes Longer Than You Think

The essence of architectural work - Part 4

500,000 Autonomous Decisions Per Day at $10K Per Mistake: How Fabs Run Agentic AI on Streams

"Half a Second" — a book on the XZ backdoor

Why AI Agent Observability Requires More Than Tool Call Logging

Three stable kernel updates

Post-Quantum Migration Is Not a Library Upgrade, It Is a Distributed Systems Problem

Reviewing AI Code Is Not A Viable Argument (2025)

My Best Senior Engineer Quit Last Month

APL Case Studies

Why Enterprise Wi-Fi Reliability Must Be Engineered Before Launch

The HackerNoon Newsletter: The Biggest Audience on My Website Never Clicks (7/18/2026)

Stop Coding, Start Directing: The Paradigm Shift for Every Software Engineer

The TechBeat: How Key Data Slashed Debugging Time and Ramped Up Innovation Velocity (7/18/2026)

The Biggest Audience on My Website Never Clicks