Lobsters
- Announcing: Alloydocs https://www.hillelwayne.com/post/alloydocs/ 17 comments formalmethods , show
Linked pages
- http://alloytools.org/ 21 comments
- Formally Specifying a Package Manager • Hillel Wayne https://www.hillelwayne.com/post/nix/ 9 comments
- "Finding bugs without running or even looking at code" by Jay Parlar - YouTube https://www.youtube.com/watch?v=FvNRlE4E9QQ 7 comments
- Formally Modeling Database Migrations • Hillel Wayne http://hillelwayne.com/post/formally-modeling-migrations/ 4 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:hillelwayne.com
Search title: Announcing: Alloydocs • Hillel Wayne
See how to search.