skysight-inc/HackerNews huggingface dataset:
> Do you agree that if one believes (as I do) that we'll inevitably need to rewrite sooner or later, then running those C verification tools is a wasted effort?

Yeah. But, the software industry wasn't born yesterday, nor ten years ago nor forty. AFAIK, in the entire history of software (at least since the sixties), a rewriting project of established code of such magnitude has never been done. The Linux kernel (incl. filesystems), common drivers, and the runtime library, plus common libraries would come to about 20-50MLOC (possibly much more). Rewriting it all (forget about Windows and OSX) would cost at least $100M, and would probably last 5-10 years. That does not even include common runtimes that actually run most software today (JVM, Python, etc.). The total cost would probably exceed $1B and, like I said, the software industry has never, to the best of my knowledge, opted for this option before (GNU doesn't count because it was there nearly from the start and the codebases weren't established). So my question is, for that price and that timeframe, wouldn't it be better to build something new? I mean you're missing out on a lot just by not having a Rust API, and since you need to relearn everything, why not redesign while you're at it?
I think you've misunderstood the point being made by GP.

(that is, they are arguing that most people will have an easier time remembering words from their native language)
It's because they have nothing else to say. They really don't know why these companies are valued the way they are aside from these buzzwords they keep hearing.

LinkedIn isn't a hypergrowth company. Every professional I know has a profile on it and so is every recruiter. Their stock is below its peak. They make a paltry income as a mature company. So, all that's left are magical buzzwords to make you think "something is brewing that will eventually make money." Nope. MSFT gets conned once again buying a trophy.
I totally agree that Hacker News is becoming quite bias ... This in itself should be raise with the ycombinator itself, the bias is what pushed Slashdot down
I think you are overestimating how functional real world bluetooth is...
Standard Chartered is one.

https://twitter.com/donsbot -- author of Real World Haskell

See https://wiki.haskell.org/Haskell_in_industry for more.

Several other financial names including Bank of America Merril Lynch, Barclays Capital, Capital IQ, Credit Suisse, Tsuru Capital are listed.
In my (limited) experience it is easier to spot bad developers in (perceived hard) niche languages so I would assume a smaller % in that already small group tries to bluff their way in. Learning Haskell, Prolog or something like Coq usually starts on an academic level and if one wants to pursue a carrier it needs to turn into a quite time consuming 'hobby' first if you do not roll into something from uni. In my experience people who are bad are not looking for a career in it while they would be in more mainstream languages (... were Stackoverflow can get you quite far anyway).
It's the same as pre 2003 travel. Just, now you have to pay for it...
Where's the team on Boom[0] on this?

[0] https://news.ycombinator.com/item?id=11346947
The few people I know personally (as in, real life) who use these platforms do nothing but complain about them (while continuing to make a living with them). It reminds me of eBay and PayPal back in the day - the platforms had great value for users, but the sheer number of variables that could go wrong meant there were always complaints.
I wouldn't be complaining if I didn't fly coach.
In terms of regulation, wouldn't it make more economic and comfort sense to enable sleeper-only flights where everyone lies down, ala Japanese capsule hotels? Tight spaces are much more comfortable when I'm lying down than when I'm sitting.
Take a look at https://github.com/primus/primus.
No, you're not expecting too much.

This sort of thing happens surprisingly often-- the typical solution is to approach the CEO/board and seek a transition: quietly open a search for a new CTO and you find something that matches your passion. It's better for everyone: startups are no place for people without deep passion.

hope this helps!
Not my experience. Having network issues all the time.
Identifying Requests as from Google: Ding Dong. It’s Google Cloud Pub/Sub
Comms can always be done over bluetooth or wifi. In fact, I don't get why Square didn't go this path - I know that I would break the connectors every other day.
Yes, that would be "The Planiverse" by noted computer scientist and author (and sometimes conspiracy theorist) A. K. Dewdney.

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

http://www.csd.uwo.ca/faculty/akd/PERSONAL/books_and_article...
I really don't think it's a smart move to have a national entity totally depend on a private company that has no plans to make its database freely accessible for its operations; the worst being that said private company is foreign, meaning that Mongolia has 0 leverage on how the database will evolve, it is going to be completely at the mercy of What3Words' changes of policy and access rights.

Unless What3Words' database is going to be fully accessible with no restrictions for everyone, this really looks like a bad idea.
I used to run a bot that would select my games for me. I developed it myself.

I played HUSNGs exclusively, and the bot would just scan the lobbies looking for below-average players to sit. It would them automatically sit them if I was not already playing 3 games (my winrate decreased drastically at 4 tables).

I had a 60% winrate during that time, which is very, very good in HUSNGs.
Can you even imagine New Zealand firing, an increasing number of rockets, every day? Sending their special units to kidnap and slaughter innocent children?

Just last week, four people were murdered in a restaurant (https://en.wikipedia.org/wiki/June_2016_Tel_Aviv_shooting). Can you imagine this Happening in Melbourne? Can you imagine a thing like this, sponsored by the New Zealand government who immediately declares the murderers as heroes and buys houses for their families?

There have been numerous incidents like this in the last couple of years and like before, since no one can live under terror attacks, a war will start. Like before, you will only hear about the retaliation, you will only see photos of destruction on the Palestinian side. You won't see how Hamas executes is own people for "collaborating" with Israel (or just because they don't like them), how it forces them to serve as human shields for its deadly rockets. You will criticize Israel out of understandable, but very misplaced sympathy.

You claiming his FUD claiming is FUD, is FUD.

It's all very simple, really. Israel is like the rest of the world and we're all just waiting for the world to realize the actual problem, which is:

--The crazy, murderous, religious fanatics who want rule the world (and kill all Jews, but I'm not sure anyone cares about this detail)--

(https://en.wikipedia.org/wiki/Hamas_Covenant#Statements_abou...)

(it's shocking we could not all just get along...)
Ensuring that the lowest-end gets some experience doesn't mean modern devices and browsers must have an uglier or limited experience. Progressive enhancement, it's a thing.
> If I want to claim unemployment benefit while I look for a real job, I must torpedo the old company.

No IP assignment contracts, broken verbal contracts, broken laws... you're not the one torpedoing the company.

> it will negatively affect the co-workers who have previously worked for low wage and equity.

You've already established that it's actually "no wage" and effectively "no equity" - the only thing guaranteeing equity is a verbal contract / handshake deal, and they've already reigned on one of those. What will negatively affect your co-workers is continuing to work for this company.

And while I might hesitate to take unilateral action on behalf of others - I hate people making decisions for me - taking action on behalf of yourself is entirely reasonable. Hell, taking action on behalf of others is sounding rather reasonable here.
I think Facebook is the Facebook for white collar people. I do know people who use Linkedin heavily, but it's a separate thing (personal vs professional networks).
Why kicking hackers out of your network is not always the best approach
Probably either parent himself or his/her s/o is a "car tidyness" fetishist, and nothing will kill a cheap cable faster than winding and unwinding it every day.
In addition to that, they are well underway to supporting HL7 FHIR (the new version of HL7).
I've heard that Bank of America is backing away from the Quartz program, and so there's less IB demand for Python devs in London.
Do you mind sharing why?
Focus your energy on your next position. These guys are clowns and plotting retribution just drags you down to their level. Just walk away.
I'm guessing that the people wanting this are going to charter smaller planes, where you walk into a small airport, the clerk at the desk says "Good morning, Mr Warbucks", and you walk out the back 2 minutes later onto your chartered plane.

Things like the cost and TSA don't apply to these people, they just want to get across the country and back in a single day, and still have time to check on how their minions are operating their interests outside of the NYC - DC region.

At least, that's what I would want if I could affort it :-)
A better 1:1 comparison is PM vs lead Engineer. They're at similar levels in the hierarchy.

There are idiosyncratic and systematic ways to consider this statement.

My personal belief is that it would be an easier path because I know myself to be very good at building products and supporting engineers, and relatively less interested in market research & networking.

In a more general sense, it's pretty easy to get a rough count of the number of product-oriented VPs at Google on LinkedIn, then count how many have PM backgrounds and how many came up through engineering (divided by the ratio of PMs to engineering managers). I did that analysis two years ago when I was considering Google, and it came up strongly on the side of engineer.

I'd be particularly interested to know if this has changed since, or if internal/better data suggests otherwise!
They are. Remembering a three-word phrase is not remotely difficult compared to remembering a long pseudorandom string.
Before you quit, you should consider using your willingness to quit as leverage to try to improve the situation. This is not an easy thing to do, but if it succeeds it can pay enormous dividends down the line, and you have little to lose by trying it first. Contact me privately if you'd like more info or coaching on this. (My qualifications: I've been CTO of two semi-dysfunctional startups.)
"Putting all this nice stuff into practice" is the kicker. I'd really like to do FP work, but I'm not willing to leave my current employer to do it. I think there's basically a skunk works deal of Haskell at Facebook, and F# for n programmers where n is basically unknown externally... and that's it. Am I missing someone that's a) in Silicon Valley b) mature enough that the benefits are there (such as always being paid on time, good health insurance etc etc)
Looks interesting.

I like the name, but FYI there's another Failsafe project in the Java ecosystem:

http://maven.apache.org/surefire/maven-failsafe-plugin/
Doesn't even need to be sleeper-only flights. Just book business class on pretty much any international flight. (Which is actually much more comfortable than seat configurations for most of the time the Concorde was flying--much less the Concorde itself which was rather cramped.)
OK. If you happened to be on LinkedIn and saw someone that had taken the time to put together an attractive profile (nice summary, links to GitHub and maybe a tech blog, their email address (contact me at...), a comment about being open to new career opportunities, all the niceties), and that person's skill set was a fit for a position you had currently available, would you just pretend you didn't see this person at all? Would you somehow try to find a mutual acquaintance? I'm not sure I understand why you wouldn't approach someone "cold" - in my example I'd say it's hardly cold (they are inviting contact), and I don't think my example is an edge case.

Your answer to the 2nd question is a bit more troubling to me. If someone stumbles on your profile on LinkedIn, does some additional research to see about your company, finds out it's a place he/she might like, why do you say this is "fishing"? You may be the only person this job seeker reached out to - why would you assume otherwise?

LinkedIn can be a valuable tool for job seekers to find information about a company - usually a bit more informative technically than standard company PR (other than a tech blog).

I think if you're dismissing candidates simply because you happened to see them on LinkedIn, or simply because they learned about the existence of your company via LinkedIn, you aren't doing your employer any favors.
The actual time taken to randomly clear a hurdle actually tells you very little about how unlikely it was to clear, so long as there are several hurdles and you condition on them all occurring (i.e., that you exist). In particular, the expected time to clear a hurdle asymptotes at a constant value even as the difficulty becomes arbitrarily hard. This is a very unintuitive but very important result for thinking about this topic.

http://mason.gmu.edu/~rhanson/greatfilter.html
Actually, I think the bookable conference room or slightly private cubby/carrel "solution" is terrible and is a form of explicitly codifying disrespect for developer needs, which is itself a form of codifying the fact that business values more how you look on paper, your credential, and your appearance in the office than your actual labor product.

It also leads to problems where you receive status penalties in the eyes of peers and managers if you are the weird guy who always books conference rooms. It also creates problems if you work in a situation where you cannot move your workspace. For example, I also consider it to be absolutely basic to have at least two 24-inch monitors, my ergonomic keyboard, ergonomic desk chair, and trackball. Why should I be forced to use poorer tools, like a crappy laptop screen, portable mouse, crappy conference room chair, etc., just to get quiet or private space. It's unreasonable to give up either adequate equipment or adequate privacy.

In some jobs, I've also worked with large workstations and needed to be physically present at them, remotely logging in to them was not always feasible for some tasks.

Finally, you end up running into booking conflicts all the time. And anyone with more seniority or status than you gets to kick you out (thus interrupting you hugely and ruining your plans) and anyone with a meeting gets to kick you out. And it also leads to artificial scarcity -- there's no need for coworkers presumably working towards the same goal to be competing with each other for the scarce resource of blocks of spacetime in conference rooms. It's outrageously cheap and easy for the company to provide all of them with adequately private conditions.

Allowing a super generous work-from-home option is maybe a better solution -- as long as the company is also willing to pay for you to have equipment in your home office that is equally as ergonomic as what you get in the company office. But then you're contending with different kinds of status issues for not being physically present, some jobs still require a physical presence for various reasons, etc.

The minimal acceptable solution is for companies to simply spend the money that it costs to provide healthy amounts of private working space and give employees more autonomy in structuring how they work with regards to private time. No half-assed compromise should be given even the slightest legitimacy as a workable alternative and no company should get any credit for anything other than the minimally healthy option of actually providing access to private conditions.
That's only true if you can't make any use of the time while you're at the airport or in the air. You absolutely can, even if you're 'only' reading a physical document.
I think what is more important than the absolute cost per manufacturer is the cost of service as a percentage of car MSRP. Parts for higher end vehicles are higher quality/more expensive and the systems are more complex and require more man hours.
Ask HN: What would the syllabus be for a TeMBA?
After seeing an interesting thread on an unhappy CTO, and the value of doing an MBA for tech people, I would like to ask the following question:

Think about a great tech person who needs to learn business. If you had control of the Harvard Business School & the Massachusetts Institute of Technology joint program for the TeMBA (Technical Master of Business Asskicking) what would be the required topics?

Constraints: 2 year program (Max - 1 year full-time), pre-reqs minimum BSc in CS or $x years of experience in IT.

For business people here on HN: Please tell us what skills you think a great IT guy needs to step up to C-level
What other ways would you like a recruiter to contact you then?
They can just appropriate the information.

I guess they might have to break some treaties or something to do that, but a country isn't going to be beholden to a small foreign company for much of anything.
How to Avoid Being Replaced as CEO by Your VCs
I had an itch in my mind that some rigor was lacking in his analysis as I was reading the blog post, and this captures it much better than I could have. My model has always been that methods should have well-defined behavior when the input satisfies preconditions, but may or may not error when input does not satisfy preconditions (i.e. the response could simply be undefined, rather than raising an error).

This taxonomy is much more comprehensive, and you've laid it out well. Thanks.
Oh man, so much this. I get so much recruiter spam from LinkedIn, I just stopped responding altogether. One recruiter took to emailing and calling me daily, despite the fact that I never once responded to them.

That doesn't make me think you're interested in my particular talents. It makes me think you're desperate and a sociopath who has no respect for other people's time or wishes. If I wanted to talk to you, I would have responded after one of the first 10 attempts to contact me. Get a frickin' clue!
Why Female Founders Are Terrified of Being Pregnant
These used to exist (and still do on some flights). I flew on Singapore Airlines from LAX to SIN when they still had their Airbus A340-500 flying nonstop in about 18 hours between Singapore and Newark or Los Angeles. The whole plane was just 100 seats, business, lie-flat only. Frankly with the odd wide seating they have, you could have easily put 140-150 in there.
I use paper for random notes or to work out the flow of logic or data that's a little too hard to do entirely in my head, but other than it being naturally more or less chronological, I don't do any further organization.

I usually don't need to refer to those notes for more than a few days after I write them, so it's usually not much more than an archive of thoughts.

I try to digitize some of it, but I don't do that enough.
I can't recall even a single war in the last hundred years that was over ideology.

Almost all wars used a lot of ideology in the propaganda to motivate the soldiers and workers, but the actual reasons for starting them pretty much always come down to gaining or ensuring control over resources, or realpolitik - incite a conflict that we get some advantage in the global game, so that some strategic oil line doesn't get built, or overthrow their government so that their trade policies are the way we want.
It would seem reasonable if that could be applied consistently to all payment methods.

If I decide to use digital currency could I opt out of all the associated costs related to cash? Including printing it, shipping it, storing it, transporting it, counting it and other aspects that a digitized monetary transaction automatically handles?
If you are concerned about fuel consumption you are probably not sufficiently wealthy. You probably even drive a Corolla or a Civic instead of a nice Hummer :-)
This needs to be solved demand-side, not supply-side. If you graduated a class of TechMBAs right now they wouldn't have any jobs to use their new skills.

Flip it around: if Google opened up a new role for "Active engineers with MBAs", and presumably a few others followed suit, a top school or two (GSB/HBS/CBS/etc) would create the curriculum & recruiting plan to fill it. (Most likely Google could do this together with a school, they tend to have very close relationships.)
It'd be great if device and OS developers made that a thing you could do!
This is not an attractive website. This site is objectively fucking awful because of the cruft. (Most of the time pages don't load for me. See this as one example: http://imgur.com/4WgHhVh )

http://www.gloucestershirelive.co.uk/

See also: Almost any other local newspaper website, from anywhere in the world.
That was my mistake. To me oldest is when I started using them which was 4G and later.
All you would be able to steal is the soundtrack then.
Every day I plug my phone (or tablet) into my kitchen DAB radio's auxiliary socket to listen to stuff I play on these devices whilst cooking, sitting round the table chatting with friends or just staring out the window watching the birds in my garden. I guess for me it's less about "capturing" streams but that every audio/amp device in my house, that's attached to speakers, has a line-in cable with 3.5mm jack on the end.

Not having an analogue hole would be a right royal pain in the arse.

[edited to fix my english]
Java StringBuffer and StringBuilder performance
Programming Beyond Text: The Parsing Problem
> The word has evolved within Romance languages (and Swedish) to mean "century".

Doesn't that come from centum (100) like cent and centurion?
Snapchat paves way to IPO with new Ads API and inserts between stories
From section 9. Countermeasures

> Libgcrypt 1.6.3 update:
Libgcrypt recently patched this vulnerability by mak-
ing the sliding window multiplication table accesses indistinguishable from each
other. Thus, an update to the latest version of the library avoids the leakage ex-
ploited in this work albeit only for ciphers using sliding window exponentiation.

So it's already patched, assuming you patch (they say 55% of the hosts in their AWS region hasn't been patched in a year).

Nonetheless, there's novel work and interesting insights in the paper, and it's a short read.
They did so because it was hard to do P2P for Skype on phones.
I just can't imagine 26 billion dollars. That's beyond any human's comprehension.
Do educated adults find the cartoons of hares to usefully or enjoyably complement the text?
I don't know about laws, but your cell provider should have information about where to report spam texts, and those would certainly qualify. You should get reimbursed for the charges (since SMS in the US makes no sense and receivers pay for them).
Online apparel has reached a turning point
Gun Industry Describes Mass Shootings Like Orlando as a “Big Opportunity”
Quantitative tests indicate the iPhone 5 at least is quite good.
http://www.kenrockwell.com/apple/iphone-5/audio-quality.htm
I have a bluetooth speaker and bluetooth earbuds. Both worked fine under Android 4.4, now both stutter under Android 6.

It's too bad, especially since the SRS-X3 was not a cheap purchase. And NFC speaker pairing is all sorts of cool. But music that stutters constantly? The crappiest $2.50 earbuds you can find make for better listening than that.
aka "last year's model"