prev 1 / 10 more

• 505
  Small programming tricks (will-keleher.com)
  by signa1116 hours ago 52 comments
• 104
  Developing provably correct Rust code with Verus (amazon.science)
  by Betelbuddy2 days ago 6 comments
• 196
  Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
  by matt_d11 hours ago 15 comments
• 52
  A 32-year-old bug walks into a Telnet server (labs.watchtowr.com)
  by paimapi1 day ago 11 comments
• 194
  The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
  by johnjwang1 day ago 18 comments
• 85
  The Return of Sail Power: Cargo Ships Are Turning Back to the Wind (gcaptain.com)
  by gumby7 hours ago 7 comments
• 136
  OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)
  by etoxin9 hours ago 24 comments
• 90
  PCB is brought to you by Fable 5 (a6mzero.com)
  by jasonpeacock2 days ago 16 comments
• 3
  Lucasart's Afterlife (togameforlife.wordpress.com)
  by Bondi_Blue1 day ago 0 comments
• 383
  AWS says it can't restore some data from mideast facilities struck by Iran (wsj.com)
  by berkeleyjunk1 day ago 39 comments

prev 1 / 10 more