skysight-inc/HackerNews huggingface dataset:
That's a great insight. I am planning to add some graphs but theycanbe black and white. Maybe that doesn't add much additional cost?
On page 6 it says:

> Novell SUSE Linux Enterprise Desktop 10 (SP2) in China only

For me, a let-down is that it doesn't have HDMI though.
In June 2015 Uber acquired a bunch of mapping assets from Bing, and hired away ~100 engineers from Bing's mapping program to develop their own maps (I don't know what the current status is on that initiative), which was the first signal that, for whatever reason, Google and Uber weren't planning any sort of long term strategic partnership. But Google holds itself to high ethical standards, and I doubt Google expected to Uber to behave so badly. I mean, Uber has always behaved badly, but up until the point they stopped being the underdog we were all cheering Uber on.
The issue at hand is not one-sided. The side most often heard is the side in favor of copyright and DRM.

This is a cautionary tale. Not only does it eloquently explain the potential problems with copyright enforcement, it poignantly predicted the ones that exist today.
I have not taken Uber for a long time. Lyft is my first choice even if it takes a little longer and costs more. I really hope Lyft can catch up in terms of market share in the US.
Shouldnt then 3GPP do the FRAND enforcement ? After all it is
3GPP who made QCOM techs popular in the market.
XFA to Standard Acro Form Conversion and Enhanced PDF Rendering to PDF/A and DOCX
ad hominem.
Not to mention the fact that you can easily tip, knowing how tough things are for drivers with base pricing.
Is Curry-Howard interesting if you're not programming with advanced type systems? It's my understanding that writing a function that returns an integer (for example) corresponds to proving that an integer exists. Whoop-de-do? This would imply that unless you're constructing a sophisticated return type, you're not proving anything interesting.
> being completely opposed to everything the American people want has taken control of the entire government

That's not remotely true. That's what the media portrays, however. Don't try to spread FUD to an audience who has grown up learning to separate sensationalism from fact cough MS cough.

They were GIVEN control (despite the pervasive belief that campaign money would win the day for the presidency, but maybe it did?) and there are many aspects of the Republican party that continues to support what the American people want via the status quo and initiative that people in blue states tend to not like. That's not the same thing.
It would be worth months of serious global computer outages, to bring NSA under control of elected officials. I fear we'll get the former without the latter...
Death spiral for cars. By 2030, you probably won’t own one
7 manfaat dan khasiat susu kedelai untuk kesehatan – Info Kesehatan Keluarga
There are only two possibilities - either it's what people actually want, at which point the whole half-a-trillion-dolar marketing industry is a huge waste of time, or marketing actually works and people want different things than they'd want if not influenced by it.

I don't think it's "paternalistic" to recognize the power imbalance present here. I think it's stupid not to.
Kitchens, administrative space, etc would be my guess.
Just speculation, but if you are willing to boycott a business for being shitty, you likely aren't going to go out and be a shitty passenger yourself. I'm sure that isn't all of it, but I could see it having a partial effect.
> Car lasts, what, five or ten years? Fifteen if you're careful and buy for reliability?

My Blacklane airport ride who operated a small black car business in LA area told me his vehicles generate 70-90,000 miles a year and are sold off after 12-18 months of service (estimates of being driven 300 days a year, 6 hours a day on average @ 60 mph seem reasonable and end up being over 100,000 miles a year).

Expenses for transportation-for-hire vehicles cannot be compared with a generic family sedan that spends most of its time in the garage.
Your Shoes Will Be Printed Shortly
> And of course it is historically backwards; groups arose as people tried to solve problems they were independently interested in.

Reminds me of the joke that philosophy students university learn the work of people who didn't go to university.

Would a text written by the discoverer of a field be more interesting?

I've found important papers easier to read than textbooks covering them... OTOH the original paper can be too close to their own motivation, and not treat - or yet be aware - of its general significance.

A motivating problem doesn't have to be practical or relatable... it just must lack obvious solution. A puzzle.
Assuming that opposition to net neutrality is based on technical limitations rather than a money grab - you're right about 5G. But really... if people can be offered tired access, why wouldn't they?
Local government that's smaller in scope and closer to the people generally runs better. Imagine that.
And by the way, I couldn't care less about this post, it's just that I can't stand seeing ego depletion theory repeated forever and the fine minds of HN readers contaminated by it.
You specifically said when conservatives are in government, not conservative voters. The answer to your question is that the people in government, regardless of whether they campaigned as conservative or liberal, do not care one iota about what the voters who put them in office want.
I see on Mary's places "About us" page: "Empowering homeless women, children, and families to reclaim their lives by providing shelter, nourishment , resources, healing and hope in a safe community"

While their work appears extremely positive and (of course) every charity is not required to solve every problem, I can't help but wondering about the many many single homeless men or homeless men disconnected from the families. The best data source on homelessness, the Annual Homeless Assessment Report to Congress indicates that the majority of the homeless are single males. Up to about 10% of the homeless are veterans (a group that is vastly male) and many of them have mental illnesses like PTSD. Are these people accepted at Mary's place? Is there a "Ryan's place" shelter? Does / would Amazon sponsor it?
This is true, I guess networking is key here - I got into that kind of company by reporting a bug on their website and explaining it over coffee with one of the tech leads. Hired the following week.
Pros and Cons of MEAN Stack vs. LAMP Stack Regarding Performance
I'm very curious about this: is there a reason the reductionists seem to win in communities like this? Wikipedia has a similar culture. Are there systemic forces that point this direction, or is it just an accident of the history of the specific people involved?
Most interesting. However, you have to butcher your system a bit in order to make that happen... That doesn't say there aren't setups like that, but they are really one out of million.
You just stated that state and local government, by law, must go to the lowest bidder and that shoots them in the foot because there's cost over-runs, etc. That doesn't sound "pretty lean" or "accountable" to me.
Why Should You Choose Shopify Over WooCommerce
I find the white on light blue very unreadable.
If a dry presentation of groups doesn't excite you, then there's plenty of books that are full of examples and motivations.

Personally, I prefer the dry stuff (e.g., Herstein) because that's the abstract-est abstraction. Rotations and matrices are groups? Don't care. I just wanna see the strange hidden properties of abstract structures reveal themselves.
Critical systems that require long term support is what Win10 Enterprise LTSB was designed for, which you get with Software Assurance.
> There are near zero crossover votes on either side.

Citation? Because I don't know a single Dem or Rep who endorses removing Net Neutrality (although I think I just read the first comment to say so on HN above).
If the payment goes to them instead of the original authors, how could the new hijackers of the virus offer to decrypt the data? I'd assume only the original authors have access to the private keys needed for that.

If someone was really clever they could change the Tor addresses it talks to for command & control and write their own complete replacement backend, but at that point it seems like you'd be looking at people capable enough to just write their own malware from scratch anyway...
...and yet, no one has anything to say about the companies that have been complicit in maintaining backdoors.

Really, I hear so many parrot the party line about how Windows simply has more exposure due to volume, and so that's where the money is, so that's where the hacks open up. But I really just don't believe that's why Windows security is just swiss cheese sealed off with duct tape.

Again and again, since oh... 2006-ish? It's like Munchausen Syndrome by Proxy. Eventually the child is ill frequently enough, that the doctor has to question what the mother is doing wrong.

Windows has been this smoldering dumpster fire of nothing slightly secure. At first, it was reasonable to suspect that ubiquitous broadband was some kind of game changer, and people had to adapt to new realities.

But a decade later and it's still happening. So, do we get to say the magic word yet?

Who dispells the taboo of whispering "backdoor" about these kinds of things?
What is there to gain, say for example, if this wasn't an accident?
federal law gives 12 weeks unpaid leave. Companies may give paid leave, and usually make it uneven and pat themselves on the back by how pro-women they are, when they are effectively screwing them over long term for a short term benefit by promoting this inequality.

I don't even mind that they do it, so much as they really think they're OMG super pro diversity and pro women by doing so, when in a way they're hurting them.
Easy to identify but widespread and hard to cure - one example is the practice of "needing" to exhaust this year's budget for fear of a reduction next year. In business you'd be rewarded for saving money. In government you replace an office full of Dell PCs that are less than a year old. This sort of inertia touches nearly every part of gov.
It does, but it's not the default. The default in Windows is that you have a browser and opening folders reuses the same window. Classic Mac OS is not like this. Every folder has a 1 to 1 relationship with the window showing its contents. A folder cannot be open twice, and a window cannot change what folder is displayed inside it. Applications worked like this too. An application could only be open once. Trying to open it again would switch to it.

The goal of all this is to help the user build spatial memory for everything on the computer. By not having applications, documents, or folders move around the screen of their own volition the user is better able to keep track of them.

This mirrors a real-life desk where objects like papers, pens, folders, and your calculator can be found right where you left them. If every time you sat down at your desk those objects were rearranged you'd probably complain to the cleaning staff.
How often do you use uber?
Ive taken a ton of lyfts (and Ubers before the scandals) in the NYC and Philly areas and have never seen a lyft driver who didn't also have an Uber sticker on the windshield. This is not the case with most Uber drivers in my experience, who only drive for Uber (again mostly).
They make fanless metal body mini computers and come in many variations on aliexpress. I purchased a unit a few months back to run pfsense (free routing software based on freebsd). They normally use intel based motherboard/ethernet ports in 2-4 port configurations, making them good stable platforms. They usually take a few weeks to arrive because they ship from China. They don't have the polish of an apple product or sell under a popular brand name, so they are not well known.
My car will break down at some point due to imperfect engineering and the realities of physics. Is Ford required to repair my car indefinitely or allow a refund on a car with 250k miles? No, when I bought the car, it came with a warranty stating if they messed up they would fix it within a certain period of time or miles.

When I buy Windows, I agree to a warranty of sorts. They agree to supply updates to the software for a set period of time. Afterward, it is on me.

Nobody can write perfect software, it will age and break down. Nobody can engineer a perfect car, it will age and break down. Demanding infinite warranties is ridiculous.
And I still can't get Starcraft HD to work...
Is one hour really enough for the memory test?
When I read this I assumed amazon datacentre - and thought it was probably a pretty good use for all of that heat they generate...
very little? nsa loses both the ability to use their classified exploits when they're burned (or at least use them as effectively), and they lose out in the PR arena for looking like they can't keep a lid on their own secret weapons, at everyone else's cost. those are extremely severe costs, particularly the latter. i really can't think of any potential upside that isn't trivial in their shadow -- the $30k in bitcoin ransoms people have ponied up?
Thanks, this comment came a couple hours later so I hadn't seen it. I wonder if Kickstarter required them to send it or if it was voluntary.
I think this, as much of higher mathematics, will change soon.

Today's technology in natural language processing is reaching the point where it will be possible to marry a natural language processing system to an automated theorem prover and have it generate formally verified proofs from math prose proofs.

Once this technology can readily process the textbooks making up the PhD curriculum, I think there will be a culture shift. Quickly there will be a new standard that math results should be formally verified. The hallmark of math, after all, is that it can be proven correct!

But with an increased role for computers will come an increased appreciation for the things that only humans can provide. Motivation and explication will be more valued when the technical aspects of theorem-proving are automated.
Please don't insinuate this kind of thing on HN unless you have evidence. It degrades the spirit of the community and most of the time is quite inaccurate.

There's a cognitive bias whereby we assume that if something seems wrong to us, nobody else could possibly hold that view in good faith (i.e. they must be astroturfing or shilling). But people hold opposing views in good faith all the time.
That's the hard part of having a bunch of authors -- jamming together lots of opinions and fragments of work. Better to max out at 4-5, or preferably, 3, since it is easier to converge on a single topic and work on aspects of it instead of having too much related stuff in scope.
How is it contemptible to describe a problem as simply and comprehensibly as possible?

You would learn more if you had a little less contempt for good writing.
AI and ART – Style Transfer
The gradient between the student and rest of society was too high. Teachers didn't know how to teach it, parents didn't know why it was important. I think now it could fly, just put computer in front of it.
That's 5mg per kWh. My models tell me we're going to reach 300mg/kWh- then you'd pay for a RPI every day.
> just so you can leer

Whatever you were arguing for, this crosses into rudeness that is quite unacceptable. We've warned you about this a whole bunch of times already. This process isn't infinite. If you continue to flout HN's rules, we're going to end up banning you.
Highly recommended book by Lakatos. The history and meta-mathematical aspects of proof-theoretic constructs are so often neglected that one can only imagine that there's a latent desire to attain a priestly purity to the proof-theoretic process that serves only to hamper true mathematical maturity in the field and individual learning.
> client was received,
understood, accepted, and processed successfully

How is this not processed successfully? The request was processed successfully by the webserver ... and the error was handled by the application, so you can reliably say it was processed successfully at that level, down to the CPU. Narrow interpretation to fit a narrative has no technical merit. That being said, standards are set with certain models in mind and are imperfect almost uniformly, so I don't put too much stock in adherence to what someone imagined or put through committee at some point. I do try to find the best way to iterate reliably with least astonishing abstractions and predictable interfaces. I reason about it in the terms of the standard and it serves my teams.
Is a company obligated to sell a product with features that you consider useful? Intel doesn't make pre-ME CPUs anymore. Apple doesn't make Power PC iMacs anymore. And Microsoft doesn't make Windows XP anymore. In all these markets, there are consumers who would prefer to purchase the discontinued product. So what? Products get discontinued.

Consider a discontinued product from another industry, like a car or an appliance. When the product is discontinued, the manufacturer only creates replacement parts for existing machines for a limited time period. After some years, it's difficult for a consumer to maintain their copy of the discontinued product because it is difficult to find replacement parts.

The point is, mass produced engineering products have lifecycles. Microsoft clearly defined (and extended) Windows XPs lifecycle and provided patches for the entirety of that lifecycle. It's hard for me to understand how that doesn't fully meet their obligations to be fair to their customers.
In fairness, it was closed after being open for more than two and a half years. Although the point remains that the "no longer relevant" message is needlessly grating.
Show HN: Thinking Mathematically (video course)
There may be so much spam that they practice a shotgun banning approach without comprehension or real content evaluation. Somehow the best "spam banners" get elevated perhaps?
You could've went a little deeper. They accept both men and women who have children.

> Who does Mary’s Place currently serve?

> Homeless women and men with their children from the greater King County area. The women and families we serve range from young adults to seniors and represent diverse backgrounds in race, ethnicity, class, sexual orientation, education, and life experience. Many struggle with disabilities and mental health issues. Approximately 30-40% of our guests are immigrants or refugees, the majority of those from East Africa.

http://www.marysplaceseattle.org/about/common-questions/
If what you are saying is indeed going to happen, then the "problem" will become even worse. The formally verified proofs tend to be much more unintelligible than the human generated ones, and when they stop being so, the humans will become deprecated in general.

Practically speaking though, working mathematicians do not care that much about formally verified proofs. Working mathematicians are more interested in insight and understanding, and not necessarily in being completely sure of every detail. Formally and automatically verified proofs are much better suited for programming, as the automatic verification of the correctness of the program is after all _the_ best regression test.

So, while interesting in principle, I doubt formal methods will change much in how we do mathematics. Hopefully they'll change how we do software engineering though.
Mathematics traditionally has a macho ethos. This goes all the way back to Euclid, and his "Let no one ignorant of geometry enter" sign. The training process primarily involves solving puzzle-like problems. Cambridge University still has Wranglers and Senior Wranglers [1], chosen for success at solving puzzle-like problems, not originality. (Hardy once wrote that this set English mathematics back a hundred years.)

This history infects mathematics books.

The other traditional problem with mathematics is terse and obscure notation. There are many implicit assumptions embedded in published mathematical papers and books. This is not helpful. It's like reading code snippets without the declarations.

[1] https://en.wikipedia.org/wiki/Wrangler_(University_of_Cambri...
Yes, to extend the metaphor, writers often pride themselves in offering a good "user experience." Bad writing does not flow smoothly and is unnecessarily difficult to read.

Good games try to provide an optimal learning experience, providing just enough challenge to be interesting without players getting stuck. Play-testing is vital; if your players commonly get stuck in ways you didn't intend, it's a bug.

There's a lot to be said for designing a learning experience to flow smoothly. We can admire the work that goes into making that happen. (It then seems strange that, by contrast, writers of math books often don't seem to be playing the same game.)

One thing a well-designed experience doesn't do, though, is prepare you for being stuck and overcoming difficulty when you're not on an artificially smoothed path.
Contextual Chat-bots with Tensorflow
The word (and concept) you are looking for here is "intersubjectivity". For what it's worth. Intersubjectivity is what lets us reason about art, among other things.
Uber has serious competition in India in the form of Ola -- and most drivers seem equally unhappy with both.

https://qz.com/908802/uber-and-ola-drivers-in-india-are-now-...
The money doesn't roll in ad infinium
I asked the ##math chat room on Freenode about cohomology recently, more precisely I expressed that it was for me the scariest math-word-that-I-don't-know-yet, and I received the explanation "it isn't that scary once you get used to it; it's just a way to repair exactness of sequences." Maybe that helps?

For topology, I feel like there's a sort of meeting-of-two-different-things; one starts with being very frustrated with the delta-epsilon-definition of "limit" and its one-dimensional nature, and the limit-definition of "continuous" and its clumsiness. The other starts from wanting to play with spheres and Möbius strips and knots and the like. When you're playing with these shapes a bijective mapping between two surfaces is not a fine-grained-enough idea because it is not continuous; adding continuity gives "homeomorphisms" which also aren't a fine-grained-enough idea because they do not make reference to the space an object is embedded in; wrap a torus about itself in a pretzel knot and you have something which is homeomorphic to a torus but in 3D you can't get there without tearing part of the surface through the other one, but in 4D you can. So finally we come to the idea of an isotopy, which bumps "continuous" to the next level by saying "Just like you can have a continuous path of points in space, you can have a continuous path of homeomorphisms from one to another," and that's where the pretzel knot becomes finally distinct from the torus in 3D, there is no continuous path from the homeomorphism of the pretzel knot to the torus, to the identity homeomorphism of the torus to itself. Or something like that. So this path is then an "isotopy" and then certain things are nicely isotopy-invariant and so forth.
Last week Tesla began collecting short sections of video data from those with their new in-house Autopilot hardware. So really, Tesla's just getting started, and they're doing it with underpowered sensors and compute.

https://www.theverge.com/2017/5/8/15581094/tesla-autopilot-u...

Waymo was ahead of where Tesla is now back in 2012. In a demonstration capacity, Waymo's cars were working 5 years ago, but in the intermittent time Waymo has been validating their software against every possible edge case they might encounter on a real world situation, and Tesla will have to do the same one way or another before their autonomous OS can operate safely without a babysitter.
Marked this to read it later.