Super HN

New Show
31. I put a real search engine into a Lambda, so you only pay when you search
How we compiled a Lucene-based JVM search engine into native code, moved the index to S3+EFS, and managed to cold-start it in 600 milliseconds, and still failed to make the setup reasonably fast.
32. A Unified Theory of Ego, Empathy, and Humility at Work
In our daily lives empathy and humility are obvious virtues we aspire to. They keep our egos in check. Less obvious is that they're practical skills in the workplace, too. I think, for developers and technical leaders in particular, that the absence of ego is the best way to further our careers and do great work.
33. Opus 4.5
34. Set Theory with Types
35. Fast Lua runtime written in Rust
🔥 Blazingly Fast 🔥 lua runtime
36. A free tool that stuns LLMs with thousands of invisible Unicode characters
Gibberifier - Block AIs from reading your text with invisible Unicode characters while preserving meaning for humans. Prevent AI detection and plagiarism with advanced text obfuscation.
37. Terence Tao: At the Erdos problem website, AI assistance now becoming routine
Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 : 1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold". 2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): https://gemini.google.com/share/81a65aecfd70 . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean. 3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at https://borisalexeev.com/t/Erdos367.lean EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to #367. https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0
38. The Cloudflare outage was a good thing
The CloudFlare outage was a good thing. GitHub Gist: instantly share code, notes, and snippets.
39. Building the largest known Kubernetes cluster, with 130k nodes
Learn about the architectural innovations we used to build a 130,000-node Kubernetes cluster, and the trends driving demand for these environments.
40. Show HN: I wrote a minimal memory allocator in C
a custom memory allocator in C. Contribute to t9nzin/memory development by creating an account on GitHub.
41. Bureau of Meteorology asked to examine $96.5M bill for website redesign
Federal Environment Minister Murray Watt has asked the weather agency's new boss to examine how the website's cost and redesign went so wrong.
42. Fifty Shades of OOP
This post talks about the many different aspects under the umbrella term OOP
43. Pixar: The Early Days
A never-before-seen 1996 interview
44. Iowa City Made Its Buses Free. Traffic Cleared, and So Did the Air
45. An Economy of AI Agents
Abstract page for arXiv paper 2509.01063: An Economy of AI Agents
46. A desktop app for isolated, parallel agentic development
A desktop app for isolated, parallel agentic development - coder/mux
47. Native Secure Enclave backed SSH keys on macOS
Native Secure Enclaved backed ssh keys on MacOS . GitHub Gist: instantly share code, notes, and snippets.
48. Mount Proton Drive on Linux using rclone and systemd
Contribute to dadtronics/protondrive-linux development by creating an account on GitHub.
49. Having Fun with Complex Numbers: A Real-Life Journey for Upper Elementary Studen
This complex number book is based on the innovative work of deriving the imaginary unit and Euler formula from first principles. Complex numbers formed from imaginary numbers have widespread applications, but have remained puzzling to many learners. The work opens up the opportunity to explore, extend and share with the general public the newly gained comprehensive understanding of complex numbers for the thorough demystificatio, popularization and empowerment to broader educational levels.
50. Hyperoptic: IPv6 and Out-of-Order Packets
Troubleshooting Hyperoptic IPv6, covering suppressed router advertisement responses and MAC-related out-of-order packet issues.
51. General principles for the use of AI at CERN
52. Moss survived outside of the International Space Station for 9 months
A species of moss survived for 9 months on the outside of the International Space Station, new research reveals — and 80% of the samples kept reproducing when returned to Earth.
53. Editing Code in Emacs
54. Jimmy Cliff, Jamaican reggae singer, actor and cultural icon, dies aged 81
Star of The Harder They Come had hits including You Can Get It If You Really Want and I Can See Clearly Now
55. Norway's lesson for Europe on wealth taxes: let some millionaires go
56. A time-travelling door bug in Half Life 2
Attached: 1 image Recent discussion about the perils of doors in gamedev reminded me of a bug caused by a door in a game you may have heard of called "Half Life 2". Are you sitting comfortably? Then I shall begin.
57. Calculus for Mathematicians, Computer Scientists, and Physicists [pdf]
58. Shaders: How to draw high fidelity graphics with just x and y coordinates
59. Racket v9.0
_posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.0 is now available from https://download.racket-lang.org/. **Racket 9.0 is here!** A major release is always exciting and Racket 9.0 is no exception in that it intr...
60. Band of Holes