azornathogron's favorites

1.		From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)
		144 points by rwosync 9 days ago \| 21 comments
2.		Show HN: Boing (greg.technology)
		782 points by gregsadetsky 23 days ago \| 147 comments
3.		Indie game developers have a new sales pitch: being 'AI free' (theverge.com)
		198 points by 01-_- 27 days ago \| 168 comments
4.		Penpot: The Open-Source Figma (github.com/penpot)
		775 points by selvan 26 days ago \| 207 comments
5.		I don't care how well your "AI" works (fokus.cool)
		487 points by todsacerdoti 27 days ago \| 772 comments
6.		Boom, bubble, bust, boom. Why should AI be different? (crazystupidtech.com)
		161 points by speckx 31 days ago \| 208 comments
7.		Shop Sans is a typeface for curved text paths (futurefonts.com)
		212 points by tobr 40 days ago \| 52 comments
8.		Maybe you’re not trying (usefulfictions.substack.com)
		448 points by eatitraw 37 days ago \| 188 comments
9.		Cycle-accurate 6502 emulator as coroutine in Rust (github.com/bagnalla)
		21 points by bagnalla 51 days ago \| 1 comment
10.		Modern Perfect Hashing (sesse.net)
		125 points by bariumbitmap 60 days ago \| 25 comments
11.		Why SSA? (mcyoung.xyz)
		222 points by transpute 61 days ago \| 103 comments
12.		Bots are getting good at mimicking engagement (joindatacops.com)
		415 points by simul007 69 days ago \| 304 comments
13.		Igalia, Servo, and the Sovereign Tech Fund (igalia.com)
		403 points by robin_reala 74 days ago \| 62 comments
14.		My first contribution to Linux (vkoskiv.com)
		701 points by vkoskiv 78 days ago \| 88 comments
15.		Minimal files and config for a PWA (github.com/chr15m)
		143 points by rcarmo 83 days ago \| 23 comments
16.		Ton Roosendaal to step down as Blender chairman and CEO (cgchannel.com)
		379 points by cma 3 months ago \| 79 comments
17.		Show HN: Vicinae – A native, Raycast-compatible launcher for Linux (github.com/vicinaehq)
		181 points by aurellius 3 months ago \| 39 comments
18.		Show HN: Term.everything – Run any GUI app in the terminal (github.com/mmulet)
		1094 points by mmulet 3 months ago \| 144 comments
19.		How Britain built some of the world’s safest roads (ourworldindata.org)
		149 points by sien 3 months ago \| 265 comments
20.		Making a Linux home server sleep on idle and wake on demand (2023) (dgross.ca)
		297 points by AgaoAnar 3 months ago \| 108 comments
21.		Notes on Managing ADHD (borretti.me)
		633 points by amrrs 3 months ago \| 330 comments
22.		Tipping point in Gulf Stream may be reached as early as mid-century (wiley.com)
		83 points by tcumulus 3 months ago \| 90 comments
23.		This website is for humans (localghost.dev)
		657 points by charles_f 4 months ago \| 355 comments
24.		Bezier-rs – algorithms for Bézier segments and shapes (graphite.rs)
		226 points by jarek-foksa 4 months ago \| 55 comments
25.		Melonking Website (melonking.net)
		144 points by thecsw 4 months ago \| 32 comments
26.		Ask HN: What change enabled you to consistently finish your side projects?
		51 points by pillefitz 4 months ago \| 40 comments
27.		The many JavaScript runtimes of the last decade (buttondown.com/whatever_jamie)
		256 points by LinguaBrowse 4 months ago \| 97 comments
28.		Programming vehicles in games (wassimulator.com)
		324 points by Bogdanp 5 months ago \| 73 comments
29.		Celebrating 20 Years of MDN (developer.mozilla.org)
		395 points by soheilpro 5 months ago \| 58 comments
30.		It's Time to Take on the Male Malaise (persuasion.community)
		35 points by trevin 5 months ago \| 17 comments
		More