Hackernews posts about Danny Lewin

1. Akamai Remembers Danny Lewin (www.akamai.com)
   32 points by shahargl 5 months ago | 2 comments
2. Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)
   1 points by todsacerdoti 12 months ago | discuss