🚨 𝗕𝗥𝗘𝗔𝗞𝗜𝗡𝗚: From making fun of his rival to being out of the World Cup in just a couple of days:
• March 26: Bosnia beat Wales, Italy players are seen LAUGHING and MOCKING after learning they’d face Bosnia in the final.
• March 31: Bosnia beat Italy and knock them OUT of the 2026 World Cup.
All in a matter of days... FOOTBALL! 🇧🇦🤯
The program that questions everything finally questioned its own paywall.
Our entire archive of 600+ episodes—from #Aristotle to Zhuangzi, from Anarchy to Zen Buddhism—is now FREE and open to all.
Subscribe on @Spotify, @ApplePodcasts, or stream at https://t.co/Vqgq0VJnwm.
I've never felt this much behind as a programmer. The profession is being dramatically refactored as the bits contributed by the programmer are increasingly sparse and between. I have a sense that I could be 10X more powerful if I just properly string together what has become available over the last ~year and a failure to claim the boost feels decidedly like skill issue. There's a new programmable layer of abstraction to master (in addition to the usual layers below) involving agents, subagents, their prompts, contexts, memory, modes, permissions, tools, plugins, skills, hooks, MCP, LSP, slash commands, workflows, IDE integrations, and a need to build an all-encompassing mental model for strengths and pitfalls of fundamentally stochastic, fallible, unintelligible and changing entities suddenly intermingled with what used to be good old fashioned engineering. Clearly some powerful alien tool was handed around except it comes with no manual and everyone has to figure out how to hold it and operate it, while the resulting magnitude 9 earthquake is rocking the profession. Roll up your sleeves to not fall behind.
We really have not made a lot of progress on explaining the deep mystery of LLMs:
How does a model using matrix multiplication to predict the next word manage to simulate human thought well enough to do all the very human-like things it does? And what does that mean about us?
Claim: gpt-5-pro can prove new interesting mathematics.
Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct.
Details below.
Mojo🔥 is now available for download locally to your machine! ❤️🔥🚀
Beyond a compiler, the Mojo SDK includes a full set of developer and IDE tools 🛠 that make it easy to build and iterate on Mojo applications. Let’s build the future together!🔥
https://t.co/KxmLvsxx5e