Software Engineering
-
Software Development
Why “Make It Work, Then Make It Right, Then Make It Fast” Produces Bad Systems at Scale
Kent Beck’s maxim is genuinely good advice for an individual working on a bounded problem. The argument here is that…
Read More » -
Software Development
Shannon Entropy and Mutual Information for Software Engineers
Shannon’s 1948 paper defined the theoretical limits of data compression — and quietly seeded ideas that now live inside your…
Read More » -
Software Development
Dependent Types and Proof Assistants: Why Formal Verification Is No Longer Just for Aerospace — and What It Means for Everyday Code
For decades, formal verification lived in a niche corner of software engineering. It was reserved for aerospace, nuclear systems, and…
Read More » -
Software Development
The AI Coding Assistant Has Been on Your Team for a Year. What Did It Actually Change About How We Write Software?
GitHub Copilot, Cursor, and Claude Code now have 12–18 months of real production data. The honest post-adoption analysis — what…
Read More » -
Core Java
Java’s Multi-Project Evolution: Valhalla, Panama & AmberReach Maturity
2023 to 2026 brought more meaningful change to the Java platform than the entire preceding decade. Here’s the complete picture.…
Read More » -
Software Development
Type Theory for Skeptics: What Static Types Really Prove (And Don’t)
The programming world has been fighting about types for decades. Static typing advocates claim type systems prevent bugs and make…
Read More » -
Software Development
AI-Assisted Coding in 2026: How GitHub Copilot, Cursor, and Amazon Q Are Reshaping Developer Workflows
The promise was seductive: AI coding assistants that would 10x developer productivity, eliminate bugs, and transform junior developers into senior…
Read More » -
Core Java
Testing with Hoverfly and Java Part 4: Exact, Glob and Regex Matchers
Previously we used Hoverfly among its state feature. So far our examples have been close to an absolute request match,…
Read More » -
Enterprise Java
Kafka & Zookeeper for Development: Connecting Brokers to the Ensemble
Previously we created successfully a Zookeeper ensemble, now it’s time to add some Kafka brokers that will connect to the…
Read More »
