6ardamu's favorites | Hacker News

1.		Rubik's Cube in Prolog – Order (medium.com/kenichisasagawa)
		41 points by myth_drannon 14 days ago \| 14 comments
2.		Show HN: I made a memory game to teach you to play piano by ear (specr.net)
		565 points by vunderba 15 days ago \| 171 comments
3.		A4 Paper Stories (susam.net)
		387 points by blenderob 17 days ago \| 185 comments
4.		Mattermost restricted access to old messages after 10000 limit is reached (github.com/mattermost)
		385 points by xvilka 30 days ago \| 250 comments
5.		Test, don't just verify (alperenkeles.com)
		200 points by alpaylan 32 days ago \| 140 comments
6.		AI will make formal verification go mainstream (kleppmann.com)
		827 points by evakhoury 38 days ago \| 434 comments
7.		Sick of smart TVs? Here are your best options (arstechnica.com)
		636 points by fleahunter 43 days ago \| 532 comments
8.		The terminal of the future (jyn.dev)
		318 points by miguelraz 73 days ago \| 169 comments
9.		Removing XSLT for a more secure browser (chrome.com)
		183 points by justin-reeves 80 days ago \| 337 comments
10.		State of Terminal Emulators in 2025: The Errant Champions (jeffquast.com)
		267 points by SG- 82 days ago \| 273 comments
11.		Optimizing Datalog for the GPU (danglingpointers.substack.com)
		127 points by blakepelton 81 days ago \| 26 comments
12.		Reproducing the AWS Outage Race Condition with a Model Checker (wyounas.github.io)
		144 points by simplegeek 82 days ago \| 50 comments
13.		Why Busy Beaver hunters fear the Antihydra (benbrubaker.com)
		238 points by Bogdanp 89 days ago \| 78 comments
14.		Solving regex crosswords with Z3 (nelhage.com)
		65 points by atilimcetin 3 months ago
15.		Show HN: I built a simple ambient sound app with no ads or subscriptions (ambisounds.app)
		314 points by alpaca121 3 months ago \| 118 comments
16.		Interval Calculator (victorpoughon.github.io)
		11 points by fouronnes3 3 months ago
17.		Libghostty is coming (mitchellh.com)
		828 points by kingori 4 months ago \| 266 comments
18.		500 days of math (gmays.com)
		215 points by gmays 5 months ago \| 97 comments
19.		Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI (github.com/zaneh)
		203 points by FinalDestiny 6 months ago \| 58 comments
20.		My favourite fonts to use with LaTeX (2022) (lfe.pt)
		195 points by todsacerdoti 8 months ago \| 54 comments
21.		Engineered Addictions (masonyarbrough.substack.com)
		720 points by echollama 7 months ago \| 451 comments
22.		XSLT – Native, zero-config build system for the Web (github.com/pacocoursey)
		392 points by _kush 7 months ago \| 325 comments
23.		Proofs Without Words (artofproblemsolving.com)
		111 points by squircle 7 months ago \| 26 comments
24.		How much EU is in DNS4EU? (jenslink.net)
		149 points by todsacerdoti 7 months ago \| 108 comments
25.		Kagi Reaches 50k Users (kagi.com)
		555 points by tigroferoce 7 months ago \| 341 comments
26.		What works (and doesn't) selling formal methods (galois.com)
		144 points by azhenley 7 months ago \| 75 comments
27.		A man who sailed round the world with a chicken (2019) (theguardian.com)
		75 points by NaOH 7 months ago \| 47 comments
28.		Game theory illustrated by an animated cartoon game (ncase.me)
		449 points by felineflock 8 months ago \| 74 comments
29.		Replicube: A puzzle game about writing code to create shapes (steampowered.com)
		138 points by poetril 8 months ago \| 30 comments
30.		I built a pixel art editor after playing Octopath Traveler II
		115 points by Kobayashiii 8 months ago \| 48 comments
		More