< prev1/10 more >

• 66CCC invites all model citizens to 40C3 (events.ccc.de)
  by antonly5 hours ago | 2 comments
• 29Online Z3 Guide (microsoft.github.io)
  by Bluestein1 day ago | 1 comments
• 478Xiaomi Mimo 2.6 live post-training dashboard (mimo.xiaomi.com)
  by krackers17 hours ago | 35 comments
• 52Lucasart's Afterlife (togameforlife.wordpress.com)
  by Bondi_Blue1 day ago | 13 comments
• 577Small programming tricks (will-keleher.com)
  by signa1121 hours ago | 58 comments
• 91Comparison of Malloc() Algorithms (egbert.net)
  by egberts11 day ago | 5 comments
• 111Cloudflare/Security-Audit-Skill (github.com)
  by donk8r8 hours ago | 6 comments
• 131Developing provably correct Rust code with Verus (amazon.science)
  by Betelbuddy2 days ago | 14 comments
• 218Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
  by matt_d16 hours ago | 16 comments
• 2201Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations (github.com)
  by arnemunthekaas2 days ago | 113 comments

< prev1/10 more >