Super HN

New Show
151. Pi for Excel: AI sidebar add-in for Excel, powered by Pi
Experimental Excel sidebar agent add-in. Multi-model. Powered by Pi. - tmustier/pi-for-excel
152. Unsung heroes: Flickr's URLs scheme
A blog about software craft and quality
153. Archaeologists find possible first direct evidence of Hannibal's war elephants
The Carthaginian general famously used elephants during the Punic Wars. But until now, archaeologists had never found skeletal remains linking the animals to the conflict
154. The Popper Principle
155. Untapped Way to Learn a Codebase: Build a Visualizer
156. I'm #1 on Google thanks to AI bullshit [video]
my original video: https://youtu.be/II2QF9JwtLcandy's videos: GOOD WATCH:https://youtu.be/Vk8x0iRr2ekhttps://youtu.be/RJfWi5qRuAc
157. Measuring AI agent autonomy in practice
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
158. Fast KV Compaction via Attention Matching
Abstract page for arXiv paper 2602.16284: Fast KV Compaction via Attention Matching
159. It's impossible for Rust to have sane HKT
We know that Rust reifies regions as types.
160. AOMedia Open Audio Codec 'OAC' Aims to Be the Successor to Opus
While the Alliance For Open Media 'AOMedia' is most known for developing the AV1 open video codec, the associated AV1 Image File Format (AVIF), and the next-generation AV2, they are now working on the Open Audio Codec (OAC).
161. Ace is a complete BASIC compiler for the Amiga computer platform
AmigaBasic ACE. Contribute to mdbergmann/ACEBasic development by creating an account on GitHub.
162. Show HN: An encrypted, local, cross-platform journaling app
A local-first journal with serious encryption. Free, open source, and never touches the internet. - fjrevoredo/mini-diarium
163. Web Components: The Framework-Free Renaissance
Modern browsers now support everything needed to build sophisticated, reactive web interfaces without React, Vue, or Angular. Web components, custom elements, shadow DOM, and native event systems l...
164. Iran students stage first large anti-government protests since deadly crackdown
Student protesters honoured thousands of those killed when nationwide mass protests were put down by Iranian authorities last month.
165. Anthropic officially bans using subscription auth for third party use
Legal agreements, compliance certifications, and security information for Claude Code.
166. Fedify 2.0.0: Modular architecture, debug dashboard, and relay support
Fedify 2.0.0: Modular architecture, debug dashboard, and relay support
167. Old School Visual Effects: The Cloud Tank (2010)
168. Red Robin Died by Spreadsheet. Don't Make the Same Mistake
169. Dinosaur Food: 100M year old foods we still eat today
I just finished Oliver Sacks’ excellent Everything in Its Place. In it, he mentioned as an aside that the Ginkgo biloba tree is hundreds of millions of years old, and its phenotype has been practically frozen since then – a living fossil.
170. Consistency diffusion language models: Up to 14x faster, no quality loss
Standard diffusion language models can't use KV caching and need too many refinement steps to be practical. CDLM fixes both with a post-training recipe that enables exact block-wise KV caching and trajectory-consistent step reduction — delivering up to 14.5x latency improvements
171. America vs. Singapore: You Can't Save Your Way Out of Economic Shocks
Saving regret has less to do with procrastination than we thought, and more to do with whether your country absorbs economic shocks or lets them hit your savings
172. Paged Out Issue #8 [pdf]
173. Explaining Why NASA's Starliner Report Is So Bad
I took a couple of days to read NASA's Starliner Reportand figure out as much of the technical detail as possible, there are a lot of redactions that require...
174. 27-year-old Apple iBooks can connect to Wi-Fi and download official updates
175. Show HN: Ghostty and Watercolors
176. Mathematics in the Library of Babel
Mathematics isn't only about saying true things. It's about asking the right questions, being confused, stumbling about, getting distracted, being wrong, recognizing when you're wrong, being stuck. Mostly being stuck. It's about clinging to a giant edifice and feeling it out until you understand some tiny piece of it. It's about finding meaning in and intuition for the texture of an object which, at first, can only be apprehended by bashing your skull into it until it imprints on your forehead. Then trying to convey some of that insight to someone else, and watching as they find their own way to it. I started trying to get LLMs to do math in July 2020, through the game "AI Dungeon," one of the earliest applications powered by GPT-3. I first got GPT-3 to produce a correct proof (of Fermat's Little Theorem) in April 2022. At the time I did not think they would become useful for math research in the near term. This changed when the first reasoning models were released: on February 1, 2025, I wrote that the model o3-mini-high “clearly has passed the threshold of genuine usefulness” for research, while still making many, many mistakes. Since then, the models have improved, and ChatGPT 5.2 Pro (released in December 2025) can regularly provide reasonable proofs of lemmas that I would characterize as “involved but routine for experts,” though it still makes many errors. And I have been using Codex, OpenAI's coding/computer use agent, for scientific computing tasks I would not have considered attempting a few months ago. In public comments, I've tried to credit successes while pushing back against hype. I've talked a lot about "slop" papers on arXiv. I have worried that we are polluting the scientific commons with incorrect mathematics whose errors are enormously difficult to detect. I've tried to focus on the present. In this essay I'll talk about the future.
177. Bridging Elixir and Python with Oban
Using Oban to seamlessly exchange durable jobs between Elixir and Python applications through a shared PostgreSQL database.
178. Sewage Spill in the Potomac River
179. Toggle: A simple and keyboard friendly graphics drawing tool
Simple and keyboard-driven graphics drawing tool. Contribute to Protyasha-Roy/toggle development by creating an account on GitHub.
180. ATAboy is a USB adapter for legacy CHS only style IDE (PATA) drives
ATAboy is a user-friendly bridge that allows legacy CHS only style IDE (PATA) hard drives to be connected to a modern computer as a standard USB Mass Storage device. - redruM0381/ATAboy