The Brutalist Report

Hacker News

• Americans overestimate how many social media users post harmful content [48d] [hn]
• More than 100 rally against data centers at Michigan Capitol [48d] [hn]
• Dafny: Verification-Aware Programming Language [48d] [hn]
• I Ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in 4.5h [48d] [hn]
• No AI* Here – A Response to Mozilla's Next Chapter [48d] [hn]
• MIT professor shot at his Massachusetts home dies [48d] [hn]
• Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers [48d] [hn]
• Chat-tails: Throwback terminal chat, built on Tailscale [48d] [hn]
• Prediction: AI will make formal verification go mainstream [48d] [hn]
• Show HN: Deterministic PCIe Diagnostics for GPUs on Linux [48d] [hn]