jtgi
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Proof of linearizability in Raft using Coq (github.com)
-
My friend who runs a student service with a couple thousand users was contacted today over Facebook with an offer for his user's emails: "It's for an event newsletter. Won't say we got it from you." This ask really…