A peculiarity of the GNU Coreutils version of 'test' and '['(utcc.utoronto.ca)71 points by ingve 2 years ago | 42 comments
Delimited Continuations vs. Lwt for Threads(mirageos.org)36 points by romes 8 months ago | 3 comments
Totality and non-standard recursion in Idris(franklin.dyer.me)4 points by franklin_p_dyer 2 years ago | 0 comments
Snorting the AGI with Claude Code(kadekillary.work)290 points by beigebrucewayne 1 year ago | 183 comments