Formal methods and the future of programming
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
Read the full article1mo ago
You might also wanna read
Jane Street reconsiders formal methods after 25 years of skepticism
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
blog.janestreet.com·26d ago
Why SOLID and Clean Code principles feel disconnected from real-world programming
I learned to program through online documentation and projects. I also read books but I don’t consider them pivotal to my programming or sof
devz.cl·9d agoDoesnt: An Esoteric Programming Language
Article URL: Comments URL: Points: 4 # Comments: 0
lists.sr.ht·6mo ago
The Growing Importance of Formal Specification in AI-Driven Software Development
The potential of formal verification for reasoning about systems.
benjamincongdon.me·7mo ago
Why Programming Remains Essential: The Iterative Nature of Code and Specification
March, 21 2026
stevekrouse.com·3mo ago
LOAF : a Groovy implementation
LOAF is taking the community by storm. I do firmly believe it gonna rock the world. Social software is the way to go : the next revolution.
glaforge.dev·22y ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.