The soloists and populars of the software world(mihaiolteanu.me)5 points by molteanu 3 years ago | 0 comments
Purely Functional Sliding Window Aggregation Algorithm(byorgey.github.io)55 points by agnishom 1 year ago | 17 comments
λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments