Michael
6K posts

Michael
@mgrczyk
Train bigger models, build more housing, have more babies Big tent transhumanist @AnthropicAI




Electrobun 2.0 will also be decoupled from Bun due to the rust rewrite. It’s a combination of anthropic’s stance of not doing human reviews or any kind of rational roll out and stabilization. Rust is great though, Electrobun 2.0 will have first class support for rust, zig, go, and more.



yt-dlp support of Bun is now deprecated, citing the rewrite to Rust being "vibe coded" and issues surrounding supply chain attacks


Very proud that an OpenAI model disproved Erdős’s longstanding unit distance conjecture, with an elegant and intricate proof that brings sophisticated ideas from algebraic number theory to bear on geometry. For whatever reason, mathematics has been the field most amenable to research breakthroughs with AI. I consider it lucky that it was mathematics after all - a field where experts have been willing to engage deeply with us, and with proofs generated by our models. I'm grateful for that, and don't take it for granted. Math is an artistic endeavor, and perhaps for artists, it is precisely their appreciation for art that saves them from the possibly grotesque feeling of a machine producing it. Our goal is not to replace humans. We aim to chart a path forward where humans continue to have a significant role to play, even as we build exceptionally powerful AI. I am excited to use math as a domain to explore these paths, and @SebastienBubeck, @merettm, and I are excited to engage with the broader mathematical community to chart them together. Please reach out if you are interested! I'm optimistic this will help us navigate how AI impacts society in domains like coding and general co-working.

the model alone is no longer the product






Crazy how fast working at FAANG went from high status to professional mark of death














