nicce's favorites | Hacker News

1.		Coq: The World's Best Macro Assembler? (2013) [pdf] (nickbenton.name)
		167 points by addaon 28 days ago \| 74 comments
2.		“One Student One Chip” Course Homepage (oscc.cc)
		185 points by camel-cdr 43 days ago \| 50 comments
3.		Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
		375 points by vitalnodo 47 days ago \| 144 comments
4.		Immutable Software Deploys Using ZFS Jails on FreeBSD (conradresearch.com)
		194 points by vermaden 47 days ago \| 47 comments
5.		Myna: Monospace typeface designed for symbol-heavy programming languages (github.com/sayyadirfanali)
		407 points by birdculture 48 days ago \| 182 comments
6.		The Accountability Problem (jamesshore.com)
		144 points by FrancoisBosun 67 days ago \| 60 comments
7.		NanoChat – The best ChatGPT that $100 can buy (github.com/karpathy)
		1523 points by huseyinkeles 73 days ago \| 308 comments
8.		Brutalita Sans: An Experimental Font and Font Editor (brutalita.com)
		601 points by fibo 3 months ago \| 80 comments
9.		Float Exposed (float.exposed)
		417 points by SomaticPirate 3 months ago \| 114 comments
10.		Patrick Winston: How to Speak (2018) [video] (youtube.com)
		428 points by tosh 3 months ago \| 82 comments
11.		Flipper Zero dark web firmware bypasses rolling code security (rtl-sdr.com)
		486 points by lq9AJ8yrfs 4 months ago \| 315 comments
12.		Insights on Teufel’s first open-source speaker (teufelaudio.com)
		105 points by lis 5 months ago \| 22 comments
13.		My Self-Hosting Setup (codecaptured.com)
		612 points by mirdaki 5 months ago \| 207 comments
14.		I built something that changed my friend group's social fabric (danpetrolito.xyz)
		601 points by dandano 6 months ago \| 264 comments
15.		Starlink User Terminal Teardown (darknavy.org)
		306 points by walterbell 7 months ago \| 114 comments
16.		Ada and SPARK enter the automotive ISO-26262 market with Nvidia (adacore.com)
		116 points by gneuromante 6 months ago \| 111 comments
17.		Getting a paper accepted (maxwellforbes.com)
		219 points by stefanpie 7 months ago \| 129 comments
18.		The NSA Selector (github.com/wenzellabs)
		302 points by anigbrowl 7 months ago \| 84 comments
19.		Game theory illustrated by an animated cartoon game (ncase.me)
		449 points by felineflock 7 months ago \| 74 comments
20.		$20K Bounty Offered for Optimizing Rust Code in Rav1d AV1 Decoder (memorysafety.org)
		121 points by todsacerdoti 7 months ago \| 110 comments
21.		How to Build a Smartwatch: Picking a Chip (ericmigi.com)
		312 points by rcarmo 7 months ago \| 122 comments
22.		Show HN: Hyvector – A fast and modern SVG editor (hyvector.com)
		331 points by jansan 7 months ago \| 93 comments
23.		Show HN: My from-scratch OS kernel that runs DOOM (github.com/unmappedstack)
		320 points by UnmappedStack 8 months ago \| 81 comments
24.		Ultra-precision formation flying demonstration for space-based interferometry (arxiv.org)
		70 points by PaulHoule 8 months ago \| 23 comments
25.		Nice things with SVG (fuma-nama.vercel.app)
		575 points by fmerian 8 months ago \| 107 comments
26.		Fiber optic drones are changing combat operations (youtube.com)
		52 points by Swizec 8 months ago \| 54 comments
27.		How to write blog posts that developers read (refactoringenglish.com)
		603 points by rbanffy 9 months ago \| 154 comments
28.		Comparing Fuchsia components and Linux containers [video] (fosdem.org)
		217 points by bestorworse 9 months ago \| 184 comments
29.		WASM Wayland Web (WWW) (joeyh.name)
		254 points by todsacerdoti 10 months ago \| 213 comments
30.		Fewer students are enrolling in doctoral degrees (nature.com)
		234 points by rntn 10 months ago \| 467 comments
		More