Submissions from borretti.me

		Ad-Hoc Emacs Packages with Nix (borretti.me)
		3 points by zetalyrae 15 days ago \| past
		Linux on the Fujitsu Lifebook U729 (borretti.me)
		207 points by ibobev 17 days ago \| past \| 168 comments
		Agda on NixOS (borretti.me)
		2 points by ibobev 18 days ago \| past
		Hashcards: A Plain-Text Spaced Repetition System (borretti.me)
		4 points by ibobev 47 days ago \| past \| 1 comment
		Hashcards: A Plain-Text Spaced Repetition System (borretti.me)
		1 point by ibobev 52 days ago \| past
		Hashcards: A Plain-Text Spaced Repetition System (borretti.me)
		3 points by birdculture 57 days ago \| past
		Hashcards: A Plain-Text Spaced Repetition System (borretti.me)
		10 points by todsacerdoti 58 days ago \| past \| 2 comments
		Notes on Managing ADHD (borretti.me)
		633 points by amrrs 3 months ago \| past \| 330 comments
		Notes on Managing ADHD (borretti.me)
		8 points by bookofjoe 5 months ago \| past \| 1 comment
		We Live in a Golden Age of Interoperability (borretti.me)
		3 points by aragilar 5 months ago \| past
		Notes on Managing ADHD (borretti.me)
		3 points by vghaisas 5 months ago \| past \| 2 comments
		Notes on Managing ADHD (borretti.me)
		5 points by swah 5 months ago \| past
		Client Freedom (2024) (borretti.me)
		6 points by mooreds 5 months ago \| past
		Notes on Managing ADHD (borretti.me)
		6 points by ibobev 5 months ago \| past
		Notes on Managing ADHD (borretti.me)
		5 points by furkansahin 5 months ago \| past \| 1 comment
		Unbundling Tools for Thought (2022) (borretti.me)
		2 points by Tomte 6 months ago \| past
		Inboxes Are Underrated (borretti.me)
		3 points by mooreds 6 months ago \| past \| 1 comment
		Astronomical Calculations for Hard Sci-Fi in Common Lisp (2022) (borretti.me)
		13 points by e-topy 6 months ago \| past
		Inboxes Are Underrated (borretti.me)
		6 points by ibobev 6 months ago \| past \| 1 comment
		You can choose tools that make you happy (borretti.me)
		6 points by arthurjj 6 months ago \| past \| 1 comment
		You can choose tools that make you happy (borretti.me)
		258 points by zdw 6 months ago \| past \| 85 comments
		You Can Choose Tools That Make You Happy (borretti.me)
		7 points by imadj 6 months ago \| past \| 2 comments
		You Can Choose Tools That Make You Happy (borretti.me)
		8 points by jake-low 6 months ago \| past \| 1 comment
		Two Years of Rust (borretti.me)
		88 points by todsacerdoti 7 months ago \| past \| 67 comments
		My Backup Infrastructure, 2025 Edition (borretti.me)
		4 points by janandonly 7 months ago \| past \| 1 comment
		We Live in a Golden Age of Interoperability (borretti.me)
		2 points by varjag 7 months ago \| past
		Why Lisp Syntax Works (borretti.me)
		6 points by winkywooster 8 months ago \| past
		And yet It Understands (borretti.me)
		3 points by andsoitis 8 months ago \| past \| 1 comment
		Why Lisp Syntax Works (borretti.me)
		5 points by andsoitis 8 months ago \| past \| 1 comment
		Austral: A Systems Language with Linear Types and Capabilities (2022) (borretti.me)
		155 points by rzk 8 months ago \| past \| 35 comments
		More