Scheming a mise-en-abîme in BQN(panadestein.github.io)38 points by todsacerdoti 1 year ago | 0 comments
Functional Programming with TypeScript's Type System(desislav.dev)74 points by evolveyourmind 3 years ago | 30 comments
λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments
MLX: NumPy like framework for Apple Silicon by Apple(ml-explore.github.io)131 points by dagmx 2 years ago | 12 comments