Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels Q: 8 R: 9 Feb 18, 2026 Summary
GNL — Garment Notation Language: Formal descriptive language for clothing construction Q: 7 R: 5 Feb 18, 2026 Summary
A Google’s Pixel 10a arrives on March 5 for $499 with specs and design of yesteryear Q: 7 R: 6 Feb 18, 2026 Summary
Show HN: Axiom – A math-native OS where x² is valid syntax (built from scratch) Q: 8 R: 9 Feb 18, 2026 Summary