In my (unfinished) final year of university, I worked on a project to translate Alloy programs into equivalent Prolog programs. Now, I never finished that project, but it gave me an understanding of both logic programming and lightweight formal methods. Over a decade later, both of those things have turned out to be…
Visit sourceless.org → RSS feedOn Hacker News Jun 2022 – Jun 2022
These statements can be hard to argue against, especially if they come from someone who is more experienced than you. A lot of the trouble is that they are not wrong – well, they’re not completely wrong.