Viewing profile — viewfromafar

(I need sleep, Ackermann is actually very easy to show as decreasing using lexicographic order). Yeah, if you know that the recursive function always terminates, then you know that…

This probably is supposed to hint at a termination order. If a call to a recursive function terminates, then it it often (not always) possible to identify an ordering relation amon…

The PL crowd calls that type system feature "occurrence typing."

Type theories are formal logic languages. People use formal logic for all sorts of things but mathematics has the longest history. This is where people first defined formal languag…

For anyone who wants to dive deeper, this a good series of short video lectures pulled together by students of TU Berlin that introduces this topic: https://youtube.com/playlist?li…

I understand the criticism to be targeted at the "web3" idea, which is assumed to be about the infrastructure for decentralized applications. What is possible to implement is less …

If this is to appeal to a community, there has to be some kind of incentive for that community to add their comments (content) to this site. What is it? Reputation? In general, it …

Also CS, my interpretation of "what makes science work" is a little different and I would argue that - despite a lot of foundations and techniques being shared in research papers -…

I understood the criticism directed at the value of papers as instruments of knowledge sharing. The argument is not that papers are completely useless in terms of knowledge sharing…

"A bowl is meant to stay being a bowl, it’s not supposed to turn into a plate or a vase, or to become square, or bigger or smaller. While the target is static, the world is dynamic…

Prolog was the first kind of logic programming that existed. It opened the door to a world but as a language and depending on the domain, it can be considered to have numerous defi…

It is true that tools can be emulated (RedHat doing podman as a docker replacement, with same flags) but it is also work. I wonder whether in the Cloud world, the fan factor is a s…