Viewing profile — joel_ms

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

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

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

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

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

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

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

I got used to this in Haskell, but I have to say that Elm's solution is pretty elegant: Elm: Haskell: f g |> f == x & g & f -- reverse application g >> f == g >>> f -- reverse comp…

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

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…

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

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, liter…

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…

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

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

> 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) computatio…

Ad-hoc polymorphism is interfaces in java, typeclasses in haskell, implicits in scala etc. Classes (usually) enable subtype polymorphism .

> Also, I would love to hear which language(s) has a more flexible syntax than Lisp, seeing as expressiveness is one of Lisp's strong points. I'm thinking about ML-like languages s…

>That is a naive fallacy No, I'm not claiming an essential difference, merly that they are optimized for different things. >There is no such thing in existence. Of course there is,…