A gentle introduction to automated reasoning

Article URL: https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning


Comments URL: https://news.ycombinator.com/item?id=30399612


Points: 13


# Comments: 2






from Hacker News: Front Page https://ift.tt/mQTg9HG

via IFTTT

Comments

Post a Comment

Popular posts from this blog

Ask HN: Do I have to know in advance on how to make money from a side project?

Ask HN: Do I have to know in advance on how to make money from a side project? 3 by loboda_ro | 1 comments on Hacker News. Many YC videos and Paul Graham's essays emphasize the value of discovering startup ideas organically, often through building side projects that you are interested in. But does it have to be something I am interested to build AND I know someone who would pay money for this? Or I can just start building staff to solve my problems.
Read more