rvba's favorites | Hacker News

1.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		373 points by vitalnodo 6 days ago \| 137 comments
2.		Feed the bots (maurycyz.com)
		305 points by chmaynard 19 days ago \| 203 comments
3.		Movie posters from Ghana in the 1980s and 90s (utterlyinteresting.com)
		267 points by bookofjoe 19 days ago \| 94 comments
4.		A competitor crippled a $23.5M bootcamp by becoming a Reddit moderator (larslofgren.com)
		1305 points by SilverElfin 37 days ago \| 931 comments
5.		When I say “alphabetical order”, I mean “alphabetical order” (tronto.net)
		594 points by sebtron 47 days ago \| 367 comments
6.		Why do some gamers invert their controls? (theguardian.com)
		104 points by zdw 55 days ago \| 170 comments
7.		Show HN: I'm a dermatologist and I vibe coded a skin cancer learning app (molecheck.info)
		429 points by sungam 69 days ago \| 259 comments
8.		Show HN: Kitten TTS – 25MB CPU-Only, Open-Source TTS Model (github.com/kittenml)
		1003 points by divamgupta 3 months ago \| 361 comments
9.		Being too ambitious is a clever form of self-sabotage (maalvika.substack.com)
		775 points by alihm 4 months ago \| 210 comments
10.		Unparalleled Misalignments (rickiheicklen.com)
		149 points by ChadNauseam 6 months ago \| 31 comments
11.		Taking a $15 Casio F91W 5km underwater (watchesofespionage.com)
		359 points by nnnnico 9 months ago \| 95 comments
12.		Tracing the thoughts of a large language model (anthropic.com)
		1072 points by Philpax 7 months ago \| 394 comments
13.		See a Fish? Ring the Bell (visdeurbel.nl)
		262 points by cyanbane on March 23, 2024 \| 79 comments
14.		Stoop Coffee: A simple idea transformed my neighborhood (supernuclear.substack.com)
		1652 points by surprisetalk 7 months ago \| 498 comments
15.		How a yacht works: sailboat physics and design (onemetre.net)
		254 points by stass 7 months ago \| 76 comments
16.		Open guide to equity compensation (github.com/jlevy)
		656 points by mooreds 7 months ago \| 297 comments
17.		Kezurou-Kai #39 (bigsandwoodworking.com)
		270 points by nabla9 7 months ago \| 28 comments
18.		US Administration announces 34% tariffs on China, 20% on EU (bbc.com)
		1877 points by belter 7 months ago \| 3603 comments
19.		Tell HN: Announcing tomhow as a public moderator
		1825 points by dang 7 months ago \| 462 comments
20.		Electron band structure in germanium, my ass (2001) (wisc.edu)
		903 points by tux3 7 months ago \| 407 comments
21.		The Delusion of the Polygraph (lithub.com)
		298 points by bookofjoe on July 15, 2024 \| 312 comments
22.		Differentiable Logic Cellular Automata (google-research.github.io)
		469 points by eyvindn 8 months ago \| 90 comments
23.		FFmpeg School of Assembly Language (github.com/ffmpeg)
		869 points by davikr 8 months ago \| 220 comments
24.		Debugging an Undebuggable App (bryce.co)
		351 points by xmprt 9 months ago \| 58 comments
25.		What about K? (xpqz.github.io)
		206 points by tosh 9 months ago \| 138 comments
26.		SQLook – A free online SQLite database manager with a Windows 2000 interface (sqlook.com)
		178 points by gringow 9 months ago \| 72 comments
27.		Stopping by Woods on a Snowy Evening (1923) (poets.org)
		297 points by keepamovin 10 months ago \| 91 comments
28.		7 Databases in 7 Weeks for 2025 (blwt.io)
		404 points by yarapavan 11 months ago \| 117 comments
29.		How to use Postgres for everything (github.com/olshansk)
		289 points by Olshansky 11 months ago \| 169 comments
30.		Intel’s board, and an example of when boards and short-termism fail (fabricatedknowledge.com)
		351 points by LarsDu88 11 months ago \| 278 comments
		More