more anonzzzies's favorites

61.		Testing a compiler-driven full-stack web framework (wasp.sh)
		50 points by franjo_mindek 68 days ago \| 17 comments
62.		Delimited continuations in lone Lisp (matheusmoreira.com)
		118 points by matheusmoreira 73 days ago \| 26 comments
63.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		326 points by barthelomew 71 days ago \| 175 comments
64.		F3: Open-source data file format for the future [pdf] (cmu.edu)
		386 points by eatonphil 75 days ago \| 125 comments
65.		Show HN: ProcASM v1.1 (temware.site)
		12 points by Temdog007 76 days ago \| 1 comment
66.		Ask HN: What are you working on? (September 2025)
		313 points by david927 76 days ago \| 1017 comments
67.		Subtleties of SQLite Indexes (emschwartz.me)
		137 points by emschwartz 76 days ago \| 59 comments
68.		A WebGL game where you deliver messages on a tiny planet (abeto.co)
		2131 points by thecupisblue 79 days ago \| 338 comments
69.		Thoughts on Cloudflare (xn--gckvb8fzb.com)
		216 points by lladnar 79 days ago \| 84 comments
70.		Ultra efficient vector extension for SQLite (marcobambini.substack.com)
		173 points by marcobambini 83 days ago \| 56 comments
71.		Litex: The First Formal Language Learnable in 1-2 Hours (github.com/litexlang)
		111 points by litexlang 81 days ago \| 82 comments
72.		Claude can sometimes prove it (galois.com)
		219 points by lairv 89 days ago \| 69 comments
73.		Compiling with Continuations (swatson555.github.io)
		82 points by swatson741 89 days ago \| 25 comments
74.		Show HN: Asxiv.org – Ask ArXiv papers questions through chat (asxiv.org)
		161 points by anonfunction 3 months ago \| 24 comments
75.		TernFS – An exabyte scale, multi-region distributed filesystem (xtxmarkets.com)
		251 points by rostayob 88 days ago \| 109 comments
76.		Optimizing ClickHouse for Intel's ultra-high core count processors (clickhouse.com)
		225 points by ashvardanian 88 days ago \| 51 comments
77.		How Container Filesystem Works: Building a Docker-Like Container from Scratch (iximiuz.com)
		183 points by lgunsch 3 months ago \| 32 comments
78.		Celestia – Real-time 3D visualization of space (celestiaproject.space)
		140 points by LordNibbler 3 months ago \| 32 comments
79.		Xrust – XPath, XQuery, and XSLT for Rust (gnome.org)
		23 points by zdw 3 months ago \| 14 comments
80.		Visual programming is stuck on the form (interjectedfuture.com)
		66 points by iamwil 3 months ago \| 33 comments
81.		SpikingBrain 7B – More efficient than classic LLMs (github.com/biclab)
		150 points by somethingsome 3 months ago \| 45 comments
82.		Many hard LeetCode problems are easy constraint problems (buttondown.com/hillelwayne)
		679 points by mpweiher 3 months ago \| 533 comments
83.		Clojure's Solutions to the Expression Problem (infoq.com)
		158 points by adityaathalye 3 months ago \| 27 comments
84.		Show HN: TailGuard – Bridge your WireGuard router into Tailscale via a container (github.com/juhovh)
		150 points by juhovh 3 months ago \| 38 comments
85.		Show HN: DevSwarm, run multiple AI coding assistants in parallel (devswarm.ai)
		15 points by mikebiglan 3 months ago \| 1 comment
86.		The Universe Within 12.5 Light Years (atlasoftheuniverse.com)
		268 points by algorithmista 3 months ago \| 190 comments
87.		Fil's Unbelievable Garbage Collector (fil-c.org)
		603 points by pizlonator 3 months ago \| 281 comments
88.		Poor man's bitemporal data system in SQLite and Clojure (evalapply.org)
		172 points by adityaathalye 3 months ago \| 54 comments
89.		Show HN: We built an open-source alternative to expensive pair programming apps (github.com/gethopp)
		39 points by konsalexee 3 months ago \| 17 comments
90.		Seven Hours, Zero Internet, and Local AI Coding at 40k Feet (betweentheprompts.com)
		2 points by scastiel 3 months ago \| 1 comment
		More