< prev1 / 10 more >

• 68Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
  by btilly17 hours ago | 5 comments
• 83SIMD-friendly algorithms for substring searching (0x80.pl)
  by Rendello6 hours ago | 3 comments
• 73TimeGuessr (timeguessr.com)
  by stefanpie4 days ago | 14 comments
• 41"The Illusion of Thinking" – Thoughts on This Important Paper (hardcoresoftware.learningbyshipping.com)
  by rbanffy4 days ago | 9 comments
• 63Filedb: Disk-based key-value store inspired by Bitcask (github.com)
  by todsacerdoti6 hours ago | 3 comments
• 135Implementing Logic Programming (btmc.substack.com)
  by sirwhinesalot12 hours ago | 17 comments
• 146Endometriosis is an interesting disease (owlposting.com)
  by crescit_eundo11 hours ago | 11 comments
• 70The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More (wsj.com)
  by aspenmayer19 hours ago | 33 comments
• 71Liquid Glass – WWDC25 [video] (developer.apple.com)
  by lnrd3 days ago | 31 comments
• 8Slowing the flow of core-dump-related CVEs (lwn.net)
  by jwilk3 days ago | 0 comments

< prev1 / 10 more >