Super HN

New Show
31. Zmx: Session Persistence for Terminal Processes
Session persistence for terminal processes. Contribute to neurosnap/zmx development by creating an account on GitHub.
32. Schubfach: The smallest floating point double-to-string impleme
content
33. GSWT: Gaussian Splatting Wang Tiles
A tile-based Gaussian Splatting rendering system for infinitely expanding terrain
34. Prompt Injection via Poetry
It turns out all the guardrails in the world won’t protect a chatbot from meter and rhyme.
35. Greeting Vocalizations in Domestic Cats Are More Frequent with Male Caregivers
36. Congressional lawmakers 47% pts better at picking stocks
Founded in 1920, the NBER is a private, non-profit, non-partisan organization dedicated to conducting economic research and to disseminating research findings among academics, public policy makers, and business professionals.
37. Vanilla CSS is all you need
38. Bun has been acquired by Anthropic
Bun has been acquired by Anthropic. Anthropic is betting on Bun as the infrastructure powering Claude Code, Claude Agent SDK, and future AI coding products & tools.
39. Chips for the Rest of Us
Tandon researchers are putting the power of chip design into more hands with open-source tools, AI-assisted development, and applied teaching.
40. Valkey is an open source (BSD) high-performance key/value datastore
41. Apple Desktop Bus Protocol (2021)
Backstory
42. Zig quits GitHub, says Microsoft's AI obsession has ruined the service
43. Mathematics is hard for mathematicians to understand too
44. Helldivers 2 devs slash install size from 154GB to 23GB
The newly released beta version of Helldivers 2 delivers the same gameplay with far less disk usage, offering PC players a much leaner install without sacrificing performance or progression.
45. Cross-Compiling Common Lisp to WASM
46. 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.
47. Satellite captures the first detailed look at a giant tsunami
A rare SWOT pass mapped a Pacific tsunami in detail, exposing hidden wave complexity and showing why forecasting models need a major update.
48. Why doesn't Apple make a standalone Touch ID?
49. IBM CEO says there is 'no way' spending on AI data centers will pay off
IBM CEO Arvind Krishna walked through some napkin math on Big Tech's AI data center spending — and raised some doubts on if it'll prove profitable.
50. Satellite megaconstellations will threaten space-based astronomy
51. Researchers Find Microbe Capable of Producing Oxygen from Martian Soil
When we talk about the possibility of humans living on Mars, one of the biggest challenges is not the rockets or the habitats, but something far more basic:
52. The only winning move is not to play
Let’s not debase ourselves as user researchers further
53. Show HN: FastLanes based integer compression in Zig
integer compression library for Zig based on FastLanes - steelcake/zint
54. Show HN: RAG in 3 Lines of Python
55. A Flutter Plugin for Hosting Tor Hidden Services on Android Devices
A Flutter plugin to host Tor Onion Hidden Services and proxy traffic through Tor. - SarahRoseLives/tor_hidden_service
56. Cassette tapes are making a comeback. Yes
The humble cassette seems to be suddenly cool again. What’s driving the craze? And is it a full-blown revival?
57. Top Journal Retracts Study Predicting Catastrophic Climate Toll
58. Quad9 DOH HTTP/1.1 Retirement, December 15, 2025
A public and free DNS service for a better security and privacy
59. Mapping Every Dollar of America's $5T Healthcare System
Mapping Every Dollar of America's $5 Trillion Healthcare System
60. Beej's Guide to Learning Computer Science
Beej's Guide to Learning Computer Science