HNHacker News
TopNewBestAskShowJobs

kd0amg

1,587 karma · joined December 1, 2009

Interested in language design/implementation, architecture, security, and graph theory

Reachable at jrslepak@gmail.com

submissionscomments
kd0amg··on Hard Part of Computer Science? Getting into Class
Automated testing scales easily, but properly reviewing code/proofs/technical prose really doesn't. Lecturing scales even more easily, though maybe not if you want students to be asking questions in class.
kd0amg··on Why are glasses so expensive? The eyewear industry prefers to keep that blurry
Everyone I've seen do this takes bottles too, and it's because they can redeem the bottles and cans to collect a state-mandated deposit.
kd0amg··on When hiring senior engineers, you’re not buying, you’re selling
Well, do you think my comment demonstrates deep understanding of database design?

No, it seems about on about the same level as being able to paraphrase the abstract of a paper about the system. I would not take it as showing that someone has read past the first page. A high-level overview just isn't enough for that. You have to ask your own probing questions too. Limiting the conversation to the particular problems they bring up is essentially taking them at their word when they claim to be skilled. I've seen lots of occasions where trying to drill down for a bit more detail on some part of what they talked about consistently came up empty (without going anywhere near sitting down at a computer to write a fizzbuzz equivalent).

kd0amg··on Why are glasses so expensive? The eyewear industry prefers to keep that blurry
It gains you the ability to replace a broken pair of glasses for just the cost of the glasses, rather than also having to pay for another eye exam.
kd0amg··on When hiring senior engineers, you’re not buying, you’re selling
> If they understand their friend's work deeply, doesn't that imply they've done something comparable themselves?

Imagine you're interviewing a candidate and they're talking through how to design an analytics service. They begin talking about e.g. database architecture, and how this type of data is most appropriate for a star schema. They start talking about the tradeoffs of row versus column orientation. They mention they'll need to do indexing for performance and talk about the index space versus query speed tradeoff. They say they'll do joins on the x and y tables.

Is this demonstrating deep understanding though?

kd0amg··on For some in Michigan's Upper Peninsula, a ghost town is home
Most of the UP is quite desolate, and this area, even more so since it’s not on the way to anywhere.

And even when Phoenix was on my way somewhere, I don't think I ever stopped there.

kd0amg··on For some in Michigan's Upper Peninsula, a ghost town is home
Depends on just how remote you want to be. Broadband is available in the more populated towns. When I was in Houghton, the only major service interruption I remember was from a backhoe operator digging where he shouldn't.
kd0amg··on UCLA asked faculty to consider declining to review for Elsevier journals
And then when someone does publish work in that venue, are others doing related research supposed to refuse to acknowledge related published work? That's a pretty serious ethics breach in itself.
kd0amg··on Why Do Hospitals Hate Sleep So Much?
If you go to sleep at the same time (relative to actual-midnight) and get up an hour before school, you get more sleep when school starts later.

That still doesn't seem all that helpful. If my high school had started at 10 instead of 8, I'd be out of class at 5:30 instead of 3:30, done with fencing practice at 8 instead of 6, etc. I'd finish the night's homework two hours later, and finishing that was already well past sundown even on the original schedule. A later start time wouldn't have been an opportunity to stay up later -- it would have been an obligation to stay up later.

kd0amg··on Formalizing 100 Theorems
The ones I'm familiar with avoid Turing-completeness in order to ensure that all functions are total. In doing so, they remain quite expressive but not enough to write interpreters for themselves. So the usually straightforward strategy of embedding a language by writing an AST datatype and interpreter is unlikely to work in this space.
kd0amg··on Ask HN: How to deal with incompetent people
I thought that the value that I create will talk more than the nonsense of some people

The value you create doesn't talk about you except to people who know you're the one who created it.

kd0amg··on Ask HN: How should a programming language accommodate disabled programmers?
Does that mean you need a screen reader that knows about whatever programming language you use?
kd0amg··on Surgery students 'losing dexterity to stitch patients'
I have found the position of my finger in relation to a touchscreen has a substantially weaker correlation with successfully pressing the button I want than the position of the thread in relation to a needle's eye has with successfully threading the needle.
kd0amg··on Facebook exodus: Nearly half of young users have deleted the app
I've given up on my Facebook-curated timeline. Now I just have a "friend list" with all of my friends on it, and I read that list's feed instead.
kd0amg··on Show HN: Whack – A simply-designed compiled programming language
It is entirely possible to write proofs about untyped code.
kd0amg··on America’s Need for Skilled Immigrants Isn’t Going Away
Then it would be working as intended. Jobs where labor isn't so scarce as to push prevailing wages up really high don't need extra labor brought into the market.

The remaining concern is distorted markets like foreign language teachers (brought up elsewhere in the thread), where it may be politically infeasible to raise compensation to match the value workers create.

kd0amg··on An Elaborate Academic-Journal Hoax
Peer review can still inspect whether the evidence presented in a paper would—if not fabricated—truly be enough to support the paper's conclusion. Mistaken analysis of honestly collected data, improper experimental methods, flawed proofs, etc. can all show up at review time.
kd0amg··on Why Can a Machine Beat Mario but Not Pokemon?
What graph do you propose to search, and what decision do you propose to make based on the resulting paths?
kd0amg··on Why Can a Machine Beat Mario but Not Pokemon?
A pokemon can be one (or two) of a bunch of different types like "bug" or "rock" or "ghost," each of which comes with a particular set of types it's vulnerable to (2x damage taken) and another set of types it's resistant to (0.5x or 0 damage taken). So no one pokemon has an advantage over all the others, and there's no 2-3-4-...-J-Q-K-A strength ordering for types.

You can also freely substitute among your team of 6, though subbing replaces your attack for that turn. If you anticipate the opponent using an attack of a particular type, you can sub in something resistant to that attack.

In single-player/story mode, you never encounter an opponent at the maximum level, and the NPCs tend not to build type-diversified teams, so the player gets a huge advantage in most battles by just grinding a couple pokemon of the right type.

kd0amg··on For progress to be by accumulation and not random walk, read great books (2010)
In my country we have a word to describe this, it’s called “dannelse”, and I can’t find an English word for it. The closest thing I’ve been able to come up with to describe it is: ”give people a broad, general basis for developing their talents to the maximum and growing into strong, open and multi-faceted individuals who can assume their responsibility in society to the full.”

This sounds like the English term "liberal education."

kd0amg··on Computer science as a lost art (2015)
Yeah, there's a huge difference between "so-and-so left a PhD program to start a company based on his research" and "so-and-so read a web framework tutorial instead of going to college."
kd0amg··on The dream of driverless cars is dying
I'd rather depend just on there being a handful of other people who want to go where I want to go than on there being an active railroad as well.
kd0amg··on How Postcards Solved the Problem of Disappearing Rice
That was my initial guess as well, but I was a bit confused -- unless bags of rice were getting destroyed without being opened, it would be pretty easy for corrupt distributors to send back the ACK postcards anyway. This out-of-band checksum should be harder to compromise.
kd0amg··on Grand Rapids has become a midwestern economic star generating industrial jobs
On a related note, I suspect cities primarily relying on cost-of-living arguments to attract people may actually be subtly signalling the reverse of what ambitious people are drawn to. A city's primary signal should be the vibrancy of the place, not the low cost of living.

Yes. What makes me unlikely to return to Michigan long-term, as much as I liked where I lived, is the limited career options I would have there. I am apparently willing to put up with a rather high cost of living to work on what I find interesting.

kd0amg··on Seattle Poised to Repeal Tax on Amazon and Large Employers
Payroll taxes scale down as the employee's pay rate scales down. This was a flat amount per employee-hour.
kd0amg··on De Beers admits defeat over man-made diamonds
Hasn't neoclassical economics been adapting supply/demand reasoning to markets without perfect competition for quite a long time though?
kd0amg··on Dealership Makes Woman Sitting Right in Front of Them Confirm She's Not a Robot
or (this is Marci’s joke) said “it doesn’t look like anything to me” when they showed her the form?

ReCAPTCHA always asks me to point out cars, street signs, and bridges. If someone can't do that, the dealer maybe shouldn't sell that person a car.

Still seems a bit odd to have the forms that the dealer needs the buyer to sign sufficiently exposed that they need captcha protection though.

kd0amg··on Has wine gone bad?
Just having a large number of small producers does not imply that the market has the amount of product differentiation GP is asking for. Wine I see on shelf does not make much attempt to distinguish itself stylistically from the other products sitting next to it. Going the other way, having a small number of producers does not imply product uniformity. A single brewing company is perfectly capable of making a wide variety of beers.
kd0amg··on Tech Industry Really Needs Professors and Teaching Talent
That's basically how the market works, but how much that happens depends on the extent to which universities are actually willing to pay more for things they think/say they don't have enough of.
kd0amg··on Tech Industry Really Needs Professors and Teaching Talent
As has been pointed out before, statistics like these "for every five open faculty positions, only one is filled" are incredibly misleading.

Also, still trying to dig up the last article I read about this, but didn't that figure lump pretty much all faculty positions together? I could definitely believe there are lots of contingent faculty positions going unfilled, but the numbers probably look quite different for someone who's not interested in part-time positions, teaching-only positions, soft-money positions, etc.

← PreviousPage 7 of 30Next →