A Curried Composition Puzzle(franklin.dyer.me)

83 points by 082349872349872 2 years ago | 11 comments

Lispy vs. Pseudo-English Syntax (1984)(ml.cddddr.org)

20 points by djha-skin 3 years ago | 13 comments

Lithp.py (~2008)(fogus.me)

28 points by wglb 4 months ago | 5 comments

Totality and non-standard recursion in Idris(franklin.dyer.me)

4 points by franklin_p_dyer 2 years ago | 0 comments

SectorC: A C Compiler in 512 bytes (2023)(xorvoid.com)

347 points by valyala 8 months ago | 72 comments

Blog post describing SectorC, a C compiler written in x86-16 assembly that fits in a 512-byte boot sector and supports a usable subset of C.

Lambda Calculus in 383 Bytes (2022)(justine.lol)

298 points by MrBuddyCasino 1 year ago | 48 comments