< prev1 / 10 more >

• 39Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
  by btilly16 hours ago | 4 comments
• 58SIMD-friendly algorithms for substring searching (0x80.pl)
  by Rendello4 hours ago | 2 comments
• 54Filedb: Disk-based key-value store inspired by Bitcask (github.com)
  by todsacerdoti5 hours ago | 2 comments
• 44TimeGuessr (timeguessr.com)
  by stefanpie4 days ago | 8 comments
• 126Implementing Logic Programming (btmc.substack.com)
  by sirwhinesalot10 hours ago | 15 comments
• 51The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More (wsj.com)
  by aspenmayer18 hours ago | 29 comments
• 130Endometriosis is an interesting disease (owlposting.com)
  by crescit_eundo9 hours ago | 10 comments
• 20"The Illusion of Thinking" – Thoughts on This Important Paper (hardcoresoftware.learningbyshipping.com)
  by rbanffy3 days ago | 6 comments
• 58Liquid Glass – WWDC25 [video] (developer.apple.com)
  by lnrd3 days ago | 29 comments
• 140Self-Adapting Language Models (arxiv.org)
  by archon141013 hours ago | 12 comments

< prev1 / 10 more >