Blogs / Personal blogs

Sourceless

sourceless.org

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…

Popular posts
2
Total points
269
HN comments
145
Rank
#9,865 personal

Visit sourceless.org → RSS feedOn Hacker News Jun 2022 – Jun 2022

Life, Learning & Writing 2Software Engineering 1