λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments
Show HN: Zyme – An Evolvable Programming Language(zyme.dev)137 points by almusdives 1 year ago | 17 comments
MLX: NumPy like framework for Apple Silicon by Apple(ml-explore.github.io)131 points by dagmx 2 years ago | 12 comments