< prev1 / 10 more >

• 23Online Z3 Guide (microsoft.github.io)
  by Bluestein1 day ago | 1 comments
• 43Lucasart's Afterlife (togameforlife.wordpress.com)
  by Bondi_Blue1 day ago | 11 comments
• 561Small programming tricks (will-keleher.com)
  by signa1120 hours ago | 58 comments
• 87Comparison of Malloc() Algorithms (egbert.net)
  by egberts11 day ago | 4 comments
• 215Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
  by matt_d15 hours ago | 16 comments
• 95Cloudflare/Security-Audit-Skill (github.com)
  by donk8r7 hours ago | 5 comments
• 125Developing provably correct Rust code with Verus (amazon.science)
  by Betelbuddy2 days ago | 13 comments
• 2192Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations (github.com)
  by arnemunthekaas1 day ago | 111 comments
• 267Backups Aren't Simple (filipovski.net)
  by afilipovski15 hours ago | 50 comments
• 70A 32-year-old bug walks into a Telnet server (labs.watchtowr.com)
  by paimapi1 day ago | 13 comments

< prev1 / 10 more >