HN Top 10 — October 31, 2026
Today’s Top 10 on Hacker News
1. Serbia just elected the world’s brainiest parliament
⭐ 84 💬 41 👤 input_sh 🔗 Discuss on HN
This post likely discusses Serbia’s recent parliamentary election, in which a notably high share of newly elected lawmakers hold advanced academic degrees. It may compare the result to other countries and explore what it says about the country’s political class.
2. Switch Lowering in GCC
⭐ 67 💬 6 👤 signa11 🔗 Discuss on HN
This article examines how GCC lowers switch statements into efficient machine code, showing when it uses jump tables, comparison trees, or bitset-based approaches. It demonstrates that GCC can detect constant offsets and chooses jump tables for dense cases but falls back to decision trees when case values are too sparse, with the tradeoff depending on the number of table entries per case.
3. Digital Minimalism
⭐ 62 💬 35 👤 wilbertliu 🔗 Discuss on HN
The article argues that modern life requires digital minimalism, meaning using technology intentionally rather than being passively pulled into default platforms. The author describes moving away from X’s native interface and using Firefly, a multi-client for X, Bluesky, Farcaster, and Lens, to reduce algorithmic manipulation and support decentralized social media. This shift made the author feel better and more in control of their digital attention.
4. Show HN: Marelleo, an open-source story box I built for my kids using ESP32
⭐ 68 💬 25 👤 foOg 🔗 Discuss on HN
Marelleo is an open-source, DIY story box built for children using an ESP32 microcontroller and an RFID or NFC reader. It plays a chosen audio story when a tag or figurine is placed on it, offering a screen-free, subscription-free alternative to commercial kids’ audio players. The project was created as a personal electronics learning exercise and a way to give kids simple, self-controlled storytelling.
5. My favourite PowerMac is a Nintendo Wii
⭐ 311 💬 90 👤 DHowett 🔗 Discuss on HN
The article describes a project that ports classic Mac OS to Nintendo PowerPC hardware, including the Wii, by adapting OpenBIOS and low-level drivers. It explains the technical work needed to get the system booting and reaching a desktop, while emphasizing that the development was done manually as a personal learning effort.
6. Cloudflare Turnstile solver library (no headless browser required)
⭐ 220 💬 64 👤 costco 🔗 Discuss on HN
The post likely introduces a library for programmatically solving Cloudflare Turnstile challenges without using a headless browser. It is probably aimed at developers who want to automate access to Turnstile-protected sites while avoiding the overhead and fragility of browser automation.
7. The $6.3B Binance hack was pulled off in just 20 minutes
⭐ 461 💬 316 👤 domhudson 🔗 Discuss on HN
Hackers stole about $6.3 billion from Binance in roughly 20 minutes, in what appears to be the largest cryptocurrency heist ever. Binance suspended deposits and withdrawals and says it has frozen about half the stolen funds, while crypto tracing firms believe North Korean hackers, possibly the group TraderTraitor, were responsible. The attack drained internet-connected hot wallets across multiple blockchains after a period of testing and preparation.
8. Northflank Breached
⭐ 442 💬 316 👤 js4ever 🔗 Discuss on HN
Northflank experienced a security incident in which attackers accessed user-supplied secrets, including AI API keys, and caused a major outage across several platform services. The company advised customers to assume all environment variables were compromised, rotate credentials, disable public access to add-ons, and review provider usage logs. Audit logs have been enabled for all customers, including free users.
9. Tell HN: Scribd Breached
⭐ 225 💬 92 👤 x______________
The post likely reports that Scribd, a digital document and e-book sharing platform, has experienced a data breach. It probably details exposed user account information, credentials, or documents and may include advice for affected users.
10. AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
⭐ 40 💬 5 👤 datascientist 🔗 Discuss on HN
The article explores how AI is making formal verification more practical by helping write, check, and scale machine-checked proofs in systems like Lean. It argues that software engineering may shift from trusting code to trusting specifications and verified properties, especially as AI-generated code and autonomous agents become common. The discussion also covers implications for mathematics, security, and the future of a fully verified software stack.