Viewing profile — jdn

What is going on with that Wikipedia article. The first two sentences are written badly to the point of being incomprehensible.

Well dodged

The point about small displays being the same in many ways as big displays was great, until the rather confusing conclusion. If both have in common that they are more suited for co…

The reviewer seems very quick to dismiss the gesture based UI. His primary complaint seems to be that navigating it doesn't work the same as existing smart phones. Any HN users hav…

A shame. I was at this hackathon and witnessed this pair working on the hack; very driven and talented hackers. This sort of activity should be encouraged from such young talent, n…

It seems that most resources in web applications development are focused upon particular frameworks and how to work with them, not how design and development of those frameworks co…

The question I have for this is, why not just use Node with Firmata on an Arduino? Anyone give me the apparent weakness of that setup that makes this more preferrable?

Though swearing is also being shown to reduce pain. Perhaps a vigorous bout of mid-meditation swearing will reduce back pain during a long session.

No, you can add POP3 accounts to Gmail

It seems there is a lot of "startup weekend" events masquerading as Hackathons. A Hackathon shouldn't be about business, or funding; no one should be leaving that room with investo…

True, but the chroot is by far the most common and most stable method, and the one targetted in the article. Though as you say, the title is wrong.

Yes you did! Posted from a Crouton'd Chromebook Pixel.

The developer mode warning only occurs on boot, as you say. Having owned by the ARM Chromebook and the Pixel since both were released, I've probably seen that warning less than 8 t…

Yep, Crouton was originally made for the ARM Chromebook from what I understand.

Dovecot on an Arch DigitalOcean droplet. Then pull the mail into GMail for ease of use and because I don't trust my own sys-admin skills not to blow up in my face.

I've heard this too. I've seen it recommended that you buy "Bee bread" as well, though this seems tricky to get hold of. Whilst I've never tried either, I have noticed that hayfeve…

Can we please stop posting articles behind magazine and newspaper paywalls.

To the killing? It was partly replaced by G52IFR, which focuses on Coq, and also partly because the university seems to enjoy killing off modules from departments that don't do HCI…

Sadly this module has been killed by the department and is no longer available to students

It's quite amusing how accurate this is, knowing Haskell users across a number of these levels. It's quite a handy learning tool as well with the added explanations at the bottom.

Thanks for this! Had looked at examples of this but it's nice to have the link to Peaker's code

Oh of course, and that also explains the use of GADTs since they are one route to dependent types in Haskell. I'm not sure what he's done there is fully legit, but maybe not as loo…

I'm not quite sure what you've done there. You seem to be confusing type signatures with function definitions. You've also used GADT syntax, requiring -XGADTs, which isn't needed f…

If you enjoy this, consider Hudak's "Haskell School of Expression" book. Very good book, very hands on. http://www.cs.yale.edu/homes/hudak/SOE/