< prev 3 / 10 more >

• 227Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
  by matt_d18 hours ago | 18 comments
• 141Developing provably correct Rust code with Verus (amazon.science)
  by Betelbuddy2 days ago | 16 comments
• 194HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)
  by matt_d17 hours ago | 25 comments
• 89I Don't Like LLMs (martinfowler.com)
  by TangerineDream1 hour ago | 31 comments
• 279Neovim have a ~$800k Bitcoin donation sitting untouched since 2023
  by jakemanger4 hours ago | 15 comments
• 250The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
  by johnjwang1 day ago | 24 comments
• 644Training a 4B model to produce 81% faster query plans than Postgres (rohanbansal.com)
  by polyphilz20 hours ago | 35 comments
• 327Performance Improvements in .NET 11 (devblogs.microsoft.com)
  by soheilpro2 days ago | 24 comments
• 174OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)
  by etoxin16 hours ago | 34 comments
• 91A 32-year-old bug walks into a Telnet server (labs.watchtowr.com)
  by paimapi1 day ago | 16 comments

< prev 3 / 10 more >