aiono's submissions | Hacker News

1.		Against Single-File Codebases (rugu.dev)
		2 points by aiono 6 months ago \| past \| 2 comments
2.		Rethinking AI Pessimism (rugu.dev)
		4 points by aiono 10 months ago \| past
3.		Formal Methods: Just Good Engineering Practice? (2024) (brooker.co.za)
		211 points by aiono on Jan 10, 2025 \| past \| 133 comments
4.		Are delayed issues harder to resolve? (springer.com)
		2 points by aiono on Jan 8, 2025 \| past \| 1 comment
5.		Algebraic Blindness (github.com/quchen)
		2 points by aiono on Nov 11, 2024 \| past \| 1 comment
6.		A Missing IDE Feature (matklad.github.io)
		47 points by aiono on Nov 4, 2024 \| past \| 52 comments
7.		Pinning Nixpkgs Without Channels (aiono.dev)
		2 points by aiono on Oct 20, 2024 \| past