HNHacker News
TopNewBestAskShowJobs

LeonRobrotsky

65 karma · joined March 9, 2015

submissionscomments
LeonRobrotsky··on The Z3 Theorem Prover released under MIT license
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.

LeonRobrotsky··on Learn Python the Hard Way
> is this a joke?

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

LeonRobrotsky··on The Z3 Theorem Prover released under MIT license
Making vague but supportive comments on HN.
LeonRobrotsky··on Can you make “big money” as an employee in software?
> You just have to be okay with doing things that basically add no value to anything.

So, most silicon valley startups?

LeonRobrotsky··on The User Is Drunk
I've been very thankful that I couldn't navigate some websites drunk in the past.
LeonRobrotsky··on China used more cement in 3 years than the U.S. did in the entire 20th Century
For anyone else that's curious, cement is mixed with water and some sort of aggregate to make concrete.
LeonRobrotsky··on Sublime Text 3 Build 3080
You appear to be correct- my remark was based on what I guess is out of date experience.
LeonRobrotsky··on Sublime Text 3 Build 3080
> 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.

LeonRobrotsky··on Sublime Text 3 Build 3080
Personal projects, coursework in school.

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

LeonRobrotsky··on Sublime Text 3 Build 3080
To an extent, having the source available is a good solution.
LeonRobrotsky··on See-Through Solar Is Tomorrow’s Threat to Oil
I thought refining of oil was mostly separating the different hydrocarbons- or can gasoline be used to make plastic?
LeonRobrotsky··on Ravens Offensive Lineman Publishes Math Paper
> 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.

LeonRobrotsky··on Ravens Offensive Lineman Publishes Math Paper
Heroin destroys lives, dragging not just the users, but those around them down. Similar to TBI.
LeonRobrotsky··on Ask HN: Do you take nootropics?
M-F I take one 200mg tablet of caffeine in the morning.

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

LeonRobrotsky··on Ask HN: Developer machine, Macbook vs. arbitrary Laptop with Linux, which?
https://system76.com/
LeonRobrotsky··on Did Disney's The Lion King Rip Off an Old Japanese TV Series? (1999)
> People seem less annoyed by that though

Probably because Shakespeare was white.

LeonRobrotsky··on Why I am called "the Father of Visual Basic" (1996)
I remember having very heated debates about using Option Explicit and the use of Variant in assorted AIM programming chat rooms.

Fun times.

LeonRobrotsky··on MSBuild is now open source on GitHub
> 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.

LeonRobrotsky··on When your child speaks a language you don’t
> 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.

LeonRobrotsky··on When your child speaks a language you don’t
> 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.

LeonRobrotsky··on When your child speaks a language you don’t
> 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.

LeonRobrotsky··on Andrew S. Tanenbaum's FAQ
Just look on AbeBooks:

http://www.abebooks.com/servlet/SearchResults?isbn=978812032...

LeonRobrotsky··on Science Fairs Aren't So Fair
Such as?
LeonRobrotsky··on My Roommate, the Darknet Drug Lord
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!'

LeonRobrotsky··on I’m a 12-year-old girl. Why don’t the characters in my apps look like me?
This is a fairly standard 6th grade essay.