Submissions from ngrislain.github.io

		Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)
		34 points by ngrislain 11 days ago \| past \| 23 comments
		Don't Vibe – Prove (ngrislain.github.io)
		2 points by vinhnx 19 days ago \| past
		Reading Note: Sequential-Parallel Duality in Prefix Scannable Models (ngrislain.github.io)
		2 points by ngrislain 19 days ago \| past
		Don't Vibe – Prove (ngrislain.github.io)
		4 points by ngrislain 23 days ago \| past
		How to Die Optimally – A Theory of Consumption When AI Takes Your Job (ngrislain.github.io)
		2 points by ngrislain 43 days ago \| past
		Teaching 3D Geometry with Pyxel (ngrislain.github.io)
		1 point by ngrislain 4 months ago \| past