at://
/
app.bsky.feed.post
/
3mnszefb4bp2m
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
SNARGs for NP from Unprovability of Mathematical Theorems (Yao-Ching Hsieh, Abhishek Jain, Jiatu Li, Surya Mathialagan) ia.cr/2026/1180
2d
ePrint Updates
