There's a blog post discussing the paper available at http://blog.acolyer.org/20... | Hacker News

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

domsj on Oct 19, 2015 | parent | context | favorite | on: IronFleet: Proving Practical Distributed Systems C...

There's a blog post discussing the paper available at http://blog.acolyer.org/2015/10/15/ironfleet-proving-practic...

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact