cheese_it

5 ms·

1. 1.▲
   by cheese_it 4y ago

   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 place of dogmatism)
2. 2.▲
   by cheese_it 4y ago

   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 an 'I
3. 3.▲
   by cheese_it 5y ago

   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 state growt
4. 4.▲
   by cheese_it 5y ago

   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 learned t
5. 5.▲
   by cheese_it 5y ago

   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.
6. 6.▲
   by cheese_it 5y ago

   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