oecumena's submissions

1.		Formal verification of the long division algorithm (cofault.com)
		2 points by oecumena 59 days ago \| past \| 1 comment
2.		Don't lose your file (descriptors): escrow library (github.com/nikitadanilov)
		1 point by oecumena on April 15, 2024 \| past \| 1 comment
3.		3-Lisp: an infinite tower of meta-circular interpreters (cofault.com)
		4 points by oecumena on Aug 24, 2022 \| past \| 1 comment
4.		Treadmill garbage collector by H. Baker (cofault.com)
		163 points by oecumena on July 26, 2022 \| past \| 59 comments
5.		A curious case of stacks and queues (cofault.com)
		2 points by oecumena on Nov 11, 2020 \| past \| 1 comment
6.		Go Is Not My Favorite Programming Language (cofault.com)
		3 points by oecumena on Jan 27, 2019 \| past