λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments
Two ways to crack a walnut, per Grothendieck (2025)(shreevatsa.net)40 points by ethanseal 9 months ago | 15 comments
Knuth and McIlroy Approach a Problem (2021)(matt-rickard.com)49 points by ingve 3 years ago | 18 comments