< prev1 / 10 more >

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

< prev1 / 10 more >