skysight-inc/HackerNews huggingface dataset:
If CDC's mis-estimate from May can be forgiven by virtue of there not being enough good studies at the time, then why is Bhattacharya's even earlier (and more accurate) estimate being
characterized as unconscionable?

> The WHO estimates a fatality rate of 0.6%.

I don't see how that makes an estimate 0.3% to 0.4% "very very very wrong", especially considering that we haven't heard the final word on this.

> If you are simply dividing deaths by (an estimate of) current cases then you will get an inaccurate number because many of the current cases will eventually die of the disease.

I didn't do that, but if you look at the numbers you'll see that it wouldn't make a meaningful difference anyway. WHO numbers show over a million deaths since the start of the epidemic, and around 5000 deaths per day over the past month. Whether you use 0.13% or 0.14% for the implied IFR, the WHO's comments the other day are out of whack with the 0.6% fatality rate estimate.
I've noticed it's somewhat en vogue in certain dev communities to bash git. I think since it started out as a CLI tool and some parts of git are complicated that it's easy to get cheap internet points by complaining about it
I cut my teeth on C# but switched over to MERN a few years back, and use WebGL for more CPU intensive visual stuff.
Agreed, outside of developers and the wealthy (overlap) I would be surprised of non-chromeos laptops are even 50% apple.
What is fascinating to me here is the question of whether and where talent will relocate to. Places like the SF Bay, Boston, Austin, Seattle, NYC etc attract folks for more than just the jobs. There's culture, great schools (at least in the greater Seattle area), and many other reasons why people may choose to live in these locations. So while there certainly will be an adjustment that occurs, it might not be as significant as one would imagine.
> A good amount of people buy a certain car and maintain it, intending to run the vehicle into the ground completely.

See my 4runner that's older than I am. I am happy to give it its $400 per year in oil changes and amortized tires, along with $1500 repairs every other year because I know its repair ROI is extremely high (vs. whatever car make the reader believes is unreliable); every repair I make to it represents another XX,000 miles on the road.

(The 4WD and e-locker helps too)
What's the typical advice here? Something about writing down 100 ideas, diving into detail on your favorite 20, actually build a working prototype for 10 of them, and 2 or 3 will stand out, so pick one of those?

I read that somewhere, possibly here. Maybe someone can link the source, if they have it.
The same reason there are so many databases.

Developers end up using something and it does about 90% of the job. They say to themselves, "I will write my own software that does 100% and offer it to the world when I am done." And now we have another program on the junk pile of software. Rinse, repeat.
He should not complain, but write a better user interface. The underlying functionality and performance of the implementation is excellent. The user experience is poor, it took me several years to get really fluent. There are still things I know I don't know and some occasional surprises. The repos are such a success story that they won't go away for years. But if someone came up with a more consistent user interface that would not harm. It's a huge job though, if you want to cover the full functionality. And if you don't do that you will create a new inconsistency, because power users will sooner or later need to fall back to the current user interface.
Thanks so much! Do you know of keywords I could search to get more information?
Id take GIT anytime over the stupid TFS i have to deal with on a daily basis. It’s forced embedding in VS adds to the frustration even more.
Speaking is faster than typing. Speech recognition is my go-to for writing prose these days.
Based on the percentages it's blatantly obvious which party was more in favor of civil rights for minorities, Republicans. So why would the Racist democrats, the ones that voted no, want to join the party that was much more unanimous than the party in which they currently reside? What you are saying is like Nancy Pelosi becoming a republican because Trump became a democrat. It's absurd. You've been taught a lie.
https://en.wikipedia.org/wiki/Civil_Rights_Act_of_1964
It is my pleasure, I love building stuff. I keep the prices relatively low to make it useful for small business too. I hate it when software price is higher just to filter the customer base and they target only "enterprise" budgets. This is also a reason why I offer two pricing points for the same features.

I would gladly open source it if I find a way to sustainably work on it, but for now the revenue it generates enables me to work full time on it without being homeless.
All of those empires, regardless of their religion or how we romanticize or demonize them today, were absolute monarchies.
Automatic does some of this. They reimbursed my office chair, stand/sit desk, desk lamp, monitor, router, headset for calls, and keyboard/mouse. All total it was probably less than 10k (the monitor being the bulk of it).

> then the entire team or meeting is remote.

There’s nothing more annoying than having a remote meeting with people sharing an audio device. The quality is terrible.
So... the bug is a feature?
Personality is an absurdly huge component.

Trait concienciousness as per the Big Five model is inherently a social thing. Being more diligent is connected to being more in tune with others around you.

Extroverts are also much more receptive to reward than introverts.
This is partially relevant but frames the differences.

Going into the office and cnfronting your "duty" within the social environment of work has a psychological impact. How much depends on how polarised your traits are
If you earned it, then it isn't privilege, by defintion. Unless you consider being born a hard worker as being privileged, in which case the word is meaningless.
For that matter, given their game studio acquisition, it might behoove them to make efforts to improve WINE, DXVK and Proton support, considering various efforts for game streaming systems afaik mostly linux backed.
It should be an atomic replace - create a new table, do your inserts, swap the new table in. This way you aren’t left without the data during the rebuild, and you are guaranteed a consistent state since DDL is transactional in PostgreSQL.

Make the new table unlogged while it’s being populated as well for that performance improvement if you want, since the atomic replace guarantees your consistency anyway.

Alternative if it’s not a full rebuild, move from a delete/insert to using INSERT .. ON CONFLICT DO UPDATE where possible. I do this for cache tables that store materialized summary views that are updated by pgAgent jobs.

If you are deleting “old” data out then maybe use partitioned tables so you can just DROP the table containing the data you want gone.
Yep. I think that's mostly it.

Linux backed, followed by GitHub sold the deal.

The incumbents were possibly better but were too forked to individually beat that team. It became a standard like English as someone else pointed out.
Could you explain this further?
OpenFaaS isn't lambda, it's a function as a service software that can be hosted as a docker container.
Your last para is my exact point. The recruiters are acting in self interest. Expecting that they do otherwise is a doomed hope. It is up to owners, and transitively up to society at large, to make and if need be enforce policies that encourage the desired behavior.
It doesn’t hurt that Git is free.

The problem I have with Git conquering the dev world is that it was built with large, over-the-internet projects in mind.

That same design hampers other projects, but who really wants to learn multiple VCS?
Oh I thought this was going to be one of those low-stakes investigations like that Reply All missing song episode as described in this essay: https://hotpodnews.com/the-problem-with-the-inconsequential-...
Honestly sounds like a failure of management if slackers are able to keep up appearances for long enough to cripple entire team efforts.
I've found jobs through my network, but my most lucrative one to date was though a cold linkedin message from a recruiter. YMMV.
Is there any frustrating UI issue with Git that a tool like GitKraken does not solve for those who have command line trouble or prefer to easily visualize things?
Personally, my goal is to amass a boatload of money so that I can spend the rest of my days doing nothing but side projects without any care as to whether or not they make me any money.

More of a dream, really. I doubt it will happen anytime soon. I think I can swing it by 401k/IRA withdrawal age, though.
Calling git a "failure" blanketly is dubious and I'd expect a "developer advocate" to know that. He actually goes on to say that he's "marketing his frustration" (https://twitter.com/hhariri/status/1314287590523236352)

It's also equally ironic that it's a "developer advocate" from JetBrains that's calling out an open source projects usability. A first step might be that he and JetBrains try contributing to git or trying to build new porcelain on top of git.

That said, this is par for the course of the kind of user that resides on Twitter. Twitter is mostly used by toxic people who like to air their grievances before the world and then try to convince the rest of us it's healthy.

We need to stop encouraging engineers to use Twitter to communicate, imo. It enables this armchair quarterback behavior while having zero investment in the production of the desired result.
He could just leave us a list of indexes into the English dictionary instead
Maybe not the best example.
>Note that these are tactics for metaprogramming - the tactics are themselves for programming, not for use in programs.

I don't understand what this is supposed to mean. How are e.g. coq tactics not the exact same?

>The commands to the LSP tell it how to generate the code, and the code sticks around for editing afterwards.

Not having the metaprogram which generated the code around just strikes me more as an anti-feature.

>What is "normal" metaprogramming?

Arbitrary, "non-sequential" code transformations.

>The particular benefit of using tactics would be that they're designed for small steps of in-flight editing, rather than generating something all at once

Well, for me tactics definitely invokes more serious proof automation than just what you could also do using Agda's emacs commands. This is also the impression I get from the article, the image presented uses some form of auto tactic to generate an entire term in one go. Certainly not what I'd call "small steps of in-flight editing".
Digital Anima: Devouring Mothers and the Internet [video]
I have to imagine that it was an innocent correction. Do you think so? Or do you think that it wasn't and that so pointing this out is a way to discredit me?
I really like this observation as well, especially the "cost to first kCs" which, for me, is the one differentiator.

One of the things that amazed people was the Blekko, the search engine company, operated its own clusters in a data center rather than using AWS. We got a lot of side-eye for that but the numbers were pretty stunning. For our app, the cost of running that data center was about $120K/month, on Amazon (or IBM's cloud) that cost was at least $1.2M/month so 10x higher. What was even more of a pain that getting all the machines in the same racks so that they didn't share "east west" bandwidth with other racks in the data center was a huge ask for these folks, the proposed solution of over provisioning, made it just that much more expensive.
The best logical answer would be to buy something that comes with linux after reading a review to ensure that it meets your needs.
For Tmobile prepaid, clicking the link above will take you to the main tmobile login page even if you're already logged in.

To get to it, goto the prepaid link above, login, then click "My T-Mobile" in the top right, then "Notifications and privacy" then "Privacy settings".
What a weird perspective. While I agree that side projects ultimately matter less than your previous working experience, I am highly sceptical that they don’t teach you anything.

Anecdotally my side projects are of a consistently higher standard than the projects I work on at the company.

I also get way more chance to experiment with new things than I get at my job.
Sorry for the stupid question but each time I got allocated an IPv6 address, I was allocated a /124 subnetwork (16 IPs) and not a single IP. How is IPv6 not going to be in shortage if even a small random actor like me gets allocated many IPs for each server?
If it came down to it, I think it's more likely Google would buy them and/or they get split and the core absorbed into CNCF.
> so even cutting that cost in half doesn't save much on the whole project.

Houses are usually a leveraged investment. If you put down 5%, and prefab saves you 5%, you have massively reduced your risk of default during a downturn.

And if you expect it to take 20 years to pay off your mortgage, and framing saves 5%, that’s one year saved, which is massive IMHO.

Obviously a lot of assumptions to the above e.g. everyone else doesn’t get the 5% savings, and everyone doesn’t just bid up new house prices by 5% (because they are bounded by their mortgage which is related to their earnings, not costs).
Author has either just started learning git or has never used any previous RCS (Revision Control System). Put them on SVN, CVS, god forbid, Microsoft Visual SourceSafe and see how long they last. Just because something has some minor issues and "I don't like it" doesn't make it a failure.
This is a big part of the answer IMO. While cultural norms may have shifted past unscheduled phone calls for nearly any reason at all, some things are still best delivered over the phone and I think it's actually quite nice.
I considered using https://pijul.org/ as an alternative to git, but Github is already so handy, popular and integrated that it's hard to justify switching. Does anyone think that they will ever abstract the platform from the specific git vcs?
This completely misses the point at what the issue is. Try to commit any act of mass murder with it and you’ll fail. It’s unreliable, and you won’t be a let to reload. An semi automatic weapon is going to be far more lethal. Also the odds of someone with the know how of how to use one and committing to it is extremely low.

The argument always comes up, well someone could commit an act of mass murder with xyz do limiting firearms won’t do anything. And yet, it absolutely will. Firearms are the path of least resistance by a long shot for the goal. So limit that path and it’s much less likely people will do it with anything else.

Just admit you like your guns more than you want lower murder rates
Would be great if the government just took over the US airlines - instead of trying to cram as many people as possible into a space let’s go back to all the countries trying to one-up each other with the luxury and opulence of their sovereign airlines.
Given how unique casting votes will be this election due to the pandemic, I don't know how anyone can be comfortable making predictions about the outcome based on past data.

Polling depends on having a good screen for Likely Voters, which is difficult in a normal year but this year is going to take a miracle to get correct. Given that pretty much every state is winging it a slightly different way, coming up with models that work for even just the battleground states is going to involve as much luck as skill. Pollsters that get it wrong will end up with a credibility drop more than deserved while those who get it right will get more of an increase than deserved.
Study finds 40 percent of homeless in greater Paris test positive for Covid-19
One upside of running errands in the middle of the day is most businesses close when your work hours ends so taking care of random tasks midday is sometimes the only option
It has nothing to do with "keeping up appearances". The slackers are easily and quickly identified (usually just from the indicator that they chose to WFH 100% of the time). The problem is that, as I mentioned, it is ridiculously hard to remotely correct a slacker situation even after it has been identified.
Many of the comments here orbit around an idea that's been percolating in my mind for many years:

We overpay, sure, for extra "capacity" which seems wasteful. But when the burst demand arrives and you're not caught flat-footed (need a car now, need our online game/app to handle surge now, etc etc), the peace of mind makes it seem worth it. The entire wage economy exists to scratch this itch. Various auto-scaling strategies may creep in. But as soon as you lose business or lose an opportunity due to its lag time or "sensible" upper bound (or whatever), it is very tempting (and often makes sense) to abandon them.

Another way of saying it: "The point of life is not to min/max everything."
My productivity has soared as measured by things like like lines of codes, CL submitted, and Design Docs written.

For heads down coding, WFH is much better. I hate open offices and find cross-talk distracting.

For certain types of collaborative work, it is less great and, socially, I miss face to face contact with coworkers. But, I long term, I would prefer to work in an environment where at least several days a week are remote.
What about the cost of gas? Larger cars often have worse miles per gallon.
The training set equals the validation set?
> How about Google also does your laundry, takes care of your child while you WFH, so you don't get distracted and perhaps prepares lunch and pads you on the back after 5pm for a job well done?

You joke, but some people are like this. While I think Google should make accommodations, especially for parents, some people ask for way too much...
And here I thought it was knowledge and historical perspective.
They haven't substantially changed the interview format in 20 years; I doubt they'll change now.
You really think your experience works at scale? You're the product of hard work, smart decisions, awesome parents and something often forgotten - luck.

If you think for a minute your experiences can be translated and reproduced by the masses, you're kidding yourself.
In my experience, descriptions of the so-called "foot cannons" within Git are exaggerated by people, who don't understand Git and didn't use it much.

It is virtually impossible to lose data, committed to Git. Between reflog, lazy garbage collection and ability to grep history for strings there is literally no way to corner yourself. I have never lost anything after years of using Git. Meanwhile, I have lost data at least once with most conventional filesystems and storage mediums: f2fs, ext4, ntfs, hard drives, SSDs, CDs, VHS tapes...

Incidentally, when I tried to use Mercurial once (because the job demanded it) and immediately went for Mercurial Queues, the bug in implementation of Queues caused me to actually lose some data (an insignificant amount, but still!). Unstable internal storage format + implementing history editing via third-party tool = bad news.
Git is a success. Claiming otherwise is silly.

Git's user interface (porcelain) is not a great thing. Not because it's a CLI, but because it's not great for non-power end users.

Case in point: Lousy naming inconsistencies. Git supports a staging area, but sometimes calls it a staging area & other times calls it an index. "Index" is a terrible term, because the word has too many other meanings. It's time for them to use one term ("staging area"); the inconsistency makes things harder to explain & use.

Git is excessively complicated for simple uses, and it's easy to go wrong. Otherwise there wouldn't be sites like https://ohshitgit.com/ and cartoons like https://xkcd.com/1597/

Mercurial (hg) shows that it is possible to have a distributed version control system with a simpler and clearer UI.

Git has many technical advantages, and I use it all the time. Its fast branching, smart merging, and so on are all awesome. And while some people argue about the staging area, many have found it useful. It's perfectly reasonable to say "I like the tool's capabilities, but its user interface is not so good and needs improvement".

That said, git's UI HAS gotten better over time. For example, "git checkout" was overloaded with two different meanings, and more recent versions of git have given them different names (git switch and git restore): https://www.i-programmer.info/news/90-tools/13027-git-adds-s...

But it'd be great if the git developers worked to make it easier to understand & use by the non-power-users.
The article author is having fun. Kinda of like how hyper-milers were working so hard to minimize their gas use when Toyota Prius were all the rage.

I could not imagine raising my kids in an apartment, it sounds like a nightmare to me. We lived the American suburb lifestyle you described. I loved every minute of it while it lasted.
For the longest time didn't they always talk about how the tallest candidate had historically won since some date... And then it stopped working.
That's some tortuous logic. If it helps type faster by keeping the device from jamming, then... it helps type faster. If it only jammed because you type too fast, you could(/must) just slow down, no fancy layouts necessary. It didn't jam because you pressed any key too fast, it jammed when you pressed adjacent typebar too fast, and with proper layout (making sure that common digrams weren't on adjacent typebars) these situations could be minimized.

Weird thing in these discussions is considering that most jam-free possible layout and as fast as possible was somehow different design goal. But, in world of early mechanical typewriters, it was the same! You couldn't have "fast" layout that jammed because it wouldn't be fast, and if you had jam-free layout it probably was fast, because it weren't forcing you to depress each key completely before pressing next.
https://www.theregister.com/2013/03/22/vietnam_kids_google_i...
It is possible to make it secure. "Hi, this is SomeDude from Bank of America, and we noticed some suspicious activity on your account. Please go to the Bank of America website and find the number labeled 'Customer callback number' and call us there. That way, you can confirm you're talking to us, at which point we will confirm your identity, and then work with you on the issue."

I've seen this proposed. I don't know if anyone is actually doing it.
I am slowly getting the hang of Rust, and am somewhat proficient in C++ and C.
As a profit generating mechanism, bullshit jobs work out just fine. So the enterprising capitalist has already taken advantage.
Yup, I totally agree. If you can introduce enough of the mental model to your users for them to have success with your application, you've succeeded at interface design.