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: https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreibuqcqx75bacw2wtsx5e6k77ivgscngohgy5uoqb5eznb3gktfy7m