at://
/
app.bsky.feed.post
/
3mobg6vonic2n
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Formal Methods and the Future of Programming | Discussion
5h
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
Formal methods and the future of programming
Hacker News Top Stories
