skysight-inc/HackerNews huggingface dataset:
I think the point is not about backups. It is really, really easy to set up a remote git repository. Everything is nicely documented in chapter 4 of Pro Git [1]. Because a git remote is nothing more than a plain directory, you could serve a git repo anywhere you could store files, even on your own disks.

If multiple people need push access to a private repository, just serve a central repository as on a VPS and use SSH for authentication. I am not sure if there is a reason to use a third party hosting service for this, especially when hosting private repos.

[1]: https://git-scm.com/book/en/v2/Git-on-the-Server-Getting-Git...
Surgical Assistant's Presence During Knee Repair Leads to a Costly Surprise Bill
An interesting point - I browse with JavaScript disabled. The example at the bottom of the page rendered for me without newlines, in a manner that meant the thing rendered in a completely unparsable way due to comments like:

// Field names

This experience has reminded me why JSON is such a great format.

And having a whinge while I'm writing, "superset of JSON" is basically false advertising even though it is true; JSONs refusal to admit that line breaks are a thing is a major feature. I don't care it if it is technically correct and useful to some customers, if line breaks matter it is inappropriate to talk about a format's relation to JSON because people will get the wrong idea. The JSON brand is so strong because it is nigh-impossible to get wrong. This format gets screwed up - eg, for people who don't like JS.
Henry Petroski claims that engineering ethics was founded on the principle that an engineer should not compete with another engineer on the basis of price.

A good philosophical ethics class is mostly uncomfortable...
> The classic formula derived from it, n/log(n), is always above the actual number of primes

No? pi(100) = 25, but 100 / log(100) = 21.7

The logarithmic integral is larger than pi for "small" arguments. But there is a pretty famous proof that li(x) - pi(x) changes signs infinitely often.
Readability is probably always going to be a very personal thing as it has a lot to do with familiarity. Having worked with all the languages you mention, I don't find Rust to be any less readable, and definitely enjoy reading it more than C or C++.

I get how coming from C or C++, deciding that it's not worth turning to a new language in this space that meets the same requirements. I made that same choice years ago when I switched to Java primarily for memory safety. This is no longer a trade-off you need to make with Rust (i.e. turning to a garbage collector), and that's one of the reasons that I've enjoyed it so much. Obviously, YMMV.
A design is an outline, sketch, or plan. So it doesn't specify the level of detail.
Tesla doesn't just make cars. They are really a battery company that happens to make cars that use their batteries, but they also make whole home batteries, which include recycling the ones from the cars, as well as solar panels to charge those batteries and charging systems that can be deployed to charge those batteries.

I'm not saying the valuation makes sense, but to compare them to a car company doesn't make a ton of sense.
Launch HN: Click to join upcoming Zoom calls
Hi HN,

We are Karthik and Charles, creators of NextCall (https://NextCall.XYZ). Our extension automatically opens popular conferencing solutions like Zoom, Google Meet, Skype, Microsoft Teams and many more. We allow users to add as many calendars as they want (Google and Outlook for now, but more are coming soon).

We built NextCall after we were inspired by the mac menu bar app ([https://trymeeter.com/](https://trymeeter.com/)). Since we have wanted to build a Chrome extension for a long time, we decided to make one for windows users and those that prefer to keep everything in the browser.

Interesting technical details:
- We built our extension using React, which we quickly realized was the wrong decision. Using vanilla JavaScript would have been a much better choice.
- Our backend was done using google cloud functions that work with the Google Calendar and Microsoft Outlook APIs, we don't store any user data besides emails for providing the service

Let us know if you have any questions about building a Chrome extension in 2020 or about the product.
Yep, we're thinking about this alike! My answer will be: an emacs-like git hosting experience.
Structured Evidential Argumentation System
I can recommend watching some twitch streamer, like jorbs or baalorlord, a couple of times. They tend to do it during either ascension 20 or under some other restriction, but the lessons they teach will help a lot. In some cases they will expose combinations of cards that you might not have understood how well they work together, and in other cases they will show and explain cards that is good in the endgame but not very good before that. Very, very helpful.
Sure they are but significantly more people deficient in vitamin D are dying as well for reasons that have little to do with Poverty. Complete racial equity is likely impossible.
"Publicly traded company" is technically true but misleading. VectoIQ was a special-purpose acquisition company [1] -- it had no employees and no revenue; its sole purpose was to be used as a vehicle to take another company (like Nikola) public.

[1]: https://en.wikipedia.org/wiki/Special-purpose_acquisition_co...
Very interesting!

I think the biggest weak points of firebase are a. a weak query engine (as soon as you reach non-trivial complexity you end up having to de-normalize data) and b. a weak rule engine (relying on a bunch of boolean logic is not going to scale as your app grows. you need more abstraction power)

Looks like your library addresses both -- crux has datalog queryability, and the rule dsl you wrote seems pretty powerful.

Good work Jacob!
I was thinking more of 4chan moderators.
Now do GPT-3.
Because some angry people seem to believe that no action should ever be taken, under any circumstances, to limit negativity.
Well, EV tax credits are subsidies for a "category" -- electric vehicles -- not specific companies. Every EV customer gets them, and their intention is incentivize the transition to electric transportation, so they're working as they should.
> fell under pressure

What kind of pressure did they fall under?

Its either a moral pressure (option 1) or a financial pressure (2) isnt it? What other kind of pressure is there?

Regarding your examples, i have no doubt that if Lego felt releasing such kits either violated their ethical standards (1) or threatened their profitability (2) they wouldnt make the kits, and that is where they (not I) presumably draw the line.
Its a fair question. My take on it is more toward the introspection/self-analytical side of the argument than the tool-using/self-awareness side. Though both are clearly "intelligent" in the dictionary definition.

In casual conversation however, per Gretchen McCulloch's book "Because Internet"[1], I tend to stick with phrases that are most accessible rather than those that are most precise.

My experience is that being overly precise in my speech can be off-putting to people. Enough so, that when I have encouraged feedback, both positive and negative, on my communication skills it came up more than once as "making you seem like you are showing off how much you know about something and making others feel dumb."

[1] Really a great read, my daughter got it for me for my birthday and I thoroughly enjoyed it.
Majority of people use Chrome. So it’s a very valid tip regardless of what browser I use.
That was not a funding going to the company, only to the customers. It made the cars a bit more affordable, that certainly helped. But it didn't fund the company. Also, they have long expired for Tesla, the only companies benefitting from the tax credits are the competing companies.
Only a human should be able to decide what other humans can and cannot see. A future where computers are responsible for "deciding" what information we consume about the world is not one I want to live in. Computers are already being used as tools of censorship, we don't need it to be expanded further.
Companies that raise prices in exceptional situations take a major reputational hit.

The canonical example is snow shovels after a blizzard.
I really liked all of the MIT philosophy courses[1] I've taken. Introduction to Philosophy of Language in particular was really interesting. I also took Yale's "The Science of Wellbeing"[2] after reading about it on HN. It's great, but not exactly a traditional class where you learn some piece of information and then move on. It's more like going to the gym where you're meant to continuously put what you've learned into practice. Now that I think about it perhaps I should take it again!

[1] https://ocw.mit.edu/courses/find-by-number/

[2] https://www.coursera.org/learn/the-science-of-well-being
I'm more on the side of their argument that they have to lock the phone down without their own ability to access the data (which I agree with), but falling back on encrypting the backend the same way (buckling to Federal pressure).

I would love it to be encrypted through out. Even it if means, that if I lose access I may not be able to get it back. It's a tradeoff. The marketing position of being secure is factually true for the phone, but they imply the data is when in fact it really isn't.
How many consumers do in depth security analysis on devices before buying them? You are in a bubble of you think that’s normal behavior. And to do such research on a device, wouldn’t you need to buy a device? You’re going to buy a device to research if you should buy the device? And sales numbers would indicate that most people are confident enough in Apple’s security.
VW is shrinking, its leaders are not innovative and their suppliers are dying while VW is scrambling to bring component development back in-house.

Estimates for Q2 2020 are around -3,2 € per share (EPS) for Volkswagen while Tesla posted a profit.
It is rather ironic that the chief complaints about JS are how it makes things bloated and unresponsive, yet this is 100x the size of http://www.play-minesweeper.com and the time to interactivity is recognizable by comparison. The HN community is a funny one, sometimes.
Sadly the certificates matter.

After 3 years I've finally convinced my employer to drop the "bachelors degree" requirement from all our job ads but I can't see it making any difference. The way people are hired is totally broken and being able to flash your credentials hugely increases the salaries of most people.

If you don't agree look up how much actuaries get paid. The maths isn't all that hard and 5/7 of the exams to qualify as an associate are just maths and stats.
Yeah, it really only points out where you have a problem.

The solution is still up to your expertise. Including deciding some repetition in OK.

Still, being able to see these design problems has been immensely valuable in my work!
> You're going to end up with a bunch of rich white dudes as founders

Is there any reason you included "white"? Are black people not able to be rich, or are white people more interested in tech, or are black people discriminated against by YC, or... what?
A) When it’s significantly cheaper to produce vehicles outside of the US due to regulatory and labor costs, Tesla will do what’s economically rational. B) US auto manufacturing is subpar. A big reason why I liked Tesla in the beginning was the narrative of US manufacturing revival. Thought they were serious about producing quality vehicles here. Past two years showed that’s not the case.
You don't get any increase in margins for porting to iOS if the percentage changes for the Play Store because you can't sell to iOS customers via the Play Store.
Wouldn't doubt it!
Sunlight is reflected from earth too.
By this logic Twitter should also ban all Muslims because there are extremists who call for the death of infidels. Instead it's far more reasonable to just crack down on hate speech and harassment in general, which I would have assumed they already did.
Microsoft Maquette – Spatial Prototyping in VR
I think "superset" is a clear relationship. It means "legal JSON is legal Ion", just like "legal JSON is legal YAML". I don't think it's inappropriate to point that out. In fact, it's an excellent feature.
Cooking the earth due to global warming might cause civilization to collapse, but not for 50 years; causing massive economic hardship by shutting down the fossil fuel infrastructure will end with the ruling class getting the guillotine tomorrow. For them, it’s no choice at all.
What do you expect frOm this Guy? he's the go to for security info for people that don't understand computer security. He's good at using search engines and filling obvious breadcrumbs to sites that perpetuate fraud and basic hacks. he's the defacto standard for everyone that needs this kind of research put into layman's terms and that standard comes with a low bar.
I tend to reach for a design doc when I have (1) an ambiguous problem, (2) no obvious solution but N possible candidates, and (3) need feedback from multiple parties.

The primary functions (as people have mentioned elsewhere) are to (1) drive consensus and (2) record thought processes at the specific point in time.
Is this a case of trying to solve social problems with technical solutions? Maybe a platform like FB that is not run by the community that uses it simply cannot regulate users behaviour like a real social community can.
Learning Quantum Computing based on skill level (math is the biggest friction point, suggested pdf should save you lots of time)
(Recc is personal recommendations, Hi-Recc is look at ASAP)

# QC Main Ideas

- Rotate, Compute, Rotate
- Think in Amplitude Interference

# Beginner:

-(Hi-Recc) Quantum Computing Primer (1.5hr) : https://www.youtube.com/watch?v=F_Riqjdh2oM
-(Hi-Recc) Math Primer for Quantum Computing (easiest intro/primer I found on the topic; Highly Recommend ) : https://cds.cern.ch/record/1522001/files/978-1-4614-6336-8_BookBackMatter.pdf
-- understand Bra Ket notation [<Bra|Ket>] (Ket as Column vector, Bra (Row vector) as Complex Conjugate of Ket (denoted as dagger) )
-- understand Kronecker product ( for multi-qubit systems)
- Quantum Computing for Computer Scientists book - https://www.amazon.com/Quantum-Computing-Computer-Scientists-Yanofsky/dp/0521879965
- Quantum Math Primer (Faculty of Khan) (found a bit hard the first time around, pretty dense) : https://www.youtube.com/playlist?list=PLdgVBOaXkb9AtG88OsK_c8FDEBDLCC6_9

# Intermediate

-(Recc) Ryan O'Donnell CMU course [is the best if you want to really understand the capabilities of quantum computing, get practice with math, intuition] (algos connection to Fourier, Quantum Complexity Theory, Math best practices, learning multi-quibit systems)
-- Quantum Computation and Information at CMU : https://www.youtube.com/playlist?list=PLm3J0oaFux3YL5qLskC6xQ24JpMwOAeJz
-- Lecture Notes (use as reference in case video is not clear, or camera shot lags/changes) https://www.cs.cmu.edu/~odonnell/quantum18/
- Mermin's Textbook https://www.goodreads.com/book/show/1959623.Quantum_Computer_Science
- Nielsen & Chuang's Textbook https://www.amazon.com/Quantum-Computation-Information-10th-Anniversary/dp/1107002176
-- Nielsen's Lectures https://www.youtube.com/playlist?list=PL1826E60FD05B44E4

# Advanced

-(Recc) Scott Aaronson Graduate Course http://stellar.mit.edu/S/course/6/fa14/6.845/materials.html
-(Recc) Scott Aaronson Papers (really interesting) https://scottaaronson.com/papers/
- Complexity Zoo - List of Algorithms https://complexityzoo.uwaterloo.ca/Complexity_Zoo
-(Recc) Machine Learning https://www.amazon.com/Quantum-Machine-Learning-Computing-Mining/dp/0128100400

# Reference:

-(Recc) https://qiskit.org/textbook/preface.html ToC for different algorithms ( easy to follow, do it for quick basic algo math implementation lookup)
- 'Suggested texts, notes, and videos to look at' section at bottom of page https://www.cs.cmu.edu/~odonnell/quantum18/

( I found this skill level format useful when learning Haskell/Functional Programming Paradigm. This is what I found useful for getting started with minimal friction; if more of a textbook learner Nielsen/Chuang textbook or Quantum Computing for Computer Scientist's)
VW can literally flip the switch and start producing more e-Golfs etc when the demand is there.

No they can't. For one, the e-Golf is roughly competitive with the Nissan Leaf but has nothing on the range/performance of a Tesla. VW have been faffing about trying to launch their new ID3 EV for ages (has that launched yet?). Building decent EVs is hard. If the efficiency is not there in the drivetrain, then the car is either too short range or too expensive.

And you need to source batteries. Either gotta build your own huge factory, or squabble with all the other carmakers to source them from the same places as everyone else.

Look at recent efforts by Audi and Porche to make 'tesla killers'. They are barely Tesla ticklers. Maybe they have one strong metric or whatever (track handling for the Porche, charging speed for the Audi) but they aren't really anywhere close in price/range/overall package terms.

Here's a press relase from 2013, when VW declared they would lead the world on EVs by 2018.

September 9, 2013 /PRNewswire/ -- The Volkswagen Group has set its sights on global market leadership in electric mobility. "We are starting at exactly the right time. We are electrifying all vehicle classes, and therefore have everything we need to make the Volkswagen Group the top automaker in all respects, including electric mobility, by 2018", Prof. Dr. Martin Winterkorn, CEO of Volkswagen Aktiengesellschaft, said on the eve of the 65th International Motor Show in Frankfurt am Main.

https://tass.com/press-releases/700457
Sorry I mean compared to Google/FB... But that doesn’t translate to productivity though
Availability bias is a behavioral psychology term.

> The availability bias is the human tendency to think that examples of things that come readily to mind are more representative than is actually the case.

Ahh, my apologies, and thank you for the correction on gender.
I was writing a similar cli tool [1] to manage the git repositories on my own server. If you want portability, it should be fairly easy to write the cli interface in plain sh or bash, especially when most of the operations could be done on the server side. I am not sure if there is a reason to use a compiled language for this.

[1]: https://0x0.st/8zs0
An analogy is a blueprint for an explanation.
It’s not listed but there is a Go library

https://github.com/amzn/ion-go
That part is not going to be popular among developers, who understand that Apple "free rides" off of them too–without them there would be no platform. There are some "free" apps that are literally cornerstones of the iPhone, to the point where people might switch to a competitor if they didn't exist.
There was a news article about this in Science two years ago, which a couple such efforts: https://www.sciencemag.org/careers/2018/02/crowdsourcing-goe...
The Amiga used to let you plug in two mice - this is how Lemmings two player works!
The price was artificially low due to abuse from short sellers who have finally given up over the last few months. You can see based on the chart of short interest vs. stock price. Now it may have swung in the opposite direction, the stock seems to be crashing up due to gamma squeeze. But in my opinion if you are a long term investor (5-10) years the stock is still undervalued.
FWIW I completed my undergraduate degree in 2019, and I was required to take library science specifically. It was a half-semester course that taught students how to use the library.

I guess the value is it means the students have no excuse to not know how to find library resources, but I feel like most people in the class were generally familiar with the idea of a library and how to use it.
Both React Guitar and Fretty look awesome. Every time I see components like these, I wish the web weren’t fractured into different frameworks.
I think it is fine somebody is reporting on someone who admits to doing something shady. On a blog.
I'm afraid there are quite a lot of errors here. (Not everything in the following is pointing out errors, but most of it is.)

1. Yes, the quantity in the PNT is an estimate of the number of primes below a certain N. As usually stated among mathematicians, PNT is the statement that the number of primes up to x is asymptotic to Li(x), the logarithmic integral, and this is known to be sometimes over and sometimes under.

2. If you use x / log x instead of Li(x), then indeed it is known that once x isn't very small this is always an overestimate. But, again, PNT isn't the statement that it's an overestimate, it's the statement that it's a pretty good estimate. If Chebyshev or someone of the sort had proved that x / log x is an overestimate for the number of primes up to x, it would have been hailed as a fine achievement but not as a proof of PNT.

3. But your argument about "sieving out factors of a prime each time one is discovered" is not anywhere near to being a proof of PNT, let alone the stronger theorem that x / log x is an overestimate (which requires some concrete bounds on the error term in the approximation pi(x) ~ Li(x); the way you prove that x / log x is an overestimate is to show that x / log x is bigger than Li(x) by a certain amount, and then show that the difference between pi(x) and Li(x) is smaller than that certain amount; the latter is a strengthened version of the Prime Number Theorem).

4. The Wikipedia link you give is not saying that the Euler totient function is "a good way to derive the prime number theorem". It is stating a nice generalization of the prime number theorem that has the Euler totient function in its statement.

5. When you say "the prime number theorem is essentially defining the counts resulting from a sieve of primes. A sieve is an upper bound on the number of primes. [...] This is why the prime number theorem is an upper bound", I'm afraid this is completely wrong. If there is a proof of the prime number theorem that amounts to saying "look at this sieve, which easily gives an upper bound that's easily seen to be x / log x", then I don't believe anyone's found it yet.

6. It's "theorem", not "theorum".
Nonsense. Tesla doesn't even make batteries, they pay Panasonic to make their batteries with some Chinese batteries on the side.
If your estimates matter, you are doing agile wrong.
Reserve some time, do some work, repeat.
The chinese "scare" shenanigan is included in the article:

"The corruption allegedly did not end when HB 6 became law. When groups wanted to let the public decide whether to overturn this draconian policy through a petition for a ballot initiative, FirstEnergy wired $38 million in funds to Generation Now. This money funded ads that falsely claimed the Chinese government would use your personal information if you signed the petition. It also paid for bribery, harassment, and even physical assault of people collecting signatures. "
Covid-19 Testing in US Universities
Visual thinking isn't just for artists
Look for jobs in city, county and state government. There are all levels and sorts of openings available and they are usually willing to train you! Be ready to act b/c they may offer you a position immediately so be selective about where you apply.

And don't overlook the benefits of staying awhile with such an organization b/c the pension plans are often far better than those of private industry.
Well the Model Y has been on sale since March in the middle of a pandemic. The Model 3 has been on sale for 3 years.

I think we'll have a better view on Model Y demand in the coming year.
Parents consider ‘microschools’ to augment or replace virtual schooling
Surely building a binary that links against their SDK, as long as your are not using their toolchain, must be fine?
You want the subscribers to r/wpd. The people who mod it or those who come and visit everyday.

The entire point of this is to find those who deviate enough from normal to not be as impacted.
Doesn’t work on mobile? Safari / iOS 13.4.1 here.