(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 each recursive call makes the set of…
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 among the arguments of the call and the…
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 languages and assigned meaning (mathematical…
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?list=PLNwzBl6BGLwOKBFVbvp-GFjAA...
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 relevant than what is likely to get…
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 could be appealing to have an open,…
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 - this field more than any other is…
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 but that this pure purpose of…
"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, which is what makes it break." This…
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 deficiencies. Constraints liberate. A…
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 sign of credibility in a market that is…
(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 each recursive call makes the set of…
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 among the arguments of the call and the…
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 languages and assigned meaning (mathematical…
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?list=PLNwzBl6BGLwOKBFVbvp-GFjAA...
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 relevant than what is likely to get…
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 could be appealing to have an open,…
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 - this field more than any other is…
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 but that this pure purpose of…
"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, which is what makes it break." This…
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 deficiencies. Constraints liberate. A…
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 sign of credibility in a market that is…