Software Survival 3.0

SPARK: Formal Verification and Proving Program Correctness in Ada

Belarus begins a death penalty purge of radio amateurs

Remember when you owned stuff?

Building a Real-Time HN Display for $15

Stevey's Birthday Blog

The $200K Developer Dream Is Over – Here's the Reality in 2026

ASCII-Driven Development

Go: A garbage collector where you least expect it

Microservices Killed Our Startup. Monoliths Would've Saved Us

The SIM-to-real problem isn't about simulators – it's about behavior robustness

I wanted a camera that doesn't exist, so I built it

LLM coding workflow going into 2026

Hacking a Casio F-91W digital watch (2023)

Kubernetes Was Overkill. We Moved to Docker Compose and Saved 60 Hours

A year in the life of a Staff Engineer

Rubik's Cube in Prolog – Order

The many advantages of dynamic languages (2020)

Design systems and shareable browser support

Tested a random APK with MobSF out of curiosity

Did AI Kill Stack Overflow?— I Hope It Survives

Welcome to Gas Town

I Fed Claude 7 Years of Daily Journals. It Showed Me the Future of AI

Designing an IPv6-native P2P transport – lessons from building I6P

Complexity, logic and data

ArchiMate philosophy and Behaviour Driven Development

Domain-Composed Models (DCM): a pragmatic middle ground between Active Record and Clean DDD

50% of U.S. vinyl buyers don't own a record player

Flutter ECS: Testing Strategies That Actually Work

Invisible Failures: The Python Server Mistake We Made in Production

More →