Looplets: A Language for Structured Coiteration(dl.acm.org)50 points by matt_d 3 years ago | 21 comments
The Art of Computer Programming by Donald E. Knuth(www-cs-faculty.stanford.edu)180 points by archargelod 3 months ago | 47 comments
λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments
Von Neumann's First Computer Program (1970)(dl.acm.org)101 points by Cieplak 2 years ago | 16 comments
Minotaur: A SIMD-oriented synthesizing superoptimizer(arxiv.org)102 points by luu 3 years ago | 13 comments