semigroupoid

8 ms·

31.
by semigroupoid 10y ago
I understood this as a reference to US states in the midwest (maybe Texas?), not to Europe or the UK. In fact, in most of Europe an eighteen-year-old wouldn't be allowed to purchase a gun, much less carry it around.
32.
by semigroupoid 10y ago
That is not correct anymore. At least in Germany, House of Cards is indeed on Netflix.
33.
by semigroupoid 10y ago
Even if Merkel had made such a promise (which she didn't), she does not get to decide who becomes a member of the EU. The human rights situation in Turkey makes it impossible for them to join the EU.
34.
by semigroupoid 11y ago
The article introducing Paxos was first published in 1989.
35.
by semigroupoid 11y ago
For me, one of Scala's most important features is its type system, which you aren't able to get in JavaScript (I know about flow and TypeScript, but they don't even come close in terms of features).
36.
by semigroupoid 11y ago
> "if it compiles it works" I think this wasn't meant literally. I think it rather means that a program that type-checks is at least more likely to work than a dynamically typed one. I think this is far from verification.
37.
by semigroupoid 11y ago
Sorry, but I don't really get why you are comparing Haskell and the model checkers you listed. Haskell is a programming language and is not meant to be a formal verification tool.
38.
by semigroupoid 11y ago
I recommend Wadler's very readable paper "Monads for functional programming" ( http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/ba... ) which defines exactly what Monads in the context o
39.
by semigroupoid 11y ago
Thank you for such a great work and especially for making it available for free! For anyone interested, I can also recommend trying out Sage! There is also this free book ( http://abstract.pugetsound.edu/sage-aata.html ) on A
40.
Incurable American Excess(nytimes.com)
3 points by semigroupoid 11y ago|0 comments
41.
by semigroupoid 11y ago
I thought he meant France. Anyway, the correct link to the Swiss page was already posted.
42.
by semigroupoid 11y ago
EU citizens have the right to move to and work in any country within the EU. See here: http://ec.europa.eu/social/main.jsp?catId=457
43.
by semigroupoid 11y ago
The first time opening a terminal window also takes longer on my machine, but only a second or two not longer.
44.
by semigroupoid 11y ago
I use oh-my-zsh on ArchLinux with termite. Starts instantly and is as fast as stock bash. I suppose that this is mainly an OS X issue.
45.
by semigroupoid 11y ago
The definition of functor in category theory is from 1945 while most of today's mainstream programming languages are much younger than that. The people who wrote those definitions for C++, C#... simply ignored the existing terminology.
46.
by semigroupoid 11y ago
Of course compiling successfully does not imply a correct program with the desired behavior. Nobody claims that GHC is able to verify the behavioral correctness of your program and it also can't tell you if your function actually sorts
47.
by semigroupoid 12y ago
On OS X the window manager is built-in and not really customizable. That's also the reason why you need extra tools on OS X to get something like i3 or xmonad.