Home/Blog/Show HN: Green tests are not proof – verifier for C/C++ and firmware fixesGeneralShow HN: Green tests are not proof – verifier for C/C++ and firmware fixesHacker News Show2026-11-05 23:150 viewsArticle URL: https://unfix.dev/ Comments URL: https://news.ycombinator.com/item?id=50380134 Points: 1 # Comments: 0Source:https://unfix.dev/My favoritesPreviousShow HN: I built Postraid to help founders create social media content with AINextShow HN: Radio DystopiaRelated postsThe recipe you keep looking up mid-gameThe recipe you keep looking up mid-game There is a category of question that only comes up when you are already playing,0dev.to WebDevWar KingdomThis is called War the knight0dev.to DevOpsLearn RUDRA – Complete Course (25 video chapters)Article URL: https://www.youtube.com/playlist?list=PLCFVBA46rFmY Comments URL: https://news.ycombinator.com/item?id=50390Hacker News NewThe Doubling Board: 64 squares, each one costs twice the lastArticle URL: https://doublingboard.com Comments URL: https://news.ycombinator.com/item?id=50397604 Points: 2 # Comments:0Hacker News NewIt's the Wild West out hereArticle URL: https://ashloper.com/notes/its-the-wild-west-out-here Comments URL: https://news.ycombinator.com/item?id=500Hacker News NewArtemis II launch tore a hole in upper atmosphere so it disrupted GPSArticle URL: https://www.space.com/space-exploration/launches-spacecraft/nasas-artemis-ii-moon-launch-tore-a-hole-in-ear0Hacker News New