Hackernews posts about Danny Lewin

1. Akamai Remembers Danny Lewin (www.akamai.com)
   32 points by shahargl over 1 year ago | 2 comments
2. Show HN: Forall – An AI coding agent that generates machine-checkable proofs (github.com)
   11 points by Nolan_Lwin about 1 month ago | discuss