Forsp: A Forth+Lisp Hybrid Lambda Calculus Language(xorvoid.com)194 points by xorvoid 2 years ago | 59 comments
A peculiarity of the GNU Coreutils version of 'test' and '['(utcc.utoronto.ca)71 points by ingve 2 years ago | 42 comments
Totality and non-standard recursion in Idris(franklin.dyer.me)4 points by franklin_p_dyer 2 years ago | 0 comments
The Gregorio project – GPL tools for typesetting Gregorian chant(gregorio-project.github.io)53 points by mcookly 6 months ago | 9 comments
Goal: Embeddable array programming language with a bytecode interpreter in Go(anaseto.codeberg.page)73 points by tosh 2 years ago | 6 comments