Skip to Content
Blog
Consulting
Talks
About
Open Invite
Newsletter
Books
Upcoming Workshops
Three day TLA+ workshop, May 24-26
Hillel Wayne
Tag:
Math
Posted on
2020, Nov 02
Two workers are quadratically better than one
Posted on
2020, Aug 14
J Notation as a Tool of Thought
Posted on
2020, Jan 13
Hypermodeling Hyperproperties
Posted on
2018, Aug 10
1/0 = 0