< prev1 / 10 more >

• 91Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
  by btilly18 hours ago | 6 comments
• 103SIMD-friendly algorithms for substring searching (0x80.pl)
  by Rendello7 hours ago | 5 comments
• 17Last fifty years of integer linear programming: Recent practical advances (inria.hal.science)
  by teleforce4 hours ago | 0 comments
• 19Slowing the flow of core-dump-related CVEs (lwn.net)
  by jwilk3 days ago | 1 comments
• 69Filedb: Disk-based key-value store inspired by Bitcask (github.com)
  by todsacerdoti8 hours ago | 4 comments
• 159Endometriosis is an interesting disease (owlposting.com)
  by crescit_eundo12 hours ago | 12 comments
• 141Implementing Logic Programming (btmc.substack.com)
  by sirwhinesalot13 hours ago | 18 comments
• 7The Many Sides of Erik Satie (mitpress.mit.edu)
  by anarbadalov5 days ago | 1 comments
• 90TimeGuessr (timeguessr.com)
  by stefanpie4 days ago | 17 comments
• 82Liquid Glass – WWDC25 [video] (developer.apple.com)
  by lnrd3 days ago | 35 comments

< prev1 / 10 more >