Super HN

New Show
121. Why are my headphones buzzing whenever I run my game?
122. Paged Out
123. I Designed and Printed a Custom Nose Guard to Help My Dog with DLE
Discover how our pitbull Billie's struggle with Discoid Lupus led to creating SnoutCover - a 3D-printed nose protector that helped her nose fully recover in 5 months.
124. Valkey is an open source (BSD) high-performance key/value datastore
125. Show HN: RAG in 3 Lines of Python
126. Weird FFmpeg Use Cases
implabinash went live on Twitch. Catch up on their Software and Game Development VOD now.
127. A series of vignettes from my childhood and early career
128. PRC State-Sponsored Actors Use Malware Across Public Sector and IT Systems
129. Mistral 3 family of models released
A family of frontier open-source multimodal models
130. 100000 TPS over a billion rows: the unreasonable effectiveness of SQLite
A blog mostly about Clojure programming
131. Fairphone open-sources Fairphone 5 and 6 software, and Moments switch
If you can't open it, you don't own it. At Fairphone, that includes the source code as well. Learn more about our approach to open-source.
132. After Windows Update, Password icon invisible, click where it used to be
133. DeepSeek-v3.2: Pushing the frontier of open large language models [pdf]
134. India orders mobile phones preloaded with government app to ensure cyber safety
135. NeuralRemaster: Phase-Preserving Diffusion for Structure-Aligned Generation
Video for the paper NeuralRemaster: Phase-Preserving Diffusion for Structure-Aligned Generation
136. America's mayors are right to support small business
Supporting the middle class, shoring up support for the system, and restoring the lifeblood of our cities.
137. Quad9 DOH HTTP/1.1 Retirement, December 15, 2025
A public and free DNS service for a better security and privacy
138. Interview with RollerCoaster Tycoon's Creator, Chris Sawyer (2024)
139. Pete Hegseth is unfit to lead The Pentagon
140. YouTube increases FreeBASIC performance (2019)
141. Games using anti-cheats and their compatibility with GNU/Linux or Wine/Proton
142. It's harder to read code than to write it
Reading unfamiliar code is exhausting. You have to reverse-engineer someone else's thought process. It's even harder now that we're doing that with AI code.
143. It's Been a Hard Year
Unlike a lot of places in tech, my company, Set Studio/Piccalilli has no outside funding. Bootstrapped is what the LinkedIn people say, I think. It’s been a hard year this year. A very hard year. I think a naive person would blame it all on the seemingly industry-wide attitude of “AI can just do this […]
144. Formally Verifying Advent of Code Using Dijkstra's Program Construction
[I'm doing](https://tangled.org/haripm.com/aoc_2025) [Advent of Code](https://adventofcode.com) again this year, and part 1 of [today's problem](https://adventofcode.com/2025/day/3) reminded me immediately of some of the problems I'm doing in my [Program Construction](https://ucd.ie/modules/COMP30060) module at UCD. So, I'm going to be coming up with a formally verified algorithm to solve Part 1 using Edsger W. Dijkstra's Structured Programming style of Program Composition.
145. Cross-Compiling Common Lisp to WASM
146. Schubfach: The smallest floating point double-to-string impleme
content
147. Apple to beat Samsung in smartphone shipments for first time in 14 years
Apple will ship about 243 million phones this year, compared to Samsung’s 235 million, according to CNBC....
148. The only winning move is not to play
Let’s not debase ourselves as user researchers further
149. Tom Stoppard has died
The King and Queen pay tribute to a "dear friend who wore his genius lightly".
150. Ecosia: The greenest AI is here
We’re building the world’s greenest AI. Find out how we’re harnessing new technology while continuing our mission of putting people and the planet first.