this flicker when the video crosses some threshold is annoying. why even unload it in this case? there are no competing videos in the viewport, might as well let it run until it actually goes offscreen. or at least fix the flash somehow https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreibvchgbcw2rbzsz76eohjlmknfyza6u5himr7hezkauulix5yyg3a

fun fact: Lean can represent real numbers not floats (although Lean can do them). not doubles. not even arbitrary precision floats, but *actual* reals — which includes the squared root of 2, the exact number Pi (not an approximation!), fractions like 0.111... and so on. this still blows my mind

loved this post. this is exactly the feeling i’m getting out of it as well RE:

Bluesky Social

Rado Kirov (@radokirov.bsky.social)

New blog post on my learning formal mathematics with Lean journey - rkirov.github.io/posts/lean3/ https://rkirov.github.io/posts/lean3/

https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreibuqcqx75bacw2wtsx5e6k77ivgscngohgy5uoqb5eznb3gktfy7m