Top all-time · #11245
A Critical Systems Blog
Personal blog · leepike.wordpress.comsystemshardwareprogramming
A Critical Systems Blog is a personal blog at leepike.wordpress.com about systems, hardware and programming. Since 2010, 7 different Hacker News readers have linked it 11 times. It is still writing: the last post was on 2025-11-13, and you can follow it by feed.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
HN commenters link this critical systems blog for its post on N-version programming, which covers independent developers making the same mistakes, and related software safety writing. The comments cite it as a source.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Thoughts on safe and secure embedded computer systems
Most-linked posts?
- /2009/04/27/n-version-programming-for-the-nth-time/2 people · 2 mentions · first linked 2019-09-14
What Hacker News says?
> taking a leaf from aerospace experiment showed that independent [human] software developers make the same mistakes you need at least $ODD_NUMBER > 7 https://leepike.wordpress.com/2009/04/27/n-version-programmi...
Comment linking /2009/04/27/n-version-programming-for-the-nth-time/
on “Python lib generates its code on-the-fly based on usage”Submitted Programming your Arduino micro-controller with the Copilot Haskell EDSL as a story · 6 points
HN discussionIt was Nancy Levison with this article having a few links: https://leepike.wordpress.com/2009/04/27/n-version-programmi... Levison's a brilliant, influential person in software safety: https://en.wikipedia.org/wiki/Nancy_Leveson
Comment linking /2009/04/27/n-version-programming-for-the-nth-time/
on “Absolute Scale Corrupts Absolutely”Submitted Copilot: NASA project for real-time runtime monitoring in Haskell as a story · 3 points
HN discussionHaskell has been used to build embedded software to great effect. As you move out of the domain of simple sequencing in embedded systems and into hard realtime systems, coordinating tasks correctly becomes very difficult. Being able to track and infer information about timing and dependencies with the type system becomes extremely useful in order to make it easier. This is a very simple intro example of an DSL built…
Comment linking /2009/05/05/an-atomic-fibonacci-server-exploring-the-atom-haskell-dsl/
on “Ask HN: Does imperative programming have a (mainstream) future?”Submitted Haskell and Hardware for the Holidays: verifiable Arduino programming as a story · 2 points
HN discussionSubmitted New Group: Functional Programming for Embedded Systems as a story · 2 points
HN discussionSubmitted Stop Regression Testing as a story · 1 points
HN discussionSubmitted SmartCheck as a story · 1 points
HN discussionSubmitted “Schrodinger’s Probability” for Error-Checking Codes as a story · 1 points
HN discussionSubmitted What does a one-in-a-billion software error look like? as a story · 1 points
HN discussion
