Looks similar
Related stories
Stop Using JWTs(gist.github.com)
455 points by dzonga | 265 comments
A GitHub Gist arguing that JWTs should not be used for keeping users logged in and that regular cookie sessions are a better, more secure choice.
API Shouldn't Redirect HTTP to HTTPS(jviide.iki.fi)
584 points by oherrala | 252 comments
Blog post arguing that APIs should fail visibly on plain HTTP requests instead of redirecting to HTTPS, noting many major API providers don't.
TODOs aren't for doing(sophiebits.com)
380 points by todsacerdoti | 218 comments
A blog post by Sophie Alpert arguing that TODO comments are valuable as documentation of known issues even if never acted on, and shouldn't be auto-deleted or tracked.
So you want to parse a PDF?(eliot-jones.com)
369 points by UglyToad | 199 comments
Blog post by Eliot Jones explaining how PDF parsing should work per the spec, covering headers, cross-reference tables, object offsets and trailers, and its real-world pitfalls.
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
The path to ubiquitous AI (17k tokens/sec)(taalas.com)
804 points by sidnarsipur | 436 comments
Taalas blog post by Ljubisa Bajic arguing that latency and cost limit AI adoption and presenting its approach to very fast (17k tokens/sec) inference hardware.












