skysight-inc/HackerNews huggingface dataset:
Some points of my view having just bought some stocks:

- reasonable but ambitious long term plans to increase the worlds battery production to insane new levels

- thereby doing actually something against climate change, like no other company

- thereby having the chance do get in serious competition with the largest energy companies in the world (oil/gas)

- long term plans to decrease the disadvantages of weight, cost and size of their current main disadvantage, batteries

- they are nailing energy effiency in their cars

- Full self driving beta is rolling out. No manufacturer is improving their already sold car like tesla does. This is key for me

- they feel like the apple of energy

- cybertruck looks awesome, thats a bold move for such a player

- battery wall, solar roof and tesla car are an insanely harmonic product for many places in the world

- using a tesla supercharger? Imagine Volkswagen getting a part each time you refill your car

- they innovate not just to show of on some event but to include it in their mass production

- they commit to public long term plans

- their non-marketing works. I mean come on, he shoot a tesla into space
> *JDs don't count

CalTech doesn't have a law school.

https://www.gradoffice.caltech.edu/academics/degrees
Consequences are not Pros or Cons
What differentiates this from k3s? Seems like there's a lot of overlap. Would be great if there was a quick summary of why someone would use this instead of k3s/microk8s/minikube/etc.
No, money is the thing you use to allow yourself to spend 200% of your time at work. Private tutors to school your kids so you don't have to. Cleaning services so you don't have to spend time cleaning. First class plane tickets so you can relax, sleep or work on the flight. Private driver or Ubers so you can work while driving places. A personal assistant to book travel, appointments and everything else mentioned so far.
Even then it might take a bit before you even notice or -care-.

My best Sony E 18-55 is ever so slightly cocked out of alignment when at it's past ~45mm or so, yet you could never tell from the photos.
Ok who talked?
I may be wrong here, but don't mathematicians sometimes "compute" in a meta-language that's sometimes more powerful, or less formal, than the system they are inferring things about?

Hence why they need results reviewed and a community to agree upon what's acceptable as a proof. Otherwise reviewing a proof would be an automatic process, if everything was done in the world of syntactic symbols with clear rules that tie one statement to the next.
Pretty interesting how the top 2 are both laptop parts. Workstation-type parts are way down the list.
> This is just an example of systemic problems that can and should be solved by increased automation and removing humans from the process

I've seen this pattern fail too many times to take it seriously anymore. Programmers (myself included) tend to rather drastically underestimate the likelihood that data can end up in an error state.

Humans make more mistakes, to be sure, but they can also sensibly correct mistakes when they discover them (or have them reported). Automated systems make fewer errors but once they do, the problem can be nigh irresolvable. Just look at the endless trouble we read about every few weeks from people who get their Google accounts suspended. Those people are suspended incorrectly by automated systems, and the widely-responded best recourse is to be well-enough connected to be able to get a human who works for Google to bat for you.

Machines are great for increasing scale, but they are terrible for handling edge cases. If edge cases are important to your system, you need humans deeply involved.
Fair enough, but the problem is you can't always find a team full of people "who has around the same experience and skillset as Peter Norvig".

That's basically what "The Mythical Man-Month" (the origin of the 10x developer) says: "Always recruit star programmers if you can, but most of the time you can't. Therefore learn how to best utilise the average ones."
It's hilarious to see him then compared to his current wikipedia picture
I'm curious how badly the pandemic has hit and will hit AirBnB. I scanned a couple of tidbits from the S-1:

- Reducing full-time employee headcount by approximately 25% (I'm curious from what/to?)

- Setting expectation for the potential of no employee bonuses for 2020 and reducing executive team member salaries for six months (interesting that executive team _salary_ is getting reduced rather than bonuses, no? At this level isn't most of your compensation not direct salary?)

- (to the above point) , in May 2020, we announced a reduction in our workforce of approximately 1,800 employees (So I guess they had ~9,000 employees?)

- Outstanding RSU obligations are quoted as ~$2.7B

It seems fair to wonder, given the timing during a pandemic, that there's a need or desire to cash out by the investors and founders.

I wonder if their headcount downsizing wasn't severe enough. 9,000 employees seems like a lot for an intermediary. A lot of these companies seem to get in the habit of thinking they're the next Google long before they have the Google revenues to fund such pursuits.

The risks section reads as expected.

I do wonder if the tide is turning against home "sharing". Unlike ride-sharing, there are significant externalities to deal with. People don't generally don't want to live near an illegal (in many cases) hotel and it's not so easy for them to up and move. It's classic tragedy of the commons.

What's more AirBnB has (IMHO) a provable negative impact on the supply of rental units in many cities.

So cue the standard self-serving defense of AirBnB. I, for one, would not be sad to see it go.
Presumably to check if the software that is about to run is in a blacklist. But this is nonsense because the blacklist could also be downloaded and checked locally.
I think they edited their post.
Would be quite hard to tell. AirBnb raised money 22 times since it was founded in 2008, including 6 rounds of VC funding. The early investors could do great or they could be wiped off if that's what the later investors wanted to do.

https://www.crunchbase.com/organization/airbnb/company_finan...
I'm already evaluating my company's move off GCP.

We were using their managed MySQL instance. Without any communication, they pushed a silent update which broke our year-long security system that updated MySQL _priv tables in line with specific permissions and roles. There is no workaround.

When I reported the bug, it was labeled "Working as intended," again with no communication from Google as to why this breaking change was made, or even confirmation that it was something that Google changed at all. We spent days trying to figure out why we could reproduce it in some databases but not others, including diving into the MySQL source code.

I don't have experience with their Postgres product, but pushing breaking changes to a database with no notice or communication (either before or after doing it) simply isn't acceptable.
Third generation expensive consultant here. Clients don't pay you for your time, they pay you for theirs. There's a level of abstraction in orgs that you need to be able to navigate and influence. The Twitter hire I get, it's strategic. Man, we all got old.
I know we recently launched https://cloud.google.com/database-migration

Disclaimer: I work for Google on a different project.
EGB is one of my favourite books ever, but I think it doesn't explain Gödel's theorem as simple as it could. Of course, there are just so many wonderful things in EGB that this is not a fatal flaw by any means.

There is a fantastic book called "The Universal Computer: The Road from Leibniz to Turing"
by Martin D. Davis that makes a very good job of explaining the context of Gödel's theorem, the theorem itself and the relation with computing in an accesible way. I'd recommend it to anyone interested either in computers or in Gödel's theorem.
Actually, I agree with you in that compliance is far more important than whether a lockdown is legally enforced or not.

That means defining lockdown as "government restrictions legally enforced" doesn't make sense. Defining it as "government restrictions widely complied with" would make a lot more sense. And by that definition, Sweden has apparently had a lockdown.
Let's also accept that many judgements on outcome are not only subjective but culturally biased. Assuming we both agreed on values and we were analyzing identical scenarios then you could argue that a difference in choice would boil down to differences in the effective use of reasoning
Should anyone ever encounter a medical image of type xdr, I've written a small library that reads them [1], also a simple viewer [2]. I've since changed careers, but please use it if you wish. Medimage also reads dicom imagery, and represents the data internally as a numpy array, which might help you write that diff tool.

1. github.com/brenthuisman/medimage

2. github.com/brenthuisman/dosia
I like airbnb. They need to get better at weeding out fake/scammy listings, that tend to plague many online marketplaces where things can be listed for free. Maybe some in-person verification system, or a fee that gets refunded if you have a certain number of guests. There are plenty of listings with huge/exclusive homes, yet no reviews and extremely cheap prices. I don't know what people get out of these listings, but it's really weird and makes the user doubtful about the authenticity of the marketplace.
> he spends 200% of his time at work

Perhaps the money goes towards cloning costs?
Compared to something like Snowflake, Airbnb's business is very seasonal (most people travel during summer & holidays), so there is always some seesaw even on good years. NYE is the most popular night of the year.
Hard Lessons from Deploying Lambda Functions with Terraform
He's not saying that models should not be used but that they should be used thoughtfully. Brainstorming in groups helps at first, but later sessions where you play Devil's Advocate to critique models and/or re-evaluate are also useful.
Today, those three bolts are done by robots. Perhaps a modern very expensive consultant builds the AI to "interrogate" the robots for useful suggestions.
That depends which pox. For chicken pox (varicella) before we had an effective vaccine almost everyone got infected at some point. The effects were more severe for older people so it was safer to catch it as a youth.
So 7.5 years.

Solar/wind are dropping in price at double-digit percentages per year, as are numerous metrics for battery storage for cost.

in 8 years, solar/wind with -10% (which is actually conservative in the last 20 years, solar has been dropping 15-20% per year I believe) will be only 40% of the current cost.
The decision to use this chip (vs the WD) in the BBC Micro made me wonder if there were other obvious-in-hindsight bad/weird/hackish choices in classic computer design?

The PC-AT's use of the keyboard controller to control A20 and CPU reset comes to mind.

Any others?
Ah yes, you're right, and my lazy wording in the former comment is inaccurate. A Gödel sentence is just a statement written in the syntax of whatever formal system we're dealing with: generally, it's a statement that there exists no natural number which satisfies a particular property. The formal system cannot prove or disprove that statement.

As you said, we tend to call the statement "true" because we know that the formal system itself was designed with the intention to describe natural numbers and arithmetic, and the statement was designed intentionally to refer indirectly to itself and claim its own unprovability. Since the statement is formally unprovable, we interpret it as being true. I had forgotten that Gödel actually showed that there are other interpretations of the formal system in which the Gödel statement is false.
Nothing, a lot of lovely people are affiliated, many of them pretty hard core, but cDc itself is really just a clique that had a newsletter for awhile.

A thread:

https://twitter.com/tqbf/status/1328432737884266497
I partly agree with that. Although oat milk is not that strong in flavor as almond milk (at least for me), cappuccinos are very dependent on the milk used, to get the right texture, as opposed to just coffee+milk. So yeah, depending on the type of milk used, the results can go from great, to meh, to just "that doesn't feel like a cappuccino"
It is not the case, and all that has happened is a removal: https://github.com/ytdl-org/youtube-dl/commit/1fb034d029c8b7...
MIT issues around 600. A little lower in 2020 perhaps due to covid slowdown.
Surprisingly, these are actually the full challenges. The PDF can be found in the Internet Archive:

https://web.archive.org/web/20090407054314/http://www.darpa....
I thought I replied to this post, but I guess not and my reply ended up being a top-level reply, which is just as well. I will just mention my main two quibbles to this otherwise excellent post and others like it so that other people who embark on introductory posts to Godel's results don't fall into the same trap.

1. Please don't bring the notion of truth into an introductory explanation (such as in the section "Power of Numbers" or in the short intro to "Hilbert's Program"). It makes it very confusing, especially in light of Godel's other landmark result, i.e Godel's Completeness Theorem which simultaneously applies to many of the same logical systems and can be very very vaguely described as "all true things are provable." Just stick to incompleteness and consistency at a syntactic level instead of appealing to truth, that is respectively the ability to always add new axioms and the lack of syntactic contradictions.

2. The lack of a system S's ability to prove its own consistency is not interesting by itself since we would not trust a proof from a potentially inconsistent system. Hence it is not, in a sense, terribly interesting that we require an infinite tower of increasingly stronger systems to prove the consistency of S and themselves. Rather the interesting direction goes the other way. S cannot prove the consistency of stronger systems, which means we cannot have a "minimal" system we use to explore the consistency of all other systems (again subject to some nuance).
You're such a sweet and kind individual. Again, no worries, my social interactions have been put to such a minimum that me dying in my flat will effectively be the same as me dying out there in the woods as you'd like it to be.
Nevermind, my mistake
Great concept. The other day I stumbled upon https://podcastle.ai/ - I am wondering what makes your product different and how's the performance of conversion so far?
I think you misunderstood my comment. I already knew those 3 countries had a lower death rate.
You bled all over the host's towel, was that in their control? They have to replace that once it's been soiled with blood.
The paper is from 2012, and it is not actually about research results, but a historical outline, even with a few errors. But still interesting to read.
Modern day windows frustrates me just as much, personally. My kingdom for a stable straightforward OS without fiddling... I use Mint these days but even that doesn’t solve my woes fully (and there’s still software I can’t run on it)
Then you can complain when they do that. In theory, they can add any tracking anywhere in the OS they want. But until they actually do so, complaining about it is somewhat inane.
Paper is effectively an extra screen.
I used to think middle management was stupid and clueless. Now I understand that we are simply playing different games. I am trying to make a good product. They are trying to get promoted.
Some googling satisfied my curiosity about the k0s vs. k3s

https://www.reddit.com/r/kubernetes/comments/jumaqj/k0s_yet_...
https://medium.com/@saiyampathak/k0s-yet-another-kubernetes-...
you could probably have salvaged those rides by cropping them.
Per Derek Lowe at Science magazine: https://blogs.sciencemag.org/pipeline/archives/2020/11/09/va...

"...since all of the vaccines are targeting the same Spike protein, it is highly likely that they are all going to work."
your link is just condensed talking points for people who already support the abolish position. I don't see how it could "level up" anyone's thinking, particularly someone who is wondering whether they should support abolition to begin with.
I'm sure he has an EA at the company's expense at this point.
People shouldn't be accountable for their correspondence! That's the whole point of secure messaging!
I'm pretty sure that is what they mean, yes. It is a nice tool. Lets you write HTTP(S) templates with parameters and whatnot, save them in groups, send them, handle the response, etc.
Yea, i think time is kind of used to define two different things and that seems to make these discussions confusing. I think if you are close to the speed of light, your atoms are moving slower than those of the stationary person and so your local clock time seems to stay constant while the stationary persons clock
time seems to speed up in relation. But it's all a matter of perception of clock time passing and now is the same everywhere.
You can automate fetching Chrome’s cookies. This is generally very useful for scraping.
No, is not the only class of program. An easy example is to take any of the unsolved math problems (like the Goldbach conjeture) and write a program for it, if the program halts it proves the conjeture.

Can you tell if the program halts? You can’t without proving the conjeture.
It might be able to report that unfiltered traffic occurred, assuming it can detect unfiltered traffic using pcap, but it wouldn't be readily possible to prevent the initial packet from being sent prior to a rule specifically being created to prohibit it.

Operating a system in PF deny-all default would cure this, as long as LS carefully curated a list of PF allows.

It's possible there are external constraints preventing more widespread use of PF, like "Is this allowed on Mac App Store?".
I'm not proposing you store it on S3, but I used the price of S3 standard as a cost estimate. In reality I expect you could get the cost to be much less (I mean, even S3 standard is closer to 2 cents than the 3 cents I quoted) with on-premises storage. You also wouldn't need every minute of every video instantly available like you would get with S3 standard, further reducing costs.

I had a hard time finding the bandwidth costs, but since you've done the math already, I'd like to hear what you came up with.
New website.

I am still trying to understand how's your product looks like. How would you help strangers like me who only have 20 sec on a website to understand what you up to?
Take a deep breath, temper your expectations.

If you're going to fear for the future, there are far grander, realistic, and imminent risks to be concerned with.
I think the number is bullshit. They can't tell the difference between a room and a full home.

At least that's my experience when I was trying to search on the site. There was little filtering available and the owners were listing their properties as anything.
really cool :)
> Yelp's review system is among the hardest to game

I assume you mean it's among the hardest to game except by paying Yelp to remove negative reviews - that's a pretty important caveat when it comes to trustworthiness.

I'm almost entirely de-Googled at this point, but I make an exception specifically to avoid Yelp, which somehow manages to be even worse than Google within its niche.
I've used crystal (mostly kemal) for almost 1 year and the updates have not been too often and have not broken much.
Hey neighbor! Greek here, I can confirm we do the same as all the above.
> 95% means that if most of the population is vaccinated, the virus will probably disappear. The magic works not by not getting infected, but by not infecting other people.

This is a good time to note that AFAIK the Pfizer vaccine will not do a whole lot for preventing spread, so much as preventing an infection from breaking out into the disease (i.e. not all people infected with COV-19 wind up with COVID)
There should be no flag, it should be a direct reference to a document proving a person is deceased.
Tesla (TSLA) to join S&P 500 December 21st
I assume they already have the quality assurance pipeline in place at Tinder and don't need to reinvent it from scratch for every bug report.
Interesting product. How do you apply AI here?
Which is why, when email providers can do very simple things that improve privacy for all their members, even though email is irretrievably insecure, they should do so, as harm mitigation. Your mail spool will eventually get owned up. The least they can do is make it deniable.
Because open source doesn’t really solve any problems, and probably creates a few.

Tabulating ballots is all about process. You can have the most reliable software on earth, but if you operate it wrong, you won’t get the desired result.
On average the resulting URLs would be as long (or longer) as the original. You can’t cheat entropy.
But the projection is already for excess deaths over half of the years. (And especially: last year.) That's not fairly-described as "no excess deaths".

And, for the other reasons I listed:

* the projection is highly likely to be an underestimate of the actual 2020 deaths

* an apples-to-apples comparison of the deaths through November 6 in past years would be quite likely to show a notable excess in 2020, given the seasonal nature of the data left out (higher rates of deaths late-November and December) even in normal years

So only a naive interpretation, or tendentious interpretation, of the 2020 year-to-date numbers supports the headline assurance.
Bitcoin’s Gunning for a Record and No One’s Talking About It
Did parent ninja edit? Currently, it doesn’t mention upgrading, so your response looks like a non sequitur.
I don't think your analogy holds up very well.

A more direct one would be if some liberal arts major did a coding bootcamp and wrote about their experience. I wouldn't be morally offended that they shared their small window into programming with the world. Sure, it would be limited in many ways and colored by their own biases. But the latter makes it more interesting.

I already know what programming is like for "real" programmers. Seeing what programming is like for someone outside of that tribe is actually pretty interesting.
That's not at all how most rich people behave. They want more money, and they wanna make sure nothing stops them from getting even more.
Hi mlang,

One of the things I really like about this site is that personal attacks on others are a strict taboo.

It seems increasingly common on the Internet to believe that personal attacks are okay, in some cases even virtuous. To each their own I guess, but personally I greatly prefer HN's model.

If you choose to stay, I think that you will find that bringing up unusual perspectives is highly welcome here, as is disputing other people's points. But, for me at least, an accusation that any other poster lacks empathy will always be met with a downvote.
Your point is perfectly true, but there is also one more thing to consider. It is possible for the health care system to get overworked like they did in NYC and North Italy. There are signs it could happens in other places in the US now like Wisconsin.

At that point everything else suddenly becomes critical, because there is no ICU left.

Also, at least in CA, doctors/hospitals/dentists etc are only doing what is critical right now to avoid the whole hospital going into lockdown. That has large consequences for health outcomes and for the economy of those practises.
Youtube has to listen to the RIAA's demands because music and music videos are a huge portion of their traffic. The music industry could decide to move all that to Spotify if they chose.
AirBnb took the opposite approach of Expedia, Booking, VRBO, etc. Instead of focusing on SEO and paid search like the incumbents, AirBnb focused on brand.

Great breakdown by Casey Winters on the strategies - https://news.greylock.com/four-strategies-to-win-big-with-lo... - showing that there are different strategies, and not one absolute best.