prev 1 / 10 more

• 77
  Comparison of Malloc() Algorithms (egbert.net)
  by egberts11 day ago 4 comments
• 527
  Small programming tricks (will-keleher.com)
  by signa1118 hours ago 56 comments
• 67
  Cloudflare/Security-Audit-Skill (github.com)
  by donk8r6 hours ago 5 comments
• 242
  Backups Aren't Simple (filipovski.net)
  by afilipovski14 hours ago 46 comments
• 116
  Developing provably correct Rust code with Verus (amazon.science)
  by Betelbuddy2 days ago 10 comments
• 208
  Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
  by matt_d13 hours ago 16 comments
• 61
  A 32-year-old bug walks into a Telnet server (labs.watchtowr.com)
  by paimapi1 day ago 13 comments
• 209
  The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
  by johnjwang1 day ago 18 comments
• 4
  Online Z3 Guide (microsoft.github.io)
  by Bluestein1 day ago 0 comments
• 96
  The Return of Sail Power: Cargo Ships Are Turning Back to the Wind (gcaptain.com)
  by gumby10 hours ago 9 comments

prev 1 / 10 more