skysight-inc/HackerNews huggingface dataset:
Yeah that's definitely a company culture thing too, breaking things at some places is considered terrible and the company would prefer a 5x longer development cycle for half as many bugs. But clever code usually takes longer to write anyway, writing dumb code that just does what it's supposed to is less fun, can be downright boring but usually fails in obvious ways that are easy to detect and even easier to remedy because there's no cleverness involved.
I used lastas for two years. When my student license expired I tried KeePass, 1password and Dashlane. Dashlane used over 1.2gb of memory, was slow and made no sense. You could add sites in the standalone client but NOT passwords. So you had to use the browser extension to create the password and copy paste it into the client.
1password might be amazing on Mac but on Windows it was so barwbonea I could just use lastpass without the extensions and still get more features.
KeePass was fine just a bit cumbersome to integrate and browser integration would sometimes stop working.
That being said the UX in lastpass is also horrible and getting worse. It is so slow now with the fancier graphics. I'm still surprised they are all so bad but lastpass is the least annoying to use.
While dependent type inference is more difficult, you get program inference in exchange. That's not a bad tradeoff because I'd rather write the spec (type) and have the computer fill in the boring bits, rather than the other way around.
Did you tell them the truth about the product they'll be working on before you hired them?
You're not a tech company, you build human traps. Now you know why you have "culture fit" problems with talent.

https://www.youtube.com/watch?v=C0Y4uzaf2HA
This page says Houston gets over $600,000. So the facts support my point.

https://www.imls.gov/grants/awarded/ls-00-10-0044-10
The perfect code guy doesn't sound so bad.
They don't usually trash former employees, but you can read between the line.

One time a reference given by the candidate for a senior post glossed over everything but focused on attendance. "He is a good guy. He is always on time for work and very punctual for meetings."
> Developers who fail to check their own work, or do it so hastily they don't notice glaring mistakes, or who are rushing so much they don't / can't follow a simple spec.

You would actually fire somebody for being unable to keep up with a deadline they didn't set? In my experience, this is mostly the result of management placing too strict a deadline on too junior a dev. It's a mentoring moment, not a firing one.
Don't you think the first one can be a result of imposter syndrome and not wanting to risk looking like a fool for asking for help?

If they feel like they ought to be able to figure it out on their own, asking for help suddenly is a big hurdle because they think that their colleagues will judge them for it.
Student living nightmare as BOTH her names match computerised assistants
It's definitely fair to check this. Also I think this works very well when the hire worked in a well-ordered place beforehands. On the contrary, if someone worked at a toxic work place before - it's probably counterproductive to ask colleagues or even managers. Odds are high the person is exactly leaving because of that.
I told you that you wouldn't accept my response, despite it being a data-based rebuttal to a statement of fact in the NYT, and you did not disappoint me.

Anyone can lead a protest, especially small ones. To be "the leader of THE opposition" you need supporters in great numbers in any country. Navalny simply doesn't. The polls show quite clearly that other politicians who run against Putin have higher name recognition and more popularity.

Just look at yourself - if hard polling data that contradicts a specific statement of fact can't convince you, nothing ever will. You'll always find yourself falling back on trying to argue that technically the NYT's statement doesn't mean what it seems to mean regardless of what counter-example is picked.
I think you miss the point of a microkernel! The point is to keep all your "features" outside of it, and to use it only to implement the core set of functionality necessary to have secure shared access to the hardware. The general L4 concept has proven industry use, so there's no reason you can't take advantage of the already accomplished work on seL4 to bootstrap your own secure OS.

It's true that seL4 is not a magic safety or security bullet; in particular, their FAQ says that they haven't completed extending their proofs to DMA safety via VT-d or SystemMMU on ARM, so DMA-accessing services would have to be separately verified. And its particular feature set may not be appropriate for all situations. But if its API does work for you, it would be foolish not to at least consider using it.

It is really unreasonable to dismiss seL4 simply because it took them a lot of effort to create it. That effort is now done and can be re-used and magnified by further effort.
Ruby is definitely better syntactically for scripting then Python.
That can be solved by making the diameter of the torus large enough that the difference in acceleration between head and feet is not too high.
I agree that just looking at clicks or CTR can be misleading. Because the people clicking in my case usually can't buy something directly after clicking it can be even more murky. But this particular industry has primarily been advertising in magazines, so in some ways it is actually a better situation than before.

Also, by ~5% CTR in your example are you meaning that for every 100 impressions that campaign was getting 5 clicks?
This (https://www.imls.gov/grants/awarded/ls-00-10-0044-10 ) could be replaced by each Houstonian paying a whopping 15 cents.

Yes, there are poor areas. The problem is they lack powerful congressional seats, and the rich ones get the money.
No, not at all.

The threading macros are more useful when you have more nested code. For example:

(->> coll
(remove nil?)
(filter :available?)
(map :stock)
(reduce +))

Is perhaps a little easier to read than:

(reduce +
(map :stock
(filter :available?
(remove nil? coll))))
Filming mosquitoes reveals a new approach to flight
Understood. Even then, though, you couldn't mod the same item more than once, iirc
F-35 Continues to Stumble
> shell is something you shouldn't be bashing.

But apparently, bash is something you should be s(h)elling.
Whenever I need to remember something, I switch my phone wallpaper/lock screen to one of the default ones which I normally don't use. Then I can usually associate what I needed to remember. Works better than writing a note, or adding a reminder/alarm since these notifications is easily missed/ignored.
One keepass db per person for your personal accounts. One separate keepass db for your shared accounts.
So, are you advocating since there's waste on one area that we should waste it in other areas?

The military clearly has a ton of waste, but that's not a reason to waste money here - it's a reason to cut waste there too.
- FLAVOR: Ubuntu Desktop

- HEADLINE: Make Ubuntu not suck on laptops

- DESCRIPTION: What I want is for Ubuntu to partner with someone on the hardware side to provide a meaningful alternative to the macbook pro that does not suck. The OS is already fine enough if you could make it work very well with a decent laptop out of the box.
I have tried Dell Sputnik...endless software pain. I have tried System76... crappy hardware.
Make a Linux laptop experience that does not suck and rivals Apple for quality. That is what I want.

- ROLE/AFFILIATION: Director of large IT/Ops team in large scale SaaS environment
Seriously, they point when they get to the station. http://www.mta.info/news/2013/11/12/subway-conductors-point-...
Google drive/docs is the worst offender here. Not only do they not automatically determine which account you want, but they force you to sign out of your google account to access a second non-G-suite account's calendar.
Original source: "F-35 Continues to Stumble"

http://www.pogo.org/straus/issues/weapons/2017/f35-continues...
New Survey Shows Diversity If the Lowest Priority of Men in Tech
Yes please!! So painful. I also have dozens of applications open, all the time, which I lose when I dock/undock when in sleep...
My variation on that is to only ever lock my front door or car using my keys from the outside. It's a bit less convenient than using the lock on the inside, but is guaranteed to avoid lockouts.
If a few developers have been apathetic maybe it's that your product/tech is not exciting enough for them?

I know quite a few devs that would be like that if they had to work on something like a legacy J2EE webapp.
BAMTech | New York, NY | (Sr.) Software Engineer || ONSITE or REMOTE, Full time

Join our team and help us drive the cord-cutting revolution! BAMTech, a subsidiary of MLB Advanced Media, isn’t just about streaming Baseball – we also manage HBO Now, NHL, Twitter NFL, Fox Sports Go, WWE, and several other content providers. You would be helping a team whose services act as the linchpin for video playback, handling new challenges of scale and speed in a rapidly growing industry. The company is aggressively expanding to meet increased demand, and you would be getting in on the ground floor of this new opportunity. You would help the team create new designs to meet our scaling demands, build out services in cloud infrastructure providers with exposure to AWS EC2, S3, Dynamo, and Kinesis, and help the team introduce new processes to scale. If you like tinkering with new technologies, have experience with high scale systems, or simply want to gain exposure to new tools, this team is a great fit. You’d be helping the team embrace microservices architecture with an emphasis on non-blocking, highly concurrent programming. Experience with Scala/Play/Akka is highly preferred, but not a requirement. With strong CS fundamentals and an entrepreneurial attitude, you’d be an asset to our team.

Apply here: http://www.mlb.com/careers/mlbam/?gh_jid=262978 Feel free to PM me for more information.
A gentle introduction to dependent types (2011)
My criticism is that it isn't open, which is more or less absolute. Every organization is "a little" open, sharing the information that benefits them. And that seems to be what OpenAI intends to do: be open about that which suits them.
> but the accuser also suffers because they look
> like a jerk for publishing it

Or the accused now goes "well, I wasn't going to say anything, but here are all the things I didn't like about you."

Somewhat related, but this is one of the reasons for 5-star inflation in feedback systems like Airbnb.

I recently saw this exchange in a review:

Host: The guest kept the windows open with the A/C on full blast the whole time.

Guest: lol, you were spying on me? I wasn't going to say anything, but your place smelled like human feces.

Looks pretty bad for both parties and not something you want in your history, so my experience with Airbnb is that people give good ratings except for the worst of conditions. I think as far as Airbnb cares, it's working as intended. Everything looks peachy.
> Python's "there's one right way to do it" is nothing more than an ambitious claim with little ground.

Probably better described as an ideal, not always lived up to, but serves as a guiding principle...
I have a contact on my phone named "Spam" which currently has about 25 numbers associated with it. I have it set to "Route to Voicemail" (option in the Google Contacts app).
This is an interesting question, because it signals that you are most likely very new to hiring, and maybe ill-equipped to handle managing people in general. Although, at least you're asking questions.

First, very rarely does a manager regret a hire even though it's very common for a hire not to work out. Hiring and interviewing are in terrible shape right now, and more often then not lead to terrible hiring/job acceptance choices.

Second, you regret hiring PEOPLE, not developers because regrettable hires aren't specific to developers. When they are, it's because an engineer was given too much access to something they should not have been and a theft/breach occurs.

Examples of these concepts in play: The NSA probably regrets hiring Edward Snowden. I don't regret hiring the last JS dev I hired even though it didn't work out and he moved to a different company.

Lack of technical expertise is a problem sometimes, but it can be nurtured. Lack of personal skills is a huge problem in an office environment, and is much, much harder to nurture. But neither of these are regrettable in-and-of themselves.

The thing to remember is that you have to weigh the urgency of hiring against the long term impacts of hiring the wrong person. In other words, be careful and set up controls, but don't allow decision paralysis.

Good luck with your project, keep your head up, and expect failure. Great employees are rare, so just keep at it.

post mobile edit:

Go read:

Good To Great: https://www.amazon.com/Good-Great-Some-Companies-Others/dp/0...

How to Win Friends and Influence People: https://www.amazon.com/How-win-friends-influence-people-eboo...

Emotional Intelligence: https://www.amazon.com/dp/B000JMKVCG/
Most newer anti-depressants, for example: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4172306/

---

A tangent: interestingly, with anti-depressants in particular, doctors prescribe many of these "basically a placebo" drugs fully aware that they're basically-placebos, and indeed do so independently of any pharmacorp wining-and-dining. This is because the first-line treatment for depression is effectively "let's see if we can give you a placebo to get you to trick yourself out of being depressed." Which often works!

There are effective treatments for depression, mind you, but they have side-effects, while placebos are—unsurprisingly—very well-tolerated. So the "actually a drug" drugs get pushed back to the second-line or beyond.

Basically, doctors are treating depression the an ISP's phone support treats user complaints: they have a first-tier response that's effectively just there to help people who are temporarily confused and will resolve the problem themselves if you can talk to them long enough. You only get the "actual support" support once the phone-tree algorithm has verified that "placebo support" wasn't enough for you.
For 1g, the diameter of the spaceship would be a kilometer or more to seem normal. Possible, but it'll be beyond our means for quite a while.
King in Latin is Rex (Nominative) but other cases like Genitive (Regis) drop the X in favor of a G. So R+G is the key element for King (and Queen). Also Regnum (Reign).
Professional pride
ITT: people who've increased their wealth through ownership of shares telling other people not to increase their wealth through ownership of shares.
If you mean wide use on a desktop, sure. QNX is definitely microkernel-based, though, and it's used widely in automotive head units and now Blackberry devices. Way nicer to write device drivers for than Linux!
Copied for convenience: "OpenAI researchers Dario Amodei and Paul Christiano are both technical advisors to Open Philanthropy and live in the same house as Holden. In addition, Holden is engaged to Dario’s sister Daniela."
Platform Engineer – Rules Systems
Looking around, this appears to be a hobbyist news and discussion site. Here's the news portion:

http://wololo.net/category/news/

Even if this were the New York Times talking about an exploit, I'd expect their reporters to, well, report, not necessarily directly verify something themselves. And this is quite clear that it's unconfirmed. What he does do is report what the developer is saying, adding sufficient context for non-experts to understand, and giving links so those interested can learn more. Presumably once it's verified, there will be another article saying so.

Given that, it seems like perfectly fine amateur journalism. Why do you expect it to be something else?
Evolution has been proven experimentally, so I'm not sure why you're picking on that specifically.

https://en.wikipedia.org/wiki/Experimental_evolution

Archaeology isn't a science either, even though I've studied it myself and ancient civilisations are a particular favourite area of study for me. Archaeologists and historians in general frequently do things that wouldn't match the usual understanding of the scientific process: that doesn't mean we shouldn't study history, but comparing the fields credibility to that of physics is really problematic.

But to clarify, when I said "social science" I was referring to people who explicitly call themselves that. Archaeology and even psychology wouldn't count under that definition - but if someone actually says they are a professor of social science, to me that's an immediate red flag because the "research" produced by such people is in my experience usually just a complicated and expensive form of personal politics blogging.

Jonathan Haidt has done a lot of good talks on this topic. There's a paper here:

http://heterodoxacademy.org/2015/09/14/bbs-paper-on-lack-of-...
it certainly isn't a linear bar, but any improvement in AI in the last three years does not look at all as getting closer to human level intelligence.

We have just become better at some tasks that we knew how to automate for a long time, albeit badly.
We don't have a clue on how human intelligence is supposed to work.
Are there any special considerations that need to be made with regards to synchronization? I'd expect the DBs to be mostly read-only, so maybe it won't matter much. But I'd hate for a write conflict to leave things in an inconsistent state.

Edit - Thinking about it more, I suppose it really depends on what each cloud provider does.
Do you/YC have any personal or financial connection to the "Open Philanthropy Project"? Just curious.
Yeah, the entire station would be basically a giant solenoid. If you're outside the coil the artificial gravity doesn't work. You can have metal flying around without artificial gravity, but you can't get the artificial gravity in an environment that metal will accelerate inside.
If you don’t point to the knot on your harness when calling out that you are tied in, and we don’t audibly call out “On belay... belay on” to each other, we aren’t climbing together.

These exact same rituals have been developed for climbing because everyone, experienced, and inexperienced, can make mistakes.

The greatest climber of her generation (of any gender!), Lynn Hill, opens her autobiography with the story of how she was distracted while tying in, and nobody thought to check her, because, well, she’s LYNN HILL.

She climbed 75’ up an easy (for her) warmup climb, called for tension on the rope, sat back, and fell the entire distance to the ground. She was very lucky to survive.
I don't think the blame can all be pinned on drug companies and academic journals, or whatever other third parties we can identify. They all have a role, but many problems with biomedical science come down to individual researchers making poor decisions about their experimental design, statistical methods, and computational tools.

I'm a statistician, and when I wrote my own book about bad statistics in science (see https://www.statisticsdonewrong.com/), I made sure to reference studies which quantify how often errors occur in real published research. The rate is stunningly high. The average biomedical experiment is conducted with (a) a sample size which is far too small to detect an effect of the expected size, (b) a vague analysis plan which leads to exploratory analyses with high false positive rates, (c) frequent copy-and-paste errors and math mistakes in presenting important results, and (d) an overreliance on statistical methods to make up for poor experimental design.

This means the average published paper is likely a false positive, likely an overestimate of the true effect if not, and is barely reproducible.

Is this the fault of individual scientists? Partly, yes -- these problems have been pointed out for years in leading journals, but nobody takes action to do better research. It's also the fault of the grant funding systems which incentivize salami-slicing of results instead of doing one big, rigorous, well-designed study, and of journals which prefer dramatic but unreliable results over mundane but well-executed results. (Of course, the journal editors and reviewers are usually active scientists themselves.) I think the average researcher would like to "get it right", but has to focus on getting a career instead.

Just a few papers on the problem of poor sample sizes in biomedicine: http://journals.plos.org/plosbiology/article?id=10.1371/jour... http://rsos.royalsocietypublishing.org/content/4/2/160254 http://www.nature.com/nrn/journal/v14/n5/full/nrn3475.html
>It's not intuition, it's rote learning. Nobody cares if Eris is a planet or not, because nobody memorized a list of planets that include Eris.

Couldn't have put it better. The author seems scientific or at least highly educated himself, so it's strange that he cares what we feel should be a planet.
SPIM: A MIPS32 Simulator
How is unique_ptr a pain? Just typedef it to something palatable.

You must track files by some type already right?
À propos, there are Jesuit priests who are Zen masters...
https://github.com/dtrace4linux/linux/

I have no idea how well it works, though
Which is why I said hybrid, I didn't say it is a mikrokernel.

In any case it is better than Linux will ever be.

Regarding Xen and Hyper-V, there is a systems paper that states hypervisors are the revenge of mikrokernels.
This reads like an impassioned argument made by someone who doesn't really know what he's talking about.

Scientists need to come up with terms for groups of things to help the process of understanding them and communicating about them. If you're not a scientist and want to call Pluto a planet or Earth a moon or the Moon a star or Uranus a black hole -- I guess go for it, but recognize that it'll make having conversations with learned people about those things more difficult.

It's like getting into an argument about whether an iPhone becomes a desktop computer when you use it while it sits on your desk. Fine. Call it a desktop computer, but you're just going to confuse everyone. "Yeah, you can only use [Software X] on your desktop computer." "I tried but it totally didn't work!" "What's your operating system?" "iOS." "That's not a desktop computer." "But it's right here on my desk."

And scene.
Spies and Lovers (2003)
Great idea for a book.

1) What "level" of programmer will this be pitched at? e.g. No experience programming, regular "working programmer" with no theory background, someone with an undergrad CS degree, someone with 20 years of industry experience, etc.

2) Have you decided on the Turing machine yet? Will the interpreter be provided as a "given" or will the reader have to write an interpreter in a higher-level language first? e.g. I'm imagining something that reads a state table description and a representation of an input tape, performs the work, and then hopefully stops and outputs the tape.
> While the capital class makes billions off their backs, colludes with each other to restrict wages and labor mobility, and exploits H1-B subcontractors to do more of the same.

You do realize that you're on a site run by Y Combinator, where a few people with an idea can transform into a multi-million dollar startup or even a multi-billion dollar business[0] for all to see? It should be rather self-evident why tired, old classist rhetoric doesn't get taken very seriously, particularly on a startup-oriented site like HN.

"Why settle for this?" I ask you in turn: why would anyone in SV settle for the stifling mediocrity and onerous rules of a union when millions are out there to be had for any with the courage and drive to try for it?

[0] "Including more than 400 active companies–Dropbox, Airbnb, Reddit, Stripe, Twitch, Homejoy and more–the market capitalization of Y Combinator startups exceeds $30 billion, according to the accelerator's president, Sam Altman." -- https://www.fastcompany.com/3033215/the-value-of-y-combinato...
An Accident No One Talked About