< prev1 / 10 more >

• 496Small programming tricks (will-keleher.com)
  by signa1115 hours ago | 52 comments
• 96Developing provably correct Rust code with Verus (amazon.science)
  by Betelbuddy2 days ago | 6 comments
• 193Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
  by matt_d10 hours ago | 14 comments
• 189The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
  by johnjwang1 day ago | 18 comments
• 82The Return of Sail Power: Cargo Ships Are Turning Back to the Wind (gcaptain.com)
  by gumby7 hours ago | 6 comments
• 134OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)
  by etoxin8 hours ago | 24 comments
• 85PCB is brought to you by Fable 5 (a6mzero.com)
  by jasonpeacock2 days ago | 16 comments
• 367AWS says it can't restore some data from mideast facilities struck by Iran (wsj.com)
  by berkeleyjunk1 day ago | 37 comments
• 2144Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations (github.com)
  by arnemunthekaas1 day ago | 111 comments
• 274Performance Improvements in .NET 11 (devblogs.microsoft.com)
  by soheilpro1 day ago | 16 comments

< prev1 / 10 more >