< anterior 2 / 10 mais >

• 61
  Formally Verifying PBS Kids with Lean4 (shadaj.me) by shadaj6 days ago | 1 comments
• 116
  Running Your Own As: BGP on FreeBSD with FRR, GRE Tunnels, and Policy Routing (blog.hofstede.it) by todsacerdoti8 hours ago | 12 comments
• 79
  Exploiting signed bootloaders to circumvent UEFI Secure Boot (habr.com) by todsacerdoti7 hours ago | 5 comments
• 213
  I put a real-time 3D shader on the Game Boy Color (blog.otterstack.com) by adunk5 hours ago | 14 comments
• 109
  RFC 3092 – Etymology of "Foo" (2001) (datatracker.ietf.org) by ipnon7 hours ago | 14 comments
• 179
  GitHub Agentic Workflows (github.github.io) by mooreds8 hours ago | 33 comments
• 192
  Dave Farber has died (lists.nanog.org) by vitplister10 hours ago | 18 comments
• 196
  Omega-3 is inversely related to risk of early-onset dementia (nlm.nih.gov) by brandonb5 hours ago | 17 comments
• 118
  Bun v1.3.9 (bun.com) by tosh4 hours ago | 6 comments
• 11
  SpiceDB Query Planner (authzed.com) by mparnisari5 days ago | 0 comments

< anterior 2 / 10 mais >