For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | corysama's favoritesregister
1.
How much linear memory access is enough? (solidean.com)
80 points by PhilipTrettner 8 days ago | 13 comments
2.
Model-Based Testing for Dungeons & Dragons (loskutoff.com)
109 points by Firfi 9 days ago | 76 comments
3.
Learn Something Old Every Day, Part XVIII: How Does FPU Detection Work? (os2museum.com)
67 points by kencausey 19 days ago | 8 comments
4.
Ohm's Peg-to-WASM Compiler (ohmjs.org)
67 points by azhenley 20 days ago | 18 comments
5.
Why so many control rooms were seafoam green (2025) (bethmathews.substack.com)
1038 points by Amorymeltzer 22 days ago | 202 comments
6.
A Recursive Algorithm to Render Signed Distance Fields (pointersgonewild.com)
130 points by surprisetalk 36 days ago | 9 comments
7.
Lf-lean: The frontier of verified software engineering (theorem.dev)
47 points by alpaylan 35 days ago | 9 comments
8.
Avoiding Trigonometry (2013) (iquilezles.org)
229 points by WithinReason 35 days ago | 87 comments
9.
TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
104 points by matt_d 46 days ago | 20 comments
10.
Right-sizes LLM models to your system's RAM, CPU, and GPU (github.com/alexsjones)
301 points by bilsbie 46 days ago | 70 comments
11.
Verified Spec-Driven Development (VSDD) (gist.github.com)
211 points by todsacerdoti 47 days ago | 118 comments
12.
Pi – A minimal terminal coding harness (pi.dev)
608 points by kristianpaul 51 days ago | 306 comments
13.
Show HN: Chaos Monkey but for Audio Video Testing (WebRTC and UDP) (github.com/mdsadiqmd)
41 points by MdSadiqMd 52 days ago | 2 comments
14.
Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com/younes-io)
41 points by youio 53 days ago | 4 comments
15.
Show HN: Maths, CS and AI Compendium (github.com/henryndubuaku)
88 points by HenryNdubuaku 59 days ago | 26 comments
16.
Monosketch (monosketch.io)
876 points by penguin_booze 62 days ago | 140 comments
17.
Formally Verifying PBS Kids with Lean4 (shadaj.me)
68 points by shadaj 73 days ago | 5 comments
18.
Mousefood – Build embedded terminal UIs for microcontrollers (github.com/ratatui)
244 points by orhunp_ 78 days ago | 47 comments
19.
San Francisco Graffiti (walzr.com)
214 points by walz 80 days ago | 242 comments
20.
Show HN: C From Scratch – Learn safety-critical C with prove-first methodology (github.com/speytech)
72 points by william1872 82 days ago | 12 comments
21.
Extracting verified C++ from the Rocq theorem prover at Bloomberg (bloomberg.github.io)
129 points by clarus 86 days ago | 39 comments
22.
Electricity use of AI coding agents (simonpcouch.com)
119 points by linolevan 86 days ago | 65 comments
23.
Linux kernel framework for PCIe device emulation, in userspace (github.com/cakehonolulu)
239 points by 71bw 86 days ago | 83 comments
24.
Interpreter – Offline screen translator for Japanese retro games (github.com/bquenin)
93 points by bane 3 months ago | 13 comments
25.
Ohm Editor (ohmjs.org)
42 points by andsoitis 5 months ago | 8 comments
26.
The Department of War just shot the accountants and opted for speed (steveblank.com)
304 points by ridruejo 5 months ago | 496 comments
27.
High-performance 2D graphics rendering on the CPU using sparse strips [pdf] (github.com/laurenzv)
281 points by PaulHoule 5 months ago | 35 comments
28.
Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
375 points by vitalnodo 5 months ago | 144 comments
29.
Recursive macros in C, demystified (once the ugly crying stops) (h4x0r.org)
149 points by eatonphil 5 months ago | 87 comments
30.
Resolution limit of the eye – how many pixels can we see? (nature.com)
65 points by bookofjoe 5 months ago | 56 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You