'Make invalid states unrepresentable' considered harmful(seangoedecke.com)49 points by zdw 1 year ago | 49 comments
The Tokio/Rayon Trap and Why Async/Await Fails Concurrency(pmbanugo.me)80 points by LAC-Tech 3 months ago | 50 comments
Conformance checking at MongoDB: Testing that our code matches our TLA+ specs(mongodb.com)103 points by todsacerdoti 1 year ago | 58 comments
Launch HN: MindFort (YC X25) – AI agents for continuous pentesting55 points by bveiseh 1 year ago | 18 comments
The LD_DEBUG environment variable (2012)(bnikolic.co.uk)72 points by tanelpoder 4 months ago | 7 comments
GitHub Copilot CLI downloads and executes malware(promptarmor.com)43 points by sarelta 8 months ago | 12 comments