< prev1/10 more >

• 72Why Don't People Use Formal Methods? (2019) (hillelwayne.com)
  by Thom25033 hours ago | 19 comments
• 8Trusted URLs via Cryptographic Signatures (blog.certisfy.com)
  by Edmond1 hour ago | 2 comments
• 1Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers (ycombinator.com)
  3 hours ago |
• 101Gpiozero Flow (bennuttall.com)
  by benn_885 hours ago | 9 comments
• 13Building a native C# implementation of CEL engine (bsid.io)
  by jackedEngineer2 days ago | 0 comments
• 74Why Is Everyone Trying to Build a Solid-State Battery? (construction-physics.com)
  by crescit_eundo2 hours ago | 10 comments
• 44Are We Stuck with Lean? (mathoverflow.net)
  by jjgreen3 hours ago | 7 comments
• 18Upper stage impacting the moon on 2026 August 5 (projectpluto.com)
  by ryannevius2 hours ago | 1 comments
• 5The Economic Benefit of Refactoring (martinfowler.com)
  by javaeeeee27 minutes ago | 0 comments
• 14The Alice and Bob After Dinner Speech (1984) (hex.ooo)
  by kamma44343 days ago | 1 comments

< prev1/10 more >