HN user

jdn

55 karma

Computer Science student at the University of Nottingham

Posts2
Comments35
View on HN

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

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 consuming information rather than accomodating interaction, how is a smartwatch, a small display, an excellent tool for interacting with a TV?

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 have any experience with it who could comment?

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, not punished.

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 investors interested in funding their 24 hour hackathon idea. It's for fun, collaboration and learning. When one of the judges took to stage at Hacked.io in London and banned business pitches, there was a small cheer.

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 times since install. The Chromebooks very rarely need to be turned off, and the one time that does happen often, on update restarts, actually bypasses that warning.

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.

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. Human-computer interaction is currently eating the department.

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.

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 loony as at first thought.

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 for a simple vector type.

Cons :: a -> Vector n a --> Vector (1 + n) a

This makes no sense, you can't specify constants in a type signature, and you certainly can't add constants to a type variable in one.

I may be the one not in the know here, if so please show me this magic.

"having that culture of calling people on their shit can allow someone who may have walked away to feel empowered to speak up when they feel uncomfortable with something someone has said." I certainly appreciate that perspective on it; it is empowering to the victims. However, as in this case, it can also alienate those they are calling if it was not genuine sexism. There are cases where similar language is used in a sexist fashion, and it would be a bit of a stretch to call this one of them, so in this case it only caused an adverse reaction. I guess there is a careful balancing act to empowerment.

"I don't know how to convince others to stop being reactionary" If it helps, your views have helped me consider my reaction to this. I understand and empathise with why he reacted how he did, but my reaction to his post was probably a step further into inappropriate. Thank you.

"and try befriending some people with very much opposite viewpoints to your own." Thank you for your judgements on my friendship circles; those I have relationships with are of very diverse opinions on gender/sexual/racial/wider politicial issues.

His reaction may have been juvenile and extreme, but I certainly don't think it was sexist. What makes you say that?

The Gaga nitpicking wasn't completely off topic though. The selection of Gaga as the target was chosen with the express purpose of demonstrating a point; Gaga has classical training, yet still produces what most (at least the author) consider to be trash. This mirrors his comment on the poor design of modern languages versus the APL languages, and a commentator didn't get this link so he spelled it out for them. On the other hand, the casual sexism call was completely off topic.

I agree, but there is a time and a place for these discussions, and there are better ways of handling it than calling him out in his own comments. If you wanted to address perceived casual sexism through turns of phrases such as these, a better angle would be to collect examples from such blog posts and author a new post with the purpose of discussing this use of language.

I don't think the gender equality in the industry is worsening, as you say. It certainly has worsened in recent years, but the strong movement in support of women in CS is gaining traction. My opinion on it may be jaded by the "white male privelege", but to me it seems the balance is starting to be reinstated slightly. Numbers of females joining the department each year has been increasing since I entered the degree, and recent statistics released actually showed there is now more women than men in the post-graduate CS degrees. Whether this is the case everywhere, I don't know (and doubt), but it's certainly a start.

I very much doubt the response reflects his attitude to women in computer science, and your comment regarding "this is not how well-adjusted adults disagree when having a discussion" is somewhat moot, as it wasn't a discussion. This is where I believe his anger came from, and where my support of his response also stems. The cause of women in computer science (which as a student in a very male dominated CS department, I wholeheartedly support) is not helped by people derailing everything in the manner in which the commentator did. Like many political and ethical discussions, there is a time and a place. If he had said something outrightly and obviously sexist, yes, call him on it. But as it is, I think he had every right to get annoyed and want to nip that derailing in the bud.

That line was a bit juvenile, granted. The other comment wasn't really nitpicking. The commenter believed that Gaga has genuine musical ability, and the author wanted to make it clear that it was that classical training that made her the target of his blog. I don't want to misinterprete your meaning here, but are you trying to suggest the author would only react angrily to a female/feminist commentator?