Toward automated verification of unreviewed AI-generated code
2026-03-16 I’ve been wondering what it would take for me to use unreviewed AI-generated code in a production setting. To that end, I ran an experiment that has changed my mindset from ”I must always review AI-generated code” to ”I must always verify AI-generated code.” By ”review” I mean reading the code line by line. […]
Ask HN: What is it like being in a CS major program these days?
Ask HN: What is it like being in a CS major program these days? 58 points by tathagatadg 1 hour ago | hide | past | favorite | 18 comments How has the curriculum changed? What are the professors telling their students to explain why the course they enrolled in deserves the rigorous study? Are the […]
Why Cloudflare rule order matters?
Before jumping into this article please take a look at the following Cloudflare ruleset and think for a while what is wrong with it? I set up above rules and thought they would work like the following: From the first glance it seems perfectly fine. Website administrator wants to challenge users opening the website to […]
Building a Reader for the Smallest Hard Drive
Introduction Back when flash storage was still very expensive, miniature hard drives offered a much better cost-per-gigabyte ratio. As IBM and later Hitachi produced the well-known 1-inch CompactFlash-form-factor microdrives, followed by Seagate, Western Digital, and GS Magicstor. From HotChips 13 “Microdrive: High Capacity Storage for the Handheld Revolution, Thomas Albrecht (IBM)” Link: Rather than competing […]
Starlink Mini as a Failover
I recently picked up a Starlink Mini to use as a backup connection for my home network. With the new £4.50 standby plan, it’s a great way to keep things online if my FTTP connection fails. My primary FTTP connection is generally excellent offering 5ms latency at best, having a backup; something that is reliant […]
How I write software with LLMs
I don’t care for the joy of programming Lately I’ve gotten heavily back into making stuff, and it’s mostly because of LLMs. I thought that I liked programming, but it turned out that what I like was making things, and programming was just one way to do that. Since LLMs have become good at programming, […]
What Is Agentic Engineering?
I use the term agentic engineering to describe the practice of developing software with the assistance of coding agents. What are coding agents? They’re agents that can both write and execute code. Popular examples include Claude Code, OpenAI Codex, and Gemini CLI. What’s an agent? Clearly defining that term is a challenge that has frustrated […]
The Linux Programming Interface as a university course text
”The Linux Programming Interface” as a university course text Although I didn’t specifically target TLPI at the university market as I wrote it, by now I’ve had emails from a number of university teachers who are using TLPI as a required text or as recommended reading for courses on Linux or UNIX system programming. I’m […]
How the Eon Team Produced a Virtual Embodied Fly
Recently, Eon Systems PBC co-founder and founding advisor Dr. Alex Wissner-Gross shared some of the work that we’ve been doing on X, and we were pleasantly surprised at how much attention it’s received. This embodied fly is still very much a work-in-progress, and a first step towards showing how an embodied brain would control a […]
Cert Authorities Check for DNSSEC from Today
Published 1 day ago March 15, 2026 1 min read · View Markdown · Other Articles Article written by a human: Mike Cardwell About 14 years ago I set up DNSSEC. I’ve been running it on all of my domains ever since, without issue. First using bind9 and then later using PowerDNS. From today, all Certificate Authorities (CAs) […]