anonzzzies's favorites

1.		Size of Life (neal.fun)
		1573 points by eatonphil 12 hours ago \| 191 comments
2.		Idempotency keys for exactly-once processing (morling.dev)
		182 points by defly 9 days ago \| 78 comments
3.		Landlock-Ing Linux (prizrak.me)
		291 points by razighter777 11 days ago \| 120 comments
4.		Replacing My Window Manager with Google Chrome (foxmoss.com)
		105 points by foxmoss 13 days ago \| 28 comments
5.		Coq: The World's Best Macro Assembler? (2013) [pdf] (nickbenton.name)
		167 points by addaon 14 days ago \| 74 comments
6.		Show HN: Era – Open-source local sandbox for AI agents (github.com/binsquare)
		62 points by gregTurri 13 days ago \| 19 comments
7.		Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
		117 points by SchwKatze 14 days ago \| 29 comments
8.		Show HN: We built an open source, zero webhooks payment processor (github.com/flowglad)
		405 points by agreeahmed 15 days ago \| 223 comments
9.		Unison 1.0 (unison-lang.org)
		289 points by pchiusano 15 days ago \| 95 comments
10.		Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)
		150 points by perryprog 16 days ago \| 10 comments
11.		Editing Code in Emacs (redpenguin101.github.io)
		173 points by redpenguin101 17 days ago \| 53 comments
12.		Shaders: How to draw high fidelity graphics with just x and y coordinates (makingsoftware.com)
		411 points by Garbage 17 days ago \| 89 comments
13.		Solving Fizz Buzz with Cosines (susam.net)
		215 points by hprotagonist 19 days ago \| 65 comments
14.		Building a Durable Execution Engine with SQLite (morling.dev)
		178 points by ingve 20 days ago \| 54 comments
15.		Ask HN: How are Markov chains so different from tiny LLMs?
		204 points by JPLeRouzic 23 days ago \| 189 comments
16.		The patent office is about to make bad patents untouchable (eff.org)
		619 points by iamnothere 21 days ago \| 91 comments
17.		The Future of Programming (2013) [video] (youtube.com)
		166 points by jackdoe 27 days ago \| 98 comments
18.		IDEmacs: A Visual Studio Code clone for Emacs (codeberg.org/idemacs)
		301 points by nogajun 25 days ago \| 181 comments
19.		Omnilingual ASR: Advancing automatic speech recognition for 1600 languages (meta.com)
		162 points by jean- 30 days ago \| 45 comments
20.		Marko – A declarative, HTML‑based language (markojs.com)
		367 points by ulrischa 32 days ago \| 180 comments
21.		Cerebras Code now supports GLM 4.6 at 1000 tokens/sec (cerebras.ai)
		194 points by nathabonfim59 33 days ago \| 129 comments
22.		The Microsoft SoftCard for the Apple II: Getting two processors to share memory (devblogs.microsoft.com/oldnewthing)
		122 points by zdw 36 days ago \| 60 comments
23.		Radiant Computer (radiant.computer)
		231 points by beardicus 35 days ago \| 162 comments
24.		The Case Against PGVector (alex-jacobs.com)
		381 points by tacoooooooo 37 days ago \| 137 comments
25.		URLs are state containers (alfy.blog)
		512 points by thm 38 days ago \| 213 comments
26.		Reproducing the AWS Outage Race Condition with a Model Checker (wyounas.github.io)
		144 points by simplegeek 38 days ago \| 50 comments
27.		Why don't you use dependent types? (lawrencecpaulson.github.io)
		269 points by baruchel 38 days ago \| 116 comments
28.		Ask HN: Where to begin with "modern" Emacs?
		228 points by weakfish 39 days ago \| 121 comments
29.		SQLite concurrency and why you should care about it (jellyfin.org)
		382 points by HunOL 39 days ago \| 176 comments
30.		Use DuckDB-WASM to query TB of data in browser (law.harvard.edu)
		237 points by mlissner 40 days ago \| 62 comments
		More