Submissions from aiono.dev

		Can LLMs SAT? (aiono.dev)
		3 points by todsacerdoti 14 days ago \| past
		Understanding C++ Ownership System (aiono.dev)
		52 points by todsacerdoti 52 days ago \| past \| 83 comments
		Algebraic Types are not Scary (aiono.dev)
		93 points by Bogdanp 5 months ago \| past \| 70 comments
		Minimal Scala Container Images Using Nix (aiono.dev)
		1 point by kugurerdem 7 months ago \| past \| 2 comments
		Why Every Programming Language Sucks at Error Handling (aiono.dev)
		14 points by kugurerdem on March 11, 2025 \| past \| 13 comments
		Pinning Nixpkgs Without Channels (aiono.dev)
		2 points by aiono on Oct 20, 2024 \| past