macintux's favorites | Hacker News

1.		Show HN: Local-First Linux MicroVMs for macOS (shuru.run)
		158 points by harshdoesdev 12 hours ago \| 48 comments
2.		Loon: A functional lang with invisible types, safe ownership, and alg. effects (loonlang.com)
		87 points by surprisetalk 2 days ago \| 60 comments
3.		macOS's Little-Known Command-Line Sandboxing Tool (2025) (igorstechnoclub.com)
		219 points by Igor_Wiwi 1 day ago \| 85 comments
4.		What Is OAuth? (leaflet.pub)
		224 points by cratermoon 2 days ago \| 82 comments
5.		Lil' Fun Langs (taylor.town)
		121 points by surprisetalk 2 days ago \| 23 comments
6.		Arrays in Forth (forth.org)
		40 points by tosh 7 days ago \| 3 comments
7.		Paged Out Issue #8 [pdf] (pagedout.institute)
		429 points by SteveHawk27 3 days ago \| 74 comments
8.		R3forth: A concatenative language derived from ColorForth (github.com/phreda4)
		96 points by tosh 4 days ago \| 22 comments
9.		Learning Lean: Part 1 (rkirov.github.io)
		131 points by vinhnx 7 days ago \| 16 comments
10.		Show HN: Copy-and-patch compiler for hard real-time Python (github.com/nonannet)
		65 points by Saloc 11 days ago \| 11 comments
11.		Ooh.directory: a place to find good blogs that interest you (ooh.directory)
		615 points by hisamafahri 8 days ago \| 148 comments
12.		Show HN: Data Engineering Book – An open source, community-driven guide (github.com/datascale-ai)
		251 points by xx123122 9 days ago \| 30 comments
13.		I Wrote a Scheme in 2025 (maplant.com)
		141 points by maplant 13 days ago \| 62 comments
14.		Thoughts on Generating C (wingolog.org)
		263 points by ingve 13 days ago \| 98 comments
15.		72M Points of Interest (marksblogg.com)
		61 points by marklit 20 days ago \| 10 comments
16.		Simply Scheme: Introducing Computer Science (1999) (eecs.berkeley.edu)
		118 points by AlexeyBrin 21 days ago \| 36 comments
17.		Sqldef: Idempotent schema management tool for MySQL, PostgreSQL, SQLite (sqldef.github.io)
		263 points by Palmik 21 days ago \| 61 comments
18.		Joedb, the Journal-Only Embedded Database (joedb.org)
		99 points by mci 23 days ago \| 13 comments
19.		Guix for Development (dthompson.us)
		138 points by clircle 33 days ago \| 66 comments
20.		Show HN: A small programming language where everything is pass-by-value (github.com/jcparkyn)
		91 points by jcparkyn 28 days ago \| 61 comments
21.		Some C habits I employ for the modern day (unix.dog)
		221 points by signa11 34 days ago \| 158 comments
22.		Simple Sabotage Field Manual (1944) [pdf] (cia.gov)
		165 points by praptak 34 days ago \| 63 comments
23.		Xous Operating System (xous.dev)
		183 points by eustoria 39 days ago \| 69 comments
24.		LLM Structured Outputs Handbook (nanonets.com)
		377 points by vitaelabitur 38 days ago \| 64 comments
25.		I hate GitHub Actions with passion (xlii.space)
		490 points by xlii 39 days ago \| 341 comments
26.		System Programming in Linux: A Hands-On Introduction "Demo" Programs (github.com/stewartweiss)
		128 points by teleforce 39 days ago \| 7 comments
27.		Git Rebase for the Terrified (brethorsting.com)
		266 points by aaronbrethorst 46 days ago \| 297 comments
28.		The $LANG Programming Language
		267 points by dang 40 days ago \| 72 comments
29.		Climbing the mountain: or, venturing into PL theory (techne98.com)
		16 points by fixedprog 46 days ago
30.		iCloud Photos Downloader (github.com/icloud-photos-downloader)
		653 points by reconnecting 42 days ago \| 248 comments
		More