Viewing profile — jove_

You're looking for Grue's map theory for formalizing sets in terms of functions.

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.…

Also, while I haven't read any further yet, based on the table on page 3, their big O performance is pretty bad.

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 ma…

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 be…

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 eff…

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…

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?

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…