viewfromafar

6 ms·

1.
by viewfromafar 4y ago
(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 remaining steps strict
2.
by viewfromafar 4y ago
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 argument of the recursiv
3.
by viewfromafar 4y ago
The PL crowd calls that type system feature "occurrence typing."
4.
by viewfromafar 5y ago
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 meaning.) Starting fro
5.
by viewfromafar 5y ago
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...
6.
by viewfromafar 5y ago
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 implemented: h
7.
by viewfromafar 5y ago
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, established process for
8.
Automata Runs as Sheaves(blog.burakemir.ch)
1 points by viewfromafar 5y ago|0 comments
9.
by viewfromafar 5y ago
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 constraining th
10.
by viewfromafar 5y ago
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 dissemination is largely over
11.
by viewfromafar 5y ago
"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 is lucid ana
12.
by viewfromafar 5y ago
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 datalog program for exampl
13.
by viewfromafar 5y ago
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 looking for tooling t