News for hackers. Stuff that matters.

foxaal

Re:Leslie Lamport: Video course on TLA+ on Wednesday March 22, 2017 @12:32PM (#13932301)
You wonder if there are code generation possibilities...