Scheming a mise-en-abîme in BQN(panadestein.github.io)

38 points by todsacerdoti 1 year ago | 0 comments

λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments

Intuiting Pratt Parsing(louis.co.nz)

141 points by signa11 7 months ago | 45 comments

Binary GCD(en.algorithmica.org)

74 points by tosh 6 months ago | 1 comments

Everything Is Just Functions: 1 week with David Beazley and SICP(ezzeriesa.notion.site)

370 points by kurinikku 1 year ago | 211 comments

A Notion-hosted blog post recounting a week-long SICP course taught by David Beazley, covering functions, interpreters, and tail call optimization.

Decomposing factorial of 300K as the product of 300K factors larger than 100K(gus-massa.blogspot.com)

90 points by gus_massa 1 year ago | 9 comments