anonzzzies's favorites

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