mjhoy

8 ms·

31.
by mjhoy 9y ago
That's kind of my point. Usually when you're just learning "general functional programming", you're thinking about, say, (+) as a function that takes two numbers, and returns a number, because you're at the sta
32.
by mjhoy 9y ago
I love Purescript, but I think in some ways it is even more arcane than Haskell for a beginner. e.g., > :t (+) forall a. Semiring a => a -> a -> a > :t (&&) forall a. HeytingAlgebra a => a -&
33.
by mjhoy 9y ago
There are also the monoid "laws" (not checked in Haskell): empty `smash` x = x -- left identity x `smash` empty = x -- right identity (x `smash` y) `smash` z = x `smash` (y `smash` z) -- associativity Your definit
34.
by mjhoy 9y ago
I moved to Minneapolis a few years ago from Boston. I felt a good deal safer biking in Boston, where the infrastructure is terrible , drivers are generally much more aggressive, and yet, I felt, more accepting of cyclists. In Minneapolis c
35.
by mjhoy 9y ago
The latter. That’s my point.
36.
by mjhoy 9y ago
> You can't always give a wide berth because bike lanes in the US are usually very narrow. That doesn't mean you can't give wide berth. Take the lane if the bike lane puts you too close to car doors. If there's one th
37.
by mjhoy 9y ago
Especially with an explicit warning sent out about the eclipse.
38.
by mjhoy 9y ago
Interesting. I was in Wyoming and noticed this as well. During the partial eclipse it was impossible to tell that the sun was dimming except that I could measure this with my camera's light meter. My friend hardly believed me when I in
39.
by mjhoy 9y ago
This is what I have found. When I travel, I want to travel deep, so to speak, and suck out all of the marrow. I have tried to do work while touring by bicycle and, while work could easily finance my trip indefinitely, I was seeing much, muc
40.
by mjhoy 9y ago
The keyboard is... different. I would recommend anyone try it out at an Apple store before buying, absolutely. I actually love it.
41.
by mjhoy 9y ago
> but significantly weaker Just curious, could you expand on this? What makes it weaker? Is it that affine types allow either consuming or not consuming a type?
42.
by mjhoy 9y ago
Other than getting papers from contributors, are there ways in which Magit becoming part of Emacs would significantly change the development workflow?
43.
by mjhoy 9y ago
> represent emails with meaningful formatting For basic formatting (bold text, headings, lists, links, etc etc), Emacs can render using its built in web browser. The "richer" it is, the more screwy the formatting gets. Usually
44.
by mjhoy 9y ago
> There is absolutely no need in wasting time scoring nerd points. Well said. But: I have been using mu4e + Emacs for email for about two years now. I would seriously recommend anyone who already uses Emacs -- and especially if you use o
45.
by mjhoy 10y ago
I have not! Thank you.
46.
by mjhoy 10y ago
I think you've got to try different meetups and find ones that work for you, especially if you are more interested in learning things than in networking. The few Ruby meetups I've been to, for instance, were well attended, but the
47.
by mjhoy 10y ago
Right. My point is I only use instant on a very specific occasion, maybe once every two years, so a subscription turns me away. I'll still probably try it, though!
48.
by mjhoy 10y ago
As someone who would love to buy this for long bicycle trips, I'm a bit turned off by the subscription model. I know you want to hook me with a steady supply of superior coffee that's quicker to make, but I love the ritual of brew
49.
by mjhoy 10y ago
This reminds me somewhat of an interesting recent video from GM Simon Williams [1], analyzing a queen sac from a real game. He disagreed with the computer's favoring black, and my very uneducated guess about this is that the position i
50.
by mjhoy 10y ago
I've done a little of this with 9-12 year olds. The most important thing is quick feedback and keeping it simple. They absolutely loved making websites. I taught them enough HTML to get started and set them up with a editor and preview
51.
by mjhoy 10y ago
The trick is that he was under time pressure and if he miscalculated faced a mate in one, so it was somewhat risky (and why Svidler was surprised he played it).
52.
by mjhoy 10y ago
Ah, but when you're young and have many carless friends, #2 can be a very good thing!
53.
by mjhoy 10y ago
I read through the links in the comment above, and I'm not convinced by many of the arguments, including the theoretical voting situations, because it seems they are quite unrealistic in practice, while the current two-party system has
54.
by mjhoy 10y ago
How often is this sort of thing actually a problem? Are there examples of elections that turned out this way?
55.
by mjhoy 10y ago
I'm also very proud of Maine. We had record high turnout this year, when much of the country had low turnout. Perhaps because of the important ballot items such as this one. I also think Maine's splitting up our electoral votes he
56.
by mjhoy 10y ago
I remember visiting Olot, in Catalonia, and thinking the mountains must trap pollution in the valley. It certainly looked striking: http://mjhoy.com/images/barca/10122014-P1200997.jpg
57.
by mjhoy 10y ago
Well. org-mode has its own extensible URI system of sorts. My email links are formatted mu4e:msgid:<message identifier>. My git links are magit:<project path>::commit@<git SHA>. Remote files are just file:/ssh:<use
58.
by mjhoy 10y ago
> nothing else seems to work as far as productivity What doesn't work, exactly? If you're trying to replace note taking on paper, you might want to dip a toe into Emacs and org-mode land and see how it feels. (My suggestion is
59.
by mjhoy 10y ago
For 1: I think the best way to start is to simply schedule your important TODOs (C-c C-s), so that you see them on the weekly agenda view. This is how I started, and then I slowly started to incorporate things like tags when I realized I ne
60.
by mjhoy 10y ago
I love Org mostly for its ability to link to stuff. In my mind it's the big feature that sets it apart from using, say, a separate application to do my task management. For instance: - When I'm reading email (in emacs), I can quic

More ›