Totality and non-standard recursion in Idris(franklin.dyer.me)4 points by franklin_p_dyer 2 years ago | 0 comments
Lamport's Byzantine Generals Algorithm in Python(bytepawn.com)14 points by Maro 1 year ago | 1 comments
Getting back into C programming for CP/M(kevinboone.me)204 points by AlexeyBrin 2 years ago | 92 comments