Viewing profile — cheese_it

Do you have any sources for that claim? Because I've heard the argument that it was actually the Enlightenment, and the removal of religion from government (e.g. separation of chur…

But how do you know that induction is valid to use on natural numbers? It's because their definition/construction follows a set of rules that makes them inductive. Some languages l…

Hello, I've been wondering what the hardware requirements for running Optimism's infrastructure are relative to just running a Mainnet node. If Optimism can process more transactio…

I've found that aspartame gives me really bad insomnia. Almost every time this happens I'll go through what I ate that day and it's always something containing aspartame that was n…

I've heard this strategy referred to as "follow the follower." Apparently it comes from sailing, where if you want to maintain a lead all you need to do is copy what the boat behin…

Interestingly, mutable data is also sufficient to achieve general recursion in a typed language: let fact' = ref (fun x -> x) in let fact = fun n -> if n = 0 then 1 else n * !fact'…