abecedarius's favorites

1.		Ask HN: Hearing aid wearers, what's hot?
		356 points by pugworthy 20 days ago \| 210 comments
2.		Compilers: Incrementally and Extensibly (2024) (okmij.org)
		143 points by todsacerdoti 8 months ago \| 44 comments
3.		KOReader: Open-Source eBook Reader (github.com/koreader)
		420 points by charleshan 8 months ago \| 106 comments
4.		Show HN: Duolingo-style exercises but with real-world content like the news (fluentsubs.com)
		472 points by ph4evers 8 months ago \| 184 comments
5.		A proof checker meant for education (jsiek.github.io)
		145 points by alabhyajindal 8 months ago \| 51 comments
6.		Zest: a programming language for malleable and legible systems (github.com/jamii)
		56 points by one-more-minute 9 months ago \| 14 comments
7.		Rhombus Language (rhombus-lang.org)
		242 points by swatson741 9 months ago \| 158 comments
8.		[flagged] Occupry your next lease to negotiate a better deal (occupry.com)
		51 points by jason_archmint 9 months ago \| 78 comments
9.		Everything Picolisp can do, and more (picolisp.com)
		110 points by damir 9 months ago \| 14 comments
10.		Sunset Geometry (2016) (shapeoperator.com)
		110 points by Tomte 9 months ago \| 21 comments
11.		The Lost Art of Logarithms (lostartoflogarithms.com)
		570 points by ozanonay 9 months ago \| 195 comments
12.		Rotors: A practical introduction for 3D graphics (2023) (jacquesheunis.com)
		77 points by bladeee 9 months ago \| 20 comments
13.		TinyCompiler: A compiler in a week-end (ssloy.github.io)
		319 points by sebg 9 months ago \| 113 comments
14.		Maxima in the browser using Embedded Common Lisp on WASM (maxima-on-wasm.pages.dev)
		248 points by v9v 10 months ago \| 53 comments
15.		Show HN: WASM-powered codespaces for Python notebooks on GitHub (marimo.io)
		204 points by mscolnick 11 months ago \| 27 comments
16.		Misty: A secure distributed actor language (mistysystem.com)
		90 points by m90 11 months ago \| 38 comments
17.		TinyStories: How Small Can Language Models Be and Still Speak Coherent English? (2023) (arxiv.org)
		218 points by tzury 11 months ago \| 104 comments
18.		Ts_zip: Text Compression Using Large Language Models (bellard.org)
		184 points by signa11 11 months ago \| 68 comments
19.		How I run LLMs locally (abishekmuthian.com)
		400 points by Abishek_Muthian 11 months ago \| 231 comments
20.		Implementing SM-2 in Rust (borretti.me)
		108 points by Tomte 11 months ago \| 22 comments
21.		Hoarder: Self-hostable bookmark-everything app (github.com/hoarder-app)
		475 points by thunderbong 11 months ago \| 106 comments
22.		Rosetta 2 creator leaves Apple to work on Lean full-time (linkedin.com)
		407 points by ladberg 11 months ago \| 134 comments
23.		Natural Number Game: build the basic theory of the natural numbers from scratch (hhu.de)
		191 points by mildog8 12 months ago \| 32 comments
24.		Crunch – a Scheme compiler with a minimal runtime (more-magic.net)
		190 points by sjamaan 12 months ago \| 71 comments
25.		Luon programming language (github.com/rochus-keller)
		233 points by thunderbong 12 months ago \| 119 comments
26.		C Compiler to SPIR-V (github.com/heroseh)
		89 points by bwidlar on Nov 16, 2024 \| 11 comments
27.		Kibi – A text editor in less than 1024 lines of code, written in Rust (terminaltrove.com)
		20 points by jkstill on Nov 13, 2024 \| 8 comments
28.		Λ-2D: An Exploration of Drawing as Programming Language (media.mit.edu)
		246 points by threeme3 on Nov 8, 2024 \| 55 comments
29.		Don't implement unification by recursion (philipzucker.com)
		83 points by mathgenius on Oct 28, 2024 \| 62 comments
30.		Moonshine, the new state of the art for speech to text (petewarden.com)
		172 points by freediver on Oct 27, 2024 \| 36 comments
		More