🔥 Discover this trending post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: WASHINGTON, D.C. — Americans’ perceptions of government corruption in the U.S. are at their highest level in 20 years, with 89% of U.S. adults saying it is widespread. That figure is up 10 percentage points from last year and well above readings in the 72% to 79% range between 2010 and 2025. ###Embeddable### Democrats’ perceptions of government corruption have risen the most sharply since 2024 compared with other party groups. In former President Joe Biden’s final year in office, 57% of Democrats said corruption was…
✨ Discover this awesome post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: Some of the hardest work in code review happens outside the changed lines. A change can look correct in isolation and still break code elsewhere in the system. That is what makes our early results for OpenAI's GPT-6 Astra most interesting. In our evaluation, Astra caught approximately 4% more labeled bugs through actionable findings than GPT-5.6 Sol, and 22% more than Opus 5. The biggest jump comes on harder cross-file reviews, where Astra's gains reach 20% over Sol and 33% over Opus 5. Using that…
✨ Explore this insightful post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: I've long envied Zapier's extensive connectors library. I wish our app – Val Town, a vibe coding platform – could one-click connect to every app. zapier.com/apps This is a classic n² problem, connecting every app to every other app. My dream has always been that there could be some protocol by which any app could dynamically authenticate and authorize any other app. Is OAuth that protocol? Almost! Registering OAuth Clients The core n² problem remains: every app still needs to register as an OAuth client…
🔥 Explore this insightful post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: Most of what an AI coding agent does for me isn't thinking. It's I/O.Reading five files to answer a question about one method. Generating a test file that follows the exact same pattern as the twenty test files next to it. Updating docs after a meeting. Thousands of tokens gone and almost zero reasoning. The seat license isn't what hurts, it's the tokens. And you're feeding all of it to a frontier model that's wildly overqualified. What if you could route the grunt work to…
🔥 Read this trending post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: Is Moadim free? What's the license?Yes — Moadim is open source under the MIT license, free to use, modify, and self-host. There's no paid tier and no account to create.Is it self-hosted or a cloud service?It runs entirely on your own machine. Loops fire from Moadim's portable in-process scheduler — no hidden queue, no cloud, no sign-up. Run moadim install to register a launchd (macOS) or systemd (Linux) service so the daemon survives logins and reboots.Which agents does it support?Built-in agents include Claude, Codex, Hermes,…
✨ Check out this awesome post from Hacker News 📖 📂 **Category**: 💡 **What You’ll Learn**: On the 3rd of September 2026, MikroTik quietly pushed RouterOS 7.23.4 (long-term), 7.24.2 (stable) and 6.49.21 (v6) all on the same day. Every one of them carried the same banner: This is an important security update. Most configurations are not at risk, but upgrading is highly recommended. To give time to update your systems, we are not currently publishing detailed information. Translation: “we found something nasty, we patched it, and we are not going to tell you what it is until enough of you…
💥 Read this awesome post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: We are accelerating elements of our upcoming v5 release with interim updates to keep pace with the frontier. Index v4.2 has more complex and realistic tasks, and more private test sets to prevent gaming Intelligence Index v4.2 changelog: + AA-Briefcase, our agentic knowledge work evaluation with a private test set + Surge’s GDP.pdf, long context document reasoning across 4,592 PDF pages - GPQA Diamond, an exceptional scientific reasoning evaluation that has now been saturated … plus greater weighting on held-out test sets to prevent gaming,…
🔥 Check out this trending post from Hacker News 📖 📂 **Category**: 💡 **What You’ll Learn**:
September 4, 2026Roscoe, N.Y.
I’m sure that some pictures are worth a thousand words, but others trigger a whole lot of puzzlement. Such was the case with the cover of a book I recently bought entitled Calculating with Tones: The Logarithmic Logic of Music:
This book was published by the Oughtred Society, an organization named in honor of William Oughtred, the Anglican clergyman and mathematician who is credited with inventing the…
🔥 Check out this awesome post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: The Philistines were a people living on the coast of Canaan - thought to have settled there around the late Bronze Age. Their history intertwines with the Israelites’, and as such is extensively documented in the Old Testament. One interesting episode is the story of a battle with the Israelites detailed in 1 Samuel 4. The Israelites, while encamped under Mount Sinai, were given elaborate instructions on constructing the Ark of the Covenant. God on building the base of it: And they will make…
💥 Read this awesome post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: I guess technically it was revealed to the world by a coffee shop in Islington on Insta, but an hour later it was officially announced by Anthropic: one of their internal models, using the prove2.me platform, has formalized a complete proof of Fermat’s Last Theorem (FLT) in Lean. This is the final theorem to be formalized in Freek Wiedijk’s famous list of 100 formalization challenges and thus wraps up this 20-year-old benchmark. Congratulations to Anthropic! Mathematical details The proof is not the modern proof which…
