at://
/
app.bsky.feed.post
/
3mo6c2voq22f2
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
PostEmbed
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
