Thursday, 28 February 2019

New top story on Hacker News: Alloy*: A Higher-Order Relational Constraint Solver

Alloy*: A Higher-Order Relational Constraint Solver
160 by Cieplak | 9 comments on Hacker News.


No comments:

Post a Comment

Government shutdown draws near as Democrats push for healthcare funding

Top Senate Republican says Democrats see shutdown as ‘politically advantageous’ as 30 September deadline looms The US government is drawing...