< prev1 / 10 more >

• 21The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)
  by ghuntley38 minutes ago | 3 comments
• 231A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" (rvembedded.com)
  by Narishma4 hours ago | 29 comments
• 438Claude: System Prompts (platform.claude.com)
  by tosh8 hours ago | 50 comments
• 51Protobuf has LSP support. You're welcome (buf.build)
  by theanonymousone2 hours ago | 4 comments
• 23SIMD in the 90s: Programming Intel's Pentium MMX (pikuma.com)
  by ibobev3 days ago | 1 comments
• 188The AI Credit Resale Economy (vectoral.com)
  by mlenhard6 hours ago | 25 comments
• 25Low-Tech Ceramic Water Filter (wiki.lowtechlab.org)
  by Bluestein5 days ago | 6 comments
• 32MathCode, Mathematical Coding Agent (math-ai-org.github.io)
  by homarp3 hours ago | 5 comments
• 125St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core (wptv.com)
  by toomuchtodo6 hours ago | 25 comments
• 151Models Are Getting Dumber on Purpose (w4g1.dev)
  by hruvhwe2 hours ago | 26 comments

< prev1 / 10 more >