< prev1 / 10 more >

• 504Small programming tricks (will-keleher.com)
  by signa1116 hours ago | 52 comments
• 103Developing provably correct Rust code with Verus (amazon.science)
  by Betelbuddy2 days ago | 6 comments
• 196Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
  by matt_d11 hours ago | 15 comments
• 52A 32-year-old bug walks into a Telnet server (labs.watchtowr.com)
  by paimapi1 day ago | 11 comments
• 193The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
  by johnjwang1 day ago | 18 comments
• 84The Return of Sail Power: Cargo Ships Are Turning Back to the Wind (gcaptain.com)
  by gumby7 hours ago | 7 comments
• 135OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)
  by etoxin9 hours ago | 24 comments
• 381AWS says it can't restore some data from mideast facilities struck by Iran (wsj.com)
  by berkeleyjunk1 day ago | 39 comments
• 88PCB is brought to you by Fable 5 (a6mzero.com)
  by jasonpeacock2 days ago | 16 comments
• 117HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)
  by matt_d10 hours ago | 20 comments

< prev1 / 10 more >