< prev1 / 10 more >

• 35The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)
  by ghuntley1 hour ago | 11 comments
• 247A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" (rvembedded.com)
  by Narishma4 hours ago | 31 comments
• 449Claude: System Prompts (platform.claude.com)
  by tosh9 hours ago | 52 comments
• 70Protobuf has LSP support. You're welcome (buf.build)
  by theanonymousone3 hours ago | 6 comments
• 34SIMD in the 90s: Programming Intel's Pentium MMX (pikuma.com)
  by ibobev3 days ago | 4 comments
• 32Low-Tech Ceramic Water Filter (wiki.lowtechlab.org)
  by Bluestein5 days ago | 7 comments
• 191The AI Credit Resale Economy (vectoral.com)
  by mlenhard7 hours ago | 26 comments
• 172Models Are Getting Dumber on Purpose (w4g1.dev)
  by hruvhwe2 hours ago | 27 comments
• 36MathCode, Mathematical Coding Agent (math-ai-org.github.io)
  by homarp3 hours ago | 6 comments
• 44Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter (bloomberg.com)
  by zacharyozer1 hour ago | 10 comments

< prev1 / 10 more >