skysight-inc/HackerNews huggingface dataset:
> If your argument for the axiom of "existence of existence" depends on the axiom of non-contradiction, is the axiom of "existence of existence" truly axiomatic any more?

Obviously since there's no need to rely on precisely one axiom.
Yes https://en.m.wikipedia.org/wiki/Timeline_of_influenza
> we aren't immune against flu, is there any reason to think we could develop (long-term) immunity to COVID-19?

Spanish flu became less lethal in subsequent generations[1]. Helps with the survivability of the virus if it doesn't kill the host. So, the strains with less lethality win out.

We don't need to be immune for the situation to resolve. Simply co-evolving with the virus is sufficient

[1] https://demystifyingscience.com/blog/2020/3/4/patriarch-of-p...
> 25%, 50%, 75%... Where did they come up with these figures??

When numbers are too round, the good old "finger in the air"
Is there fossil evidence of forests in the great plains?
There Is an Opportunity Everywhere
Hell, we'll make it so med students can get a proper night's sleep during their residencies while we're at it.
It still isn't game theory, the government acts first, the voters act after after observing the outcome. There is no subsequent game.

It is simply up to the government to estimate probability and expected payoff. Optimal action for government is to take the least amount of action to prevent the voters from thinking its a pandemic. It isn't a game theory scenario, there are no nash equilibria.
Because shutting down the economy will kill people, too. It will also decrease quality of life for everyone, and disrupt families, communities, cities and countries.

I don't even know what the best course of action is, but there are trade-offs that a lot of people here seem to be ignoring.
1. ActiveRecord is extremely troublesome but not because of bandwidth. Sure, data movement is a performance headwind, but not the end of the world (in a row store all the data is adjacent anyway).
Active record problematic because of its non-immutable nature. You cannot copy and mutate rows without weird side effects (in Spring for sure), which leavers you with an inherently imperative interface to your DB.

2. REST does not insist you fetch whole rows. You can have field masks with REST, it's inherently untyped, there is literally nothing preventing you adding that performance optimization if you need it, in a backwards compatible way (add the field mask query param later when you need it).
https://developers.google.com/slides/how-tos/field-masks
The 3 schools against skepticism all argue against each other's points, so in a sense they strengthen the skeptical position.

Appears there is no clear consensus on exactly why skepticism is false.
COVID-19 presents governments with a tough communications problem. People respond quite readily to an immediate threat to their own or their families' health. So while I agree that the fear people have in terms of catching the virus themselves is quite overblown, that fear also helps get them to do the right thing.

For the vast majority of people, this is not a direct health crisis. It's an optimizations problem where governments have to balance the total death rate, total life years lost, the capacity of the healthcare system and the future consequences of the economic downturn containment actions will affect.

Fear works better than that kind of complex, uncertain calculus as a public motivator.
There is no guarantee that there ever will be vaccine that is effective. There will for sure be trials, we are all hoping on a positive outcome for one of those.
> This pattern of access is simple and intuitive but causes huge problems in even small projects. Retrieving whole rows is hugely wasteful when only part of the row is required to resolve a user request.

Retrieving a whole row rather than just a single column from a database that's likely on a local network definitely doesn't seem "hugely wasteful", especially for smaller projects.
Italy will rush 10k student doctors into service, scrapping final exams
TfL closes 40 tube stations, suspends Night Tube, fewer trains, buses next week
I speak from experience. Most expiration dates for this kind of thing are absolutely meaningless. I see expiration dates for sealed glass containers of water, methanol, dry chemicals stored at -80C, etc. It is all complete bull.
I've never bothered with the requirement of professional experience when applying. Still got interviews and offers.
I just discovered this amazing documentary about hypertext from 1990, written by Douglas Adams, with Tom Baker (The Fourth Doctor Who!) as a Software Agent, and featuring many other amazing people, like Ted Nelson!

Douglas Adams Hyperland

https://www.youtube.com/watch?v=1iAJPoc23-M&t=4m16s

>Douglas Adams: Are you sure you mean Agent?

>Software Agent: I mean that I'm a Software Agent. I am merely a simulacrum. An artificial and completely customizable personality. And I only exist as what we call an "Application" in your computer. I have the honor to provide instant access to every piece of information stored digitally anywhere in the world. Any picture, or film, any sound, any book, any statistic, any fact. Any connection between anything you care to think of, you have only to tell me, and it will be my humble duty to find it for you and to present it to you for your interactive pleasure. Is there anything I can do for you now, Mister Adams, sir?

>Douglas Adams: Well yes, you can stop being so obsequious, for a start.

>Software Agent: It will be my very great and profound pleasure to be less obsequious, oh Master. I am, as I humbly mentioned to you a moment ago, Fully Customizable. Allow me to present you with my Control Panel.

https://en.wikipedia.org/wiki/Hyperland

https://en.wikipedia.org/wiki/Douglas_Adams

https://en.wikipedia.org/wiki/Tom_Baker

https://en.wikipedia.org/wiki/Fourth_Doctor

https://en.wikipedia.org/wiki/Ted_Nelson
Show HN: Remotehour – Allows people to talk to you anytime you’re available
Ask HN: How is AlphaGo helping with Covoid-19 Search?
I wonder where is AlphaGo when we most need it. How is it helping to find a solution to the pandemic? Is the problem the lack of data? Or have not attacked the problem of amino-acids, proteins and virus behavior with Alpha-Go yet? What are we missing here?
Zero chance that this full lockdown goes on for more than a month or two at the most. The economies of the US and EU would be entirely destroyed and we'd be in the Second Great Depression.

We're likely looking at a slow rollback of the quarantine over the next six months. Expect a dramatic increase in medical personnel and supplies, temperature testing in public, especially for entry to structures like malls and subway stations, continued quarantine of at-risk populations, postponement of large gatherings, and a rollout of experimental vaccines and treatments.

For the "second wave" in Fall/Winter, the plan will be to have massive medical resources ready to handle a surge incoming cases. After the current economic situation, I wouldn't expect another shut-down.
Researchers at Biozentrum Basel have nice model where you can check different scenarios. https://neherlab.org/covid19/ It uses severity assumptions from China and takes into account the estimated fractions reported in China and shows ICU overflow.

Without strong mitigation you can get more than million dead in the US. Majority of them 70+.
Aren't "next", "subsequent" and "following" nearly synonyms?
Electro-Glitch Pop in the 1960s: The Unreal Sounds and Story of Silver Apples
Notes for 'Thinking with Types: Type-Level Programming in Haskell', Chapters 1–5
What is the business model behind this?

The GitHub account links to this site:

https://tabler.io

Which looks like a typical sales page. But it also says "free" everywhere. No info on pricing or business model.

The icons page tays to install the icons like this:

npm install tabler-icons --save

Does this make you vurnurable to code coming downstream from this repo in the future?
Or you could take a look at the references and the corpus and see that there are strong arguments against it instead of just guessing with no data. Analytic philosophers don't tend to build things anyway. They focus more on answering specific questions. There are plenty of "continental" philosophers who still do and many in fact have no problem with this.
the disrespect for sleep the medical profession has is insane.

If someone is gonna be cutting on me, I want them to have a good night's rest. They tell me to sleep consistently and well quite often. seems like if it's good for me it would be good for them, too.
That's an interesting observation, I wonder how one could design a system to moderate a social app at scale? I've been thinking about this recently, but not sure what possible solutions could be. I was thinking there needs to be a way to incentivize the users to self-moderate in a way that is fair and works for most cases.
Did you work at Homeaway?
I think that's a potentially misleading way of summarizing it. Facts are true beliefs; not all beliefs are true. The trilemma only implies that there's no way for me to step outside of my own head and know, beyond the possibility of error, that my beliefs are true. But they may still be true. (That applies recursively to the trilemma itself!)

So if you dig far enough, how accurate our beliefs are is partly reliant on factors beyond our control: if our minds happen to be wired with bad axioms we may be unable to avoid inaccurate conclusions.
If you can tell me how much money the government is going to plow into them and at what total cost, I'd take a stab at appraising their situation (on whether it's a potential buy at some price).

It has certainly been demolished now.

A friend of mine that I've been exchanging emails about the market with on a daily basis for 20 years - we trade short calls back & forth when something looks interesting (I almost never short stocks; and very rarely use puts; so this is merely a market game between us). I slapped a short call on Boeing at $371, with a cover below $200. That was premised on it being ridiculous that they had held up so well for so long, despite the beating on the 737 Max. At that point I had no idea Covid was coming. So I thought maybe it was worth $150 or $175 with the Max mess (assuming some resolution there eventually). What is it worth now? Shit, who knows. Zero without a bailout is my guess, they're getting tag teamed like the oil market did. So what will the bailout look like. I do believe the government will bail them out, I think that's obvious; so next, then, is what will that look like, how onerous will it be.
Amazing level of detail. I wouldn’t want to be in Florida at present - implied infection rates are extremely high. Good independent data sampling whole population (well, biased, but different bias from other sources).

I would love to be able to go back in time for a few weeks (animated), and also to be able to see a comparison against last year.

Edit: also this is a fairly leading indicator of problems (and includes many that are sick but get better), compared with confirmed cases which lags and underestimates, or deaths which severely lags (but fairly reliable indicator there is a serious problem)
So I guess that ARM processor theory is pushed out for another year or two...
I founded my last company, AppNexus, in 2007, and we were out trying to raise our series A round in 2008 just as the world was falling apart. I pitched 40+ VCs, got nowhere, and was about to sell the company when we finally got a term sheet from Venrock and were able to keep going. By having the funding to survive the crisis, we built the company over a 10-year bull market, and ended up selling to AT&T for $1.6 billion in 2018.

Last year, I decided to start a new company, CMDTY, and raised $10MM from Venrock and Rucker Park with the intention of having plenty of money in case the world fell apart again (not really thinking it would, to be clear). I think we are going to be impacted by the global recession like everyone else, and at the same time, I think our product - a platform for supply chain management - is going to be extremely valuable as things pick back up again.

While we are going to be cautious given the uncertainty we face, we plan to hire 3-5 people over the next few months, and we're open to remote work (that feels funny writing, given that nobody is in the office!). https://cmdtymkt.com/careers
Cool that they managed to get it digging.

The "mole" is actually an interesting bit of engineering, since they wanted to dig to a depth of something like 16 ft IIRC, and obviously needed to keep the weight down. It's a sort of self-hammering nail.
1% of 7 billion is 70 million, so its 100 times worse than you thought.
EPPlus Excel Library for .NET Switches from LGPL to Polyform Noncommercial
Coherentism ans reliabakism address this. You're alao confounding infinite regression in metaphysics (causality and/or composition) with imfinite regression in epistemic justification.
Well, one approach is to start with an assumption that the law of non-contradiction is true in most cases, and then look at specific cases in which it might be worthwhile to make exceptions to that generalisation - for example, the liar sentence (This sentence is false), Gödel sentences, Russell’s paradox (“this set both is and isn’t a member of itself”), etc. Dialetheism in which every contradiction is accepted is trivial. In non-trivial dialetheism, you argue that there are good reasons for accepting certain contradictions that do not apply in the case of others.
Honestly, maybe you aren't getting enough fiber. I take a psyllium husk pill a few times a week. If I take one daily I could literally get away with zero wipes some days if I wanted...
> So, the strains with less lethality win out.

Which is the case for COVID-19 vs original SARS (much more lethal). So we already have a "mild" version of SARS and it doesn't look good.
It doesn't seem unreasonable, even if it might be unhelpful. Most kinds of panic are dumb.
Yes, but by not being a vehicle you can allocate more schedule, weight, and money to the science type stuff on board instead of the locomotion type stuff.

Engineering for space is all about brutal trade-offs.
I’ve found out last Friday that I have to fire 2/3 of our engineering team. I work for a R&D “lab” inside a corporation, inside market research industry. Reason that I’ve got is that company hasn’t reached its expected growth and there is no budget to continue development in such size. I had to let my friends go... It’s gonna be really really though to stay.

So, if you need remote Senior Ruby, Senior Scala, Senior OPS, Senior Front-End (Angular), Senior iOS/Swift, or certified product managers, ping me.
Things are of course not black and white...
Italians die all the time. So do people everywhere else. There's no need to be overly sensitive.
I remember the days of early social networking: I.e. pre-mass networking like we have now with FB, Twitter, YouTube, TikTok, etc.

It seemed then that more individuals participated then, than do today (literally, those Sam individuals have fallen off).

Anyway, I wonder at what size of “community” this principle takes hold. Certainly, some form of it is true at the scale of modern social media as mentioned above, and it seems the same for the quarterly class updates that come from my college. But at 20 people we seem to have a sort of “small group dynamics” principle take over.

And maybe, then the right way to think about this is that as the groups size approaches one, I should be applying this model to groups as a whole (“in a collection of small groups, only 1% flourish, 9% stay stagnant, and 90% are silent”).
>This qualifier, "initial", makes me think you are arguing that their subsequent actions are excusable.

Over the past months they have made many good moves, and their conduct after signing the trade deal in early January seems decent.

>Accusing the other party in trade negotiations of releasing a biological weapon, coincidentally right next to your own infectious disease facility

One member of the foreign department posting things on Twitter is not the actions of the state. Further, that man's post seemed to be made as a reply to the "US accusation" that the virus was unleashed intentionally by the Chinese. I don't understand how you can attack one while repeating the other.

And while I don't support forcing workers back to work or misleading economic reports, they're fairly common tactics worldwide.
> A commercialized health care system also has absolutely no incentive to keep excess capacity for emergencies.

I disagree, I'd say it's the opposite.

A commercial system can value surge capacity for peaks just like an online retailer does; the capacity to handle extra load means extra profit.

Whereas in a public health systems like the UK NHS everything is geared towards routine operational targets such as A&E waiting times. There is no budgetary or promotional reward for having reserve capacity.

Incidentally the NHS has just identified an unintended reserve: a pool of nurses who have been sitting in nadministrative middle-management roles for years. They are being retrained and redeployed now, but it illustrates the lack of efficiency in the system. A private provider would not have 'wasted' nursing staff in those positions.
Adding a clear button to the product search might boost productivity.

Editing quantities from cart will also be helpful.
10% of Musk's money is much less of a burden on Musk, marginal utility and all.
Those numbers really don't tell you anything about how viable surface transmission is as a vector from person to person. It doesn't seem to be a major transmission pathway based on all the available evidence so far.
StoryChief releases a new social media management tool
why do you invest over 6 months instead of at once?
Как накачать ягодицы девушке в тренажерном зале
Out of curiosity, do you have any plan when and why to go back in stocks? I'm currently 20% stocks (ETFs really), 5% bonds, 75% cash. I only plan to continue buying stocks and bonds every month, as usual (so, DCA).
I wish more people could have this balanced viewpoint. Maybe it's a good decision, maybe it isn't, but the fact that there's a virus spreading shouldn't cause us to all get one-track minds all of a sudden.

People's economic situation is important to their health too, and their job is usually the biggest part of that.
Supporting SHA-2 Algorithm in SSH on Azure DevOps
Do your large 6x8 plates work with the full color hologram kit or does the latter have the weaker lasers?
Those are closer to nanomachine fabrication tasks, but different. Lots of specialized, uncommon, high-precision machines: everything is a one off, there is no bulk, and it's all expensive and fiddly.

Ironically the way to make this stuff cheaper would be a three-fold attack.

* Make MORE things that use the same parts, so that making the raw materials is commodity.

* Reduce waste in use (if sterilizing the filters for reuse / etc is possible, etc).

Part 3: Look for alternatives that are feasible.

A hot-zone (book) style line supplied breathing air positive pressure suit that can be scrubbed clean on the outside, OR a similar glove-box (negative draw?, scrubbed inside?) style phone-booth like I think I saw on TV from South Korea (IIRC) would be much better replacements.
If their shoes were knitted, perhaps.
Microservices Architecture Tutorial: all you need to get started
I think most ORMs that in some sense follow permutations of the active record pattern in wide use are well capable of doing joins and only selecting needed/specified columns.

I agree there are places the pattern falls short at times, but are there actually any implementations of the pattern in widespread use that would make you use separate queries in loops rather than do a basic join?
If you don't sign you are to practice social distancing for a year meaning you will be excluded from most of society. How's that for an incentive? You see that is what the article proposes everyone should do.
Furstenberg and Margulis awarded 2020 Abel Prize
I own a bidet which costed about $400 which has a water heater, warm air ventilator, seat warmer, human presence sensor and even a remote control you can put on your wall. It's just a plastic seat I mounted myself on the old toilet.

Summer or winter it's always great to use it.
To emphasize this point, the InSight lander is five feet across and 800 pounds. Make all of that mobile, and either you need a substantially larger and more expensive rocket, or you need to dump a bunch of the planned equipment to free up mass.
Even Basic and Pascal are portable Assemblies.
At $300 that’s a very expensive part for something that’s already attached to every laptop it’s trying to immitate.
Your argument is an argument of Pyrrho, 3rd century BC. It refutes itself if you think about it. What they have in common though is making or relying on strong arguments against skepticism. The question is which alternative is the best, not whether an alternative is necessary.
Very nice article.
Actually, right now there is not a shortage of ventilators. Few hospitals have ordered more, and there are large stocks. There probably will be a shortage soon, but unless someone orders them and guarantees payment it's hard to imagine any manufacturer re-tooling their factory and spinning up production on a wing and a prayer.
While tesla decides to illegally keep plant working...
> ramping up production and stockpiling them for the inevitable demand in a few more weeks.

This still prevents future prices from increasing, which is good thing.
Say, maybe you could pass this along to the design team:

My kids all reject the current interface. They loved the interface it had a few years back. In case you need more info to identify what I refer to, I'll describe it.

I'm pretty sure there was nothing but math. Each topic was represented by a circle, and each circle was connected to prerequisites. Kids would earn points in a simple way. Kids would also earn various astronomy-related badges.

The new system simply doesn't motivate any of my kids. It isn't a change in my kids; I have enough kids (twelve) to average that out. Kids who liked Khan Academy before now don't, complaining about the interface. Younger siblings, now the age at which the older siblings liked Khan Academy, also don't like it.

Also, a completely different matter: Last time I checked, which was some time ago, the video required YouTube. If I need to block YouTube, the video can't play. Hopefully you found a solution for that long ago.
The question isn't "what should all([]) return", it's "why does all([]) return True". I think the answer is "because that's what the simplest implementation returns", not "because someone considered the mathematical implications".
Dead of live makes little difference.

What we're seeing is racism against a different culture.
You could have screenings beforehand.
I will wait until it gets a bailout, and how much the govt gets in preferential stock. Also watch out for how Airbus fares. Even Airbus tanked another 20 percent yesterday.
My employer (Notion Labs, Inc) is trying to hire in this climate and finding it difficult.
The fact that you're missing it from an incomplete pre-release doesn't make the idea any smarter.
It refers to covid-19
How Prepared Is India to Control the Covid-19 Pandemic?
The mobilization of American industry during WW2 produced some interesting artifacts. For example, many people might know what an M1 Carbine is, if only from movies and video games - but how many know that they were manufactured by, among other companies, IBM, Rock-Ola, and National Postal Meter Co?

After the war, most of those ended up on the civilian market, so even today, you can own a gun that has a legit "IBM" logo on the barrel.
I'm working on the setup of a new factory line. It's amazingly complex and makes just one thing... a washing machine bowl. Here's a video of an older version of the line. https://vimeo.com/306316617
iOS already has plenty of basic programming apps for Python, C#, F#, Scheme, and naturally Swift.