prev 1 / 10 more

• 16
  Online Z3 Guide (microsoft.github.io)
  by Bluestein1 day ago 1 comments
• 36
  Lucasart's Afterlife (togameforlife.wordpress.com)
  by Bondi_Blue1 day ago 11 comments
• 451
  Xiaomi Mimo 2.6 live post-training dashboard (mimo.xiaomi.com)
  by krackers15 hours ago 35 comments
• 536
  Small programming tricks (will-keleher.com)
  by signa1119 hours ago 56 comments
• 81
  Comparison of Malloc() Algorithms (egbert.net)
  by egberts11 day ago 4 comments
• 257
  Backups Aren't Simple (filipovski.net)
  by afilipovski15 hours ago 47 comments
• 213
  Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
  by matt_d14 hours ago 16 comments
• 121
  Developing provably correct Rust code with Verus (amazon.science)
  by Betelbuddy2 days ago 12 comments
• 82
  Cloudflare/Security-Audit-Skill (github.com)
  by donk8r6 hours ago 5 comments
• 68
  A 32-year-old bug walks into a Telnet server (labs.watchtowr.com)
  by paimapi1 day ago 13 comments

prev 1 / 10 more