Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

One-Off Verified Transpilation with Claude (will62794.github.io) 1 point by we6251 68 days ago | past Modern Views of Transaction Isolation (will62794.github.io) 2 points by we6251 4 months ago | past Logless Raft (will62794.github.io) 3 points by we6251 7 months ago | past Interactive Formal Specifications (will62794.github.io) 2 points by we6251 10 months ago | past Transactions as Transformers (will62794.github.io) 1 point by we6251 10 months ago | past Transactions as Transformers (will62794.github.io) 1 point by we6251 10 months ago | past TLA+ Web Explorer (will62794.github.io) 3 points by todsacerdoti on April 19, 2024 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: