at://
/
app.bsky.feed.post
/
3m2lajugk6k23
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
Hey folks -- this is of "historical importance"! Formal proof and epistemic value open.substack.com/pub/siliconr...
A guest post by (philosopher) Jim Weatherall and (mathematician) Jesse Wolfson
open.substack.com
Formal proof and epistemic value
8mo
Jim Weatherall
