skysight-inc/HackerNews huggingface dataset:
I'll give brief statements with lots of hand-waving since I'm low on time. These are long questions.

1. In short, this is a deeply philosophical question. My personal inclination follows yours that the incompleteness theorems are overhyped. I don't buy Penrose's argument. Like most other formal limiting results philosophically I view those results as representing fundamental limits of both human and machine reasoning. While a single unproveable but "obviously true" result generally point to an inadequacy of the formal system, if every formal system suffers from some inadequacy that is indicative of a limitation in the fundamental human faculties of comprehension rather than a limitation of formal systems per se (the assumption e.g. that our formal systems must use finitistic methods is one born of human limitations and, depending on one's thoughts about the universe, potentially fundamental physical ones).

There are philosophically defensible positions that try to claim the incompleteness theorems have implications for truth in the real world, but I go back and forth on whether I believe them and more to the point they are far more subtle than the usual pop culture presentations of Godel's incompleteness theorems.

2. The mathematical Platonists I've come across believe that the continuum hypothesis is in fact false. (As an aside it's interesting that you find the axiom of determinacy natural as it contradicts the axiom of choice.) This mainly hinges on your opinion of the reality of large cardinals (which perhaps count as your "interesting" constructs), which many Platonists for a variety of reasons believe to be real.
All of these miscommunications are not a problem ultimately because this is the nature of communication. And lawyers especially know this.

The rule is silly because the idea was silly from the start. Some companies got themselves in trouble in the news due to their work emails. Let's pay someone (too much money) to establish some rules. That overpaid person now has to come up with something to justify getting that money. Result: a bunch of silliness and common sense wrapped up in a new training hassle for everyone.
I'd take that bet, even though it's not a reasonable comparison.

COVID-19 deaths are over and above expected deaths, which is why "excess deaths" is much higher so far this year, and the spikes and dips in excess deaths match COVID-19 spikes and dips pretty well.

I'm not even sure whether overall suicide deaths in 2020 will be higher than suicide deaths in 2019, let alone 150k higher and counting. Even the link you provide relies primarily on one person's assertion about high schoolers at a given point in time, without supporting information. Yes, many high schoolers commit suicide. Not enough, I think, to exceed COVID-19 deaths in 2020. Not even close.

Suicide is normally then 10th-highest cause of death in the US[0]. Currently in Texas, where I live, COVID-19 is 3rd, behind only heart disease and cancers[1], and it seems like it will be easily in the top 5 nationwide.

[0] https://www.cnn.com/2020/07/23/health/covid-rank-leading-cau...

[1] https://www.nbcdfw.com/news/coronavirus/dallas-county-report...
On a similar tangent, you might find this interesting

https://mermaid-js.github.io/mermaid/#/
> Those are my 2 cents, I could be way off about the author’s intent there.

You have, however, correctly summarized some aspects of my experiences working for the government, more succinctly and dispassionately than I could have. Thank you.
> I have not had a positive interaction with USPS in years. I don't understand why our taxes subsidize people to hand-deliver junk mail.

They don't. Junk mail subsidizes everything else USPS delivers, and USPS is entirely self-funded.
It's ridiculous now, yes; but don't forget that tech progress is cumulative. We likely needed those "fumes" so something better could come along and stand on its shoulders.

It's pretty exciting to be living during a transition period to cleaner energy. Just as exciting is signs of tangible evidence that this movement is indeed better for our longevity and quality of life. I'm hopeful we will keep progressing.
I checked the reference but I don't see the numbers.

For the 9 months ending in August 2020, $62 billion in operating expenses. Of which $3.495 billion is allocated to retiree health benefits. Overall net loss is $(7.374 billion)...even without the pre-funding requirements, we have a problemo?
Ask HN: What tech companies allow all employees to be remote?
I think it'd be useful to compile a list for those who are looking to (continue to) work remotely.
Well, keep this in mind: I knew quite a few people who got interviewed with, and arrested by authorities. Everyone under the age of 18 in the 90s got a slap on the wrist because they hadn't got too good at punishing those kinds of crimes. I think the worst I saw was $1200 paid over 12 months to AT&T.

After 18, you're done, even if they can't think of a good charge, they'll make them up, which is exactly what they did back then, cross state commerce was a blanket thing to grab folks.

I stopped doing anything questionable well before I turned 18.
>Opinions and orders are available for free from government sources. Also, important motions and other filings are usually made available too.

Where are opinions and order available?
Drivers who keep their windows down are exposed to 80 percent more air pollution
With shutdowns, masks, and closed schools, COVID has killed in six months about a quarter of the people who die from the flu in a decade

How is that an argument for less-drastic measures?
Yeah, you're most likely right. If we have a couple vaccines fail in phase 3, add another 6 months. And there is a chance it's another year before we have a somewhat effective vaccine.

That pushes out herd immunity to late 2022.

The positive thing is there a lot of vaccine in development. I feel confident we'll find one that's at least somewhat effective.
Looking back, federal authorities really only came when they had the evidence they needed already, and local authorities were way too far behind to know what was going on (in the 90s).

In practice, the only real protection we had (those of us in my social group) was that we were minors, and lucky that laws hadn't caught up yet.
Take it easy Freud, there’s no need to break your intellect down into so many pieces and get personal. Cheer up!
Rocket is a really nice web framework of you're familiar with that field. Otherwise just read the "book".
- Quora - remote first - https://news.ycombinator.com/item?id=23646164

- Atlassian - remote choice - https://news.ycombinator.com/item?id=24085546
That’s an expansion of the original proposal, but what does it mean?

You’d have to in some way break the entire model of the iphone, which involves sandboxing apps. How else could you have an app store company separate from the device maker?

Android can have different stores but that is done through rooting correct?

You have a few game app stores on windows/mac, but no general purpose app stores. It just isn’t a business that I know of.

Nor is the rationale explained. As long as there has been computing, OS makers have developed software that has competed with third party. This distinction seems like a slogan, rather than a solution.

(There may be other solutions of course)
Our Solar System's Shape
This is good news. Their host based pricing was not great. Especially when they wanted to charge half price for dev hosts.

We'll see if they can survive it though.
Monorepo doesn’t mean a monolith, it is about code repositories, not about the extent of software reuse. You could convert the entirety of open source code into a monorepo too, but it wouldn’t mean they magically reuse each other.

> all of the infrastructure was custom-built to support the products.

That tells me you might not have experienced software development in a large company. I don’t know the specifics of Google, but custom tailoring infra is a combinatorially explosively problem if you have hundreds/thousands of products you need to “custom tailor” to. And if you could, would the result be really custom tailored anymore or general enough to have universal use? Your argument is self contradictory.
https://www.corbettreport.com/episode-381-who-will-fact-chec...
Yes, I also didn't think there was much ambiguity as to her relationship with her boss - a risk averse manager wouldn't have laughed off her situation or enabled her to continue on with her continuous outreach - she would've been deemed long ago as a trouble maker to confine. The point of him laughing it off anecdote is to show the trust in their relationship.
I would say “probably not”. First, as anecdata, I was a plaintiff’s attorney for asbestosis/mesothelioma sufferers and every client I had was whip-smart. Other than being older and having concomitant capacities they were very sharp. More tellingly, we (attorneys) scoured medical literature for any and all possible claims against asbestos manufacturers, and I never once saw a claim related to diminished intellectual capacity. If there was even a skosh of evidence somewhere in that regard some attorney would have found it and figured out how to add it to a lawsuit.

Edit: a word
YUP ran into the exact same thing.

"Well you learn things from development environments." Yes I know, but I'm paying a pretty penny to monitor production environments, and other places give development licenses for free.
There is no separation between “application” and “system software”. While super powerful it made it hard to update the system and the applications separately. Multiple programs could make conflicting changes.

In addition, lisp programs (at least in these environments) don’t have “main”. I think it’s no big deal to start a program as “(foo)” but that’s surprisingly user hostile.

I worked with someone (who shall remain nameless) who ran in the same image for several years. There were random state variables scattered in his environment that affected the performance of his system in unreproducable ways.
It's potentially the case in Melbourne, which is where the outbreak is essentially located, that the cases and potentially most of the outbreak are derived from extensive failures in the so called 'hotel quarantine' system. People have a misplaced belief that given a reasonably competent government you always get competence, which for a variety of reasons was not the case in this particular instance. I think a major planning failure is the result of optimism bias - i.e. that if we decide to do something we can actually do it well consistently.
> This is probably why originalism is more what one hears about these days.

I agree. I think most conservatives tend to identify more with self-styled Originalist scholarship and perspectives. But Scalia made a name for himself academically by coining Original Meaning, which is a twist on strict textualism in the context of constitutional interpretation intended to mitigate the harmful consequences--a legislature can't resolve textual ambiguities in constitutional text as easily as it can statutes. Scalia and others spilled much ink distinguishing Originalism from Original Meaning. At least in terms of scholarship Scalia was consistent that way.

Regarding the Terry Schiavo case (which is a good point, BTW): that the Congress is empowered to do something doesn't mean using that power isn't a violation of general principles of the law. As the Trump years have proved, and which bitter partisanship was already making clear, much of the law as we understand it is normative even in the U.S. And while I think Congress' intervention in the Schiavo case was wrong on almost every level, it's also true that violations of general principles can be used to prevent an injustice. There's often a tension between equity (i.e. fairness) as it regards particular individuals, and the maintenance of general rules and principles. Justice can be a matter of perspective and priorities. That's one reason why courts can and should jealously guard certain discretions (see, e.g., the Michael Flynn, Judge Sullivan Rule 48(a) debate) and independent powers. (EDIT: I realized after the fact that by referencing the Flynn/Sullivan dispute it's ambiguous which discretion I'm referring to--the court's or the government's--but that ambiguity kinda drives home the point regarding the importance and role of discretion. For the record I support Sullivan's position, but it's a very technical debate.) Circling back to Originalism: resolving that tension is one reason behind the emergence and support of so-called Substantive Due Process, which can be construed as the court giving effect to a right (newly discovered or simply never before honored, depending on your perspective) by refusing to give effect to the government's nominal power to violate it--i.e. by procedurally blocking the government. Which is why it's unfair to characterize Substantive Due Process as an oxymoron, at least as it was originally developed by abolitionists at the turn of the 19th century. (Since then courts have been more aggressive at using their equitable powers, which means more than procedurally blocking government actions by, e.g., refusing to hear a prosecution for sodomy or a replevin action regarding an escaped slave, courts affirmatively give effect to a right by enjoining government actions that aren't gated behind a judicial process.)
I'm aware of excess death or all cause. This doesn't take in account the delay of deaths we're going to have. So we need to look at all cause globally in a year or two or ten
Go Montana! Missoula has a number of tech firms doing great work. (Shout-out to Helena and Bozeman too).
I read brody's review of Pixar's "Inside Out"and came away thinking I should avoid the film. He claimed it was a saccharine oversimplification of inner mental health, with all the nuance of Michael Bay (my paraphrase). https://www.newyorker.com/culture/richard-brody/the-curse-of...

Months later when I told this to a friend, they looked at me like I was crazy, because the whole point of the movie was the exact opposite!
I have vim set up to do this, it’s so nice.
Actually - I thought unprivileged procfs and sysfs already are there, modulo the whole mount_too_revealing thing? https://github.com/opencontainers/runc/issues/1658
How many? I'm all for some variant of the precautionary principle, but we should be getting better data about long(er) term effects now that this has been ongoing for 6+ months. Can you put some actual concrete numbers to this?
> The idiot in the story is the guy charging full speed ahead with a deployment of a product that is already known compromised.

Ah. That makes sense.
That's helpful as we Americans don't have much visibility into what it's actually like in Sweden.

I think the big differentiator is that for California at least, people have been staying at home since late March, with the exception of essential workers (~20%?). Many are working from home, but many are unemployed too.

So while Sweden still did a lot, the distinction is pretty large with regards to disruption to "normal" life. A year or so when we look back, it will be interesting to see how big of an impact that decision had!
Anecdotal, but I've worked remotely for over a decade and been able to advance and grow at 2 companies. It may be luck or happenstance. It isn't always easy, I think that remote can allow one to be more productive. Sometimes you do need to do more than if you weren't in the office and you need to communicate, a lot.
Who has potentially more leverage over you? Which entity or agent can apply coercive forces to you? Worry about that person or organization.
Invest in commercial real estate? WeWork? Start a janitorial supply company?
> I don't care how big the underwater part is though

You should care. The disease propagation is all about the "unseen" part.

Otherwise the numbers are not comparable at all. Back then we caught 10% of cases, today perhaps 50%

Thus you can't extrapolate from old numbers into the new.

if anything you'd need to triple the numbers or more
How does the "full-text search" work? I tried to search my previous post[1] but no luck, even tried the exact title.

[1] https://news.ycombinator.com/item?id=22830472
Has Susan Fowler proved herself to be a good theoretical physicst? How does one determine that her roadmap is good but OPs is bad?
This doesnt make sense to me -- as I understand it, controlling 51% of the hashing power means you can eventually undo any transaction in the system, because you can start from any point, and mine from there. As long as you continue to hold 51%+, you'll eventually have the longest chain, and thus the official history. That is, there is no protection from a 51% attack, except time and difficulty to continue the attack until success.

Waiting for a certain number of blocks is only to reduce the probability of natural fork eliminating the transaction (by eventually outgrowing the fork you included your transaction into) to infetesimally small.

4000 blocks is also, I think, extremely deep into the chain. As I recall, bitcoin exchanges default to like 6 blocks before confirming?

At least, this was from my readings into bitcoin -- not sure if ethereum changes that equation, but im fairly positive it doesnt.
I contracted at Automattic and P2 was critical, but boy do you spend a lot of time reading and writing. You really don't want to half-ass a P2 post for a lot of reasons (a good thing), so what you get is very thoughtful but fairly verbose and voluminous posts and corresponding conversation.

Reading P2 tends to happen in between tasks, like email, but it's a little harder to keep track of what you did and didn't read, or be aware of an important comment that got by you.

It fixes a lot of things for async work that email falls short of, but probably still needs a few more tweaks to make it slightly more manageable given its nature.
> when people complain that Google was showing them ads for inappropriate products or what not and Google would investigate and track down the front doing the injecting

google listens to complaints? i suspect they discover these things internally, not from user reports.
But in the long term you'll hit saturation on the more popular model, so you should still invest in any model that clears some ROI bar. Especially when that car (or that google product) is already designed and in production!

And an already-working piece of software is much easier to keep running than a car production line. It needs servers but Google has a nearly infinite supply of servers for sale. The constrained resource is coder hours, and keeping something going with a few improvements requires only a sliver of those.
What's the other interpretation of this sentence? "The latter" comes directly after an enumeration, with arachea as the last term. It seems pretty clear?
I am in a similar boat and all these rich developers in the SV web bubble fill me with self doubt.
I don't think there's any real evidence that remote work is any worse (or better) for productivity than in person work.
The really thorny issues is that erring on the side of caution over the disease impact means that we are avoiding COVID cases at the expense of millions of undiagnosed / later-diagnosed cancer cases, and many other diseases.

That’s just a piece of the all cause mortality due to the COVID response.

And then after accepting all that direct cost, then you can start evaluating the economic damage on top (which to some extent is unavoidable regardless of lockdown policy).
This sounds like what Michael Chrichton would do with the "small penis rule": https://en.m.wikipedia.org/wiki/Small_penis_rule
>>>When they are gone people will wonder why they were ever allowed.

Because they're FUN. https://youtu.be/-mqXXqB7SBQ
Just like eating red meat. It has consequences for you health, but bacon-wrapped filet mignon, in moderation, is worth the consequences.
Be careful, these are years of life lost for people who died of covid. Headlines like "coronavirus can cut lifespan by 10 years or more" is just sensational - for that matter, so can bowling.

The average YLL for people infected with covid is vastly smaller. You still don't want it, but the actual number is measured in months.
It's not based on faith and has a rich history of academic development and logistical analysis by trained Nalanda scholars of 4th, 5th, and 6th century India.

Also there is a rich history of independent development and contemplative examination of the nature of reality, consciousness, and mind.

The western mindfulness genre is almost entirely made up of bits and pieces of Buddhist contemplative practice.

I don't expect to convince you that you don't know exactly what you're talking about.

Don't think for a second I'm surprised that most commenters here are pure material realists, part of the fun I guess.
Her observations on risk are really right on. It helps explain why so many incompetent people with sociopathic risk taking psychologies end up in senior positions while incredibly capable people hit retirement in middle-org positions.
Chip design involves a lot of upfront investment cost that's recuperated by selling at volume. If the US allowed Huawei to make its own chips, Huawei's chips eat into the global sales volume, profits, and future R&D funds of Qualcomm. If the US simply banned Huawei from buying Qualcomm chips, Qualcomm still takes a hit on its sales volume and profitability and nothing has changed on the US side of the books. But if the US bars Huawei from getting its chips manufactured and gives it no choice but to buy from Qualcomm, Qualcomm's sales volumes stay elevated and it is able to recoup its R&D investments.

Ultimately, a big part of the US/China tech war is due to the structure of high tech R&D, which is to sink a massive amount of capital at the beginning in hopes of getting a global monopoly and being able to sell to everyone in the world to recoup that initial cost. While China was a consumer and assembler of US technology, the US could rest easy knowing that it had a captive global market for high tech products to fuel its future R&D costs and stay ahead. But when China starts developing and selling alternatives, there's not enough buyers and sales volume to support both Chinese and US cutting edge tech companies, and some of them will go under in the decades following. We saw this happen with Taiwan's TSMC becoming the only real vendor of the latest semiconductor process nodes after decades of US fabs falling out of the race. But Taiwan is under US military influence, China isn't. Ultimately, this is about keeping China on a leash as a consumer instead of a producer of technology as much as possible because there isn't enough customers and capital in the world for two high-tech R&D superpowers to siphon at the same time.
Obviously to each their own, but I find almost all attempts to use anything other than mathematics a needless abstraction for the most part. Being able to poke and prod is useful, but if you do the exercises you shouldn't need to for the most part. Tensor Indices are a bit tricky at first but most notation has evolved for a fairly obvious reason.

Complaining about mathematical notation is quite common on HN, but realistically it's by far and away the easiest part of learning physics (and that's not including gasp actually doing experiments properly). If you aren't planning on doing research I guess it doesn't matter but it's worth keeping in mind that if you learn everything via Scheme or what have you, you may end up in Rome doing as the greeks do.

Cool project nonetheless.
Microdata used to be the recommended format. Google eventually switched recommendations to JSON-LD, and I updated my tools to reflect that.

JSON-LD is far easier to work with. Having to mix metadata with markup was a pain. Half the required elements would have to be hidden in CSS because they didn't make sense in context.
This is a good analysis of a very common issue in organizations that do not actively fight this. I wonder if there are tools to counter this effectively though, such as evaluating managers based on how they are perceived by well-calibrated reports, or collegial evaluation of manager performance