aazaidane@gmail.com

💥 Discover this awesome post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: Anthropic has raised $65 billion in Series H funding led by Altimeter Capital, Dragoneer, Greenoaks, and Sequoia Capital, valuing the company at $965 billion post-money.Global enterprises across industries are deploying Claude in their core operations, and a growing number of people around the world use it for their everyday work. Since our Series G in February, adoption has continued to grow across global enterprise customers, and our run-rate revenue crossed $47 billion earlier this month. This latest funding is expected to advance our safety and…

🔥 Read this must-read post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: Rewriting Bun with dynamic workflowsAn example of what dynamic workflows can unlock at scale is the recent rewrite of Bun. Jarred Sumner used dynamic workflows to port Bun from Zig to Rust with 99.8% of the existing test suite passing, roughly 750,000 lines of Rust, and eleven days from first commit to merge. One workflow mapped the right Rust lifetime for every struct field in the Zig codebase. The next wrote every .rs file as a behavior-identical port of its .zig counterpart, hundreds of agents…

✨ Check out this trending post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: The 220 Central Park South building, center, stands in New York, U.S., on Wednesday, Jan. 23, 2019. Just days after buying one of the most expensive residential properties in London, Citadel founder Ken Griffin set a U.S. record with the $238 million penthouse at 220 Central Park South.Jeenah Moon | Bloomberg | Getty ImagesNew York City's new tax on second homes will more than double property taxes owed by many wealthy luxury apartment owners, according to tax experts.State lawmakers on Wednesday passed the tax…

🔥 Check out this trending post from Hacker News 📖 📂 **Category**: 💡 **What You’ll Learn**: Creusot is a deductive verifier for Rust code. It verifies your code is safe from panics, overflows, and assertion failures. By adding annotations you can take it further and verify your code does the correct thing. Creusot works by translating Rust code to Coma, an intermediate verification language of the Why3 Platform. Users can then leverage the full power of Why3 to (semi)-automatically discharge the verification conditions! See ARCHITECTURE.md for technical details. If you need help using Creusot or would like to discuss, you…

🔥 Explore this insightful post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: Median AGI forecasts→→→~2023Early 2025Late 2025Apr 20262026202820302032203420362038204020422044204620262028203020322034203620382040204220442046D. KokotajloD. AmodeiN. JurkovicR. GreenblattD. HassabisFutureSearchT. LarsenE. LiflandY. BengioB. ToddA. CotraP. WildefordMetaculusT. BesirogluE. Erdil Predictions for when most cognitive labor will be fully automated. Icons are medians, with approximate confidence intervals. Follow up post to: AI 2027, One Year Later Many orgs track AGI timelines, like AI Futures, Metaculus, and Epochs. Recently, though, I noticed that many great researchers have now published two or more precise forecasts, all using similar definitions of AGI, and all providing confidence intervals. So I…