seL4

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

14:09

2026-07-28

sourcefeed.dev

artificial-intelligence

AI Wrote 60,000 Lines of Proofs So You Can Read 93

A Lean 4 project by Peter Schilde, verified-3d-mesh-intersection, uses AI agents to write over 1,000 lines of implementation and more than 60,000 lines of formal proofs, leaving humans to review only …

14:58

2026-06-11

amazon.science

ai-research

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

Amazon Web Services has launched the M9g and M9gd EC2 instances powered by Graviton5 CPUs, which double core counts to 192 and introduce the Nitro Isolation Engine — the first formally verified hyperv…

// co-occurs with top 8 entities

AWS 2 Amazon Web Services 1 EC2 1 Graviton5 1 Nitro Isolation Engine 1 Nitro Hypervisor 1 Isabelle/HOL 1 Peter Schilde 1

// topics top 6 topics

ai research 2 ai safety 1 ai infrastructure 1 ai chips 1 artificial intelligence 1 ai agents 1