corysama's favorites | Hacker News

1.		Show HN: Utilyze – an open source GPU monitoring tool more accurate than nvtop (systalyze.com)
		109 points by ManyaGhobadi 1 day ago \| 27 comments
2.		ggsql: A Grammar of Graphics for SQL (posit.co)
		451 points by thomasp85 8 days ago \| 84 comments
3.		How much linear memory access is enough? (solidean.com)
		80 points by PhilipTrettner 20 days ago \| 13 comments
4.		Model-Based Testing for Dungeons & Dragons (loskutoff.com)
		109 points by Firfi 21 days ago \| 76 comments
5.		Learn Something Old Every Day, Part XVIII: How Does FPU Detection Work? (os2museum.com)
		67 points by kencausey 30 days ago \| 8 comments
6.		Ohm's Peg-to-WASM Compiler (ohmjs.org)
		67 points by azhenley 32 days ago \| 18 comments
7.		Why so many control rooms were seafoam green (2025) (bethmathews.substack.com)
		1038 points by Amorymeltzer 34 days ago \| 202 comments
8.		A Recursive Algorithm to Render Signed Distance Fields (pointersgonewild.com)
		130 points by surprisetalk 48 days ago \| 9 comments
9.		Lf-lean: The frontier of verified software engineering (theorem.dev)
		47 points by alpaylan 47 days ago \| 9 comments
10.		Avoiding Trigonometry (2013) (iquilezles.org)
		229 points by WithinReason 47 days ago \| 87 comments
11.		TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
		104 points by matt_d 58 days ago \| 20 comments
12.		Right-sizes LLM models to your system's RAM, CPU, and GPU (github.com/alexsjones)
		301 points by bilsbie 57 days ago \| 70 comments
13.		Verified Spec-Driven Development (VSDD) (gist.github.com)
		211 points by todsacerdoti 58 days ago \| 118 comments
14.		Pi – A minimal terminal coding harness (pi.dev)
		608 points by kristianpaul 62 days ago \| 306 comments
15.		Show HN: Chaos Monkey but for Audio Video Testing (WebRTC and UDP) (github.com/mdsadiqmd)
		41 points by MdSadiqMd 64 days ago \| 2 comments
16.		Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com/younes-io)
		41 points by youio 65 days ago \| 4 comments
17.		Show HN: Maths, CS and AI Compendium (github.com/henryndubuaku)
		88 points by HenryNdubuaku 71 days ago \| 26 comments
18.		Monosketch (monosketch.io)
		876 points by penguin_booze 74 days ago \| 140 comments
19.		Formally Verifying PBS Kids with Lean4 (shadaj.me)
		68 points by shadaj 85 days ago \| 5 comments
20.		Mousefood – Build embedded terminal UIs for microcontrollers (github.com/ratatui)
		244 points by orhunp_ 89 days ago \| 47 comments
21.		San Francisco Graffiti (walzr.com)
		214 points by walz 3 months ago \| 242 comments
22.		Show HN: C From Scratch – Learn safety-critical C with prove-first methodology (github.com/speytech)
		72 points by william1872 3 months ago \| 12 comments
23.		Extracting verified C++ from the Rocq theorem prover at Bloomberg (bloomberg.github.io)
		129 points by clarus 3 months ago \| 39 comments
24.		Electricity use of AI coding agents (simonpcouch.com)
		119 points by linolevan 3 months ago \| 65 comments
25.		Linux kernel framework for PCIe device emulation, in userspace (github.com/cakehonolulu)
		239 points by 71bw 3 months ago \| 83 comments
26.		Interpreter – Offline screen translator for Japanese retro games (github.com/bquenin)
		93 points by bane 3 months ago \| 13 comments
27.		Ohm Editor (ohmjs.org)
		42 points by andsoitis 5 months ago \| 8 comments
28.		The Department of War just shot the accountants and opted for speed (steveblank.com)
		304 points by ridruejo 5 months ago \| 496 comments
29.		High-performance 2D graphics rendering on the CPU using sparse strips [pdf] (github.com/laurenzv)
		281 points by PaulHoule 5 months ago \| 35 comments
30.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		375 points by vitalnodo 5 months ago \| 144 comments
		More