nicce's favorites | Hacker News

1.		Why does it take so long to release black fan versions? (noctua.at)
		767 points by buildbot 3 days ago \| 298 comments
2.		Bugs Rust won't catch (corrode.dev)
		677 points by lwhsiao 6 days ago \| 371 comments
3.		“Why not just use Lean?” (lawrencecpaulson.github.io)
		303 points by ibobev 7 days ago \| 209 comments
4.		Flipdiscs (flipdisc.io)
		569 points by skogstokig 11 days ago \| 91 comments
5.		1-Bit Hokusai's "The Great Wave" (2023) (hypertalking.com)
		615 points by stephen-hill 12 days ago \| 93 comments
6.		Laws of Software Engineering (lawsofsoftwareengineering.com)
		1172 points by milanm081 13 days ago \| 530 comments
7.		DIY Soft Drinks (blinry.org)
		738 points by _Microft 22 days ago \| 243 comments
8.		Show HN: I built 48 lightweight SVG backgrounds you can copy/paste (svgbackgrounds.com)
		403 points by visiwig 47 days ago \| 67 comments
9.		Warcraft III Peon Voice Notifications for Claude Code (github.com/tonyyont)
		1006 points by doppp 82 days ago \| 301 comments
10.		Amazon Ring's lost dog ad sparks backlash amid fears of mass surveillance (theverge.com)
		676 points by jedberg 82 days ago \| 394 comments
11.		AliSQL: Alibaba's open-source MySQL with vector and DuckDB engines (github.com/alibaba)
		306 points by baotiao 3 months ago \| 49 comments
12.		EU launches government satcom program in sovereignty push (spacenews.com)
		163 points by benkan 3 months ago \| 112 comments
13.		A decentralized peer-to-peer messaging application that operates over Bluetooth (bitchat.free)
		636 points by no_creativity_ 3 months ago \| 339 comments
14.		Drone Hacking Part 1: Dumping Firmware and Bruteforcing ECC (neodyme.io)
		155 points by tripdout 3 months ago \| 28 comments
15.		Floppy disks turn out to be the greatest TV remote for kids (smartere.dk)
		752 points by mchro 3 months ago \| 418 comments
16.		Feynman's Hughes Lectures: 950 pages of notes (thehugheslectures.info)
		213 points by gnubison 4 months ago \| 45 comments
17.		Coq: The World's Best Macro Assembler? (2013) [pdf] (nickbenton.name)
		167 points by addaon 5 months ago \| 74 comments
18.		“One Student One Chip” Course Homepage (oscc.cc)
		185 points by camel-cdr 5 months ago \| 50 comments
19.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		375 points by vitalnodo 5 months ago \| 144 comments
20.		Immutable Software Deploys Using ZFS Jails on FreeBSD (conradresearch.com)
		194 points by vermaden 5 months ago \| 47 comments
21.		Myna: Monospace typeface designed for symbol-heavy programming languages (github.com/sayyadirfanali)
		407 points by birdculture 5 months ago \| 182 comments
22.		The Accountability Problem (jamesshore.com)
		144 points by FrancoisBosun 6 months ago \| 60 comments
23.		NanoChat – The best ChatGPT that $100 can buy (github.com/karpathy)
		1523 points by huseyinkeles 6 months ago \| 308 comments
24.		Brutalita Sans: An Experimental Font and Font Editor (brutalita.com)
		601 points by fibo 7 months ago \| 80 comments
25.		Float Exposed (float.exposed)
		417 points by SomaticPirate 7 months ago \| 114 comments
26.		Patrick Winston: How to Speak (2018) [video] (youtube.com)
		428 points by tosh 8 months ago \| 82 comments
27.		Flipper Zero dark web firmware bypasses rolling code security (rtl-sdr.com)
		486 points by lq9AJ8yrfs 9 months ago \| 315 comments
28.		Insights on Teufel’s first open-source speaker (teufelaudio.com)
		105 points by lis 9 months ago \| 22 comments
29.		My Self-Hosting Setup (codecaptured.com)
		612 points by mirdaki 9 months ago \| 207 comments
30.		I built something that changed my friend group's social fabric (danpetrolito.xyz)
		601 points by dandano 10 months ago \| 264 comments
		More