đź’Ą Discover this insightful post from Hacker News đź“– đź“‚ **Category**: đź“Ś **What You’ll Learn**: In June I purchased this TrueTime XL-AK time server, so I could learn more of the history of GPS-based time.I received it on June 22, and just 16 days later a similar GPS time server took down Australia's cell service for 12 hours! I made a short video about it but put off digging into the TrueTime... until now.Over the past couple weeks, I've 'restomodded' this device with a Raspberry Pi, to build a stratum 1 NTP Time server, which I'd like to eventually add…
🚀 Read this must-read post from Hacker News đź“– đź“‚ **Category**: đź’ˇ **What You’ll Learn**: TL;DR: Metaphors like "a sinking ship" are often used to describe codebases, but are misleading. A business will sink long before code quality reaches a hypothetical floor. Technical debt has no bankruptcy, no clean reset, so metaphors that imply an end provide a false sense of security. Software is in the domain of the abstract. It is not like a building, or a bridge, that is in the physical realm where you can see and feel the nature of the thing. If you continue to…
✨ Explore this must-read post from Hacker News đź“– đź“‚ **Category**: âś… **What You’ll Learn**: Potentially harmful guidance In Hegseth’s July announcement, he claimed that the testing and potential treatment was for “restoring and optimizing” capabilities of military members, protecting their “longevity,” and “ensuring [they] have the biological foundation required to sustain the fight.” Health experts have criticized the screening as being potentially harmful. Neither the Endocrine Society nor the American Urological Association supports routine screening for low testosterone. Dr. Jason Goldman, an internal medicine physician and immediate past president of the American ​College of Physicians, told Reuters: “Taking testosterone…
✨ Read this trending post from Hacker News đź“– đź“‚ **Category**: âś… **What You’ll Learn**: We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language. Below, we describe how the formalization was done and share some thoughts about what this work could mean for research mathematics.Around 1637, Pierre de Fermat jotted down a claim in the margin of his copy of Diophantus’s Arithmetica that would become one of the most famous mathematical conjectures of all time: no positive integers a, b, c…
🔥 Read this awesome post from Hacker News đź“– đź“‚ **Category**: đź“Ś **What You’ll Learn**: The central bank of the Netherlands has moved dozens of tonnes of its gold out of the United States and Canada.The De Nederlandsche Bank (DNB) said in a statement the removal aimed to boost the country's "crisis preparedness" amid "increasing geopolitical unrest".Experts say that rhetoric appears inherently related to the abrasiveness of the Trump administration towards traditional allies.Dutch plans golden 'anchor of trust'The DNB said the movement of gold out of North America was aimed to ensure the Netherlands's reserves were "more readily available for…
✨ Explore this must-read post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: Mullvad has operated public encrypted DNS (DoH) servers since 2022. They are unnecessary when using Mullvad VPN — traffic is already encrypted and Mullvad VPN's internal DNS handles all queries. Outside the VPN, they serve two purposes:
Mullvad Browser uses them by default when you're not on Mullvad VPN, preventing your ISP from seeing the domains you visit.
Anyone can use them as a free public service to protect their DNS queries.
We want a public service to be available. Going forward, we will…
đź’Ą Read this insightful post from Hacker News đź“– đź“‚ **Category**: đź’ˇ **What You’ll Learn**: Is this real? Yes, it is! I'm Peter Ullrich, and I'm building Pushin.eu with my Labrador, Bella. I've worked as a software developer for almost 10 years and live in Leiden, the Netherlands. You can also find many of my talks on YouTube. I've built other projects, including Letter to Yourself and Indie Courses. I started building Pushin.eu in April 2026, and it will become generally available in early 2027. I'm building it for the long term, with the hope that it will help Europe…
✨ Explore this must-read post from Hacker News đź“– đź“‚ **Category**: đź’ˇ **What You’ll Learn**: When I was an SRE at LinkedIn, back in 2012, I designed a system that could heal itself and learn from previous incidents. AI capabilities were nowhere near what we have today, and that remained a prototype, but this is now a reality. These tools do it all: inspect alerts, form hypotheses, query telemetry, correlate recent deployments, and even implement the fix themselves. As much as I love to see it, I have a major concern: we are losing touch with our systems. The better…
🚀 Read this awesome post from Hacker News đź“– đź“‚ **Category**: đź“Ś **What You’ll Learn**: A complete, machine-checked proof of Fermat's Last Theorem in Lean 4, built on Mathlib (Lean 4.33.1; Mathlib v4.33.0, pinned by commit in lakefile.lean). The argument is that of Frey, Serre, Ribet, Wiles and Taylor-Wiles. PROOF-PATH.md names each step and the Lean theorem that carries it, and the html/ folder presents the whole proof as web pages you can browse offline (see "Reading the proof in a browser" below). Research artifact. Not maintained and not accepting contributions. Theorems/Thm_fermat_last_theorem.lean declares theorem fermat_last_theorem (n : â„•) (hn :…
🔥 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…