< prev1 / 10 more >

• 44SIMD-friendly algorithms for substring searching (0x80.pl)
  by Rendello3 hours ago | 1 comments
• 14Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
  by btilly15 hours ago | 2 comments
• 46Filedb: Disk-based key-value store inspired by Bitcask (github.com)
  by todsacerdoti4 hours ago | 2 comments
• 28TimeGuessr (timeguessr.com)
  by stefanpie4 days ago | 4 comments
• 119Implementing Logic Programming (btmc.substack.com)
  by sirwhinesalot9 hours ago | 14 comments
• 30The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More (wsj.com)
  by aspenmayer17 hours ago | 23 comments
• 118Endometriosis is an interesting disease (owlposting.com)
  by crescit_eundo8 hours ago | 9 comments
• 14AI agent startups at Y Combinator’s Spring ’25 Demo Day (businessinsider.com)
  by aspenmayer1 hour ago | 3 comments
• 134Self-Adapting Language Models (arxiv.org)
  by archon141012 hours ago | 12 comments
• 9"The Illusion of Thinking" – Thoughts on This Important Paper (hardcoresoftware.learningbyshipping.com)
  by rbanffy3 days ago | 3 comments

< prev1 / 10 more >