Super HN

New Show
121. The mysterious black fungus from Chernobyl that may eat radiation
Mould found at the site of the Chernobyl nuclear disaster appears to be feeding off the radiation. Could we use it to shield space travellers from cosmic rays?
122. Experimenting with Robin Hood Hashing
C++ & Golang software engineering blog by Tomasz Wisniewski. Lessons learned and tips and tricks about modern software development with C++ and Golang.
123. 10 years of writing a blog nobody reads
124. Bfs: A breadth-first version of the Unix find command
A breadth-first version of the UNIX find command. Contribute to tavianator/bfs development by creating an account on GitHub.
125. Just Use Postgres for Everything
Replace Redis, MongoDB, Kafka & more with PostgreSQL. Reduce complexity, boost development speed. Complete guide with real examples.
126. Last Issue of "ECMAScript News"
127. Underrated reasons to be thankful V
even more
128. Designing a Mechanical Calculator
Nearly two years ago, I decided to 3D print a mechanical calculator. This project is extremely in character for me. I love old technology, and especially mixing old and new technology (like sending digital data via ham radio). When you want to 3D print something, there are different levels of how sane you can be.…
129. How/why to sweep async tasks under a Postgres table
I like slim and stupid servers, where each endpoint wraps a very dumb DB query. Dumb queries are fast. Fast queries make websites smooth and snappy. Keep those click/render loops sacred. Sweep complexity under a task table.
130. Coq: The World's Best Macro Assembler? [pdf]
131. S&box is now an open source game engine
132. The Hidden Language of Our Body's Rhythms
Daniel Forger on how our biological rhythms influence sleep, mood, and performance.
133. Collabora Online Desktop Released with Improved UI from LibreOffice
134. Social media algorithms can alter political views, browser extension study shows
A browser extension powered by AI can reduce how people feel about opposing political views, according to new research that looked into the 2024 US presidential election.
135. ZZ9000 multifunction card for Zorro Amigas
The ZZ9000 is an expansion card for Zorro Amigas and offers HD resolution graphics, USB, network and flickerfixer functionality.
136. TPUv7: Google Takes a Swing at the King
Anthropic’s 1GW+ TPUs, New customers Meta/SSI/xAI/OAI, Full Stack Review of v7 Ironwood, CUDA Moat at risk, Next Generation TPUv8AX and TPUv8X versus Vera Rubin
137. Can Advanced Type Systems Be Usable? [pdf]
138. Comparing xeus-Haskell and ihaskell kernels
Overview
139. Music eases surgery and speeds recovery, study finds
A new study finds patients who listen to music during surgery wake faster and need fewer painkillers.
140. ML-KEM Mythbusting
What is this? There have been some recent concerns about ML-KEM, NIST's standard for encryption with Post-Quantum Cryptography, related standards of the IETF, and lots of conspiracy theories about malicious actors subverting the standardization process. As someone who has been involved with this standardization process at pretty much every level, here a quick debunking of…
141. 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
142. bonsai_term: A library for building dynamic terminal apps by Jane Street
A library for building dynamic terminal apps, using bonsai - janestreet/bonsai_term
143. How to Short the Bubbliest Firms
144. Mongolian Script
145. Show HN: I turned algae into a bio-altimeter and put it on a weather balloon
146. Flights disrupted as Airbus requests modifications to planes
The issue is thought to affect 6,000 planes, which will need to undergo an urgent software update or have computers replaced.
147. Ruby Was Ready from the Start
“” is published by Obie Fernandez.
148. Study Reveals How Tattoo Ink Affects the Immune System
149. Shai-Hulud Returns: Over 300 NPM Packages Infected
HelixGuard provides open-source research on supply chain malware and vulnerability intelligence. Advanced threat detection tools and datasets for the security community.
150. The Input Stack on Linux: An End-to-End Architecture Overview
Let's explore and deobfuscate the input stack on Linux. Our aim is to understand its components and what each does. Input handling can be divided into two parts, separated by a common layer. We’ll try to make sense of all this, one thing at a time, with a logical and coherent approach.