skysight-inc/HackerNews huggingface dataset:
You are correct, but so what?

I personally like the anonymization that the internet provides via handles, because it allows ideas to stand stronger in seclusion than be propped up by reputation.
That's what Bing is for.
VueJS 2.0 is here
> simpler hardware that an individual could completely understand

Our hardware now is so much more complex, what has it gained us? The quick answer is performance, but is it true? What about correctness? Hard to prove either way, but my guess is we've gained a little bit on performance and lost on correctness.
There have been several documentaries about this issue in the past few years:

- Sugar Coated (2015)
- That Sugar Film (2014)
- Fed Up (2014)

Some of the authorities who are found in these movies are:

Robert Lustig - Professor and pediatric endocrinologist at UCSF who speaks out against added dietary sugar. See: https://www.youtube.com/watch?v=dBnniua6-oM

Gary Taubes - journalist and author of Good Calories, Bad Calories: Challenging the Conventional Wisdom on Diet, Weight Control, and Disease and Why We Get Fat: And What to Do About It

Yoni Freedhoff - Medical doctor from Ottawa, Canada who criticizes the food industry's use of sugar. See: https://www.youtube.com/watch?v=-BdFkK-HufU

It seems like a case is building, much like the case against the tobacco industry. Maybe there will be class-action lawsuits against soft drink and processed food companies based on recent suppression of potentially life-saving research.
You will pry pgadmin3 from my cold dead hands.
They drink a lot.
I agree a lot with this post, but there's one key aspect of the framework that ends the usage for me: The HTML written as functions aspect.

Sure, I can easily figure out the brain mapping between native HTML markup and the Elm HTML function syntax, but the majority of front-end developers (CSS and markup-focused folks) will stop dead in their tracks looking at The Elm Way.

I rarely work solo on projects anymore, and tend to have someone else handle the CSS and markup pieces to save time. Using Elm blocks the majority of folks I can now work with.

So, "making developers happy" with Elm rings true for "full stack" people, but I think the happy part ends for anyone that doesn't want to learn a new HTML syntax for no good reason (from their perspective).
Well, I've found the point disagreement.

So design by contract, based on Hoare logic, applied in languages like SPARK Ada and Eiffel, produces statements that are unverifiable.

But Hoare logic, a thing without an executable implementation, produces statements which are verifiable.
Maybe I missed some recent news, but what PDF viewer is pre-installed on Windows?
Could this work on mobile to detect 18+ content in images or video? Or would it be a trained library of 50mb+?
One assertion does not a fact make, even when it's repeated all the time
More like $5 for pictures of a specific kind of tree. It also happens that in a particular area, those trees are only found in restricted areas.

People are trespassing on unmarked parts of the beach because there are rare Pokemon there, that they can't otherwise conveniently get to.

The town has apparently asked Niantic to restrict that area, and it apparently failed to do so. What kind of recourse do they have, now?
That same 50 years of science have led to the biggest obesity epidemic in history.
Thonny IDE 2.0 released
Curious: which specific high-fat / low-carb plan did you follow? I'm planning on starting such a lifestyle change and wonder which ones work well.
It didn't. By there is hope that people will stop viewing NAT as a firewall. Also IPv6 link-local only addressing for home devices may help.
The Mysterious Fiber Bomb Problem: A Debugging Story
I wonder if there's room for an Ebay/Paypal-esque situation. A third party that focuses on _just_ becoming that lawsuit magnet and using expertise to help shepherd projects through production issues like this.

Not easy for sure, but maybe possible if focused enough?
GPUs are definitely in the performance at the expense of correctness bucket. It's common for errors to occur in the LSB which isn't a big deal for colors, but might be a big deal for data.
Vue 2.0 is here
So, if the new advice is to avoid "processed foods", what set of characteristics about processed foods make them bad? Is there a specific pattern? High in triglycerides? Preservatives? Artificial colors and flavors? Out of whichever things are "bad", is it individually, or just in combination? What kinds of "badness scores" would each item/combination get? What kind of individual variability is there?
This post has the tone of an organization gasping for relevance: the constant references to cost cutting, focusing on a core component, etc.
My first thought: would probably be very useful for sites to crack down on inappropriate content.

My second thought: I could probably use this to find porn in unexpected places via a webscraping Python program.
It's more immediate. The whole system is more or less 'real time'[0] so actual conversations are possible[1]. I can see that being more addicting than Facebook or Reddit, where conversations tend to happen over longer periods of time. One of the biggest benefits I get from Twitter is real time news from people who are actually there instead of relying on what passes for journalistic integrity these days.

On the other hand, Twitter is an interesting experiment in weaponized language, which can turn some people off. 140 characters isn't enough room to actually explain anything or provide proof or even simple logical arguments, so every argument on twitter is about invoking as strong an emotional response as possible. That emotion is usually anger. Also, the structure of twitter itself makes it unbelievably easy to organize lynch mobs.

[0]: Yes, it's not an actual, formal real time system, but it feels real time to the user.

[1]: I still prefer Jabber-style chat or IRC to twitter, but I will admit the 'broadcast' design of twitter makes it easier to participate in conversations across many different areas of interest at the same time.
Only the new ones.
Hats off, this is a GREAT post! Lots of detail and I'm way out of my depth but lots to dig into and learn from!

Thanks for posting!
I don't think, as the article claims, data denormalization is broken. I think most programmer's knowledge of SQL is scrawny --- unexpectedly so for a language that's 30 years old and underpins most applications. SQL was obviously meant to be simple, almost declarative, and resembling plain-English sentences. And yet it's the first thing that developers abstract away with an Object Relational Mapping, much to their loss.

The article's example is one-to-one chat with millions of users. It says that counting unread messages is too slow unless you denormalize it.

First of all, the Rooms aren't a core table. If each Room has just two people, as the article says, then all you need is one table, messages:

a | b | sent | body | read
-----+-------+---------------------+----------------+---------------------
ed | tom | 09/29/2016 14:22:10 | Hi | 09/30/2016 02:02:15
tom | ed | 09/30/2016 02:03:15 | What up? | 09/30/2016 02:04:03
sue | sally | 09/30/2016 08:19:20 | Catch ya later |

So the count of unread rooms is:

select count(1) from (select distinct a from messages where b = :user and read is null) t;

If the columns are indexed, I would think PostgreSQL could handle such queries in a split second, even with millions of rows.

At Facebook's scale, where you have hundreds of millions of users, then you will have hundreds of billions or rows, maybe trillions. Okay, so it might start to get slow that this point. But let's stop for a second and remember that 99.999% of web applications will never reach Facebook's scale.

In Facebook's case, I read a long time ago that they make a database for each user. If so, the aforementioned table and query would still work --- in fact without the need for the b column.
That's a really interesting approach, thanks for posting
Haven't read it, but would highly recommend Cal Newport's book on the same subject. Made me really think about how I spend down time and it's affect on my ability to focus when I really need to.

https://www.amazon.com/Deep-Work-Focused-Success-Distracted/...
Oh jesus christ. The entire ML thread is bad news.

Why on earth would they move away from PDF.js (which is a fantastic project) and then use that move to justify Mortar?

Also, I just learned this from the thread: Why the fuck would they kill Shumway? I'm all for killing Flash, but Shumway is an important tool not just for migration, it's also really important for archival.

God damn it Mozilla. I've talked about this before, too: Hearing Mozilla executives, each Mozfest, talk about commitment to the free web. Commitment to open technologies. What commitment, exactly?

In a handful of years, Mozilla has managed to severely damage its poster child web browser's reputation by including then subsequently dropping drm, by including then subsequently dropping Hello (a good initiative with a horrible user experience), by completely screwing up the launch of Pocket (which they could only have done by massively misunderstanding their userbase).

In that same handful of years, Mozilla took some good initiatives, such as Persona and Firefox OS, completely botched marketing and experience on both, severely underestimated the required efforts on the latter, then dropped both projects.

In that same handful of years, Mozilla dropped support for its second poster child, Thunderbird, arguably the last decent FOSS email client.

It all screams mismanagement and I haven't even talked about half of the problems. I've been upset about all this for some time but now writing it all out I'm starting to wonder of Mozilla isn't just in a free fall.

PS: I 100% understand the concerns and difficulties of allocating development time but this is a pattern I keep seeing with Mozilla: Spin up a project, get it to 80%, give up. You could build a castle with the amount of efforts wasted on projects either doomed from the beginning (FxOs), or dropped near the finish line. This is all absurd.
In the United States under the 2003 PROTECT act they are actually illegal but only if they are "obscene" as obscene speech is not protected by the first Amendment.

>Prohibits drawings, sculptures, and pictures of such drawings and sculptures depicting minors in actions or situations that meet the Miller test of being obscene, OR are engaged in sex acts that are deemed to meet the same obscene condition. The law does not explicitly state that images of fictional beings who appear to be under 18 engaged in sexual acts that are not deemed to be obscene are rendered illegal in and of their own condition (illustration of sex of fictional minors).
Maximum sentence of 5 years for possession, 10 years for distribution.

Interestingly the same act does make all computer generated child pornography which is "virtually indistinguishable from that of a minor engaging in sexually explicit conduct" with no requirement that it be obscene, I don't think that has been tested in court yet.

https://en.m.wikipedia.org/wiki/PROTECT_Act_of_2003
That's ridiculous. Excluding the subway, there's still approximately 110k riders each way on the LIRR[1] and 90k each way on NJ Transit[2]. Plus amtrak, you're talking about ~450,000 daily rail passengers. That would still make Penn Station one of the 3 busiest train stations in Europe, for context.

[1] http://transitdocs.com/files/data/lirr/2012RidershipBook.pdf
[2] http://www.njtransit.com/pdf/FactsAtaGlance.pdf
I am for one excited it is available as a "web" app and are going in a new direction.

PGadmin was functional, I'll give it that, but it paled in comparison to MySQL's tools. If this can speed up development and make it better then I'm all for it.

Maybe they could integrate this[1] into it?

1. http://tatiyants.com/postgres-query-plan-visualization/
ESP8266 based wireless NTP server no internet connection needed
I see similarities in this plan with the new Liege-Guillemins (Belgium) train station. Light, airy, modern.

https://www.theguardian.com/artanddesign/2009/sep/16/liege-g...

http://www.e-architect.co.uk/belgium/liege-guillemins-tgv-st...
They're talking about a few thousand items which isn't high volume.
Flash is not entirely dead yet, so support can't be completely dropped. However, both Chrome [1] and Firefox [2] have announced long-term schedules for removing support for Flash, bit by bit.

As for PDF, the PDF viewers shipped in browsers seem to be much more hardened against attack than the stand alone ones people use, so as a practical matter, including a PDF viewer helps keep users safe.

[1] https://chrome.googleblog.com/2016/08/flash-and-chrome.html

[2] https://blog.mozilla.org/futurereleases/2016/07/20/reducing-...
The reason that modern cores are in the billions of transistors is to get performance with correctness. Tons of speculative work that can be rolled back if some invariants don't hold to be true.
There was one in Windows 8 (Windows Reader) but it was removed in Windows 10. It is still available for free in the Windows Store.
Ask HN: Your thoughts about PHP7
Well a portion of $1B is already accounted for in the balance sheet and budget.
My last statement, since you've edited several of your comments without marking them as edited which makes this conversation, well, not an accurate account of our dialogue. Thanks for that.

You state that design by contract has nothing to do with formal verification. You also later said that Hoare logic is a tool for formal verification. Design by contract is an implementation/application of Hoare logic. Ergo, it has something to do with formal verification.

I've never said it is formal verification, I've only said that it is part of it. It requires tooling and proper application for it to be useful/correct/effective. But that's true of everything in formal verification.
Yeah, something's up with the OP's numbers/design. I didn't dig into it further because I found the writing style off-putting. A basic lock free queue or linked list in golang should run at 10+ million ops per second. I suspect even with the parallelization the priority queue implementation is spending too much time reorganizing. A skiplist of 64 byte or 4KB buckets would probably be both simpler and faster.
I love PDFs in the browser. It means that they're nicely sandboxed and secure.
> Are they paid not to screw up?

Thats an interesting insight; there isn't anything inherently wrong with this.
DevOps and security are two critical technical roles that work similarly: if they're doing their job right, the machine continues to run perfectly.
I think you misspelled "horrifying". I can only imagine that producing something akin to the human centipede ... "Infinite Girls, One Cup" ...
In the USA:

Provisions against simulated child pornography were found to be unconstitutional in Ashcroft v. Free Speech Coalition [0] in 2002.

From wiki [1]:

> Referring to [New York v. Ferber, 1982: child pornography is not protected speech], the court stated that "the CPPA prohibits speech that records no crime and creates no victims by its production. Virtual child pornography is not 'intrinsically related' to the sexual abuse of children".

IANAL, but following that logic alone, the degree of realism doesn't seem to be relevant to the legal precedent insofar as photorealistic imagery would still "record no crime" nor "create victims by its production." As to whether it's dangerous for such material to exist because it would create plausible deniability for the production of actual photography while claiming it's simulated...I guess that would be a different matter.

[0]: https://en.wikipedia.org/wiki/Ashcroft_v._Free_Speech_Coalit...

[1]: https://en.wikipedia.org/wiki/Child_pornography_laws_in_the_...
Your editor will however default to 4 charwidth tabs, but you can change this whenever you feel like it and that's the point. It's just a setting, so we can all have our own and then we don't have to argue about it. This morning you like 2 spaces of indent because you can see more code; but this evening you like 8 spaces because the beer makes the code hard to see. It's true that the code appears locked to 8 spaces when you view it in a browser on GitHub (and that's basically why a majority of developers use spaces still in this decade) but you can also change this whenever you feel like it by placing an ".editorconfig" file in the root of your GitHub project, little known fact. In your case, you would simply change the tab width to 2 and then you don't have to commit all your files again and ruin it for everyone who prefers 4. Serious answer.
'Hello World' App with Meteor and GraphQL
Yeah that goes without saying - part of eating "heart healthy" is cutting back on carbs, sugars and sodium.
Judy's author appears to have poured bathtubs full of cleverness into his brainchild to make it fast at the cost of implementation complexity.

As long as you don't look behind the curtain, it's genius - an API so simple a child could use it, and it's so fast... But try to understand how it works, and your brain melts. Well, mine, at least.

Then again, I suspect the same can be said of what used to be called the STL, or Boost. In a library that is meant to be used by lots of other projects, the trade-off is legitimate.
I noticed this too. They started off with a good paragraph about focus and mindfulness, and then they started embedding links to tweet stuff and download their free e-book.

Is this not the opposite of the intended effect?
Would computer generated child porn be illegal? No children are harmed in its creation.
yeah, I find myself more doing a local commit with message WIP. I switch branches to do something else, come back, look at the log and if WIP, roll back the last commit
I routinely have to open large spec sheets for work. Have you ever tried to open any large documents with PDF.js? Chrome's pdf plugin can handle 100+ page documents with ease, while Firefox's PDF.js can make the entire browser unresponsive. Hopefully e10s will finally fix this.
Too many people argue "code doesn't belong in the database", but honestly, with everyone circling around to FRP it honestly makes me think maybe stored procedures and database triggers are going to make a comeback again. I never really bought into the whole "but you can't version stored procedures!" bit because that's precisely what schemas and the search path in PostgreSQL are for (triggers are another matter entirely, but I avoid those whenever possible - though it's exactly what I would use for a task like this).
The training set is almost certainly composed of copyrighted material.
Is this 90% a upper or lower bound?

I mean did they try to measure luck and found that it accounted for 90% of returns?(lower bound because their measure of luck was probably imperfect)

Or did they measure talent and were able to account for 10% of the returns(upper bound).
True, but the YC success stories offer some anecdotal support for the idea.
I guess you've never heard of Brendan Eich.
finally they start to deprecate stuff...
Of course we can and should talk about it. It's important to at least theorize what others might realize in order to be prepared. That's all I wanted to add.
I know nearly nothing about browser development, but I'm curious to learn as to why Mozilla spends so much time on a PDF renderer?
Can anyone talk about their experience with Vue as opposed to Angular, Angular 2, and React/Redux? I am fan of Angular 1, but Angular 2 seems to actually just be an inferior version of React/Redux. At first glance Vue seems to be similar in spirit to Angular 1. Is that correct? Any first-hand experiences would be welcome.
Aren't the last few generations of GPUs fully IEEE compliant?
I've often thought that it would be even more helpful to automatically filter violent images. Particularly to spare humans from having to be the filters (and "relentlessly see terrible things").

However, I imagine that's far more difficult to accomplish. How do you detect graphic violence? Looking for blood isn't going to cut it. Also, I can't imagine how you'd separate the fictional from the real - I can watch horror movies with realistic special effects all day, but real violence/mutilation/death bothers me deeply.
>why not just drop Flash

The reason Flash is still around is because of ads. Most (video) ads are served through Flash still and publishers still don't know how to switch, or don't want to.

Source: I work for a video player company
So this is what Yahoo was up to for the last 10 years, instead of building any sort of security, keeping Yahoo Messenger working properly, or anything else of value? Heckuva job, Yahoo.
Sure. There are people who are actually incapable of learning how to tie their own shoelaces, too. We (rightly) pity those people, but we don't turn to them for deep intellectual insights.
Hmm, maybe you're right. I don't know anymore. I thought it just prefixed aliases with "git " and otherwise ran them as normal, but I admit I haven't researched this topic in a long time.
If it's legal out there, why not? Would it be corruption and bribery to treat them to dinner and drinks? Don't view the world only through your own lens. It didn't say where exactly they were treated to prostitutes. Hell, it could even be in Nevada.
Just so we're clear, there are great security advantages to using private keys for authentication. I always use a key for SSH!

But nothing so far is easier for my grandmother to use than a password that is the date of her wedding.
Photopea appears to do it properly with feature testing (no UA checks):
https://www.photopea.com/willitwork/test.js

FYI, Modernizr is a fantastic library for browser feature testing. You can just "add to cart" the tests you want to perform. No hand rolling necessary:
https://modernizr.com/
Here in Airstrip One, cartoons of children may be illegal.

http://www.mirror.co.uk/news/uk-news/fan-japanese-anime-make...
And there are a lot of tall buildings which can make the area immediately uptown from Grand Central in particular feel a lot like the stereotypical concrete canyons.
likewise the folks at YouTube that have to evaluate potential CP / gore / etc. all day long.
Yes. Whether that is a good idea should probably not be debated here, as it will lead to a 500-comment subthread.
Perhaps because, they're largely happy with the terms of there arrangement?
Also nice article on Vue.js 2.0
https://medium.com/the-vue-point/vue-2-0-is-here-ef1f26acf4b...
Man Throws a Tantrum and Destroys Hardware at an Apple Store
CBS.com requires flash and has lots of great content such as "The Late Show with Stephen Colbert". Also one of my banks requires Flash for online check deposit. If Firefox dropped flash, I'd drop Firefox.
It's not really accurate to call the desktop runtime a 'web' app... I also hope the UI will approach a native feel over time though.
Agreed. PDF.js and multi-process both have room for improvement, but the security benefit is huge.

Ideally, NPAPI and Pepper should both die, but I don't necessarily mind them killing NPAPI and adding this minimal set of Pepper support for Flash. Pepper crashes the browser less (though most of the fault lies with Flash).

But even if this enables PDFium, it should not be adopted, and the talk of adopting it makes me want to oppose the whole idea of "project mortar."
Agreed. The best way to find 'complexity' and perhaps aperiodicity is by using contradictory rules.

source: my own quasicrystal simulations (http://www.nature.com/nmat/journal/v14/n1/extref/nmat4152-s2...)