Coqlex: Generating Formally Verified Lexers

2023-06-23

Coqlex: Generating Formally Verified Lexers

2023-06-23

eBPF Verification Is Untenable

2023-06-22

Ask HN: NDA, CV and Interviews

2023-06-22

Mostly Automated Proof Repair for Verified Libraries [pdf]

2023-06-21

AI Verify: Singapore’s AI Governance Testing Initiative Explained

2023-06-20

AI SaaS Tools: Don’t Trust, Definitely Verify

2023-06-20

My experience with the Google OAuth consent screen verification process

2023-06-19

Verifiable Distributed Aggregation Functions [pdf]

2023-06-19

Show HN: Answer Overflow – Indexing Discord content into the web

2023-06-18