Crypto really is the grotesque despressive clown staring our desperate civilization in the face, while futily screaming about our all consuming absurdity. Crypto works fine in a world that is not addicted to burning…
>I'm personally of the opinion that less is more. I used to have this position as well, writing everything in either assembly or pure lambda calculus, to avoid all these pesky higher level language features.
So scala is neither taken over or destroyed and the author of this post stresses multiple times that he does not suggest that this approach by adopted by the rust community, even concluding with: >But Rust is not…
>In many cases there are actually several layers of popups obscuring the content, and some are delayed so they only pop up after you start reading the content. I swear I've had ones that popup as I move the mouse to…
Interestingly, he does not consider the Holomodor to be a genocide against ukrainians. https://www.theguardian.com/commentisfree/2008/apr/03/swallo...
Thank you! I was more wondering how time leaks and laziness relates to denotational vs operational semantics? I couldn't find anything about either in the links (they seem to be general descriptions of haskell and…
Last year, the US bought more than all of Europe. Asia is still the big buyer tho https://www.washingtonpost.com/world/2019/09/16/who-buys-sau...
>this is a curse that's almost unique to Haskell—the language is also prevented from utilizing future improvements to sorting algorithms! Back in reality of course, Haskell has fast, generic, linear-time sorting:…
Given the speaker, I'm guessing the suggestion is that the incident sowed the seed for him to develop Hoare Logic[0] [0] https://en.wikipedia.org/wiki/Hoare_logic
That's the attitude that's running our civilization to the ground...
>To be honest, I find the idea of passing a parameter to Log() (whether it's the value or the function) that your don't actually want logged, so that you can shoehorn two statements into an expression, abhorrent. You've…
I got used to this in Haskell, but I have to say that Elm's solution is pretty elegant: Elm: Haskell: f <| g <| x == f $ g $ x -- application f << g == f . g -- composition x |> g |> f == x & g & f -- reverse…
>His point about `Either a b` was perhaps further from the mark. It is not a data type that represent logical disjunction. That's what the logical connective, disjunction, is for. Haskell doesn't have union types to my…
Yeah, you're right, I got confused when interpreting the parent comment. Thanks for pointing it out! I guess I overlooked it because the other way is so logically trivial, since it basically boils down to A -> B => (A…
> Why is it illogical to say that a Maybe a -> b should be callable as if it were a -> b? Fundamentally because it would require you to conjure up a value of type b from nowhere when the Maybe a is Nothing. If we view…
Then they decided to stop improving IE6 (outside security updates) because they (correctly) realized that the web was a threat to the company. IE7 was released 5 years later, literally due to the pressure of other…
The damage done to human culture by our current copyright enforcement regime is heartbreaking. We have to means to make human cultural output accessible to unprecedented numbers of people around the world, but we don't,…
Makes me think that we've already made the same mistake with fossil fuels and climate change :/ (Tangible benefit: material wealth and prosperity. Theoretically valuable: a balanced ecosystem) (not to start an off-topic…
How so? I've always felt that intuitionism/constructivism were closer to theoretical computer science due to constructivism requiring you to produce (or compute) the what you're trying to prove.
> A (data) type is a set, and a value is an element in that set. Nope, a type is not a set. Type theories are separate formal systems designed to be (among other things) computationally aware alternatives to set theory,…
I feel like it's hard to give a concrete practical code example, but maybe I can describe my practical experience. The main difference I've experienced is that while java's type system forces you to be explicit about…
Do you have any examples? In my experience theoretical purity is largely independent of usability, which I find is more a function of the language's expressibility and the available abstractions (and how well those…
How would a proof by induction work with only two natural numbers?
Evidence of a relationship between the two?
Yeah, I just wanted to show that (GHC) haskell has a way of getting a type with "zero" inhabitants that actually gets caught by the type checker. (I say "zero" since of course my Empty-type above does contain…
Crypto really is the grotesque despressive clown staring our desperate civilization in the face, while futily screaming about our all consuming absurdity. Crypto works fine in a world that is not addicted to burning…
>I'm personally of the opinion that less is more. I used to have this position as well, writing everything in either assembly or pure lambda calculus, to avoid all these pesky higher level language features.
So scala is neither taken over or destroyed and the author of this post stresses multiple times that he does not suggest that this approach by adopted by the rust community, even concluding with: >But Rust is not…
>In many cases there are actually several layers of popups obscuring the content, and some are delayed so they only pop up after you start reading the content. I swear I've had ones that popup as I move the mouse to…
Interestingly, he does not consider the Holomodor to be a genocide against ukrainians. https://www.theguardian.com/commentisfree/2008/apr/03/swallo...
Thank you! I was more wondering how time leaks and laziness relates to denotational vs operational semantics? I couldn't find anything about either in the links (they seem to be general descriptions of haskell and…
Last year, the US bought more than all of Europe. Asia is still the big buyer tho https://www.washingtonpost.com/world/2019/09/16/who-buys-sau...
>this is a curse that's almost unique to Haskell—the language is also prevented from utilizing future improvements to sorting algorithms! Back in reality of course, Haskell has fast, generic, linear-time sorting:…
Given the speaker, I'm guessing the suggestion is that the incident sowed the seed for him to develop Hoare Logic[0] [0] https://en.wikipedia.org/wiki/Hoare_logic
That's the attitude that's running our civilization to the ground...
>To be honest, I find the idea of passing a parameter to Log() (whether it's the value or the function) that your don't actually want logged, so that you can shoehorn two statements into an expression, abhorrent. You've…
I got used to this in Haskell, but I have to say that Elm's solution is pretty elegant: Elm: Haskell: f <| g <| x == f $ g $ x -- application f << g == f . g -- composition x |> g |> f == x & g & f -- reverse…
>His point about `Either a b` was perhaps further from the mark. It is not a data type that represent logical disjunction. That's what the logical connective, disjunction, is for. Haskell doesn't have union types to my…
Yeah, you're right, I got confused when interpreting the parent comment. Thanks for pointing it out! I guess I overlooked it because the other way is so logically trivial, since it basically boils down to A -> B => (A…
> Why is it illogical to say that a Maybe a -> b should be callable as if it were a -> b? Fundamentally because it would require you to conjure up a value of type b from nowhere when the Maybe a is Nothing. If we view…
Then they decided to stop improving IE6 (outside security updates) because they (correctly) realized that the web was a threat to the company. IE7 was released 5 years later, literally due to the pressure of other…
The damage done to human culture by our current copyright enforcement regime is heartbreaking. We have to means to make human cultural output accessible to unprecedented numbers of people around the world, but we don't,…
Makes me think that we've already made the same mistake with fossil fuels and climate change :/ (Tangible benefit: material wealth and prosperity. Theoretically valuable: a balanced ecosystem) (not to start an off-topic…
How so? I've always felt that intuitionism/constructivism were closer to theoretical computer science due to constructivism requiring you to produce (or compute) the what you're trying to prove.
> A (data) type is a set, and a value is an element in that set. Nope, a type is not a set. Type theories are separate formal systems designed to be (among other things) computationally aware alternatives to set theory,…
I feel like it's hard to give a concrete practical code example, but maybe I can describe my practical experience. The main difference I've experienced is that while java's type system forces you to be explicit about…
Do you have any examples? In my experience theoretical purity is largely independent of usability, which I find is more a function of the language's expressibility and the available abstractions (and how well those…
How would a proof by induction work with only two natural numbers?
Evidence of a relationship between the two?
Yeah, I just wanted to show that (GHC) haskell has a way of getting a type with "zero" inhabitants that actually gets caught by the type checker. (I say "zero" since of course my Empty-type above does contain…