jove_

5 ms·

1.
by jove_ 1y ago
You're looking for Grue's map theory for formalizing sets in terms of functions.
2.
by jove_ 1y ago
But it's hard to argue the machine at the end is stateless. We can endlessly do this. You can construct lambda calculus with Turing machines and Turing machines in lambda calculus. There seems to be this weird idea in the functional co
3.
by jove_ 3y ago
Also, while I haven't read any further yet, based on the table on page 3, their big O performance is pretty bad.
4.
by jove_ 3y ago
As everyone has pointed out, this does not count. Note that the idea that regex can't parse html is specific and proven. What it means is that you can't write an expression that matches both the opening and matching closing tags.
5.
by jove_ 3y ago
If you aren't aware that contra and covariance are typically taught under the banner of the "liskov substitution principle" rather than with the name variance you don't know OOP better than OOP programmers. You just conv
6.
by jove_ 3y ago
Size also matters for this problem. The effect of it is to slash your processor's cache size. If your problem is small enough that it fits in the cache anyway you won't see the effects. That said, unless the cache is hot, it shoul
7.
by jove_ 4y ago
Yeah, DDA got started when some people from the dwarf fortress forums forked the original Cataclysm by Whales. There's also Bright Nights which forked from DDA a few years back and focuses on fun over realism.
8.
by jove_ 4y ago
So, if people go out and protest outside a theater that's cancellation and it's good? But someone makes a post online saying they don't like it that's censorship and it's bad?
9.
by jove_ 4y ago
Really good. I'm a computer scientist who takes a passing interest in the subject and usually I'm just disappointed by the computer science errors and the wild claims that it leads to. This, however, cuts to the heart of the issue