Show HN: I built a free forms service for static websites
2020-05-29
US Department of Commerce Announced Their AI Strategy
2020-05-28
How to integrate formal proofs into software development
2020-05-28
Show HN: A Fun Git Hook Written in Swift – NLP to Enforce Commit Msg Formatting
2020-05-28
Ask HN: Thoughts on Screenomex Partnership with Meta?
2020-05-28
Terraform Tips and Tricks, Issue 1: Format, Graph and State
2020-05-28
Configuring API Platform resources-following DDD principles and using XML format
2020-05-28
How to integrate formal proofs into software development
2020-05-27
Seven Myths of Formal Methods (1990) [pdf]
2020-05-27
Ask HN: What's the state of small recording tech?
2020-05-26