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

149 points by ux266478 8 months ago | 36 comments

Structured (Synchronous) Concurrency(fsantanna.github.io)

29 points by jbkcc 1 year ago | 2 comments

The Patterns of Barricelli (2024)(akkartik.name)

47 points by surprisetalk 1 year ago | 5 comments

The Wizardry Frontier(v5.chriskrycho.com)

51 points by signa11 2 years ago | 6 comments

What makes Lisp difficult to read?(paultm.nl)

20 points by ibobev 28 days ago | 24 comments

Blog post exploring why Lisp's parenthesis-heavy syntax is perceived as hard to read and what that implies for designing syntax in new languages.

André Weil and the Hodge Conjecture(jiahao116.github.io)

29 points by caojiahao 1 month ago | 11 comments