Let’s write a simple hello-world program in C language and compile a static binary with GCC:
I’m taking a course in mathematical logic & logic programming in my university. And I wanted to play around with first-order logic in practice.
My blog is taking the beginning right here.
I want to use it to write down some of the insights I gain in exploring different things. Additionally, to describe solutions to some problems I encounter.