News for hackers. Stuff that matters.

LeonRobrotsky

Re:The Z3 Theorem Prover released under MIT license on Friday March 27, 2015 @06:22AM (#9275447)
Sorry- my remark wasn't intended as a shill accusation, but re-reading it now, I see it.

It was tongue-in-cheek, I enjoyed the positivity in your original comment.

Re:Learn Python the Hard Way on Friday March 27, 2015 @06:19AM (#9275433)
> is this a joke?

No, just written by Zed Shaw. Honest mistake though.

Re:The Z3 Theorem Prover released under MIT license on Thursday March 26, 2015 @04:11PM (#9272726)
Making vague but supportive comments on HN.
Re:Can you make “big money” as an employee in software? on Thursday March 26, 2015 @12:00PM (#9270582)
> You just have to be okay with doing things that basically add no value to anything.

So, most silicon valley startups?

Re:The User Is Drunk on Wednesday March 25, 2015 @12:06AM (#9261229)
I've been very thankful that I couldn't navigate some websites drunk in the past.
For anyone else that's curious, cement is mixed with water and some sort of aggregate to make concrete.
Re:Sublime Text 3 Build 3080 on Tuesday March 24, 2015 @01:36PM (#9258093)
You appear to be correct- my remark was based on what I guess is out of date experience.
Re:Sublime Text 3 Build 3080 on Tuesday March 24, 2015 @09:38AM (#9256429)
> Or maybe I've just been unlucky/incompetent.

Every lint extension I've seen seems to drag a full install of whatever the popular implementation of the language is.

Re:Sublime Text 3 Build 3080 on Tuesday March 24, 2015 @09:36AM (#9256423)
Personal projects, coursework in school.

I also have zero doubt that people have been using it for professional purposes in violation of the license.

Re:Sublime Text 3 Build 3080 on Tuesday March 24, 2015 @09:32AM (#9256399)
To an extent, having the source available is a good solution.
Re:See-Through Solar Is Tomorrow’s Threat to Oil on Monday March 23, 2015 @10:43AM (#9251175)
I thought refining of oil was mostly separating the different hydrocarbons- or can gasoline be used to make plastic?
Re:Ravens Offensive Lineman Publishes Math Paper on Sunday March 22, 2015 @12:04PM (#9247213)
> then this analogy might be slightly more relevant

Agreed, football is worse: we actively encourage and reward modern day gladiatorial combat such that otherwise brilliant people feel the need to participate. NFL players publishing papers and having successful academic careers afterwards are not the norm.

Re:Ravens Offensive Lineman Publishes Math Paper on Saturday March 21, 2015 @03:22PM (#9243883)
Heroin destroys lives, dragging not just the users, but those around them down. Similar to TBI.
Re:Ask HN: Do you take nootropics? on Saturday March 21, 2015 @08:40AM (#9242588)
M-F I take one 200mg tablet of caffeine in the morning.

I also quit getting blackout drunk 4-5 nights a week.

> People seem less annoyed by that though

Probably because Shakespeare was white.

Re:Why I am called "the Father of Visual Basic" (1996) on Wednesday March 18, 2015 @10:52PM (#9229977)
I remember having very heated debates about using Option Explicit and the use of Variant in assorted AIM programming chat rooms.

Fun times.

Re:MSBuild is now open source on GitHub on Wednesday March 18, 2015 @05:52PM (#9228933)
> Nobody is seriously going to fork this and create their own port of MSBuild

No, but at least I can try and fix any bugs I come across instead of hoping MS takes my complaint seriously.

Re:When your child speaks a language you don’t on Wednesday March 18, 2015 @11:31AM (#9226169)
> Is that really that unusual?

In the US, yes. Or, at the very least, at my high school.

The other classes had weekly vocab quizes and grammar tests, with English instruction, whereas we learned German... in German.

Re:When your child speaks a language you don’t on Wednesday March 18, 2015 @11:19AM (#9226070)
> teach them additional languages when they're teenagers, instead of having done the bulk of the work when they were babies

My (semi-related) reply here: https://news.ycombinator.com/item?id=9226046

My instructor chose to go full immersion, basically what children are subjected to. The other instructors took the grammar/vocab workbook route.

Re:When your child speaks a language you don’t on Wednesday March 18, 2015 @11:16AM (#9226046)
> Given the right environment, the brain seems to adapt.

In high school, I had a German immigrant, fresh out of college as an instructor. The moment one stepped into that classroom to the moment one stepped out, nothing but German.

Hell, it didn't stop there. If you tried to talk to him at all, in or out of the classroom, he wouldn't acknowledge you unless you spoke to him in German, and he would only speak German to you.

Strangely enough, the German students were the only ones capable of holding conversation in a foreign language.

I graduated in 2008, haven't 'used' German in 7 years, but I still find myself thinking in German every once in a while.

Immersion (even for ~50min, 5 days a week) is easily the best way to learn. I don't know why anyone wastes their time with anything else.

EDIT: Hah, I just remembered how he never cared that we talked to each other during class about whatever, just that it was in German, not English.

Re:Andrew S. Tanenbaum's FAQ on Tuesday March 17, 2015 @11:23AM (#9218503)
Re:Science Fairs Aren't So Fair on Sunday March 15, 2015 @05:26PM (#9208216)
Such as?
Re:My Roommate, the Darknet Drug Lord on Thursday March 12, 2015 @02:18PM (#9192663)
Nazis had state sponsored scientific research and a national healthcare system (with certain, obvious exclusions).

It just seems nonsensically reductive to go 'the nazis did it! therefore its bad!'

This is a fairly standard 6th grade essay.