joel_ms

9 ms·

31.
by joel_ms 8y ago
> That passes the type checker just fine. I think you are running into some weird haskellisms with your Bottom-type. The normal way of defining that in haskell is using the "EmptyDataDecls" pragma, like this: {-# LANGUAGE
32.
by joel_ms 8y ago
No‚ it's not. They're not attacking the validity of your statement by criticizing your tone, they are criticizing the effectiveness of your communication. And tone is completely relevant in that context.
33.
by joel_ms 8y ago
I think weakening herd immunity and resurrecting deadly diseases in areas where they were previously erradicated puts them in the 'harmful conspiracy' category.
34.
by joel_ms 8y ago
When those highly connected CEOs sit on the boards of eachothers companies and determine eachother's sallaries, "what someone else is willing to pay" is not an independent variable. "People of the same trade seldom meet
35.
by joel_ms 8y ago
> Yes, static analysis is very useful for understanding what the source code will do for inputs you didn't test. Testing is rarely exhaustive. However, testing will find performance issues where static analysis won't. Static an
36.
by joel_ms 8y ago
>I don't think it comes up much in practice because bugs due to non-terminating code don't actually happen much to begin with (compared to all bugs that cause hangs or timeouts), and when they do they are often found via testin
37.
by joel_ms 8y ago
> What's not so easy to understand for an imperative programmer is this: Why should I jump through those hoops just to have a readonly structure? Why not just, you know, program imperatively? Beacuse imperative programs are rife wit
38.
by joel_ms 8y ago
And yet MLTT led to Coq, Agda, Idris and Lean, while your ”PL practice” approach sounds like it would lead to, well, Go.
39.
by joel_ms 8y ago
It’s a ”function value”, since you haven’t applied it to another expression. Whether that is a partially or fully applied function doesn’t matter in the first syntax, but in the second syntax you have to add ugly parens to disambiguate the
40.
by joel_ms 8y ago
(Edit: The citation got messed up, it should be: >The only thing you can do with a function is call it. You can also abstract over it, and pass it around. Which allows you to build whatever you want, numbers, booleans, if-then-else, etc.
41.
by joel_ms 8y ago
> if everything is a function, then it's all a big ball of mud. Not really, each distinct function will still have a distinct type. (This is largely why I prefer ml-family languages over lisps) >The only thing you can do with a f
42.
by joel_ms 8y ago
They’re not the same expression though. The first gets defaulted to Integer, the second is specialized to Int by the (!!) function. (Integer is unbounded, Int is bounded) The rest of your argument is fairly vague and unspecific. But I would
43.
by joel_ms 9y ago
Are you sure about Haskell not having m:n threads? Because it's seems weird, considering GHC is listed as one of a few examples on wikipedia: https://en.m.wikipedia.org/wiki/Thread_(computing)#M:N_.28hy...
44.
by joel_ms 9y ago
>A program written by a developer and used by a user is a relationship between that developer and the user. What about the relationship between you/Mozilla and the firefox users? This thread is evidence that at least some of the use
45.
by joel_ms 10y ago
Google translate of their answer from finnish: "@LotusMega Service is a temporary glitch, which are working to fix as quickly as possible. Sorry for any inconvenience!"
46.
HBO Nordic is having server issues(twitter.com)
1 points by joel_ms 10y ago|1 comments
47.
by joel_ms 10y ago
>Oh, that article is especially trollish, but there are articles like that in both camps Do you have any examples? >Sometimes you need to prove `A ∨ B ⇒ C`; that's your proof goal. To do that, you prove `A ⇒ C` and `B ⇒ C`. That&
48.
by joel_ms 10y ago
I guess "fighting" really is an appropriate word for what he's doing when he describes or-introduction as the "Act-Stupid"-rule in that composition paper. His alternative or-composition rule looks strange to me, sin
49.
by joel_ms 10y ago
The regulations we're talking about concerns the marking of food. You are still allowed to sell shitty vegetable oil, you're just prohibited from calling it Extra Virgin Olive Oil when you're selling it in EU. The fact that t
50.
by joel_ms 10y ago
Did you check out the papers I linked to? Because they explain how this "makes sense". Dependently typed languages allow for type-level functions (actually they erase the separation between type-level and value-level). This is why
51.
by joel_ms 10y ago
Probably with a function with a type signature something like this (which is in Agda, another dependently typed language, but the idea holds): nGram : {l : Nat}{n : Fin l} -> Vec l Char -> n -> List (Vec n Char) To break i
52.
by joel_ms 11y ago
> This hasn't changed Serious Eats has at least given conflicting advice on the topic less than a year after that article was published: http://www.seriouseats.com/2015/03/cooking-with-olive-oil-fa... Whic
53.
by joel_ms 14y ago
Dropbox also have a desktop client that's written in python. Presumably with a slightly different UI layer and packaging method depending on the target OS, but with the underlying functionality shared.
54.
by joel_ms 15y ago
I'm guessing it's this case he's referring to: http://www.theregister.co.uk/2008/12/07/brit_isps_censor_wik...
55.
by joel_ms 15y ago
Louis CK: 'I never viewed money as being "my money" I always saw it as "The money" It's a resource. if it pools up around me then it needs to be flushed back out into the system.' I don't think his point is that this money exists in some so
56.
by joel_ms 15y ago
You are, however, apparently comfortable with (indirectly) accusing Joshua Kaufman of violating a man's privacy, in a public forum without a conviction in a courtroom. Why won't you afford him the same presumption of innocence? At least h
57.
by joel_ms 15y ago
Good question. Copyright is concerned with protecting original works , so it depends on what exactly you're referring to by "API". My interpretation is that the technical document describing an API is an original work and that the library
58.
by joel_ms 15y ago
Only the the actual implementation code (and subsequent compiled result) is under copyright, anyone is free to write an independent implementation that's not based on any of the original copyrighted code. (There is of course the possibility
59.
by joel_ms 15y ago
>But it’s clear that in the early part of the 20th century, the original advent of the motor car was not impeded by anything like the current mélange of regulations, laws and lawsuits. They did try in the 19th century though, at least i
60.
by joel_ms 15y ago
That looks like a paraphrasing of Parkinson's Law[0] [0] http://en.wikipedia.org/wiki/Parkinsons_Law

More ›