He was writing some niche OS system and the blog was a collection of posts about that system.
I also remember from the discussion thread that the developer had passed away.
EDIT: Looks like the parent post entered the second chance pool (https://news.ycombinator.com/item?id=26998308). Not only did all the timestamps get rewritten, but apparently I can now edit this day-old comment :) Interestingly, it does show the correct timestamp when editing. Off-topic, but thought it's interesting behavior worth mentioning.
https://news.ycombinator.com/item?id=32395589
He also passed away relatively recently.
https://melsloop.com/docs/the-story-of-mel/pages/mel-kaye-cv
This was all code in the heart of an OS - thread switching, interrupt dispatch, synchronization mechanisms - things where even the most rare and exotic error might actually occur and cause a disaster.
But some hazard/cost computation is needed. There was an article in the '90s about a team doing software for an arm for space work (maybe on the shuttle) - they were hyper careful. I figured out that if all of windows had been made at that rate out of code output it would take 100 years to finish and would cost several trillion dollars. Not long after that that space arm suffered some kind of software failure, in space. Wasn't for want of effort by the dev team.
Remember that many errors arise from things outside the code you wrote/studied - some other code corrupted something, buggy behavoir in hardware, and so forth.
As for coding by hand, simulating by hand, flow graphing by hand, I don't think those were all that unusual, just one person took it to extremes and wrote about it.
It looks as if some of them might have been re-drawn for:
https://www.multicians.org/nss.html
and this is the source code in question?
I had totally forgotten about this. I still have the PASCAL book.
https://www.history.com/news/in-1950-alan-turing-created-a-c...
https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
It can also be Mel
(Might have a lot of details wrong)
I've got a pile of notebooks full of hand assembled Z80 code that my dad wrote in pencil for the Exidy Sorcerer, which he got in 1979.
It was easier to do that, and reason about your program on paper before running it on the actual computer.