related, i feel like the whole "let's help beginners contribute to open source" has folded. i mean maybe not, but there's so much LLM-assisted PR spam that there's less incentives than ever to shepherd a PR from somebody who doesn't look like they actually know what they're doing. maybe that's good? RE:

Bluesky Social

dan (@danabra.mov)

noticed a new trend in Lean community chat — people posting AI-generated "proofs" of famous math problems, where the proofs either don't compile ...

View quoted note →

noticed a new trend in Lean community chat — people posting AI-generated "proofs" of famous math problems, where the proofs either don't compile or have a bunch of `sorry`s

not sure if zed's influence but vs code doesn't look like shit by default anymore (especially with "modern" themes) and that's nice

this is so cool, you can literally send a PR with a fix... if you solve the actual open problem in mathematics haha https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreih4ysftlcyu6fkptf3cuuqpvthbpd2cvdgvnbfiy3kpbnsfjjccqq

these names are fun https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreifxuqjl3jhkmms42nmexzubhgakwdsroplmb7vkfr7jryohjf2nwe

kind of funny that react solved 95% of the "re-renders" problem but most people have no idea. hope this PR will help [github.com/reactjs/reac...](

GitHub

[compiler] Rewrite React Compiler Docs by poteto · Pull Request #7868 · reactjs/react.dev

We've received feedback that the compiler docs are difficult to understand and not prominent enough that people don't realize the compiler ...

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

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

my new favorite claude trick is “here’s a lot of code, give me some pseudocode that preserves the big picture but without incidental details just so i get what’s going on”. and then ask it to incrementally add things back

i wish i had claude as a kid

surreal numbers and all the jazz around them is way more interesting than i thought. check this out [en.wikipedia.org/wiki/Star_(g...](

Star (game theory) - Wikipedia

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