skysight-inc/HackerNews huggingface dataset:
> You mean coding the stuff people are doing in LLVM and GCC in ML on CompCert or similar system?

No. I mean exactly what I said:

> I expect that the bar required to verify (or design and build from scratch) a high-performance optimizing compiler (and -in the case of systems with VMs- a high-performance VM) is substantially higher than the bar to rework your build system to give the same outputs for the same source code. [0]

Remember that this addressed your assertion that:

> None of [the projects doing reproducible builds] have verifiable builds. ... Verifiable builds are a larger problem they're ignoring because it's not a fad yet. [1][2]

If you can't see how my statement addresses the quoted claim, then more's the pity.

[0] https://news.ycombinator.com/item?id=11363783

[1] https://news.ycombinator.com/item?id=11362470

[2] Italics added for emphasis.
And of course, once people realized they could influence the bot, everyone just upped the level of trolling...

Science fiction premise: We create a truly sentient AI. The Internet's immediate knee-jerk reaction is massive trolling. AI decides to destroy humanity because the vast majority of the data we've supplied to it indicates we're massive assholes. (Also an addendum to the category, "This is why we can't have nice things.")
Government contracting can be tricky. If the government pays $1m to an american company, they'll recover a significant amount of that through taxes. So the actual cost to the government wasn't actually $1m. If it's paid to an indian company, they won't.
Nope. Just becuase he made a library that eventually got popular and rewritten for JDK 8 doesn't mean he's some kind of authority. Quite opposite actually. This guys is as backwards is it gets. Just read about his ramblings about Scala.
Yes. If Twitter had been named after a guy named Bob, then the past tense of the verb for posting on that service would be "Bobbed," not "Bobed."
Ask HN: Need PDF to real reflowable HTML
Is there any tool that would let me convert a PDF into a real HTML that reflows on mobile screens while keeping tables, math formulas and figures? The html5 tools out there like Crocodoc and Scribd are "faking" it by positioning each word absolutely using CSS: not working on mobile.
As a European, I find it strange and amusing that Americans are so afraid of sex.

Here (in Italy, in Spain, in Netherlands, in Sweden) sex is good, normal and nothing of much interest, just a regular part of life.
I got into professional game development in the last few years and found that the state of good, modern software engineering practices in the game world is years behind, say, web engineering.

Games are still all closed source. Game engineers prefer to sell their components for a pittance (for example, on the Unity Asset Store) instead of collaborating on GitHub. They really, really hate writing tests. There's a deep reliance on manual testing. They still have a "ship" culture ("who cares about the code, as long as we ship by the deadline?"), disregarding the fact that games run live for years now. Multiple managers actively fought me on doing code reviews (I was new-ish, I wanted my code to be reviewed). I saw and worked on games that had no codified version control branching strategy. No coding standards. Multiple issue tracking systems. A pathetic grip on sharing code among projects. Four implementations of a state machine in one game. It goes on.

I'd like to think it was just my employer's problem, but from talking to people who have been in games for a long time, it's endemic to the industry.

I'm now out of the industry :)
Wouldn't be a problem if they used the FE font. https://en.m.wikipedia.org/wiki/FE-Schrift
Don't know but the team dealing with WebRTC seems to be doing a great job.
I was actually spelunking through the Angular source the other day, when I came across a comment noting that Angular avoids using closures for information hiding, due to their poor performance characteristics. Instead, they prefix private variables with a $$ prefix and leave them exposed to developers. Perhaps the Ember team made a different decision in this regard (NB: I don't mean to suggest that this is the sole reason for the difference in performance, just that these might be the kinds of decisions that matter).
Were video games to blame for massacre? (2007)
The problem is that they're not enjoying it (as the article backs up with stats).

It's our business as a society if we are failing to educate the next generation to have enjoyable sex.

The thesis of the article is that the porn industry is filling this void. It's as if the WWE was in charge of our PE programs.
Example of how people use tragedies to promote their own agendas.

>"He might have killed somebody but he wouldn't have killed 32 if he hadn't rehearsed it and trained himself like a warrior on virtual reality. It can't be done. It just doesn't happen."

Wonder what they'll say when Hololens and other VR and AR devices become mainstream devices.
I don't have any numbers for you, but I would assume it's on par with other engines compiled with emscripten. We do however focus a lot on performance overall in the engine, and keeping the binary size low, so I would believe we st least are in the front comparatively. :)

There is currently a push for HTML5 related tasks in the planning, so it will only get better.
What type are they?
I don't think the Tinder model and/or Tinder UI is a good fit for your case.

I'm hesitant to "like" a restaurant suggestion because if I was to match, then I'm stuck going to that restaurant for dinner when there is possibly a better match that just had yet to be suggested to me. The original Tinder model works because there is no risk of being locked-in (lol).

That being said, I think this is a great idea and IMO your initial use-case and test users should be startups trying to decide what to order the team on Seamless. Print out some flyers that say "Team can't decide what to order for lunch?" and post them around co-working spaces.

If I was building this app my first iteration would have been to show the users a list of the top 10 nearby restaurants weighted by stars on yelp and filtered by price/distance. Let them give a 1-5 thumbs-up rating of as many restaurants on that list as they want and total up the number of upvotes for each option.

Goodluck!
Not at all. There were changes in public perception of sexual activity for the upper class during the Victorian era, but much of "pornography" dates back to earlier and a much more religious context—western pornography has been evolving since the printing press, more or less.

Source: http://www.annalspornographie.com/

EDIT: the word "pornography" itself may date to the time period (mid nineteenth century).
Mandatory H. L. Mencken quote.

Explanations exist; they have existed for all time; there is always a well-known solution to every human problem — neat, plausible, and wrong.
It's not so much "Americans", as the sniveling snots who write and frequent what remains of the New York Times. They don't seem to understand that some people might in fact enjoy sex, maybe explore variety; and leave judging to the courts.

That said, I've heard some rather sad or misleading material come from programmes in essentially every corner of the states. It seems like the sort of thing a publisher could remedy by providing an excellent and scientifically-supported course free of moralization to one or another side of the debates.

I grew up in Canada, and had an okay sex ed class. I hear from teachers that things have gotten worse over the last few years, likely owing to to socjus pressure on schools. They are now completely misleading about consent; and seem to easily convince boys that they are not worthy of saying no; and girls that they can lead people along endlessly.
If it's your code it should be obvious, but I can't tell you how many times I've looked at code an it hasn't been. You can't just say "fix it" and it will be true.
You seem to be optimizing size of download as the critical issue, when I think there are a few other optimization points
that this controversy highlighted (e.g., quality of external codebase, security risk, maintainer risk, dependency management challenges).

A main issue with the current system is that you're pulling in micro dependencies from a variety of different sources, instead of a few potentially highly reputable sources (fairly or not, I'd feel more comfortable with dependencies from the lodash maintainer, than from 50 different people). One solution obviously is a better standard library, but often to get there, the process is for devs to create common libraries - which over time are (partially) absorbed in language standards.
It would be funny if it wasn't so sadly predictable. If you don't teach kids about it, they'll learn from unrealistic depictions in the media.
I don't think anyone on earth installs a package with npm without specifically knowing what they are installing. This is in contrast to users going to foo.com expecting to find foo corps website.

Going to foo.com is a very serviceable strategy for getting foo corps website and if it's not you have invested 2 seconds and risked nothing.

Contrast that with npm unless you specifically know the package by name getting foo corps software by npm install foo is a total crap shoot that is only somewhat likely to succeed will cost you as much as a minute or more of your time and is installing software considered by most technical people to be risky.

Nobody is likely to confuse foo package with foo Corp unless the description of the package is unclear thus name and description should be considered together to decide if confusion exists.
Plea deals are evil. It's fundamentally class-based. Or about money, which is what stands for class in the US. With no money for competent representation, accepting a plea deal is your best option. Many lives get ruined out of that.
Just wanted to say, don't forget to look at MOAI: http://getmoai.com/

Your questions reminded me of the prominent 'yes' in the case of the MOAI framework ..
I recommend reading the article a little closer if that's all you took away from it. I didn't see anything about criticizing the sexual practices people choose to engage in. But there were some good points about what happens when women are not taught that they are supposed to enjoy sex just as much as men do.
Why i've quit Twitter
What exact futuremark test where you running? The only one I found was peacekeeper which is "no longer supported".
When I visited the US, I was in Boston and NYC. Perhaps things are different on the other coast. :)
My mother used to bring me to a United Church every Sunday when I was growing up. The United Church does not accept proceeds from gambling. As this obviously contradicted my parents buying lottery tickets and the famous Catholic Church bingo events, I asked our minister why.
He said, "It is because those who gamble the most can afford it the least."
I've never found gambling interesting or exciting, but over 2 decades later and I am certain it is true.
Are you blaming the NYT for the sorry state of sex ed in schools? You seem to be responding to something entirely different from TFA.
The problem is the basic assumption that there should be a "framework" and your app is "on" it. I respect the shit out of Tom Dale, but the "megabytes aren't that big in 2016" attitude isn't going to cut it in the long term.

Loading a web page needs to happen in a few milliseconds. Accepting anything less than that is just Stockholm Syndrome. Downloading a bunch of code that might run is antithetical to loading a web page in a few milliseconds. The path forward is treating the browser like hardware and actually only sending the hardware calls that are strictly necessary to flip the pixels you need to flip, and only fill the registers that are necessary to flip those pixels.

People like Jonathan Blow have written the web off completely because they've gotten the idea that browser makes that impossible. But it's not the browser that makes it so hard to write performant web experiences, it's the frameworks.

I'm not saying we don't need abstractions, and I'm not saying abstractions can't introduce waste. I'm saying web programmers are treating web pages like application bundles and that's not gonna work. Because there's network calls everywhere and anywhere and because the target hardware (the browser) is only fast at a somewhat quirky set of things. Lead designers and lead software architects need to get way more zen with the reality of that.
Old Cisco routers (e.g. C4507s) are very cheap and very capable. They are also very large and very noisy (serious trays of fans).

You can get them with various combinations of cards for $300++ (plus $150++ shipping) for something that probably cost $20,000-$70,000 new.

They have more than their share of limitations, but for the money they are hard to beat. The 4507 has dual redundant power supplies. The "R" model has dual redundant supervisor cards, and the "7" indicates it has seven card slots for plug in modules. You can get 48 port PoE (be careful you get standard PoE, not the earlier non-standard Cisco PoE) for around $100.

Random examples

* $50 + ??? S/H: http://www.ebay.com/itm/Cisco-Catalyst-4507R-2-Power-Supplie...

* $450 and "free" S/H: http://www.ebay.com/itm/Cisco-WS-C4507R-E-Cat4500-E-Series-7...

Non comprehensive list of limitations:

* The switches and software are no longer supported. Cisco won't talk to you (but that's OK, you cannot afford to talk to Cisco).

* They (should) come with software (and likely the previous owner's switch configuration :-O), but the software will not be properly licensed to you. Getting a proper license (and thus upgrading) ain't happening. There are also several different capability levels of software, the more expensive versions having more capabilities. Better sellers will give you a clue about what you are getting software-wise.

* Cisco's OS security has lots of known holes. If you are using it for security purposes, you want the console on a serial port (or the dedicated ethernet port on the supervisor card) that has physical restrictions, do not put it on a network port that one of your malicious IoT devices can reach.

* Very annoying: the 48 port GigE cards that are remarkably cheap don't support jumbo frames. :-( There are GigE cards that support jumbo frames. Some are 6(?) port, there may be 48 port ones.
Nope, but we will have a Nature paper out quite soon.

If you want some info, ping me. Contact email is on my profile.

I think we desperately need some startups in this arena that lean towards open knowledge. I know some very well funded ones in stealth mode which are producing pretty awful and closed prediction models. I don't want a future where my doctor uses information coming from a blackbox.

The point about polymaths is good indeed. But they are hard to find. I have some funding, but found it incredibly hard to hire / team up with someone good enough. Most get lured into finance, which pays well but might not be the most useful thing for humankind.
No, the next generation of HBM is expected for Vega, which should be released by the end of 2016 or more likely beginning of 2017. It seems AMD and Nvidias first 14nm GPUs will only use gddr5 and gddr5x.
> My (very rough) understanding is that Ember tends to have a lot of issues running on V8

From an outsider's perspective, it would be fair to question if the problem is on Ember's side or V8's side.

Look around the web, From the reports Ember is performing well enough on Safari and firefox, so puting the blame on V8 seems sensitive to me.
>REBOL syntax is even closer to Logo.

Heck, now that you say that, I think I agree, intuitively, though did not think of it before (and I've been checking out Red lately, and Rebol some time earlier). (Used Logo as a kid.) I'll have to analyze why. Interesting observation.
"After which, your productivity tends to exceed your previous values."

Really, this is the only bit that I disagree with. Tests do promote good code behavior, and they can be useful for certain cases (another poster mentioned math libraries, which are a good case for them.) And they are good for learning how to code and learning to identify "code smells". But once a programmer has learned those skills, maybe they can stop wasting time writing tests.

In my experience, the real productivity gains from unit testing are less than the productivity drag from writing and maintaining the tests. Not to mention the upfront cost of bringing a messy codebase under test. Tests also often require contorting your codebase in weird ways to make it testable. Sometimes this is an improvement and makes things more modular, sometimes it's just adding layers and indirections for no real reason other than "testability".

If your codebase is breaking all the time, you've got problems. But maybe those problems are sloppy programmers, lack of code review and badly designed codebase. Unit testing is one way to address those problems, but discipline, experience, code reviews, firing bad coders, mentoring and not being sloppy are other ways that are often overlooked.

Every team and organization varies, and if unit testing works for you, great. I just feel like it's becoming dogma, rather than simply another tool or strategy.
Design for Diversity
sex != porn

EDIT: downvoting me for saying that porn is different than sex is like downvoting me if i'd said Hollywood movies are different than reality...
Overall the demographic is similar to slot machines and cigarettes. Older people play 3/4 draw numbers, younger folks do scratch off games.

Lotteries don't scale up well to "scratch" the gambling itch that rich people have. You have to buy at retail, and the quantities are setup for casual play or hard cases only.

A guy in a suit dropping $500 on tickets at the gas station is going to draw negative attention. Dropping $500 on the craps table makes you feel like a big shot.
I can't recommend this channel enough. Dr. Doe is knowledgable and fun to watch. https://www.youtube.com/user/sexplanations
That's a complete misrepresentation of the article's argument. It presents the rise of those practices as problematic when they are performed under duress, when the act is painful, or when there is a lack of reciprocity in sexual relationships. All of those things are problematic, and the author draws a link between those problems and the prevalence of porn-as-sex-ed. I don't think there's anything wrong with porn, but I do think there's a problem with this:

> Yet according to the Centers for Disease Control and Prevention, fewer than half of high schools and only a fifth of middle schools teach all 16 components the agency recommends as essential to sex education. Only 23 states mandate sex ed at all; 13 require it to be medically accurate.

That says to me that the problem isn't porn, it's a ridiculous refusal to educate kids about sex, which leaves them to scrape together that education from porn, internet sources, and peer knowledge, which is a recipe for disaster.
Video of the paper presentation... https://www.usenix.org/conference/osdi10/flexsc-flexible-sys...
Actually, each tenant has just a view of the full table. There is no need to save the same routes for each customer over and over again. Furthermore, there is aggregation done before a route is installed on the switch.
Blaming environment for algorithm's failure only makes sense if you're prepared to credit it for algorithm's success. Otherwise your evaluation is entirely one-sided.
Depends on what you assign to these variables.

fn main() {
let (a, b, c);
a = true;
b = [1];
c = "foobar";
}

https://play.rust-lang.org/?gist=ebedd0cd5b6707410aff&versio...
I don't play the lottery for expected value, I play it for variance. No other "investment" comes even close. So, spending $1 of investment on that buys a lot of potential upside.
I'm sad that we've gotten to the point where asking users to make a small investment of time makes a product basically a non-starter. There's such a thing as too much convenience.
Ah, better send in the enjoyment police to tell people that they aren't enjoying themselves enough or correctly.

I read the article quite closely (replying to your sister comment here as well), and I'll pull out some of the things that I think are a bizarre criticism of people's personal choices.

> researchers at Indiana University found only about a third of girls between 14 and 17 reported masturbating regularly and fewer than half have even tried once

If they don't want to masturbate, then they don't have to masturbate. I almost can't think of anything that is less anyone else's business than how frequently someone chose to masturbate.

I read this article as a kind of "you kids are doing it wrong, damnit!" nonsense.

When you think about it, it's just as crazy to suggest that girls should be masturbating, as to suggest that they shouldn't. Both of none of your business!
Great post. Every app designer should think about this.
What are the bread-and-butter (aka not sexy and cutting edge, but mature and stable) lisps used for web development?
Did we just read the same article? Because, the article I read was talking about how a lack of sex education, and people turning to porn as an alternative, has contributed to the ways people relate sexually being full of pain, duress, and lack of reciprocation — or even understanding.

You apparently read one that said little more than, "Butt stuff is dirty."

I'm all for people getting it on in whatever ways they agree to get it on, but I think people should be agreeing from a place of having been properly informed of more than just gross anatomy (if even that), and that things like consent and respect are as important a part of the broader category of "sexual education" as are pregnancy and STIs.

But I suppose that's somehow telling people they're wrong, too?
Random promotion may be best, research suggests (2010)
If by "common web technologies" you mean mostly non-standard or experimental technologies then yes.

Lets not forget that it was Google that forked WebKit resulting in duplicated effort to implement various features. Google also loves to ship stuff that isn't actually standardized yet (which is fine) but today's web developers go whine about Safari not supporting it yet. No shit Sherlock, it's your own myopic view.

Only testing in Chrome is as bad as only testing in IE 6 in 2006.
The NEC PC-98 – Obsolete Geek
It doesn't sound like the author's done much root cause analysis. QA typically doesn't cause defects (it can only prevent them), so there's almost always a deeper cause. And, QA's not necessarily the best way to find bugs like this.

In this case, it sounds like to me like it was most likely a requirements problem -- a missing requirement for being 4chan-resilient, if you will. A different way to look at it is that it's a design flaw that they system is manipulable by default.

True, once you've identified the root cause of the defect, it's also important to look at why it didn't get detected. So yeah, QA missed it. Then again, so did design and code reviews, developer testing, threat modeling, and the social-manipulation equivalent of penetration testing. Of course these all complementary approaches to "quality" but typically they are not the responsibility of QA.

I wonder if the author also thinks the root causes of the errors in his original post are also QA failures?
It shouldn't be in general - http://www.nolo.com/legal-encyclopedia/business-expenses-tha...
Let's not make strawman. It's more like you made $500k in income, put that into an asset, borrowed it back, and spent it. That is income. Just not taxable like the rest of us.
Dart never shipped to mainline chrome. Developers could download a special version of chrome with Dart.
Lead is for ionizing radiation. Simple chicken wire, or tinfoil for 5GHz will suffice.
Lisp invented live coding.

Something like IPython was how the REPL from Lisp Machines and Interlisp-D used to work.

Plus Lisp is a compiled language.
Ask HN: Why can't Apple sue CelleBrite for DMCA violation
I believe DMCA has protections against firmware hacking .. Can Apple pursue this course to compel CelleBrite to divulge their hack?