more nicoty's favorites

61.		Beginner-friendly, unofficial documentation for Helix text editor (helix-editor.vercel.app)
		205 points by Curiositry 40 days ago \| 68 comments
62.		GHC now runs in the browser (haskell.org)
		358 points by kaycebasques 41 days ago \| 126 comments
63.		CharlotteOS – An Experimental Modern Operating System (github.com/charlotte-os)
		172 points by ementally 41 days ago \| 98 comments
64.		Futurelock: A subtle risk in async Rust (oxide.computer)
		449 points by bcantrill 41 days ago \| 245 comments
65.		Zig's New Async I/O (andrewkelley.me)
		329 points by todsacerdoti 44 days ago \| 172 comments
66.		Springs and bounces in native CSS (joshwcomeau.com)
		273 points by feross 44 days ago \| 41 comments
67.		Dithering – Part 1 (visualrambling.space)
		461 points by Bogdanp 43 days ago \| 96 comments
68.		Project Shadowglass (shadowglassgame.com)
		125 points by layer8 44 days ago \| 46 comments
69.		Fil-C: A memory-safe C implementation (lwn.net)
		283 points by chmaynard 44 days ago \| 135 comments
70.		Simplify your code: Functional core, imperative shell (googleblog.com)
		411 points by reqo 48 days ago \| 213 comments
71.		Easy RISC-V (dramforever.github.io)
		401 points by todsacerdoti 45 days ago \| 80 comments
72.		A definition of AGI (arxiv.org)
		305 points by pegasus 46 days ago \| 514 comments
73.		Show HN: Diagram as code tool with draggable customizations (github.com/rohanadwankar)
		266 points by RohanAdwankar 47 days ago \| 60 comments
74.		D2: Diagram Scripting Language (d2lang.com)
		290 points by benzguo 47 days ago \| 72 comments
75.		React vs. Backbone in 2025 (hyperclay.com)
		305 points by mjsu 48 days ago \| 231 comments
76.		Making a micro Linux distro (2023) (popovicu.com)
		197 points by turrini 48 days ago \| 29 comments
77.		That Time Ken Thompson Wrote a Backdoor into the C Compiler (micahkepe.com)
		80 points by thunderbong 48 days ago \| 13 comments
78.		'Attention is all you need' coauthor says he's 'sick' of transformers (venturebeat.com)
		432 points by achow 49 days ago \| 224 comments
79.		Why formalize mathematics – more than catching errors (rkirov.github.io)
		224 points by birdculture 54 days ago \| 75 comments
80.		Twake Drive – An open-source alternative to Google Drive (github.com/linagora)
		372 points by javatuts 49 days ago \| 211 comments
81.		Modern Perfect Hashing (sesse.net)
		125 points by bariumbitmap 49 days ago \| 25 comments
82.		Summary of the Amazon DynamoDB Service Disruption in US-East-1 Region (amazon.com)
		551 points by meetpateltech 50 days ago \| 174 comments
83.		Programming with Less Than Nothing (joshmoody.org)
		468 points by signa11 50 days ago \| 153 comments
84.		I see a future in jj (steveklabnik.com)
		376 points by steveklabnik 50 days ago \| 328 comments
85.		Scripts I wrote that I use all the time (evanhahn.com)
		1341 points by speckx 51 days ago \| 389 comments
86.		Willow quantum chip demonstrates verifiable quantum advantage on hardware (blog.google)
		480 points by AbhishekParmar 51 days ago \| 258 comments
87.		Show HN: I created a cross-platform GUI for the JJ VCS (Git compatible)
		140 points by _pvzn 53 days ago \| 49 comments
88.		Show HN: I'm making a detective game built on Wikipedia (detective.wiki)
		318 points by jasonsmiles 56 days ago \| 43 comments
89.		Public trust demands open-source voting systems (voting.works)
		235 points by philips 52 days ago \| 278 comments
90.		Entire Linux Network stack diagram (2024) (zenodo.org)
		608 points by hhutw 53 days ago \| 56 comments
		More