skysight-inc/HackerNews huggingface dataset:
I was referring to Arthur Prior's solution to the paradox.

As for dialetheism being a better model of natural language, I'm familiar with the claim but I think its main argument fails to grasp that contradictions in natural language do not happen "in the same sense and at the same time". For instance, the sentence "This sentence is false" is true and false in natural language, but in succession and not at the same time. Moreover, dialetheism does not seem to be able to explain hierarchies and cause-effect relationships, which are key constructs of language.

I think that when it comes to logical systems such as mathematical theories, the point is not necessarily to come up with a theory that is true (that would ultimately be impossible due to Agrippa's trilemma), but to have a theory that has predictive power and is self-consistent, and this is what ZF is. Self-consistency seems to be the minimum requirement for any theory, lest it falls into triviality.

The little I know about paraconsistent logic is that it suspends consistency in a few select cases. But generally, consistency still holds, otherwise, as you said, the system would become trivial. I guess my question was: would paraconsistent logic claim to be true? Or, at least, identical to itself? If yes, then if would itself be subject to consistency and identity. And if it chooses to temporarily suspend those, then in that time it can no longer claim to be true. But if in general it complies with consistency (lest it becomes trivial), then it must reject the subsets that are not true, otherwise it could no longer be self-consistent.

I guess my point (and I could be wrong) is that paraconsistent logic is entirely non-consistent, unless it chooses to redefine what consistency means, in which case, we're back to triviality.

Thanks for the book suggestion, I'll definitely read it and hopefully find some answers.
I've stopped using torrents 4 years ago maybe, because I discovered usenet will use up my entire connection for not just the new stuff, but also 10 year old movies/series. I've tested it on a server in a local datacenter to try remote plex streaming. It uses the entire gigabit connection from start to finish.

It isn't completely free like torrents though. You'll need to subscribe to a usenet provider for like $6/month and a newsgroup indexer for $10/year. The $80/year is worth it though. I've got it setup so my series automatically download (Sonarr) and whenever I want to download a movie I usually just look it up myself. I've had it automated in the past (Radarr), but it wasn't really necessary. My download client already renames movies and places them in the right directory anyway.
I don’t know. Having HIV and AIDS is the ultimate scarlet letter. It’s the mark of death. Even in this day and age, over 30 years later, the stigma of having it is socially unacceptable, regardless of what is publicly promoted.
I've seen it discussed by intensivists on Twitter in January, that they've used it during 2009 pandemic
Amazon brings you the customers as opposed to you needing to find them. Many ad networks are banning mask ads due to "price gouging" for political/PR/legal reasons.

True story: yesterday I got a downtime notification for my ecommerce store. It turns out Shopify pulled it down with no warning because their automated scan detected we were selling face masks. We sell fashionable face masks, and it was actually a test listing that failed our testing phase so we never stocked the product or sold them. The price was also super reasonable and would have supported, at most, 30% margins (but in reality it failed testing, meaning the margins were negative).

I am transitioning off the platform and will never use Shopify for anything serious. What a POS company. They seem to think they are running a marketplace when they are actually selling a completely replaceable and somewhat buggy software-as-a-service that treats their customers like idiot children.

They had no idea if we were buying thousands of dollars of traffic per hour and they are lucky we weren't.
That does, thank you very much for the detailed explanation. I was only looking at part of the picture.
I believe the contribution of this app is great. Maybe it will help some people think about the meaning of being anxious or depressed. By using this app, they may realize they are not actually depressed, or maybe they will not feel better after using it, and they will look for help elsewhere.

Great idea imo.
You can do plenty of morale-preserving things on a slightly janky connection. And being worried about some visual stutter on your teleconference is solidly in the unimportant problem pile.
There are certain aspects of the technology which can reduce infrastructure cost, for example a train following two lines on the road rather than actual tracks, it is already happening in China and saves money. So there are technology aspects which could improve transportation by utilising certain "AI" solutions but yeah, not necessarily driver less.
Tesla to Suspend U.S. Car Production
The GPs point isn’t meant as a recommendation for the current situation (SARS-CoV-2 isn’t even a microbe), just an explanation of what that disc is.
What if you don't build up immunity? I've read that there it's not certain we can build up enough immunity. Everybody takes this for granted but what if your immunity lasts for two weeks?
Median incubation period is 5 days, 95 percent of cases are 2-14 days.
I think it's times like this where the government should just sigh and once this is over, come back to have a very stern conversation with ISPs.

Unfortunately internet is critical infrastructure, and kicking and screaming "this is bull" doesn't help alleviate traffic.

I'm in Europe, I'm kind of "wtf?" about this, but I get it. I'd rather have lower quality netflix than a broken internet where I can't work from home and have to figure out how I earn my paycheck.
And now I'm surprised this isn't similarly handled to how you deal with cockatrice eggs. Never touch barehanded, incredibly useful otherwise.
This seems like a witch hunt for what is a conflict of interest.

Either you have certain roles, i.e. members of congress, that can't hold shares at all. Or you allow them to trade and then only go after very specific insider trades. I.e. at a business to business level.

But going after an individual for "knowing" how the entire economy will move is a stretch imo.
My Covid-19 top podcasts to bring you strength
Curl 22 years in 22 pictures and 2222 words
No one uses Wine because they want to use Windows, they use it because they don't
Yeah I watched a documentary on RUV (Icelandic state TV) last night that basically cobbled together the story in Wuhan from people’s cellphone footage.

People were literally dragged away by police/medical personnel in door to door temperature testing. Like physically picked up kicking and screaming and bundled into waiting vans. And at the time hospitals were so overloaded sick people were sat in corridors with the dead on the floor beside them covered by sheets. I think most people are pretty oblivious to what draconian means. I know I was!

The documentary was Danish and called De advarede om corona-krisen - og forsvandt for those interested.

The other thing to note is that a bunch of the people that recorded the footage are now missing which is terrifying in itself.
Folks might want to checkout RSocket: https://github.com/rsocket/rsocket-go
Hey Hacker News! Today I am launching my side project https://crowdcapture.org which I built to make working together on image datasets easier.

When I started trying out machine learning I quickly learned finding images for your dataset can be a time consuming process. It is even harder to find images that have the appropriate license.

On CrowdCapture you can create projects and user can upload images to it. Every image will be checked by another user before it is added to the dataset. Then every week a new zip will be created with the uploaded images added.

If you have any questions or comments I will be happy to answer them.
Simple interactive models of disease spread – with some response options
counter-anecdote: i pay 40 euros for 200 Mbit

edit:misspelling
I have to agree, I prefer google cloud billing. Particularly for api rate limited billing, even in the free tier I can see exactly how much each request is costing, by type, key, api, immediately after making the call.

It makes it very easy to test out a use case and determine how much it would actually cost (pricing charts can be a pretty rough estimate when use cases grow more complex).

And the hard stop, $300 free credit is exactly what I want when kicking tires / MVPing.

I imagine a lot of free tier usage fits into the developer testing / tire kicking. Going one step further than the docs, and making sure the api / SDK do as described.
When that happens, it's too late. Between the incubation period and the time to death it's about three weeks. At a 20% increase per day that means that even if you stop going out at that moment deaths will be multiplied by 46. If the rate is 30%, the multiplier is 247.
How hard is it to get started doing stuff like this? Do you need thousands of dollars of lab equipment or is the entry barrier relatively low? Making your own bioluminescent genetically modified organisms sounds really neat
Given one of the best pieces of advice about managing COVID-19 is to "Act Like You Already Have it" [1], a less accurate test with more false positives isn't necessarily a bad thing.

[1] https://www.huffingtonpost.com.au/entry/act-like-you-have-co...
Is there a good source to get started with powershell, perhaps aimed at people with good bash knowledge.

Every time I open it up I just nope back out, and most of the docs I peeked at didn't draw me in.
Instant coffee is a US$30+ billion global market segment, and about half of all coffee drinkers drink instant coffee.

https://www.washingtonpost.com/news/wonk/wp/2014/07/14/almos...
>The complexity of docker /infra/devops is overwhelming, and something much much simpler is clearly needed.

I'm very disappointed with the fact that now one cares about simplicity nowadays. Everyone gets excited by k8s, then gets excited about tools around it (k3s, kops, helm, etc, etc) but no one understands that those are incredible complex tools with high cognitive overload.

This is 2020. Why do I have to think about 'containers' and 'nodes', why do I have to wait 30 mins while my pipeline will build image and trigger k8s to redeploy the things, why do I have bother with tons of YAML?

10 years back we've got Heroku and surprizingly no one tries to disrupt the space of infrastructure simplifying then. Everyone just tries to get things more and more complex.

The Dark ecosystem is perfect example of what backend should be. I don't agree that we need new language though, but at least Dark tries to solve complexity. While others just bring more and more leaky abstractions to the table.

Even your comment doesn't received any response. Why? People don't like to get they code just to work without all the infrastructure burden? I really really don't get it.
Yeah, and that side is better so let us get shifting.
Ok? I'm sure most e-commerce websites would scoff at the idea of having shoppers mail in a notarized copy of their passport before they can make a purchase.
During a pandemic which has forced a huge number of people to stay at home and is currently crashing the economy and costing hundreds of lives per day, it could help to be a little more sympathetic to measures like this. They might not be perfect, because everyone is having to react so quickly to what is going on, but we can appreciate that this is not a normal event and the vast majority of companies have never planned for it (random ISPs, for example). If this article [1] from Netflix is to be believed, 4K uses five times the bandwidth of HD, and is surely an easy target for something that can be traded off while not affecting people's moral wellbeing too much.

Suffering a video quality decrease would seem a small price to pay for not causing further problems, and perhaps once this is all over, or at least we've stopped flying by the seats of our pants, we can see if people should receive refunds of a few dollars a month.

[1] https://help.netflix.com/en/node/306
The importance of updating NPM packages
MIT CSAIL Parallel and Distributed Operating Systems Group
NAT seems like it has been a disaster for the internet. It basically forces us to route things through dedicated centralized servers, actively damping investment and research into P2P technology. Some of the most useful networking things I’ve learned in the last few years have basically been ways to circumvent NAT-induced problems.
Focus-within CSS pseudo-class for element that contains element that has focus
The other reason no one is talking about them is that the WHO continues to list Taiwan as a province of China...
Haha. I understand that "Life is unfair, get used to it" and you just gotta wing it with sink or swim mentality in such adverse situations...

Frankly I was just looking for if anyone has a better defined strategy for this situation as I can't really figure out one with enough confidence...
That's confirmed cases. I doubt Italy is testing many people with mild symptoms, just like the US is also not testing many people with mild symptoms.
Show HN: App from Ask HN Socialdistance.app
Screen Watermark Solutions
Hi, can you pls help to find 2 companies that provide screen watermarking solutions?
Yep, good idea.
Will try to search for them through the weekend and see if I can summarise them in. single thread perhaps...
Should help personally as well I guess
the more policemen, the more trouble.
Cool! Is it because the Wolfram libraries and infrastructure are great, or is there something in the semantics of the language that makes this so nice?
All the people I've ever seen calling the 3.4% figure "flawed science" only seem to ever attack it for being too high. There's very rarely ever voices from the other direction of calling it too low.

People underestimate how many cases Hubei actually managed to treat. They built two purpose built hospitals where every bed was an ICU and converted stadiums and hotels to centralized quarantine facilities so the less acute cases could be near but not in hospitals but could be rapidly shuttled there if the symptoms got worse. They flew in over 40K+ medical workers from all over China to treat less than 80K cases, 80% of which were "mild" which means 2.5 medical workers per non-mild case.

What we really need is the cohort from China who had hospitalizatable symptoms and were denied any sort of treatment, what the range of outcomes in those cases? Even then, it's not a natural experiment because China is practicing triage, same as Italy, and so we need to compare like to like as much as possible.

If the models are correct at assuming that our hospitals are going to get more than 10X overwhelmed, then this is the real number that matters. What's the rate of death for people who have 0 medical intervention.

The reason why is, if the healthcare system isn't overwhelmed, then the CFR is not an important number because the total number of deaths is small enough that variances in that range are trivia. If the healthcare system is overwhelmed, then any data we get from non-overwhelmed systems, which is all people appear to be using, is utterly bollocks.

If people are suggesting that 70% of people in their country could be infected in a year, then we should be using a CFR closer to 10 - 15% as the true number and that means we could be imagining a world where 7 - 10% of all people are dead by this time next year.
> Why keep such detailed records? Barcode it on the way in, run the test, and report the result - forget demographic data and any other paperwork, whoever ordered the test can deal with that.

Detailed records and redundancies ensure you don't mix up any of the tens of thousands of samples coming in. These systems are crucial for being able to scale up as they have without complete chaos breaking out in the lab.

You are right that barcodes are far more efficient, after implementation. But implementation takes months, and requires diverting resources that would otherwise be used to run more samples. The lab would face significant downtime putting a barcode setup in place and retraining. (See nkrumm's comment about labs not having a "test" environment.)

> Standard qPCR machines are incredibly common in both academia and industry and have 96 wells at minimum. The protocol published by the CDC has an 80 minute runtime. That's 1000 tests per day for a _single_ low-end machine.

That's only if we ignore the sample preparation time (orders of magnitude longer than analysis time), and the many control wells necessary to ensure the technique was successful. While I suspect these will also be dismissed as bureaucratic inefficiency, they're needed to make sure your newly-installed instrument running 24/7 hasn't broken down, and that the high throughput sample prep wasn't botched for a given prep batch.

The stakes for these tests are high enough that cutting corners on QA/QC isn't acceptable, because it means more lives lost. Doing a mediocre job for testing at this scale will have a very real impact on our population.
Treating Europe as a one block seems like very low resolution decision. Netflix content delivery network is sufficiently large in Europe to take into account much smaller areas.
Waymo expands autonomous driving data set and launches $110k challenge
What are you talking about? You're saying given the choice between dying of COVID-19 right now due to lack of a ventilator, and a hypothetical chance of getting AIDS (a treatable disease that you could very well live with for decades), you don't find the choice obvious? That doesn't make any sense.
> I would love for this case to make it to the European Court in Strasbourg.

Strasbourg is the European Court of Human Rights. Complaining to them about a lack of detail in your Netflix stream during a pandemic will probably not give you the results you want.
> It’s also less ergonomic: a developer can’t go into a specific sub folder and build ONLY that sub folder and its dependencies

I'm not a fan of qmake but this works just fine with it.
So how do i extend component in mediawiki without having to recompile its source?
How would i reuse that <mediawiki-table/> distributed in core and reuse it in user installed plugin?
Click the "cancel subscription" button. Unfortunately none of them take effect immediately.
The evidence is that the end users use these things when they're implemented in browsers and web developers adopt them in their apps.
There is quite some discussion of it here

https://emcrit.org/pulmcrit/split-ventilators/

It has certain disadvantages (like not being able to trigger a breath on yiur own)
hey gwern, I personally really appreciate the dark mode support.
Where is that? I think internet quality varies quite a lot within the EU, urban vs rural, etc so we can'treally generalise. I pay less than 40eur for a 600mbit connection.
I was switching between gaming PC and console for the last 15 years and to be honest I had much more trouble with PC games. Just after I buy a PC everything runs very smoothly, but the performance declines very fast with new games. It's always an internal struggle between "I want it to look better" and "I cannot play on this framerate anymore". Console games for the most part run on the same level. It's not great, but in this case I'm grateful that someone took the choice from me. Obviously there are games that are just slower than the average, but everyone knows very fast about them. I would not buy a 3/10 game and I would not buy a game that has performance problems. With PC it's always a bit of a gambit.
Absolutely. But toss1 was saying something else. Likely from an Imperial US perspective.
I've got a decent amount of n95 (both 3M and HDX HD Brand) masks that we lucked into more than a significant amount of time ago. We are afraid to list them, at any price, because I'm afraid ebay/amazon will kill our listings at any price. I'm ready to ship them for free, of all costs, I just don't want my amazon "privileges" revoked. who do i give n95 masks too? edit: they are 2024 exp dates
Thanks for mentioning PingPlotter, I'll try it out to monitor our connexion.
I'm from Spain, one of the most exposed countries right now. At first you see this as something distant, something that was happening in China as Ebola was happening years ago on Africa.

It can't touch me.

A few days ago the state of alarm began over here. Remain at home, minimal movement (just to go for groceries, pharma, the rest of retail businesses are closed now). It felt closer, but still you feel safe. You're at home, theoretically isolated.

And then you start hearing that people near you got sick and even die. One friend's father died a couple days ago. Other relative has been confirmed with covid-19 yesterday. More cases coming everyday. They are no longer points in a chart. These are your people.

We are not overreacting. We reacted late.

Take care.
There's no point in trying to discuss policy with a Trump supporter: they are a cult member and will rationalize away whatever doesn't fit their narrative.

Carl Sagan warned us about this decades ago so we should be too surprised (but I sadly am).
That’s exactly what I interpreted when seing the title. With this virus stuff it’s difficult to be social so learning has to be theoretical only.
For a disposable item like face masks, consumers would gladly pay 3x the pre-pandemic mask prices for their own personal use. The buyers who aren’t willing to pay 3x are hoarders and resellers, because there’s no guarantee enough people will pay 5x or 6x for it to be worth it.

If the manufacturer prices are allowed to rise, the profits incentivize increased manufacturing. If the prices aren’t allowed to rise, the rationally selfish strategy is to hoard the entire stock of any non-gouging manufacturer and sell the product on a gray market like Amazon where anti-gouging rules are poorly enforced. The profits obtained by resellers could have instead gone to manufacturers, encouraging more people to become manufacturers until prices return to normal.

Nobody wants masks to be unavailable to the poor. The disagreement is what measures will best make them available to everyone, the poor included.

It’s reasonable for people to disagree on whether relaxing price controls would achieve this end. But to say that free-market advocates believe the poor “don’t deserve” access to masks is as disingenuous as saying anti-gouging advocates believe the public “deserves shortages”, or that people who aren’t tenacious enough to find masks at any price in a hoarding-dominated environment deserve to die. Any sane person acknowledges both solutions have major drawbacks.
This isn't a proper comparison because the writer compares a few things that aren't really the same...

Anyway the problem with comparing rpc protocols is that you need to do a per case benchmark if you really care about performance. Pretty much every decent solution will be better than another equally good solution depending on the use case.

Years ago, one of my customers told me he used to work doing high frequency trading in a bank, and the bank had several tailor made solutions for data serialization and RPC made for very specific cases, and they were just better than any generic solution.
If there are 10,000 masks in stock but 100,000 people want to buy a mask, how do you distribute the masks to people? In a free market the price is determined by supply and demand, such that only 10,000 people will be willing to pay the higher price of the mask. Socialism doesn't work in this case, you just can't satisfy everyone's need for masks.

I'd argue that people shouldn't even buy masks during pandemics and they should be reserved for medical staff who actually need them and know how to use them properly.