Totality and non-standard recursion in Idris(franklin.dyer.me)4 points by franklin_p_dyer 2 years ago | 0 comments
Forsp: A Forth+Lisp Hybrid Lambda Calculus Language(xorvoid.com)194 points by xorvoid 2 years ago | 59 comments
Discovering copy-on-write in R(franklin.dyer.me)50 points by franklin_p_dyer 2 years ago | 20 comments
A peculiarity of the GNU Coreutils version of 'test' and '['(utcc.utoronto.ca)71 points by ingve 2 years ago | 42 comments
Imagining a language without booleans(justinpombrio.net)69 points by todsacerdoti 1 year ago | 69 comments