When FP programmers decide to sit with the grown ups. Go back to your silly college and demand your money back. Fads from HoTT and category theory aren't enough there, kid. https://t.co/n9Zu3A355y https://t.co/P2q9ncwQUN
43 followers
1,012 followers
@DRMacIver The handbook of model checking is a light read: https://t.co/OmmiXfQWpP Indeed, any "the handbook of X" where X is one of - model checking - automated reasoning - constraint satisfaction - satisfiability
14,197 followers
RT @SpringerCompSci: Discover this bestselling book through free access to a chapter through June 15th! #ICSE2021 https://t.co/y0pHn8HZV8 h…
14,197 followers
RT @SpringerCompSci: Discover this bestselling book through free access to a chapter through June 15th! #ICSE2021 https://t.co/y0pHn8HZV8 h…