HNHacker News
TopNewBestAskShowJobs

mikebenfield

1,257 karma · joined August 29, 2011

submissionscomments
mikebenfield··on When the Revolution Came for Amy Cuddy
I don't know. A lot of the people Gelman complains about are, in my opinion, building their career on fraudulent work. They are undermining science. If there was ever any doubt that they were deliberately deceiving people, that doubt disappeared upon seeing their response to simple and legitimate criticism.

A little needling on Gelman's blog is not too harsh, all things considered.

mikebenfield··on Are you built to be an employee?
Then how different making money is from every other endeavor I'm familiar with. In everything else people do, from playing a video game to getting a graduate degree to playing sports, there is the possibility of failure.

But apparently it is inevitable that you will make a ton of money. Unless, apparently, you don't want to.

mikebenfield··on Boiling lead and black art: a history of mathematical typography
Yes, but I've literally never once heard someone pronounce it "correctly."
mikebenfield··on Why Johnny Can't Code Good [video]
I don't think I completely disagree with your overall point, but:

> Nobody fails CS101 because they can't remember the syntax of function definition

I knew a couple people who cited essentially this reason as why they dropped their CS major: they found it really difficult to write anything that even compiled and couldn't deal with syntax errors like missing semicolons and whatnot.

mikebenfield··on SmallerC – Small, Simple, Self-Compiling, Single Pass C Compiler
What do you have in mind here? What x86 code generated by a C compiler is not readily translatable to x86-64 code?
mikebenfield··on Digging for treasure in Aladdin’s source code
People say this, sometimes to the point of asserting that the SNES version is just a bad game.

It's not. They're both really good games.

mikebenfield··on Gluon – Deep Learning API from AWS and Microsoft
There's also the Gluon language [1] and, as someone below mentioned, this [2] enterprise mobile thing.

[1]: https://github.com/gluon-lang/gluon

[2]: http://gluonhq.com/

mikebenfield··on Ask HN: How and where can I publish my research on AI as a college dropout?
> Which seems to argue that Cantor Diagonalization, a method of proof known for over a century and taught in most undergraduate abstract math courses, is completely wrong.

FWIW, this is a very common topic for mathematical cranks. It's somewhat understandable that in the 19th century this was kind of a controversial result, but it's really impressive that we still see crackpots swinging at the same target.

mikebenfield··on Menuet – A pre-emptive, real-time and multiprocessor OS written in assembly
My tired brain initially thought it saw "GPU" in the acronym soup "GPL GUI PC OS" and started to think "Weird, what must an OS running on a GPU be like?... Oh. Nevermind."
mikebenfield··on Menuet – A pre-emptive, real-time and multiprocessor OS written in assembly
> assembly is only justified for very small pieces of code

It's also justified if you're doing a side project mostly for fun and you like writing assembly.

If you were a manager or executive and you found out your employee had implemented a new project in assembly language, it really might be reasonable for you to be dismayed at that choice. But that's not the situation here. At all.

mikebenfield··on Menuet – A pre-emptive, real-time and multiprocessor OS written in assembly
The common misconception you seem to be displaying is that the advantage of "open source" software is that it comes with the source code.

This is exactly why Richard Stallman objects to the term "open source" and prefers "free software": because the point of the thing is that you are legally free to modify and distribute it. Access to source code is just a prerequisite to be able to practically exercise those freedoms. (I'm making no commentary on whether he's right about this. Personally I tend to say "open source" more often, because that term has basically won out and I'm more likely to be understood.)

By the way, years ago when Microsoft was apparently going to war against open source/free software, there was a bit from some Microsoft executive who said something like, "Open source is pointless. If our customers want to see our source code, they can just ask. But nobody does. Nobody cares about source code." He was exploiting people's misconceptions about what "open source" means. Indeed, nobody cares much about source code if they're not allowed to do anything with it.

(Plus, disassembling a binary is a massive pain compared to just using the commented and labelled assembly file.)

mikebenfield··on These problems were designed to prevent Jewish people from passing (2011)
Everyone involved was Jewish though (or, at least, they were all Israelites).
mikebenfield··on Show HN: Resume Worded – Write impactful resumes
Thanks for writing this.

It's very difficult to synthesize all the resume advice one receives though. I've actually been told more than once not to spend any time on the cover letter because no one will read it, and that in fact if I include a detailed cover letter I may look clueless.

And, honestly, it is a little hard to understand the point. Aren't I supposed to customize my resume itself to each role, and use it to show how I'm a good fit? What exactly is the purpose of duplicating all that in a second document?

mikebenfield··on Reddit hires first lobbyists
It is absolutely bizarre, and I had a hard time believing it too, but it does seem to be true that many would-be Sanders voters voted for Trump.

I think what it comes down to is that most people of any political persuasion are basically politically illiterate and vote their feelings. Sanders and Trump are both:

* not Hillary Clinton;

* male;

* very different from the other options.

For some people, that's apparently enough.

mikebenfield··on Rage Disorder Linked with Toxoplasmosis (2016)
> 2. Why aren't all research publications required to be accompanied by a second abstract written in plain low jargon language that can be understood at some level by someone with high school science?

Because the target audience of research publications is other researchers in the same field; while outreach to nonscientists is fine, it's simply not the goal of a research paper.

Besides, for many papers this is impossible and/or pointless. My research results are incremental results in a specialized subfield of mathematics. I don't know how to explain them in anything but the vaguest terms to anyone without a reasonable background in that subfield, and I also don't know why such a person would care about them.

mikebenfield··on Learning Rust with Entirely Too Many Linked Lists
They are? I'll grant you the one about the taste of the developers. Which other one is opinion?
mikebenfield··on Learning Rust with Entirely Too Many Linked Lists
> challenges with Rust are written off in an off-hand way and its features exaggerated

I think people are pretty straightforward about Rust's challenges. The borrow checker can be a hurdle and probably needs more work (although it is getting a big boost soon with non-lexical lifetimes). Compile times are not great. The macro system is powerful but can be confusing. People from some mainstream languages may have trouble wrapping their heads around the type system.

Regarding its features, these attributes:

* it can do low level, fast code;

* it's not garbage collected, but is memory safe;

* it has zero cost abstractions (and, conversely, it doesn't have ridiculous, unnecessary, slow abstractions);

* it doesn't ignore the last thirty years of innovation in programming languages (by which I mean it has a modern type system, closures, variant types, and a few other things);

* it doesn't have 30-40 years of cruft;

* it has a standard and very high quality build/packaging system;

* its developers are thoughtful and have good taste;

* it has a reasonably big community and has a good chance of catching on even more widely;

are huge. You say you think its features are exaggerated, but to my mind, what's to exaggerate? That list looks pretty great to me.

mikebenfield··on A glut of PhDs who can’t find academic jobs
> Maybe CS and AI is an outlier

Yes, it is a huge outlier. Probably the most extreme outlier there is.

> Plenty of people go into a PhD to go into industry

In CS? Yes. In most other fields? Absolutely not.

mikebenfield··on A glut of PhDs who can’t find academic jobs
> Not research, that should be secondary to their teaching duties.

Why?

mikebenfield··on A glut of PhDs who can’t find academic jobs
For many (I would go out on a limb and guess most) fields people may study in graduate school, there is no research outside of academia.
mikebenfield··on A glut of PhDs who can’t find academic jobs
I think this varies somewhat by field, but I promise you, in many fields essentially the only reason to get a PhD is for a career in academia. The idea of a someone in graduate school not aspiring to become a professor still sounds odd to me.

And while I never had anyone outright lie to me or tell me job prospects were great, there were also few people who gave me a really clear picture of just how bad they were.

mikebenfield··on A Brief History of Lisp Machines (2008)
I used to dream about this too.

Not so much anymore though. I feel like static type systems have progressed enough that dynamic typing really has little appeal to me at this point, especially the idea of dynamic stuff "all the way down."

Nowadays my fantasy is more along the lines of:

* a machine with a simple instruction set for CPU and GPU and without slow transfers between the two

* a modern statically typed language that can be used to program both CPU and GPU, that's basically "Rust, but better, and with simpler syntax without braces and semicolons and commas and with easier macros and..."

* some simple garbage collected extension language for runtime/dynamic stuff. Still statically typed though.

mikebenfield··on Text-only NPR
Why not just have a more pleasing default style? Why does everyone who wants to send you information over the web have to worry about typography and typesetting, when you could just have something reasonable by default?
mikebenfield··on It’s time to kill the web app
> Not some simple Flask endpoint?

I don't even know what a "Flask endpoint" is. Actually I barely know what Webpack and React are either.

mikebenfield··on It’s time to kill the web app
It's probably not realistic, but I would love to see the web be completely thrown out and replaced with something reasonable.

I write a decent amount of native code. I write Rust, C, and x64 assembly. I think I'm pretty good at this stuff. But the web is too much for me. Any time I think I'd like to do something with the web and sit down to learn, it's completely overwhelming. I've never been able to put together a coherent mental model of the architecture of a web application or figure out what the best practices are for web development. The amount of complexity you have to wade through to get anything done is just silly.

There's the idea floating around that web developers are less competent than programmers on other platforms. I'm only half serious when I say this, but I sometimes wonder if, to the extent that this is true, it's because web developers have so much incidental complexity to deal with that there's just not much brainspace left over for classical CS or software development concepts.

mikebenfield··on Baffling ABC maths proof now has impenetrable 300-page ‘summary’
We are very far from the point where that is feasible for many new results in math.
mikebenfield··on JavaScript: The Curious Case of null >= 0
Yes, I've always understood this to be the correct terminology, but unfortunately in informal discussion among non-academically inclined software people, people use the terms wrong more often than they use them right. You get lots of people saying C is strongly typed (it certainly is not) and something like Scheme is weakly typed (it certainly is not).
mikebenfield··on Course Notes – J.S. Milne
I support the sentiment. I'm not sure anyone has all that much insight though, especially if you don't consider the things Thurston and Grothendieck have written to be adequate. I'm got a PhD in mathematics and have interacted with a lot of mathematicians, some of whom are up there with Milne, and I could pretty much say everything I know about how to learn mathematics in a paragraph or two.
mikebenfield··on The Real Reason the U.S. Has Employer-Sponsored Health Insurance
Where do people like you come from? Do you really not know anyone who has a congenital illness or who got a cancer diagnosis out of the blue? Do you not know anyone who, due to unpredictable circumstances out of their control, was out of work for an extended period and could not afford health insurance?

More fundamentally, why does it matter whose fault it is? This is 2017 and the US is an extremely prosperous nation. Everyone should have access to health care without being financially ruined, regardless of their "lifestyle choices."

http://www.huffingtonpost.com/entry/i-dont-know-how-to-expla...

mikebenfield··on Announcing Rust 1.20
You seem to be trying to argue with me, but the points you're making are pretty much orthogonal to the ones I made. If you think OOP is not a meaningful concept, you should be arguing with the comment I was replying to, not me.
← PreviousPage 8 of 10Next →