A peculiarity of the GNU Coreutils version of 'test' and '['(utcc.utoronto.ca)71 points by ingve 2 years ago | 42 comments
Reflections on my journey into computer science(rugu.dev)29 points by kugurerdem 3 years ago | 7 comments
Totality and non-standard recursion in Idris(franklin.dyer.me)4 points by franklin_p_dyer 2 years ago | 0 comments