skysight-inc/HackerNews huggingface dataset:
Software is a bit different, because your copy won't just stop functioning if the supplier disappears. And if the source is available, then what you're really getting is a "factory", not its output. It can still be a problem if you have no expertise on how to operate said "factory" - but it's a very different problem.
Does anyone know of a good, strongly-typed computer algebra system similar to Mathematica?

By strongly typed, I mean that Mathematica is weakly typed in the sense that it simply assumes that all expressions are Complex numbers. At most, it can restrict itself to some subset such as the Reals or Integers, but that's it.

It can't, for example, perform general simplifications over non-associative types such as most Matrix algebras, the quaternions, or any geometric algebra. Most built-in functions operate only on Complex numbers, or expressions over the Complex numbers, etc...

I'm looking for something I can use to do symbolic expression manipulation for physics equations in terms of geometric algebra, but as far as I know there's nothing out there with the capability.
Furthermore: if we don’t trust them not to turn off the cameras, we shouldn’t be trusting them to be cops.
This begs the question, how much does it cost to lay road than to lay rail? If it's going to be exclusively autonomous, the more narrow confines of the rail should be well suited.
Actually traditional RPC is one of the paradigms considered in Fielding's thesis coining the term. I don't know why people seem to insist there are no other models than REST if you happen to have browser on one end. Sending Javascript down the asynchronous pipe designed for XML was at the very least a step back away from REST toward something more traditional (moving code, not data).

Section 3.5 "Moving code styles" (and 3.4 for RPC):

https://www.ics.uci.edu/~fielding/pubs/dissertation/net_arch...
I use it exclusively for programming. An 8k monitor is not a necessity, by any stretch: A good, large 4k monitor is more than enough for coding. I'd rather not voice an opinion about graphics or video usage because I don't know about the needs of these fields.
Apple was also in close to licensing Sun Solaris 2.5 which already ran on PowerPC. They just had to put the Apple UI on it but history happened.
Dr. Li Wenliang. The first Doctor to raise alarm on coronavirus
Swede here:

Ok, I'll unsubscribe from Netflix. I've been eying those HBO shows anyway.

Edit: 8-year running subscription now cancelled. I have no polite words for what I feel for this action by Netflix. Fxxk them.
You could think about the opposite way: it's good that Netflix was using so much bandwidth because it encouraged network upgrades. Now, when we need to use this capacity for something else, Netflix can flip a switch and it's available. Excess usage for luxuries like 4k video in good times is a way of preparing for bad times.

Ideally we would treat hospital capacity the same way. In good times, everyone gets a private room.
The clocks are dynamic but they are also deterministic because they're based on power usage, not temperature like on smartphones and PCs.
I think this article might be a good counterexample to Betteridge's law of headlines:

https://en.wikipedia.org/wiki/Betteridge's_law_of_headlines
I prefer copying the link to the page I'm on to share. No popups, native or otherwise.

Similarly, I like not having an app running so that you could just send me a text. Sms is bad for security, but great see sending short notifications. Almost better, as it is so limited.
"vitamin advocacy groups"

What does that even mean? Are you implying that instructing people to supplement vitamins you're deficient in is somehow malicious? I don't understand
SICP isn't really about Lisp but it's examples are in Lisp (Scheme actually). You can read the book for free on the mitpress website.
Same rationale here, I have a Toshiba Chromebook 2 (swanky) that stopped getting updates last year, now on the dev channel of Cloudready and it's got working Linux containers even (but getting Android apps working via ARC is sort of a headache). I remember part of the install process is going into the ChromiumOS settings to enable media playback (and even Flash, I was amazed to see), I wonder if the author missed that step?
I haven’t and I’m a consultant currently on the bench. We got some emails saying there’s nothing to worry about. Still worried though.
I agree with this. I really feel like we have to start taking measures to force accountability at all levels on those who hold the public trust.

In related news, "losing" the camera footage should cause everyone in charge of the system to be put on leave while outside people investigate why it was "lost."
Agreed. From the list of hardware OP listed I see 0 reasons why it won't work natively in Ubuntu. Even better than windows because you won't need any special drivers to download!
Why would anyone in Europe ask for that. All ISP publicity said they have more than enough capacity available.

Also it would be the first time that a U.S net company does something voluntarily just by kindly asking.
Yep, several - certainly A and B’s for many people. Not so much C as it’s a common one to supplement and is more common in the diet anyway.

Modern diets/lifestyles are just so much lower in these nutrients, or less amenable to absorbing/utilizing them properly, e.g., due to inflammation.

Chemicals in the air, water and food like mercury and lead, as well as fertilizer chemicals like perchlorate cause problems with nutrient availability and utilization too.
Torrenting is on the way out, from what I (as a casual torrenter) can tell. There is just a lot less material available. Maybe it's better on private trackers, but I haven't been a member of one in 15 years, nor would I know how to access/be invited to one even if I wanted to.
Search Index Cleanliness Is Next to Something
Are there any hints on what other countries/regions might be getting on that sanctions list soon?
The problem with the modern web is it is becoming only the platform Google chooses...
The cops aren't the ones who get sued. It's the city government. So no, there's no chance of that. Threats to person, property or family are illegal and punishable. Not all cops are dirty. The vast majority are ethical.
When they initially started operations quotations were electronic but trading was not.
I’d like to believe that. But the darn thing is infectious enough that just a small handful of people still having it will restart the whole thing.
The plan? Become a prosecutor and go after cops.
I would give it a shot too if I was sick, but that is a far cry from calling it a miracle.

It shows promise and should be pursued—and it is. Let’s not oversell it though.

> there's lots of drugs like tylenol that we know to be horribly unsafe and yet they remain OTC anyway

Interestingly, one of the other therapeutic leads that doctors are following up on is whether Tylenol is safer than ibuprofen for Covid patients. It got reported that it was, but it’s not yet clear how true that is.
I don't think he should have to. If a police force isn't automatically held accountable in such a case you are looking at a systemic issue.
Resources for shifting instruction online
https://illustrativemathematics.blog/2020/03/14/links-to-res...
But, as a cause of skin cancer, that would preclude vitamin D deficiency, since it is also dependent on UV exposure.
> In retrospect, a G5+RSX with unified memory probably would have been much better.

Which is not _that_ far from what the 360 ended up with. The 360 CPU is basically a triple-core variant of the the Cell without the SPEs, and it has 512MB unified memory.
Don’t consent to a search, ever. Even if they say they have probable cause. Even if you actually did what they accuse you of. A good attorney may be able to get the evidence tossed from an unconstitutional search. But the best attorney can’t get anything done if you consent. And if you allow a search and they plant evidence you’re really pushing a rock up a hill.
>...I kind of hope it is 3. but occasionally feel like it is 1 or 2.

Unfortunately #2 appears to be an issue for many doctors:

https://blogs.cornell.edu/info2040/2014/11/12/doctors-dont-k...
The companies also use it because their customers know. Not only YKK succeeded in making itself the most trusted brand, but they also succeeded in informing the end users of complete products that there is an important practical difference they must to pay attention to.

ITW Nexus did something similar with fasteners.
Look at the statistics of each day:

https://en.wikipedia.org/wiki/2020_coronavirus_pandemic_in_t...

In the UK the number of infected doubles every 3 days. The number of dead at the moment doubles every 2 days. Now starting from 3300 infected today, and 144 dead today, calculate the numbers in just one month. If you think that the growth won't continue if nothing is done, compare with the equivalent data from Italy: just 15 days ago, there were

2020-03-04 3089 infected 107 dead

today:

2020-03-19 41035 infected 3405 dead

and note that they even tried to do the lockdown first of the critical areas and later of the whole country.
As long as they are opt in, which most of them currently are, then I’m fine with it. I generally set my browser to blanket ban most of this functionality but I do occasionally override that on a site-by-site basis when it’s useful. I think this is a pretty good state of affairs, versus not even having the option at all
While it is definitely possible to reverse-engineer and modify the software/firmware of existing proprietary GPS systems, I'd argue that the distinction between this and changing an open source project is not meaningless.

Changing a couple lines of well-documented source code in an open source project before compiling is arguably a much lower bar to pass.
This entire Urbit thing has the vibe of a Boards of Canada music video. I love it even if I don't quite understand it (which I bet no one does, including their investors).
It's the third format from the left on the top row.
in these times where a significant amount of business is done from home it becomes a national issue pretty quickly.
I think the point is that these features are masked from the user (especially on mobile) when performed in a native app vs a website.
As far as I'm concerned, no, it hasn't.

Writing from Serbia. At this point we're at around 105 confirmed ill, 0 deaths. My fiancée is an MD directly involved in trying to contain the spread. In out of the ordinary conditions people just lose common sense. Just think about driving in the rain. That's relatively benign, but when raining I just can't fathom sometimes WTF I'm seeing. Imagine something like a pandemic with yet unknown consequences and spread trend. We've seen hoarding, conflict, disregard towards public health, panic, leisure, the works...

The current action items are:
- No going outside for anyone older than 65
- Curfew from 20:00 to 05:00, with a possibility to prolong it
- Closed borders
- Airports shut down
- No transportation between cities
- Heavily limited public gathering
- Military given law enforcement jurisdiction over civilians
- Schools and universities shut down

And you know what, even with this measures (although I think they are late), it's still very hard to put sense into people and grab this thing by its neck.

Disclaimer:
These measures are controversial in the country, because of the current (autocratic/oligarchic, opaque) political setup, which I am not fond of. There is a lack of transparency in this situation, also. But would I choose any different if asked ? Probably no.
Observability: A Complete Overview for 2020
Newsom's statement qualified that the calculations did not take shelter-in-place into account.
My experience in school was the best professors were in the
physics department. I learned a lot in those classes. I never
asked, "Is this useful?" Of course, it has been very useful,
especially in understanding engineering problems.

The physics professors worked hard at teaching their classes,
and they all supported graduate students. I think that is
sufficient. I don't care if some of their research gives
mathematical results that are not testable. That is what
we call research. I will back those professors every time.

That is my opinion.
I feel the same way. I think this explanation of the transition has been mentioned on HN before:

1) The Internet was created. Early adopters are generally optimistic about its potential to share knowledge and data, and form communities around mutual interests.
2) People begin to realize different ways to create money from this popular new technology, leading to very obvious attempts at creating revenue at some expense of users attention (e.g. advertising), followed by more hidden ways of revenue creation (e.g. selling data).

I also find it hard not to despair. There are still online communities that are still more motivated by communicating and sharing for their own sake (HN included), which I think should be the aspiration of online communities. Most people here have probably just settled into the online communities/blogs that serve these more optimistic goals. The unfortunate thing is that as soon as these communities become relatively popular in any way, other motives start to come to the fore to take advantage of that popularity. As those motives become clear, cynicism is inevitable. It seems to me that you might need something like benevolent community leaders that want to pour their own resources (time and/or money) into online communities without expecting anything in return.

I guess this comment didn't really offer ways to deal with cynicism regarding technology, if anything I justified the cynicism and suggested an option to create communities that would not breed cynicism.
It's already being discussed.
FriCAS and Axiom
Huh.

So doesn't that get reversed, once it's clear that the cops planted drugs on him?

Or what, does he get charged with perjury over his plea bargain?
Yes, and jails are about to become (if they haven't already) massively burdened by the COVID outbreak.

Over-policing and mass-incarceration in America are about to produce a massive, preventable loss of life.
I remember a tool a lot like this in my teenage days (late 90's). Even then, I knew the things it was doing were horrendous...

And for what it's worth, NetObjects still exists - http://netobjects.com/
> We use sophisticated tools, including machine learning, to combat them, and we are making it increasingly difficult for bad actors to hide.

So sophisticated that some reporter for wired could find them in the top few hundred bestsellers in a few minutes with a quick visual scan.

Let’s be clear: Amazon should not be censoring legal items on their platform. However, their efforts at stopping it are purely a PR matter, not a real effort.
It's only enough for 75,000 patients.
Yeah, and others: MSX, Nuon, and the modern PC compatible systems.

However, outside of gaming (and even computing), it becomes very common once it's no longer a differentiator to build your own version of a thing. Consider VHS, DVD, shipping containers, standardized faucet fixtures and so on.
It depends. For most reasonable firmware, trying to figure out how to compile the stupid thing is generally harder than finding and byte patching a condition in a binary blob.
Nitpick on the title used for this post: academical is not a word.
> Borders closing?

Absolutely seems to be coming. We've got an inbound ban from much of Europe and a mutually-agreed closure of the US-Canada border already, and now a “don’t travel now and return immediately if already abroad” advisory on top of that.
There are many things in history that don't really fit the "tiny, continuous improvements" mold. How many modern Western democracies got where they are politically through some kind of revolution, for example? Or, if we're sticking to the time period after that was all over, consider public healthcare or public education.
So is 9171991.
For what the hell do you need traffic analytics beyond parsing access logs? Current ad-tech/analytics is a mixture of outright fraud, fraud sold as "AI", fraud sold as "big data", middlemen claiming to solve said fraud, and privacy invasions on a scale that would make the Stasi drool.

Stackoverflow doesn't need this kind of shit and frankly, no one else does. The GDPR was a first start in the right direction and I'm seriously hoping coronavirus has at least one positive side and eliminates those fraudsters who survived the GDPR wave.
Does it matter that much when you can connect a 5TB+ external drive (or upgrade the internal drive trivially on PS4)?
Not true several etfs have the exact same gold equivalent. If you mean apocalyptic scenarios then yeah
Universal Movies Now on Demand
Where is fourteen-o-clock common? I've never heard 24 hour time spoken that way.
I think it can work, just not by crowd-sourced, incentive-based decision-making. Steve Jobs can do what Apple shareholders cannot, etc.
Not friend of yours italian quarantined enjoying 1Gb/s here. Never used Netflix ;-)
Epiphany WorkFlow isn't quite what you asked for, but I do believe you would find it a reasonable fit for your needs. Its output can go into Apple's Pages for final formatting, and it's free until Jan. 1, 2021. There after just $20 for a permanent copy. Disclosure: I wrote it. https://apps.apple.com/us/app/epiphany-workflow/id1490449900...

I admit that this looks like a bit of an ad, but I think it's fair use. If I offend anyone, I apologize.
There's also the feature comparison chart: https://about.gitlab.com/pricing/gitlab-com/feature-comparis...

You don't even need the trial. Just press "Register" to get the standard login page for GitLab.com. From there you can sign in with GitHub (or make an account) and explore the platform for yourself.

The trial is just for the paid subscriptions. The normal, free account has access to all of the platform's Gold features as long as the repos in question are public (or internal, just not private).

> Yes! As part of GitLab’s commitment to open source, Gold project-level features are available for free to public projects on GitLab.com. Gold group-level features, however, still require a subscription, for reasons explained here[0]. For organizations interested in free Gold features for groups, we also offer free Gold and Ultimate to educational institutions and open source projects[1].

Note that public repos inside a public group do have access to Gold level features. It's just the group level features that are restricted.

[0] https://about.gitlab.com/handbook/product/#gitlabcom-subscri...

[1] https://about.gitlab.com/blog/2018/06/05/gitlab-ultimate-and...
Redgate launching free online coding workshops for kids
There's a difference between what features OSes have and which ones they are effectively using.

If you ran untrusted native apps with the same level of consideration that people run untrusted web sites, your identity would be stolen every 30 seconds. That is solid empirical evidence of a better security model.
He pled guilty to resisting arrest. I agree with the general point, though.
Trump ran on it, but his presentation of it was tailored to right-wing nativist populism, and the specific plan (tariffs etc) seems more like trying to show that something is getting done, than actually fixing the problem.

But it's not unique to Trump - Sanders also makes similar points wrt globalization.
A Single Ventilator for Multiple Simulated Patients to Meet Disaster Surge
They may have a specific interest in the outcome of the study. Like if Pepsi sponsors a study on the effects of sugar and diabetes.

https://www.sunarc.org/benefactors.html
https://www.grassrootshealth.net/project/sponsors

Cursory glance, Bio-Tech Pharmacal, a supplements mfg, seems to be a common sponsor.
Lots of people are/do, I bet.

> But your criminal record will be an albatross around your neck and ruin your life.

It rather limits one to criminal careers.
> Threats to person, property or family are illegal and punishable.

What's your point here? Isn't planting evidence also illegal? The problem is that, well, the law is expensive, slow, and tiresome, and there's an inherent power imbalance.

The topic here revolves around how law enforcement officers are able to act with impunity.
Because you’ll see other countries who didn’t and they aren’t dead.

Not only that, is that at what point, is current and future generations well being worth to save the population that’s largely impacted by this?

Meaning, it’s perverse to spend more resources on the elderly as opposed to the youth. This just dials up the perversion to an extreme.
I'm sorry, what? Nothing suggested was criminal.
Hasn't NUMA support improved in the last 14 years though? Surely someone will try again.
Natural selection is not something you want a lot of in a human society. We thrive by protecting our weak, it is what allows us to have a diverse population that can focus on becoming smarter instead of stronger. This is why we have nurturing parents and loving relationships instead of the models adopted by other species.
Why should I click the LinkedIn URL to read a tech article?
North Italian town of 3,300 tested everybody, stopping COVID-19 transmission
> Threats to person, property or family are illegal and punishable

So is planting drugs, and obviously the law's not being enforced.

> Not all cops are dirty.

Of course not. But that doesn't make OP's comment "he'll probably be subject to threats to his person, property, and family from dirty cops" less true.
Congrats on the launch nextmv!

I had a chance to play with nextmv's beta when they first published it. By far the most useful aspect was the ability to bracket the decision results by calculation time. E.g., I can say, give me your best result of this choice given 100ms.

This changes the typical "train / test / deploy" ML process, to something where you can get as accurate a result as possible given some block of time. This gives you a lot more options when the value of having a super-precise decision drops off a lot after say, 80% accuracy.

For those of you familiar with rocketry, the technique is a lot similar to a Kalman runner [1]. Essentially when a rocket needs to gimbal adjust its trajectory, it has a ton of uncertainty about the nature of the environment, but it does an excellent job of making a fast educated guess for the simple purpose of "get me to this orbit and don't crash".

More generally, this gets to the core of the issues discussed in part 1 of the a16z article about AI companies [2]. Specifically that modeling to get to accurate result is a huge and hidden cost of ML, which makes it distinctly different from software startups. Decision science is an attempt to bridge that gap.

[1] https://www.bzarg.com/p/how-a-kalman-filter-works-in-picture...

[2] https://a16z.com/2020/02/16/the-new-business-of-ai-and-how-i...
The main thing is being able to handle transcoding for certain clients that need it. I’ve got it in Docker on an oldish workstation I bought for like $100 on eBay and threw an SSD in for the OS, but that thing’s surely serious overkill. If you’re only streaming to one or two clients at a time, being on a wired network and having hardware support for any codecs you’ll be dealing with are probably the most important factors.
Wait until you find out about magnesium!
> the scary shit that we find all the time

Curious to hear examples if you can share.
Wow. Didn't think of that. Jails will be like nursing homes, albeit with generally younger populations.
They basically just rewrote an existing paper and added Coronavirus to the title to get clicks. The claims themselves aren't wrong per se, at least as far into it as I read.
The report is from a small trial that was not blind or randomized. Encouraging, but hardly worthy of the headline. How about "Hydroxychloroquine associated with viral load reduction in a small number of Covid-19 patients"?
How to Earn $200 a Day in Passive Income
Small scale nuclear war would cause global famine