skysight-inc/HackerNews huggingface dataset:
Dislike, sure. Personal preferences are acceptable. But claiming that it's impossible for a computer/tablet display to be as readable as paper and that all electronic displays cause more eyestrain is unreasonable. Especially when the person making that claim has already demonstrated that they are familiar with terms like resolution, contrast ratio and form factor, but they fail to even propose a hypothesis for what might still be inferior about the best computer display technologies.
Progress Report: August 2018
Exactly right. Most of those background steps do things like establish the basics of complex numbers, and you can reuse them for anything else involving complex numbers.

The actual proof in metamath that two plus two is equal to 4 is at http://us.metamath.org/mpeuni/2p2e4.html

It is only 10 steps long. Yes, it is longer than an informal proof (such as one printed in a math journal), but it is not hard to follow. In this case this proof is rigorously verified by four different independent computer verifiers all the way back to the axioms of logic and set theory.

It is already possible to have proofs that are completely computer verified. Up to this point, mathematicians often do not use them because it is simpler not to. But in the long-term, I think we should change our expectations to start requiring proofs to be verified by computer if we really want to believe in them. Humans make mistakes, and reviewers often miss them. Computer verification, especially when there are multiple independent verifiers, provide much greater confidence that the claimed proof is actually correct. The number of so-called proofs that are actually not proofs is very large.

If you are curious about metamath, I have a video on YouTube that you might find interesting:
https://m.youtube.com/watch?v=8WH4Rd4UKGE#
> Millennials (where Democrats have a huge edge that's remained roughly constant since adult Millennials were around to poll)

Source?

As best I can tell, the Democrats' advantage in the 18-29 age group peaked with Obama's election in 2008, and has been decaying since. '08 == +32; '12 == +24; '16 == +18.

http://www.pewresearch.org/fact-tank/2016/11/09/behind-trump...
> It's really annoying that Facebook can't figure out how to hire a dozen or so talented developers to focus on the open source side of react

Now that I think about it, I think I would actually enjoy being employed to help maintain the React Native project. I really had a lot of fun building a React Native app, but there were so many issues that didn't get any attention. It would be quite fun to spend all day helping people with issues, fixing bugs, writing tests, and merging PRs. That probably sounds like a terrible job to some other developers, but I really enjoy it, and it would be great to get paid for it.
How BoJack Horseman Subverts Narrative
Yup!

I made a few observations in my own comment.

One being that while a set of SPARQL Federated Queries would elegantly replace my assorted, custom collection of python scripts, scrapy and PhantomJS (slowly porting over to puppeteer) programs talking to Postgres, there is no usable graph store you and I can use as of 2018.

Another being about monetizing the Semantic Web when playing the role of the data/ontology provider.

The majority of your clients will want your data in relational formats than turtle/RDF files/format anyways.

.. and if you do provide all the data, the consumers (Siri, Alexa and Google Home) get the glory: https://news.ycombinator.com/item?id=18036041
Coincidentally, I recently came across an interesting quip while reading "the Fountainhead" recently:

[Peter Keating discussing whether or not he and his wife should build a country home away from the city]
"Will you like commuting?"
"No, I think it will be quite an awful nuisance. But you know, everybody that's anybody commutes nowadays. I always feel like a damn proletarian when I have to admit that I live in the city."
So copyright is redundant with legal structures already in place...? (Meant to be tongue-in-cheek)
You're allowed to limit how much crap from the 1980s you allow into your life. If you want to learn about the Good Stuff (schedulers, filesystems, TCP algorithms) as soon as possible, jumping a bit and leaving the completely arbitrary bootloader stuff to some pre-written system is completely reasonable.
Data-structures are machine-centric, not abstract relational algebra. You can understand why it's important to think about data structures for the machine. Which is a completely opposite view from relational databases, where you are supposed to not think of how data relates to the machine at all.
>The numbers do not fit 320,000 * 24,000 is . . .

Here's a mental math flow for this estimate:

320,000 * 24,000
=(320 * 24) million (let's deal with the easy zeros first)
~=(300 * 20) million (underestimate)
=(600 * 10) million
= 6 billion (very roughly).

Another flow:

(320 * 24) million
~=(320 * 25) million (overestimate)
=(80 * 100) million
=8 billion.

So we have a number between 6 and 8 billion, 7 sounds about right.
indeed it does
Extracting information is not the issue. Figuring out what it is is what the Semantic Web (or any good Ontology) helps solve.

For a AI/ML to provide that insight - requires the ML to have access to a good Ontology.

The reason is more nuanced. The main reason being money: https://news.ycombinator.com/item?id=18036041
Home Automation System Remote Control in the Wild
This is really fascinating. It seems there's an interfacing problem at a level, with a sort of depth-expectation on one end of the problem (real-world / technology application), and a more exploratory breadth-expectation on the other (pure academia / science). It'd be cool to develop some standards to create a sort of bridge between the two.

On the breadth end there may be a need for a sort of "contract of depth commitment" to provide insurance against the flighty hijinks of the ever-expanding mind, and at the real-world level you need a sort of "grant of exploration" which allows academia to bring its own type of surface-level one-night-stand concern or even ADHD to the game. Without the latter there's probably too much risk of repeating history while someone else is blazing the trails you won't try.

Anyway thanks for that comment, it's really interesting.
If I could loose money because I'm just unskilled at something (but had fun) rather than just got unlucky, I'd absolutely use one of those machines.
I’ve tried to install Istio on two clusters (at different points in time) and ran into blockers both times. YMMV.
Here's google's quarterly 10-Q statement.[1]

"We generate revenues primarily by delivering relevant, cost-effective online advertising."
For the quarter ending June 2018, google advertising revenues were $28,087 million, out of $32,657 million total. That's 86% of their total revenue, for those keeping score at home.

Here's the relevant section of Microsoft's financial statement for the same time period. Advertising revenue is $6,100 million, out of $36,400 million. That's 17%. Microsoft doesn't even include the figure as a sub-line item, because their money makers are Azure and Office 365.

I understand that MS has a history of being the great opponent to software freedom. I understand that they've made moves that are anti-developer, and anti-customer in some ways. But their business model has never been based on collecting information. It was based on selling licenses, and now it's based on paid PaaS and SaaS.

With that in mind: it's hard to compare giant, decades-old corporations like this. We will inevitably come up with an incomplete list of anti-privacy things that both have done. But the profit motive lines up pretty clearly here.

But because I can't resist... google privacy issues have a wikipedia page: https://en.wikipedia.org/wiki/Privacy_concerns_regarding_Goo... . There is no analogous page about Microsoft privacy issues.

[1] https://www.sec.gov/Archives/edgar/data/1652044/000165204418...

[2] https://www.microsoft.com/en-us/Investor/earnings/FY-2018-Q4...
In the case of businesses especially, it is often the case that many people have the same (work) address. And, if that business moves, you want all of those people to have the new address, without having to find them all and change all of them. Their work address is the Acme Business Address, id=573, which should be changeable once, rather than finding every record of every person there and changing it. But, the same person could easily have more than one address as well. Many-to-many matches that actual underlying reality, which is what is most likely to work well in the long run.
> or that anybody actually cares that much about it.

I assure you, those of us for whom gun rights are a central issue - an issue of basic civil rights - care.

As it is, I have no particular love for the Republican Party, but I simply cannot see myself voting for a Democrat for state or national office given their history of voting as a bloc against gun rights.

Objectively, I have no idea if gun control is a net positive for the Democrats at a national level - but I'm confident that by branding themselves as the party of gun control they are driving away a large number of people who would otherwise be reachable.
That's the spirit that got Linus Torvalds where he is now —

"Be abrasive, don't pull punches, be a 'git'. People don't care about you, so you can't really hurt them anyway"
Because it's a settlement I assume? It's a racket.
At This High-Tech Farm, the Boss Is an AI-Powered Algorithm
Even in Queens only a relatively small percentage of people own cars and even fewer use a car as part of their commute. Recent data indicate that less than 3% of low income workers commute by car. Your average outer borough janitorial worker is going to be taking a bus to the subway (though if citibike and some protected lanes were available I’m sure some would consider that option).

Washington Heights and Inwood are quite walkable and most people there commute by subway, without having to drive to it. The same goes for Crown Heights and Bed-Stuy.
Yeah, basically this. I personally don’t like people asking me a lot of questions, and so for a long time I assumed this was generally true.

Apparently it isn’t. People like to talk about their lives.

I guess my main reason for not liking people asking me questions is how their eyes glaze over and they start fidgeting when I answer. Maybe it’s me. I find it pretty annoying so I give terse answers or deflect in one way or another.

But other people do like personal questions it seems. And I admit, it helps build relationships.

I guess my problem is I just am not that curious about people I’ve just met. It would be pretty rare for me to give a shit about what you do for a living, and so if I ask, it’ll be my eyes glazing over.

But I do make the effort anyway, particularly if I get the feeling that someone is a talker.
> If you think that you'll be able to win over Slack by building a client that fast and slim, then you're wrong. Even if you can get to the market, because of the time you spent on polishing the experience the competition will be far ahead of you.

Seen this a bit, why not create literally an alternate client for Slack if customers actually care? I'm not sure this is a good argument. A large part of Slack is the backend and admin tools and advertising, without these to care about you can catch up fast.

There's the obvious risk being at the mercy of Slack, but any software has risk, getting big corp to pay for your 'better' client is high reward if there actually is value to clients, big corp will pay for it.
This article doesnt seem to be accessible on mobile. It's just an interstitial.
Elon Musk asks this simple interview question to tell when an applicant is lying
Two Versions of the Dalai Lama
So, any personal project you worked on before your worked for google by default google owns.
We used it at a previous employer of mine. It had a few quirks but in the end, it saved the company from a mountain of technical debt by allowing us to avoid a huge rewrite to address database scaling issues that were becoming intractable.
Alibaba Founder Jack Ma to Launch $10M African Entrepreneurial Prize
How current proof assistants work is using the Curry-Howard correspondence, [1] the gist of it is that all of first order logic can be encoded into a type. All one must do is write an expression that type checks to what one is trying to prove. That turns out to be fairly hard for reasonably complex proofs.

[1]: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...
Can money create a neighborhood?
Marco, CTO of Kong here. This is exactly what Kong has been doing for a while and with the newly announced Kong 1.0 release [1] (2 days ago) we also support Service Mesh with a lightweight runtime that has been running in production since 3.5 years across multiple platforms, hybrid container orchestration platforms and even hybrid baremetal/cloud deployments.

GA for Kong 1.0 will include Service Mesh (we have RC1 now, and RC2 coming soon).

[1] - https://konghq.com/blog/announcing-kong-1-0/
It doesn’t really work like that, eg if you play the quiz one, when you get past £3 the questions become ridiculous, like what is the size in cubic meteres of lake Victoria? 40040400303 40404940404 or 4940403030 etc

So it just ends up being luck really. They also pay out a fixed amount and the difficulty rapidly increases if you keep winning.
One thing about this that strikes me is that "right wing" and "left wing" don't adequately describe either people's positions or the extent of the impact of the chilling effect you described.

I would not consider myself "right wing" - I'm an anarcho-capitalist, and have no problem with the vast majority of the social issues embraced by the left. I take issue with the way they intend to address them sometimes but that applies to all parties and to government in general.

Still, I often bite my tongue when guns come up as a topic of conversation in a professional settings, because when I speak on that topic it's automatically assumed that I'm a Republican. Democrats (and assorted other leftists) seem to regularly project their preconceived notions of what a Republican is onto me, and assume that they are correct.
Sounds like an opportunity to reboot something vaguely similar to Rapportive, or is there already a good replacement?
A hybrid approach seems sensible: the OSM data contains a vetted/known URL for your business, then your client uses that URL to fetch the hours from the website. In a perfect world, anyway.
Why do you call that core, only the sidecar is written in Rust all the rest is Go I think.
Exactly, this is how I read it as well.
WhatsApp requires you send the server the entirety of your contact list. No thanks.
My understanding is that the Monty Hall problem was just a cute puzzle published in a pop-sci magazine that confused a few professors who perhaps ought not to have been confused by it. I don't think it says anything at all about the health of the mathematical community.
> She insulted racists, bigots, sexists, etc... but those people aren't her base

She said that "half" of Trump voters are those things.

> What didn't happen is Hillary Clinton calling all Trump supporters (or, by extension, all white people or all working class people) racist and "deplorable."

Trump voters know other Trump voters. They look around themselves and don't see "half" of them being those things - therefore, they infer that Hillary Clinton had misidentified many of their friends as being those things.
As an ex journalist, you might accept it as a tip and use it as the basis for further investigation. You wouldn't publish it.
Childhood Trauma and Its Lifelong Health Effects More Prevalent Among Minorities
Tencent created AI agents that can beat StarCraft 2’s Cheater AI
No no no! His website is a treasure! I think the world needs many more garish, lurid, irreverent websites like this.
My experience was as if I had a very heavy dense ball inside my lower back. This caused waves of severe pain and the desire to go to the toilet (which did not help the symptoms). The pain waves lasted a couple mins each but felt a lot longer. The ambulance arrived and during the trip to the local hospital (<10 mins), I emptied the entinox gas cylinder with only minor relief gained. The A&E (ER) unit sorted it out with some heavy duty iv painkillers.

The ultrasonics can break the larger stones but this effects a certain volume. So if you miss or the stone is smaller, then the ultrasonics can damage the surrounding kidney tissue. I had other stones which were confirmed by X-ray but too small to target effectively.

The advice I got from a number of medics, drink > 2 litres of liquid per day (Any liquid). If the urine is still coloured after the first piss of the day, then drink some more. Other than that, there was no confirmed list of things to avoid.

The first time was the worse as you don’t know WTF is going on. After that, I keep my hydration up, carry good painkillers and know when to get to hospital if required.

I agree that the pain debate is pointless, we’re all different.
Thanks. I knew about diodes, but I hadn't heard that there was an official term for what I've been describing.

Edit: Interesting that these guys focus on fiber. It's also possible just by using UDP and cutting the return lines on an ethernet cable.
White paper (linked in article) here: https://arxiv.org/pdf/1809.07193.pdf
This is an interesting premise when applied to the stock market.

In theory, the value of a stock is the discounted value of all future cash flows, on the premise that all profits (in excess of debt servicing etc.) belong to the shareholders, and they have a legal claim on that cash.

In practice, have you ever known a company who, at the top of their product cycle, says "Welp, we got no idea what we could possibly spend all this money on that has a positive ROI in excess of what you could get elsewhere in the market, so here's your dividend, we'll keep raking in the cash for you as long people want to buy our products, and then we'll liquidate and return the cash to our equity holders"? Usually the death throes of a company involve them hiring a series of excessively overpriced turnaround CEOs, firing them with multi-million-$ severance packages, acquiring promising startups for lots of equity which they end up killing, and paying a large and disengaged workforce to search for other jobs.

They do eventually trade down to zero eventually, which proves your point, but the conclusion one could draw is that every individual stock is actually an asset bubble. They rarely, if ever, end up returning the company's profits to shareholders, but shareholders who exit when it looks like there will be a lot of profits in the future can make a lot of money at the expense of the shareholders they sell to.
False. It’s the year 5779 in the Hebrew calendar. שנה טובה
That is so sad. I proposed, and worked briefly on with a handful of really awesome engineers, a project that would use an LDA to try to ascertain the topic for a web page, then use NLP to pull apart the sentences for their contextual components, the next step was to slot the values into an ontology framework to store alongside the web page text. Its initial goal was web content scoring with respect to ontological coherence but later for building knowledge bases dynamically.
I'm testing Istio at the moment and I feel those comments to be very inaccurate:

"Traditional service meshes are an all-or-nothing proposition that add a significant layer of complexity to your stack. That’s not great."

Istio is like k8 it's very modular and you setup what you need.

"Traditional service meshes are designed to meet the needs of platform owners, and they dramatically underserve a more important audience: the service owners."

Not sure what it means, Istio is all about observability ect...
> And it is far more easy to remember the contents of this stack than the contents of 13 registers.

Get a macro assembler, or at least a preprocessor; then give the registers names.
willing to mentor and teach to get a few projects running off the ground. tech stack is production grade django python java redis mq react.
Alternatively, you could keep a microsd card in a ring to safely store key files.

https://www.thingiverse.com/thing:1970583
It's not, but I'm using both GDK_SCALE and QT_SCALE in /etc/environment.
Coinbase denies proprietary trading of cryptocurrencies
Discovering Compromise and IOC Hunting Using SINT Scan Intelligence
I don't know about specific MTBF rates, but all hardware eventually goes bad or gets damaged. The standard protection against failure ( and loss, and theft ) is to register multiple devices with your accounts and physically secure the backups.
Somewhat related, I suggested how the Semantic Web (aka "Linked Data") and the more real-lifeish Data Science field could be merged, at a Linked Data event in Sweden earlier this year:

TLDR; What semweb / linked data lacks the most, is a practical logic / reasoning layer, so that facts can more easily be inferred form existing plain data. I further suggest this is already available in a rock-solid proven technology; Prolog.

Blog post:
http://bionics.it/posts/linked-data-science

Slides and video:
http://bionics.it/posts/semantic-web-data-science-my-talk-at...
The semantic web happened but the Semantic Web didn’t. Schema.org is used because it a) solves a problem which exists in reality and b) works well with very modest requirements.

All of the crazy bikeshedding about labyrinthine XML standards, triples, etc. or debating what a URL truly means has very little to show for the immense time investment.

The main lesson I take away is that you absolutely need to start with real consumers and producers, and never get in the state where a long period of time goes by where a spec is unused. Most of the semweb specs spent ages with conflicting examples, no working tooling, etc. which was especially hazardous given the massive complexity and nuance being built up in theory before anyone actively used it.
What do you mean by building a distro? Have you looked at Yocto/poky/angstrom? It's kind of a distro-generator.
Is Sugar Really Bad for You?
programming in a nutshell
We are trying to build a global knowledge graph from the web using AI at diffbot.com.
Here's one such list for anyone interested:

https://github.com/kdeldycke/awesome-falsehood
Speaking of Lamport's "How to write a 21st-century proof" paper, here's a video of a great presentation he gave on this topic last year:

https://www.heidelberg-laureate-forum.org/blog/video/lecture...
I'm no ace at social interactions, so please treat the following as a straw-man theory, but...

I wonder if you (and I) sometimes fail to recognize when the person asking those questions is actually communicating something different (e.g., they want to become more friendly with you). But we fail to recognize that they're using a cultural idiom to do so.

A neuro-psychologist has told me that based on some testing I've had done, there's a decent chance I'd also test positive for Asperger's. And this kind of focusing on the literal without noticing that it pattern-matches a different, idiomatic interpretation would make sense for a person with Asperger's.

It reminds me of that line from the song What a Wonderful World, "I see friends shaking hands saying how do you do
They're really saying I love you."

If that's what's really going on, perhaps the number of questions you're getting can seem less onerous?
CSS:

pre { whitespace: pre-wrap; }

https://www.w3schools.com/cssref/pr_text_white-space.asp

That's what I've included in my own HN Stylus stylesheet for years. Works on Desktop or Firefox/Android, but other mobile browsers don't support it, for lack of extension support.

Updating the HN markup to offer true blockquote support would be a more complete, though less trivial, solution.

I've suggested the first myself repeatedly.

pg asked how to fix this, and was given the solution, on HN, nine years ago:

https://news.ycombinator.com/item?id=592603

The suggestion's been made numerous times:

https://hn.algolia.com/?query=whitespace%20pre-wrap&sort=byP...