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 church and state, reason and science in…
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 like Coq make this explicit by providing…
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 transactions than the main chain, does that mean…
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 not in my normal diet. This is how I…
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 behind you is doing.
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' (n-1) in fact' := fact; fact 3
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 church and state, reason and science in…
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 like Coq make this explicit by providing…
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 transactions than the main chain, does that mean…
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 not in my normal diet. This is how I…
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 behind you is doing.
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' (n-1) in fact' := fact; fact 3