skysight-inc/HackerNews huggingface dataset:
I think KA fulfills a critical niche in the ecosystem of online study materials out there: he actually works through the math in real time on his 'blackboard'. That's one thing you can't get from watching 3Blue1Brown videos, or reading through textbooks.

Personally, I find I learn best when I can work my way through at least three/four different forms of understanding: initial intuition (ideally geometric) of the problem (i.e 3B1B, BetterExplained), the theoretical, proof-based solution you get from textbooks where you can see the derivation of the math concept, and finally, working through problems with a pen and paper. The fourth one is being able to code it from scratch or with the help from a basic library like numpy. KA helps immensely with that third form.
good info, thanks
I feel sorry for people who value their time at nothing.
It's naive to assume referendums are inherently more democratic.

The Brexit situation is one good example why. They posed the wrong question and arrived at an answer the majority of both the voters and the parliament are already deeply unhappy with...

If I wanted to grab power and rule as a dictator, I would hold referendums every month. You just wouldn't like the questions or the rules...
Took me a bit of time to learn that Texans have this exceptionalism attitude, especially for those who were descendants of the original 300 families. I can’t confirm it broadly but I witnessed preferential hiring treatment for those that were part of that clique.
Bitcoin Price Makes History with 35% Rise in a Day – Here’s How It Happened
Tesla new Solar Glass Roof tiles are the first version ready for a wide rollout
I've got a way easier method. Ask Google or Alexa.
All: if you're going to post in a thread like this, make sure your comment relates to the specifics of the article. If you just vent some generic feeling or opinion provoked by the shallowest aspect (e.g. a provocative name in the title), that is a poor use of HN which lowers the signal/noise ratio. The more generic a discussion gets, the more predictable it gets, and thus less interesting. That's what the site guidelines call a generic tangent:

https://news.ycombinator.com/newsguidelines.html

(In case anyone's wondering, yes we say that about plenty of topics, not just this one [1]. Normally I'd hesitate to intervene in a thread about Airbnb [2], but this thread is particularly awful so far, with only one comment responding to the article.)

1. https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

2. https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
If you change the ePub extension to png you just email it to your kindle address..it will be in your doc section.
Windows NT had personalities for decades. It's a very old capability.
> Elon Musk has unveiled a redesign of Tesla’s Solar Roof tiles, dubbed “Solar Glass Roof.” The new roof design will cost around $42,500 for a 2,000-square-foot roof with 10kW of solar capacity before tax credits (or about $21.25 per square foot), according to Tesla’s website, though pricing will vary by size and location. The new roof will come with a 25-year warranty, and be offered in a dark tempered glass finish to start, though Musk said Friday he hopes to unveil new designs “every six to nine months.”
I do not understand what you are writing.

GDPR applies to EU companies only. It is legal in these countries. Not sure what "illegal" means in your comment. Illegal where?

GDPR also states that a non-EU company has to follow GDPR if it offers content accessed from the EU and has presence in the EU (where the fine will be applied). This is normal practice because local law cannot apply cross countries. It is also unfortunate because stronger countries bully weaker ones that way.
My Uber estimates usually end up being half as long as the trip actually takes in NYC anyway.
I think the current situation of India is similar and can be compared to the DotCom bubble of '90s (in US). In Bengaluru it is said that, in almost every home you will find one CEO of a startup.

I might be wrong but just thinking out loud.

For example:
PhonePe app - It's just a payment transfer app by Flipkart (although it is much better than GPay, in terms of usage speed) - its current valuation is around 7-8B+ USD. I don't get the much reason. There are no intermediary charges as PhonePe uses UPI Payment Interface (https://www.npci.org.in/product-overview/upi-product-overvie...)
That's just what the reviews say for every app on the play store.
From PG&E's standpoint, what they should do is use the blackouts to extort as many concessions as possible from the state in terms of having the taxpayers pay for maintenance, and passing some kind of liability protection legislation so they're off the hook.

What the state should do is seek some kind of emergency court judgment that electric power is an essential service that PG&E is not allowed to cut off for mere financial liability reasons. Then get a court order that says PG&E has to turn it on, if they refuse, jail people until they find somebody willing to follow the court order.

Basically, if the state's doing their job, they'll tell PG&E they made their bed and now have to lie in it. Meaning they're forced to run, and if more disasters happen due to their reduced maintenance, they go bankrupt. The shareholders and bondholders are wiped out, and since it's an essential service, the state runs it using tax dollars until they can find new investors willing to take it on. In practice, this probably wouldn't happen until the state was done fixing the maintenance backlog on the taxpayers' dime.

Since homes were destroyed and lives lost as a result of their actions, the people who originally decided to skimp on maintenance might be criminally liable and end up in jail, IANAL though.
Have that same attitude but change the word 'cyclist' for 'blacks' or 'latinos' or 'jews' or 'women'.

Then you will see why your attitude is abhorrently wrong. Or maybe not. Up to you.
The early 2000's were a period of especially low usability for Microsoft's products.

If you thought that was bad... look at the "app-ombinations" which pass for productivity software today. Wide expanses of useless whitespace, low-contrast ultra-thin fonts, monochrome hieroglyphic icons everywhere, patronising "cute" and unhelpful messages, the ridiculous levels of bloat, and of course the pervasive spyware --- or "telemetry".
Connecting local electricity that powers local homes, businesses and factories so that it can be run and prioritized by someone not local might also be seen as "political".
The cross-platform version of SMS is email. Both date from decades ago. There are countless more recent messaging systems, but nothing has achieved universal reach.
I'd be interested in that!
I always have to buffer it, but I never quite know how much to buffer. Usually I add 5-10 minutes to the number. Or round it up.
I saw an interesting argument that we've always had the so called filter bubbles before the internet, it's only more noticeable NOW, because of public spaces like twitter.
An extensible Go cache lib with multi-stores, chaining, invalidation and more
They never explain the risk, the unlikelihood of selling.
Indeed. Plus, girls won't go for a second date if they see green bubbles.
HNers with long memories may remember the very similar XKCD "Alma mater" challenge from 2013[1][2] (which is no longer active). There is a sort of continuance of that online at https://beatthehash.com/ .

The goal of that challenge was similar: find some input string by brute force, such that the Skein-1024( input ) XOR a provided "target" has more zero bits than anyone else. (At the time, Skein was a SHA-3 finalist.)

Git commits must be marginally structured, whereas the Skein challenge input was arbritrary, but that doesn't change the problem much.

[1]: https://xkcd.com/1193/

[2]: E.g., https://web.archive.org/web/20130403124655/https://xkcd.com/...
I have an old Kindle that I don't really use anymore, a Kobo Aura 2, and I recently bought an Onyx Boox Note Pro.

The Boox is awesome. It was expensive, but I think it was worth it. It's a huge 10" paperwhite tablet that runs custom Android. You would not want to lay in bed with it because of it's size and weight, but you can read large PDFs that are difficult to view on smaller screens (mostly due to obnoxious margins and font choices).

Because it's Android I can install browsers and other apps that I might want. I mostly just use it as a boring reader though.

The Onyx software isn't perfect, but it's pretty good considering. They are innovating, which is more than I can say for Amazon or Rakuten/Kobo.
fish is my preferred interactive shell (I have window 0 on screen set to be fish), I still write all the scripting I do in bash, because I know it's probably already installed out of the box.

Until you raised this point I didn't think if fish as something you'd script with.
As nice as fish is, it's not fully posix compliant, leads to some weird bugs here and there
Oh yea? So at what point do you feel Apple had no more use for Steve?
Study casts doubt on carbon capture
Show HN: ADE – A common, consistent dev environment based on Docker
I've heard of this syndrome a number of times. I've also heard that anyone that has fatty liver disease without being an alcoholic should at least look into the possibility that the gut is producing alcohol on its own.

I wonder if a fecal transplant would be a cure for Auto brewery syndrome?
Well, we could argue semantics, but that sounds like a hidden fee to me: advertise with one price, while there is a second "hidden" one later on. Can also call it "additional charges" or something.

Either way, it's not legal: https://europa.eu/youreurope/citizens/consumers/unfair-treat... and https://europa.eu/rapid/press-release_IP-18-4453_en.htm

I dealt with this issue a few years ago at a job I worked at for a similar service to AirBnB, the original design was list an accommodation for, say, €500, and then add-on €25 booking costs and insurance later on in the checkout process. We had to change it to list the full price up front.

Enforcement varies per country; in the Netherlands it's quite strong and you run a real risk of fines, but in UK it's very weak and it's common for there to be additional or hidden charges. It's interesting how the "sell an item" pages for ebay.co.uk and ebay.nl differ: on the .nl site it's very clear up-front what you will pay exactly, on the UK site it's not even clear you have to pay anything unless you follow 3 links.
2) You could (maybe still can I haven't tried it for a while) drag documents onto printers in Windows. There was a printto verb for the shell that enabled this. The problem was not many developers supported it.
Well, but Person B was compensated for her time.

If you hired me to build your house for $100k, and you paid me, and then you sold the house, making a profit of $300k, would you give me $150k? Likely not.

I think a better argument is below from 4ntonius8lock, who says that employees were supposed to get (a) $100k AND (b) stock of some value. But employees were not told all the rules under which (b) could be zero.
The pattern seemed to: great story, engaging arc, high viewer ratings, sneak in individual episodes where there is a crisis that is resolved in a single show and the arc doesn't move so we can stretch the overall story. Lastly, I either stop watching or the show ends mid-arc.
Designer/Programmer for 20 years

System font stacks are a way to produce consistent designs across machines. You use them because you know for certain that a font is installed on a machine. This comes with some benefits. But the primary benefit would be maintaining a certain level of control of the brand/site.

By specifying "sans-serif" you are handing over the control of the font to the user. Now if I were to set my default font hypothetically to wingdings, The whole site becomes instantly unusable.
That is an extreme for certain, but the point remains valid if I set it Comic sans because i like the look of it. The New York Times would lose the timeless feel and serious nature they have worked hard to evoke. If I changed it to Consolas I would throw the old and well established rules of typography like leading, kerning, line length and visual weight straight in the bin.

Many people may not think about those rules, because those rules are like special effects - when they are good, they are invisible. No one stops mid-page to remark how readable something is. Just like no one questions if an Apple store is an apple store. It just is, everything screams "Apple". But change the Apple stores primary colour from white to slightly grey and everything will feel slightly off. You mentioned Wikipedia uses "sans-serif" only yet wikipedia doesnt focus too much on brand or legibility of their content. They focus a lot on the quality of the content.

So thats the high-level take on why forcing a system font is preferable for designers, it provides a fairly predictable experience with some well designed default fonts that are already installed, without having to worry about unusual fonts breaking designs. Thinking too much about it is for big corporate site where there is money to care about such things. Often, a Corporate Identity comes down from Marketing and front end guys have to follow it to the letter.

(NB I have not mentioned my thoughts on RTL and international languages purely because I am not qualified to do so. Not an expert, just aware this is a massive problem on its own)

Having said all of that.. I personally think there is nothing wrong with "font-family: sans-serif;" and use it often.
I find self-help books and self-help gurus like Sampson to be something akin to placebos for willpower, but placebos work for a lot of people so I guess I just go through life gritting my teeth and bearing it rather than spending my time complaining how it's all a bunch of bull.
Do you have any specific reasons to cite for this belief? It sounds like a minority of the population find certain facts inconvenient when they conflict with their world view. This doesn't mean that the way news is being reported is changing, unless you prefer "alternate facts".
If you install fish, you should also install ohmyfish so you can install a good theme. I like bobthefish:

https://github.com/oh-my-fish/oh-my-fish/blob/master/docs/Th...
I use telegram as my cross platform replacement for iMessage, it's solved so many communications issues.
Ivr seen what YouTube recommends for my partner and I definitely don't want that in my feed. I'm not sure that what YT is doing now is the best, but it's better than nothing. At least I get recommendations for topics in intery in, not just whatever the latest insta trend is
> Men approaching women in real life is now rarer than it was in favor of online meeting through Apps.

Ask your female friends (if you have any) about this. You might be surprised.

> Elite men can get dozens of sex partners.

Why so low? I have a few friends who have had more than 100 partners.

> Average or subpar men are essentially invisible in the dating market as evidenced by declining rates of sex by most people.

Nothing to do with dating apps. 70% of the adult US population is obese or overweight. Those people have a very hard time finding partners, and obese men have associated coronary issues that can make even maintaining an erection difficult.

> Dating Apps are part of the reason that birth rates are generally dropping in first world countries

About time; if only the population crisis could be solved by dating apps! World population in 1969 was 3.6 billion, today it is 7.7 billion. We need any and all measures to bring down population levels.
Sure but one of the clause is "satisfy an officer that you will leave Canada at the end of your stay" and the best way to do it is via a ticket especially if you are retired/self-employed. At the end of the day everything is a crap shoot and it depends on the visa officer's mood.
The whole process of biometrics, documents, evidence, itinerary , tickets, forms took me 4 months for a two weeks visit of my parents to see me.

It's highly enraging and I agree with parent poster that birth country heavily restricts their movement even if they have the resources or are skilled.
That's easy.

How can you think it is reasonable to expect someone to sign up for an service just for you?

How do people find it acceptable to use more than one-two messaging services?
Strictly speaking though, UK also only have advisory referendums. If parliament wanted to they could just ignore Brexit. Politically impossible even if legal, though.
Interesting premise, but the data doesn't support it very well.

https://wir2018.wid.world/files/download/wir2018-full-report...
And why should there be? Leftists are mentally ill people who are delusional. They live in a different world and have ZERO common sense and aren't in touch with reality. They don't even look at history to realize their ideas are not only stupid, but complete failures.
Show HN: Using asynchronous iteration to consume market data feeds in Node.js
The fast proof checker I talk about is mm0-c: https://github.com/digama0/mm0/tree/master/mm0-c . It is (deliberately) bare bones, and I'm planning on formalizing approximately the assembly that you get from running that through gcc.

There is a second proof checker for MM0 in mm0-hs: https://github.com/digama0/mm0/tree/master/mm0-hs , which has a few more features like the MM1 server mode to give interactive feedback, as well as a verifier that reads a text version of the proof file (not described in the paper, the .mmu format).

The footnotes are supposed to be links to the github repo but I got the versions mixed up and submitted a partially anonymized version to arXiv.
If you continue to post unsubstantive comments and flamebait to HN we are going to have to ban you.

https://news.ycombinator.com/newsguidelines.html
First off, your backend language does not dictate what technologies you can use on the front end.

Second, switching languages/stacks doesn’t magically translate to an improvement in business. If the stack was holding them back then I’d understand, but I’m not sure that’s the case.
want to remove a device? drag it to the trash where the icon suddenly changes to eject

"intuitive"
Irony that you're downvoted for staying a very relevant fact. Most of these startups that have raised huge funds are also burning cash like anything. And established startups like Oyo and Zomato are facing backlash from their business partners and couldn't expand to venture into new areas to find profitability.

Profitability is still a very long way for most of these b2c startups
Probably no different than similar dark patterns on airline or gambling websites.
I have a 10" Boox Note Pro. It's expensive but pretty good. Android based. Hopefully Amazon will get some more competition here in the future and they might be forced to innovate.
I absolutely love Canada. The IT is growing and the people are exceedingly polite and nice. The weather is brutal though even compared to NY.
Right, it looks pretty reasonable to me too. Zen2 still doesn't have AVX-512 anyway, so the super parallel paths this aims to really help aren't applicable anyway.

Zen1-2 should land on the "AVX 2 (Haswell)" path in the linked excerpt -- they have AVX/AVX2, F16C, OSXSAVE, and RDRAND -- which is the best ISA without AVX512 implemented in the compiler. That's entirely reasonable on Intel's part.

(I don't know why they look for RDRAND in a compiler, but whatever.)
I've stayed in my fair share of Airbnbs, and the forced interaction can be annoying at times.

Another thing I hate. I was in about 5 Airbnbs this month, and almost every time I'm told not to let property management know I'm from Airbnb. I'm paying a few hundred dollars a night, and I'm given strict instructions to tell the concierge I work for their company and I'm staying in their apartment for business. Or, they need to meet me on the street, so they can escort me into the building and introduce me to management as their good friend from out of town that is visiting for the week.

Airbnb needs to get more strict on hosts. I'm paying money for a service. I shouldn't arrive at my accommodation and be given a script filled with lies to follow, otherwise risk being evicted.
The top 500 corporations become gatekeepers to citizenship, as they outbid _everyone_ else for the H1-Bs, they then use their stash of H1-Bs to drive the price of wages down for US citizens

This makes literally no sense. How would a company simultaneously pay a million dollars for an H1B and underpay them?
The money comes in from businesses who are offered loans based on the transaction volume PhonePe sees. Online businesses that use "Pay with PhonePe" links have to pay commission. In the broad sense, if it scales, it's a pretty decent business.
love fish. but love compatibility with bash most.
Building mobile-first web animations in React [video]
Facebook employees overwhelmingly back democrats (https://www.ft.com/content/2fa73048-db90-11e8-9f04-38d397e66...). So if Zuck wants to know people accross the spectrum, he already has many democrats in his company, but he needs to make a conscious effort to meet republicans.

EDIT: The replies here focus on the supposed difference between democrats and leftists. If leftists really are such a tiny, radical group, that in his life in the bay area and his work on facebook, Zuckerberg doesn't come accross any of them, then it still makes a lot of sense for him to focus on meeting republicans, which are half the country, rather then leftists.
A few weeks ago, we organized a competition and we asked the top 3 participants to send us their solution to our gmail. Two were using their own domains (.io and .su) and one was using Gmail. The two with their own domains just got in the spam folder, and without surprise that Gmail one survived.

"If you want to set up your own email domain rather than using Gmail, good luck."
Apple's interfaces have definitely evolved, but the changes have tended to be, compared to other platforms, minor and reserved. The overall motif of menu fixed to the display (rather than windows), three window buttons, hotkeys, etc., haven't changed, though colous, styling, and some features (multiple desktops, dark mode) have come and gone.

My preferred desktop, Windowmaker, is even more conservative, as it's seeking to emulate the 1980s NextStep desktop, though there have been a few changes, and I noticed many of them sharply.

But contrast Microsoft, which had fairly sharp changes from the Windows 1 days to present, or the gratuitous changes tossed out by the major Linux desktops (GNOME and KDE), and it's no contest. Mac has an incredibly stable GUI. I don't much care for it but it's stable.
Side doesn't matter in itself, but all our neighbours drove on the right side, which in itself is a good enough reason to switch.
I use 10 daily and see no ads. Where does windows 10 show ads?
http://archive.is/L1TBx
Hmm, SMS seems even less common in at least several European countries, so I don't think it's just because of the carriers. At this point, my SMS usage is limited to two-factor authentication codes with the rare message to a person.
me. the Java ecosystem used to update too slow and unreliably. After spending many hours wrestling the default jdk and ways to make different programs use a different install I just gave up. I still use my Mac for media production because it's still a power house after this many years but for everything else I'm back in Windows. it's ugly and not ergonomic when you go to the insides, but it sits in the background and let me do my things instead of pretending to know better at every step.
Yikes based on Android 6!

It looks cool and the idea of an eink monitor is appealing. I have a Onyx Boox Note Pro that I bought a few months ago that can apparently do something like this but I've not actually tried it.
At the time it seemed like a huge price. It's only what's come since that makes it look small.
It is worth adding that the strike failed because a majority of the people involved could no longer feed themselves, rather than any moral imperative.