λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments
Adding Go's Defer to the TypeScript Compiler(healeycodes.com)16 points by healeycodes 2 months ago | 6 comments
WebGPU and the Price of Compiling WGSL(hugodaniel.com)38 points by todsacerdoti 1 year ago | 15 comments