Super HN

New Show
151. LLM Structured Outputs Handbook
A practical handbook for developers using LLMs to get structured outputs.
152. Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
There's been a lot of chatter recently on HN and elsewhere about how formal verification is the obvious use-case for AI. While we broadly agree, we think much of the discourse is kinda wrong because it incorrectly presumes formal = slopless.
153. FLUX.2 [Klein]: Towards Interactive Visual Intelligence
Introducing FLUX.2 [klein], our fastest image models. Unified generation and editing in under a second, on hardware you already own. Apache 2.0 on 4B.
154. Claude Code with Anthropic API Compatibility [ollama blog]
Ollama is now compatible with the Anthropic Messages API, making it possible to use tools like Claude Code with open models.
155. The <Geolocation> HTML Element
Discover the new way to request user location data.
156. The URL shortener that makes your links look as suspicious as possible
157. Inside The Internet Archive's Infrastructure
A deep dive into the Internet Archive's custom tech stack.
158. 25 Years of Wikipedia
159. Claude Cowork Exfiltrates Files
Claude Cowork is vulnerable to file exfiltration attacks via indirect prompt injection as a result of known-but-unresolved isolation flaws in Claude's code execution environment.
160. Mermaid as a programming language for AI agents
161. HTTP RateLimit Headers
162. Apples, Trees, and Quasimodes
a website about computers, mostly
163. High-Level Is the Goal
Why should anyone care about low-level programming?
164. List of Individual Trees
165. Slop Is Everywhere for Those with Eyes to See
How mindless consumption is making our FYPs worse.
166. Kotlin's Rich Errors: Native, Typed Errors Without Exceptions
At KotlinConf 2025, the Kotlin team showcased progress toward Rich Errors with union types. After years of watching languages slowly adopt patterns that Elm has championed since day one, it’s exciting to see Kotlin taking this significant step toward more explicit, type-safe error handling. And in a very “native” Kotlin way at that! I vividly remember this announcement giving my functional heart a pleasant jolt, but I haven’t found the time for a write-up until now. Better late than never, though:
167. Have Taken Up Farming
ex program, en farm
168. Trump Links Greenland Threats to Nobel Peace Prize Snub
169. Ask HN: How can we solve the loneliness epidemic?
170. America's $3T Nuclear Bet (HALEU) [video]
📈 See your favorite reactor's fuel cycle cost https://fuelcyclecost.com👋 If you’re building an early-stage nuclear (or nuclear-adjacent) startup, I’d love ...
171. The State of OpenSSL for pyca/cryptography
172. Show HN: App to spoof GPS location on iOS without jailbreaking
Standalone IOS app to GPS location without jailbreaks. Untethered, local, and open source. - acheong08/ios-location-spoofer
173. Friend's Guide to Agentic Engineering
AI agents went from novelty to necessity in 2025. The no-BS guide to what actually works: hand-typed, opinionated, and free.
174. Design and Implementation of Sprites
So that we may educate as well as horrify: the internals of our new Sprites execution platform.
175. Fish Shell
A smart and user-friendly command line shell
176. All 23-Bit Still Lifes Are Glider Constructible
177. The spectrum of isolation: From bare metal to WebAssembly
Tired of 'it works on my machine'? Understand the key differences between Physical Machines, VMs, Containers, and Virtual Environments to choose the right tool for the job and ship code reliably.
178. Why reinforcement learning plateaus without representation depth (NeurIPS 2025)
179. Italy investigates Activision Blizzard for pushing in-game purchases
Italy has launched two investigations into Microsoft's Activision Blizzard, alleging the company has engaged in "misleading and aggressive" sales practices for two of its most popular smartphone games.
180. Claude is good at assembling blocks, but still falls apart at creating them