Formal methods and the future of programming
https://blog.janestreet.com/formal-methods-at-jane-street-index/
https://redd.it/1u5v9pd
@programmingreddit
Post #13256
101
- Sep 28, 2026Packing Binary Is Fun, Actually https://hereticpleb.vercel.app/blog/packing-binary-is-fun-…
- Sep 27, 2026Don't couple your Go code to GitHub https://iain.rocks/blog/dont-couple-your-go-code-to-gi…
- Sep 27, 2026Postgres AT TIME ZONE 'UTC' does NOT do what you think it does https://bookofrevenue.com/b…
- Sep 26, 2026Optimizing a Lock-Free Ring Buffer https://david.alvarezrosa.com/posts/optimizing-a-lock-f…
- Sep 25, 2026Microservices are organizational debt disguised as architecture. https://martinfowler.com/…
- Sep 25, 2026We still maintain a development tool first released in 1993. Here’s what 30+ years of back…