teaser for programmers RE:

Bluesky Social

dan (@danabra.mov)

⚛️📝 New on Overreacted: Beyond Booleans https://overreacted.io/beyond-booleans/

https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreigyfcxo5i2nmcke5omwfbhs3hx4kvkrrxkn34urufywbzem6v4iky View quoted note →

⚛️📝 New on Overreacted: Beyond Booleans [Beyond Booleans — overreacted](

Beyond Booleans — overreacted

What is the type of 2 + 2 = 4?

)

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

learning from a chatbot is definitely possible (i am using it for learning) but it requires approaching it with an adversarial mindset and only works in fields where you can verify the result RE:

Bluesky Social

Kelly (@broadwaybabyto.bsky.social)

You don’t “learn” from a chatbot. You consume. There’s a difference. They’re spewing slop and people are gobbling it up (and eroding th...

new overreacted article on lean go brr

doodling: lean type hierarchy https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreibopqrj4svqqtc4yl2qye4xczxwbtrjt3gonnozeqf5jivnx7irqa

sorry we can’t complete the sprint because the developer is constantly lying about task completion and it’s the only developer we have

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