< prev1 / 10 more >

• 140SeL4 security proofs now complete on AArch64 (proofcraft.systems)
  by snvzz6 hours ago | 4 comments
• 27Show HN: GlassBox – what the browser reveals, and how identifiable you are (glassbox.codecanary.org)
  by tke2481 hour ago | 4 comments
• 188Coding expertise is going to collapse from AI reliance (larsfaye.com)
  by larsfaye1 hour ago | 59 comments
• 35Public services are increasingly strained by LLM-written appeals for benefits (arxiv.org)
  by lensecat1 hour ago | 18 comments
• 20Show HN: PicoMQ – Durable Streams over HTTP, on object storage (picomq.com)
  by adesh_nalpet1 hour ago | 0 comments
• 406I were 17, I'd learn how to build LLMs from scratch (twitter.com)
  by bilsbie21 hours ago | 131 comments
• 31Hot Chips 2026: Applying High Bandwidth Flash (HBF) (chipsandcheese.com)
  by ksec2 hours ago | 8 comments
• 31Adafruit USB Type C CC Resistor Fixer (adafruit.com)
  by RicoElectrico2 hours ago | 7 comments
• 5EuroHPC Launches 6 Quantum Calls with €119M in Funding (hpcwire.com)
  by rbanffy59 minutes ago | 1 comments
• 16Curvature Beziers – Improving on a timeless recipe (acko.net)
  by boxed5 days ago | 1 comments

< prev1 / 10 more >