skysight-inc/HackerNews huggingface dataset:
I’ve been wanting something like this for a long time, thanks!

I like to do a lot of rebasing and splicing together/apart various commits, and I hate that rebase touches the working tree, it means I can’t have my IDE open during the process or it starts throwing error messages about invalid project files (due to the conflict markers showing up.) I’ll definitely have give this a look.
Actually in Italy (as well as France) deaths outside hospitals are counted.
Google AI Blog: A Scalable Approach to Reducing Gender Bias in Google Translate
FWIW, this prodvides some counter-elements: http://masspeaceaction.org/skepticism-is-healthy-but-planet-...
What is 'sometimes sexist attitudes' doing there? I've read his memoirs and his lectures, and I saw some of his challenger stuff on youtube. I dont really see this.

Now he lived in a more sexist culture than we do, so maybe that has something to do with it?
What he said is just his usual incoherent gibberish. If the media didn't run an organized campaign of bleach drinking hysteria, absolutely nobody would have that idea in their heads. Now the media has created a situation where a small group of paranoid, low IQ people will think Trump actually did tell them to drink bleach, and that CNN is just trying to stop them from trying this great cure. The problem here is the media.
Anyone remember early days of Totse? that and Yahoo Messenger
Coursera to give unemployed workers free access to 3,800 online courses
In principle yes, but The PCR test is usually a throat swab, where detectable amounts often disappear after a few days, even in severely symptomatic cases.

This is the reason why China started to accept clinical diagnosis like chest scans, causing a sudden big spike in cases.
You have to convince the doctor to prescribe it for you, but doctors take little convincing. The companies paying for the ads on TV are also taking the doctors out to expensive restaurants and giving them free samples of the advertised medicine. And of course doctors watch TV too.

All the incentives happily align.
Because it's pointless virtue signaling...
12km is 30-35 mins on a bike. If you're elderly or less fit you can buy an electrical bike.
I've never actually used TLA+, but my understanding is that it does exhaustive model checking (presumably using some suitable simulation relation), so in this case failure to find a violating trace indicates that no such trace exists, and the invariants always hold.

Correctness might well be defined solely by a set of invariants, so I don't quite understand your point here?
If that were the case, one would not be able to decrypt their iPhone backup on another iPhone
I guess you took my "assigned seating" literally. I obviously didn't mean _seating_ but more of an assigned spot in a train car. The point of an assigned spot is that there can be different designated areas for different people – elderly, women, kids, disabled, those with cycles, those with luggage, general etc. and now with Covid19, these assigned spot density could be appropriately adjusted.
I'm not missing that variable; the comment you're replying to was explicitly written to try and clear up that I was not missing that variable.
But the crucial difference is that you maintain your scripts, while with NixOS it's pushed to the OS maintainers for the most part.
If you are worried about competition from below, think about how people above should be worried about competition from you. If you are worried about competition from above, think about how people below are worried about competition from you. or you could not worry so much about competition and just keep your eye on the goal which hopefully isn’t just competition.
I need to see other sources for this apart from his own memoirs. Otherwise this is just "boy talk" and very likely has nothing to do with reality.
While economies reconfigure and capital markets evolve, foundamental valuation principles have stood the test of time.

There is a way to be a value investor in the digital economy.

The Donkey Enterprise described in those tweets, captures exactly the value investing principles required to identify the winners of the post-COVID19 digital economies.
My first website was hosted for free on geocities in the late 90s... just a folder containing a few basic .html files and .jpg images... good enough for short stories and poems ehehe.
$ docker run --rm --name temp -it nixos/nix
c343661ad923:/# nix search graphviz
warning: using cached results; pass '-u' to update the cache
error: no results for the given search term(s)!
c343661ad923:/# nix search -u graphviz
error: no results for the given search term(s)!

Well... that's not off to a good start. I don't mind learning something new, but nix just seems super convoluted.

In many other distros the package manager makes it pretty easy to get a graphical environment running or even to install and configure software. Not nix.

Nix is far from easy to use or install https://invidio.us/watch?v=QujRHErFG4w
US businesses want immunity from coronavirus lawsuits
What exactly do you feet is the foundations of our society other than a representative democracy using a capitalist economic system? We don’t have much else that actually cross all elements of society.
The food is only going to be, what, 10% of the weight of the vehicle? They'd be crazy to have battery margins low enough for the weight of the food to make a difference.
The problem here is that there is a conspiracy-theory based alternative medicine "treatment" of using bleach to "cure autism", and those bullshit theories get amplified by someone with huge influence and media presence.

https://en.wikipedia.org/wiki/Miracle_Mineral_Supplement
To put it in words they will understand "Nothing to hide, nothing to fear"
Certainly, angr is a very good framework.

My previous understanding is that angr uses unicorn for instruction emulation for symbolic execution. Although, I see they also have what they call a "simulation engine" that provides a similar interface to Qiling's and allows for setting breakpoints and poking around in memory. To your point, there is definitely overlap. Qiling is much more narrowly scoped, but I think Qiling has a better understanding of the OS. It can do syscall and I/O handling for Windows, Linux, and Mac binaries regardless of what host OS you are running.
No. You would still need a signed modified firmware that would make use of the passcode-derived key from the original device, but the point is that an iPhone can accept a new firmware while locked which shouldn't be the case if Apple was serious about non-compromised security.
Fear is a virus.
I knew there was something deeply wrong with kids these days!
Thanks to visiting the website, now FB knows I am interested in whatever category of information 'it' thinks getrevue.co belongs to.
Looks nice and clean, not sure about the bouncy animations though. I mean these are charts of people dying, it doesn't fell all that appropriate. Simple ease out would be more fitting.
I think the killer feature is snooping, not the format.
Man I love this site. You're here too, Commander Taco!? The best of my youth and old age fused together!
Teenagers have no chance to be badly behaved and significantly less future prospects unless they dedicate their lives to wageslavery as young as possible
Ubuntu works great, i just installed it in a VM and it told me i can use "Ubuntu Software" to install new applications - i opened that and it was completely empty for a few seconds until images started to appear.

Then i went to games which was empty and nothing would appear. I closed it and started it again and now games would show up, so i decided to install "WolfeDoom" which sounded interesting. While it was downloading, i went back and decided to also install ZZT (i think) so i pressed Install for that too. That installed fast so i tried to run it and... nothing happened. I tried again, but nothing - the game's name appeared for a bit at the top but then disappeared without any indication about what was wrong. So i uninstalled it and closed the Software app.

At this point i thought to try WolfenDoom but... i couldn't find it anywhere. I opened the Software app to see where it was, went to the installed tab, scrolled down and found it, but instead of "Launch" (or whatever) it had an "Install" button next to it (which is weird since i was in the installed category). I clicked it and an error popped up about some state or whatever. So i restarted the Software app, went directly to the game's page and pressed Install from there - error again. So i googled to figure out what is wrong and i found vague messages about it.

Eventually it fixed itself. Somehow. My guess it was installing at the background but this wasn't shown anywhere and trying to install it again was failing because of that.

Very usable.

Very just works.
I am one of the maintainers of a popular Node-based CLI (the firebase CLI). This type of thing has happened to us before.

I think the real evil here is that by default npm does not encourage pinned dependency versions.

If I npm install is-promise I'll get something like "^1.2.1" in my package.json not the exact "1.2.1". This means that the next time someone installs my CLI I don't know exactly what code they're getting (unless I shrinkwrap which is uncommon).

In other stacks having your dependency versions float around is considered bad practice. If I want to go from depending on 1.2.1 to 1.2.2 there should be a commit in my history showing when I did it and that my CI still passed.

I think we miss the forest for the trees when we get mad about Node devs taking small dependencies. If they had pinned their version it would have been fine.
"This begs the question" is same as "This raises the question" – What is the logical fallacy in how it is phrased?
The Problem with Pacifism
To the degree people really worry about the risk of going out to a restaurant to have a meal or pick up takeout, they'd probably be better off cooking at home more.
Fascinating story of fall from grace.
Thank you for this, my mistake! Will update that now.
If you want to call it "variance" instead of "luck", I would agree with that. There aren't that many decisions to be made in a given poker hand, and many times they won't matter anyway. So, I get what you're saying. However, variance is exactly what makes poker a great gambling game. The very skill in poker is managing the variance.

I would also add that poker, in the absence of real money, is not that fun, and that for pure entertainment value, I would rather play a game that relies less on variance.
DotEnv file from Kubernetes secrets and config maps
He Raised $1B to Help Your Company Navigate the Post Quarantine World
They gave instructions in their email with a link on how to use it with the new app from the manufacturer.
"Be careful about using the following code — I've only proven that it works, I haven't tested it." — Donald Knuth
Plenty of options where out there ex:

PathogenRX, a product it launched in 2018 to provide financial protection to companies hit by an infectious disease outbreak in the United States and Asia. The product includes a policy underwritten by Munich Re, one of the world's biggest providers of cover to protect insurers against big losses.
Sales had been slow, partly because the insurance was viewed as expensive given the risk, Christian Ryan, the head of US hospitality, sports and gaming at Marsh, told CNN Business. But the coronavirus pandemic is rapidly changing that perception, he said. https://www.cnn.com/2020/03/19/business/pandemic-insurance-c...

It was considered expensive specifically because companies where underestimate the risks.

The target industries for this product are Hospitality & Gaming, Travel & Tourism, Aviation, Public Entity, Education, Real Estate, Sports & Events and Retail/Wholesale Food & Beverage.
https://www.marsh.com/us/campaigns/pathogenrx.html

Well doesn’t that sound exactly like the industry’s at risk during a shutdown.
Yeah the subtitle can be, "Formal Verification highlights the difficulty of specifications". Which wasn't a secret in the first place.

But yeah, fewer bugs is better than more.
Prior to that, there was WebSpades which was free to play and tons of fun. They were bought out by one of the bigger sites and things went downhill as they often do.

I played a lot of spades and backgammon on Yahoo as well. Is there a replacement for these types of sites nowadays?
Deaths are also counted differently.
NB: The textbook is currently free thanks to Springer releasing a selection of their material as free in response to COVID.

https://link.springer.com/book/10.1007/978-3-642-04101-3
Does anyone know if Ansible works on NixOS? I understand that Ansible requires a working Linux system before it can operate, but it would be nice to use some of my existing Ansible playbooks rather than rewriting everything in Nix.
I'd prefer not to be more specific, actually; at least on most points. Complaining about popular new things in threads about them is a trend I find irritating, and using a thread about how someone finds something cool to give reasoning as to why it's distasteful is completely off-topic and kind of rude, anyhow.

However, I will note that I listed two competitors, not one, and while I think both have more merit, I only think the best is worth using out of all three. I'll point out that it's not Guix, and that it's older than Nix, but I don't think advertising alternatives is a particularly nice thing to do in a thread about any given piece of free software.
Interactive Simulation Shows How Universal Masking Prevents Covid-19 Spread
>"This begs the question" is same as "This raises the question"

No it isn't, that is a common error in modern English. Raising the question means bringing a question into focus. Begging the question means to assume the conclusion is correct in the premise.

https://en.wikipedia.org/wiki/Begging_the_question
Rust Lib Version Checker
C program proofs with Frama-C and its weakest-precondition plugin [pdf]
Facebooks business is ads. Facebooks largest growing market is the third world. Ads are worthless there because people have no money to spend on sh*t they don't need. Now if FB makes micro transaction possible and cheap and even available for the unbaked, suddenly the poorest of the world are potential customers and thus can be targeted with ads. They may only have fractions of dollars to spend but they are literally billions so it ads up.

TL;DR
Banking the unbanked with cheap micro transaction makes them milkable.
It is being amplified by the media itself, not someone with media presence.
What's the Deal with Birds?
What would be the intended use case for something like this?
TL;DR: This program decrypts encrypted media files you yourself have received through WhatsApp, "in the same way that the WhatsApp app does to display it on the screen." It doesn't decrypt other people's media files, as the title could suggest.
Seconded. With increasing frequency Google returns pages and pages of totally irrelevant results.

It's as if they don't care about search result quality as much anymore.
To convey the former meaning I'd probably use "haven't seen shit".
Show HN: Collect payments is hard, we fixed it.
Yes, it all depends on how the agent infects the body and how the immune system is able to clear it. Our belief (based on how other coronaviruses behave) is that the body is pretty good at clearing it out, and that the virus doesn't really have a mechanism for forming a reservoir within the body.

The expectation is that PCR negative is roughly correlated with fighting off the disease in the short term, and basically perfectly correlated in the long term.
Maybe these rovers have cameras that can record the vandals for later identification.
Corona Leaked Likely from Wuhan Institute of Virology: Experts
Yes I understand that you know the intent; but are you suggesting that we shouldn't mandate businesses to hand out some documents in French because a few people you know are assholes? Do you realize that there is a reason that this law exists and that people could legitimately want to ask for documents in French?
Covid-19 and the basics of democratic governance
Fascinating story.

I wonder how much of this stuff goes undisclosed in various parts of the world.

Is there a site / publication that maintains a rogues gallery of such financial misadventures ( to put it lightly )?

American Greed on CNBC [1] covers some petty ( in the scheme of things ) frauds and fraudsters. Netflix's Dirty Money [2] is another good show. But there is good reason to speculate that much bigger whales never really get caught if they get their accounting / creative financing ducks in a row.

Surely there are other publications / shows that get into the nitty gritty & gory detail of how they pulled these off.

[1]
American Greed
https://www.cnbc.com/american-greed/

[2]
Dirty Money
https://www.netflix.com/title/80118100
A very nice summary of the communication and policy failings of the UK government re Covid-19.

Apart from repeating the necessary mantra of “stay at home”, there is very little transparency as to the scientific, social or economic backbone to the government’s decision making.

This essay outlines it nicely and why it is important. Probably applicable to some other countries too.
Wish developers would call these load balancers and stop trying to misappropriate words that designate something else.

A gateway is a network device that gives access to other networks (usually the router giving you internet). A proxy is an intermediate system to access, filter and cache requests, usually HTTP requests to the internet, not to confuse with a reverse proxy / load balancer that doesn't do that.

Of course all these are related network equipments often managed by the same guys, so go figure what tickets about "device" are really about.

edit: Also, it should be returning 401 instead of 403. This reminds me I need to make a post about the good usage of 401 and 403.
1% is still very high, compared to 0 in india, U.K., many other places. Rent in india is like 1-2% of property value / year. In texas with 2.5% property tax, rent is closer to 8%. Even Seattle is probably close to 3% / year. Rent is basically property tax + interest rate + maintenance - inflation in property values.
Control When Android Apps Are Released with Timed Publishing
I wish it was that intelligent. Ad buyers are morons and companies like Criteo are snake oil salesmen.

Advertising, as a whole, is one of the most inefficient use of man-power capitalism has ever created. Intelligent people who have been failed for the US education system(chasing the goal of 'be whatever you want to be... but there is no sustainable way) usually end up there in some fashion.

This glut of capable but ineffectual intellectuals is either helping the ponzi fiat money scheme or if this virus is a 12 month affair with limited buying leads to mass civil unrest.

The demographics of the ad companies skew left... which is ok as long as we don't get into South American Currency Territory which i think the petro dollar should keep away for the time being.
I confirm this is true. Happened to me twice.

First time was a company that had 0 clients in Qc (or Canada if that matters), still received a complaint.

Fortunately, since we didn't care about the FR website, we basically added a link which was pointing to a google translate version of it.

But yeah, this law is definitely used by many as an "exploit against companies" just to make you waste your time.
Bootstrapped and Profitable Companies
I am no expert but I have two points relating to concerns about data security / privacy - well food for thought:

Our existing medicare data - have we thought about where's it stored? Many make health claims through the Medicare app also. It tracks way more about our health (who we visited, when, what for, pathology tests and more etc.) than this app ever will. I'd bet it's stored on something like AWS also as until recently it was pretty much the only public cloud provider with the necessary PROTECTED certifications in Australia.

I understand mobile phones track our location even if you have zero apps installed and / or location services off. It does this via triangulation off the cell phone towers. If you know the IP address of a mobile device you can put it into any number of publically-available websites and in many cases you can find its general location - and sometimes with a fair degree of accuracy.

If these are concerns for us we are best to discard all our devices asap!

So to me this app seems to track nothing much new at all - it just seems to join a couple of important and potentially life-saving dots.
Those underpinning the ‘flatten the curve’ projections and causing everything to shutdown for one. With exponential growth before a shutdown and flat growth during it.

There where plenty of different models based on different government responses, and they generally hold up well.
It's good to see that finally people are doing something about the utter dominance that Amazon has managed to achieve.

While I do get the benefits of online delivery to customers (especially in the current pandemic situation or for people too old or impaired to walk/drive), the situation is much more dire for their communities across the world:

1) Many towns rely on some sort of commercial tax on local companies to fund their operations. Amazon however only pays taxes where they employ people (i.e. some random small-ish villages near highways), but not where they sell stuff - this means that as more sales shift from physical retail to online, the funding of the town goes down.

2) With delivery of food taking over, small stores that enable local people to buy e.g. groceries without needing a car get unprofitable which means they go six feet under and people are forced to drive to the next town having a Walmart or other kind of large supermarket.

3) The more stores close, the less attractive the mall or the area becomes. "Storefront blight" makes an area less attractive to potential and existing residents, invites vandals (smashed glasses, graffiti, ...) which in the worst case creates a negative self-reinforcing spiral to the bottom. Additionally, the jobs that are lost there may (!) be replaced on a national level by additional hirings in Amazon warehouses or delivery companies, but again, as delivery centers tend to be centralized, this creates another loss for the communities. Depending on the country, this job loss may hit communities further when the community is responsible for unemployment or other social benefits (e.g. housing) and not the state/federal government.

4) The tax loss also hits the countries: Amazon (and other mega corporations such as IKEA) can and do exploit complex tax loopholes to avoid as much corporate tax as they can.
It seems digging is much slower than in the original. Otherwise it's very similar.
Cpp-Taskflow: A General-Purpose Parallel and Heterogeneous Task System at Scale
And the constant velocity doesn’t help either. Almost any MIDI score could be made sounding twice as good with a little variation in velocity and slight timing errors. Speaking of which, some friends who had a video production company were picking an audio track from a commercial DVD package and there were song choice in around few dozen different styles to pick from: country, progressive rock, etc. At some point I realized that the same score that was played within different style and textures and different cadence made it sound like different songs altogehter.
I agree. Or at least I used to! I set up a server a few years ago running NixOS and it required a steep learning curve, but it seemed worthwhile at the time. Fast forward to today and I want to add a new service on the server and I've completely forgotten everything I learned about Nix and I'm considering switching back to debian.
Source code: https://github.com/cpp-taskflow/cpp-taskflow
I think people’s default assumptions place themselves at the center of the universe.