joel_ms

6 ms·

1.
by joel_ms 5y ago
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 fossil fuels. Unfortunat
2.
by joel_ms 6y ago
>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.
3.
by joel_ms 6y ago
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 Haskell. The ergonomics
4.
by joel_ms 6y ago
>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 close the tab.
5.
by joel_ms 6y ago
Interestingly, he does not consider the Holomodor to be a genocide against ukrainians. https://www.theguardian.com/commentisfree/2008/apr/03/swallo...
6.
by joel_ms 6y ago
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 laziness..?).
7.
by joel_ms 7y ago
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...
8.
by joel_ms 7y ago
>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: https://
9.
by joel_ms 7y ago
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
10.
by joel_ms 7y ago
That's the attitude that's running our civilization to the ground...
11.
by joel_ms 8y ago
>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 ba
12.
by joel_ms 8y ago
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
13.
by joel_ms 8y ago
>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 knowledg
14.
by joel_ms 8y ago
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 || Nothing
15.
by joel_ms 8y ago
> 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 the function
16.
by joel_ms 8y ago
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 browsers on web standards
17.
by joel_ms 8y ago
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, largely because
18.
by joel_ms 8y ago
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 discussion
19.
by joel_ms 8y ago
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.
20.
by joel_ms 8y ago
> 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, and they are defi
21.
by joel_ms 8y ago
Ad-hoc polymorphism is interfaces in java, typeclasses in haskell, implicits in scala etc. Classes (usually) enable subtype polymorphism .
22.
by joel_ms 8y ago
> 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 such as Elm, Haskell and Agda (to give a spectru
23.
by joel_ms 8y ago
>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, machine code is designed for computers, higher l
24.
by joel_ms 8y ago
> Presumably, this is because you've looked at Lisp code, but you probably haven't understood Lisp. I'm not sure this is a great presumption. Someone can be familiar with lisps, understand the design choices involved, even
25.
by joel_ms 8y ago
How does that differ from this: https://en.wikipedia.org/wiki/Sovereign_immunity_in_the_Unit... ?
26.
by joel_ms 8y ago
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 your t
27.
by joel_ms 8y ago
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 abstractions play to
28.
by joel_ms 8y ago
How would a proof by induction work with only two natural numbers?
29.
by joel_ms 8y ago
Evidence of a relationship between the two?
30.
by joel_ms 8y ago
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 non-termina

More ›