skysight-inc/HackerNews huggingface dataset:
> When people talk about it, it always sounds like a simple generalization of exterior algebra. And so it is.

Sure, both are quotients of tensor algebras, but if anything, it's the other way around. Geometric algebra is to exterior algebra as inner product spaces are to vector spaces, or as Riemannian manifolds are to smooth manifolds. I'd say that vector spaces are more general than inner product spaces.

> Why start calling things 2-vectors, when you could call them 2-forms and people would know what you were talking about?

Because they're trying to appeal to the kind of physicist that doesn't know what a 2-form is. Besides, bivector is already established terminology, too.

> But how do you take the inner product a·i of a vector and a 2-form?

Yeah, this isn't great, since there are way too many notions of "inner product" in geometric algebra (see The Inner Products of Geometric Algebra: 10.1007/978-1-4612-0089-5_2). But I guess the intent is clear enough.
It's crazy that even though this came out a while ago, it STILL has not been fixed. Nasty practice by Google. And I do not for a second believe that a bug caused this LOL. Come on...
If you support Disney Plus I encourage you to report this as an issue via https://help.disneyplus.com/csp and if Disney Doesn't pay their way stop paying them.
John Carmack did a lot of programming retreats for his research too. Guess it was really useful.
I am sorry but for me there is a difference between, let's spy those Iranians to see what they're up to and, spy that Japanese company to steal secrets for its American competitor.

> Setting a moral example by Doing the Right Thing would be a ridiculously huge mistake.

OK, cool, but this can be applied then to not only spying, this can be used to justify ANYTHING done by a government.
consistently surprised that ADF's non-novelization work isn't better known. not sure if this was me being the right age to form an impression, but the flinx series is an original + fun sci-fi setting. Guessing that given his proximity to the film world, these came very close to production + fame a few times.
Not sure without lots of details, but this was probably a work for hire from LucasFilm or Fox- The author never held copyright, but had a contractual interest in the copyright.
Looks like the domain is no longer there.
that's a bit of a false dichotomy though.

it is not like these 2 products were identical except for sideloading.

They don't have the same hardware, Apple has an unlimited ad budget, if you want to chat with somebody using iMessages, you are pretty much limited to iOS, you can't transfer app purchases between platforms, etc
The law should be changed so that copyright reverts to the original author in cases like this.

In this case, Foster was apparently involved in the Star Wars movies as well. Disney should be forced to renegotiate any copyrights and contracts he’s involved with across the franchise.

If that happened, I guarantee you that this would be the last time a big corporation would try to pull this sort of thing off.

[edit: I wonder if the current law would support this. Disney’s in violation of the contract that assigned them copyright in the first place; surely invalidating the entire contract is a reasonable remedy.]
The biggest issue in my house ended up being that the builders didn't bother to insulate or air-seal the subfloor areas (the space between the floor of one level and the ceiling of the level below).

Found that out the hard way when three years ago during our first Winter here, the water to the kitchen was frozen for most of the month of January. Thankfully our house has PEX piping, so no burst pipes for us.

Sealing and insulating those areas has made a tremendous difference, even in the interior areas of the house. Since the subfloor is wide open, a cold breeze from one spot can suck the heat out of the entire floor with surprising effectiveness.
The SMT-COMP competition is held every year. https://smt-comp.github.io/2020/results.html
Look up your problem domain and see how they compare.

A nice thing about the smtlib2 format is that you can try the same problem in different solvers without too much pain. Generally every solver will out perform other solvers on at least some problems.

For general purpose use, Z3 is a good starting point.

I've had good luck with Boolector.

I haven't really tried dreal. It is specialized for problems involving nonlinear predicates over real numbers, so it targets a different application domain than the other solvers.
Googler, opinions are my own.

Google Plex I think is the official name, but it looks to be tied specifically to Google Pay. The code name that WSJ talks about is "cache", so Plex is the real name. But as the app shows, you would get a "Citi Plex Account".

Naming is hard.
You might want to familiarize yourself with the criticisms of those. You might also want to familiarize yourself with what those organizations and ideologies are actually about beyond their slogan (which in most cases has nothing to do with what the slogan is).

But either way, defund the police is not mainstream anywhere - that’s pretty universally understood to be a fringe (and ridiculous) proposition, and has already proven its devastating consequences.
This might be completely obvious but can Pfizer be sued if there is an EUA?
Your code is not intellectual property, though. Neither is the janitor's cleaning.

A better analogy is you sold a company to Microsoft and retained 10% equity (or any other number, who cares), and Microsoft decided to whatever you're owed in dividends.

Intellectual Property is just equity in little businesses, where each song, book, movie, what have you is a little business of its own.

The writer is not an employee. He never was. He was contracted to build a business, and was entitled to <50% of its equity. Disney is keeping that equity for himself.

Does that elicit any empathy with you, or do you still not understand how this works?
We do hear relative phase relationships at any given frequency between both ears. So if you phase shift one side of a stereo signal and not the other, then yes, that is very audible.

But nodes and mixing products are independent of overall phase across the power spectrum, in a linear system. So if you apply the same phase change to both left and right, the distribution of nodes in the room won't change. The only time these inter-frequency phase relationships start to matter is when you introduce nonlinearities, like distortion.
> As long as the walled garden can be easily circumvented, advanced users can do what they wish. "Able to learn about Gatekeeper and decide if they should turn it off" is probably an okay heuristic for "can tell a fake Flash installer site apart from a real one" or even "knows that Flash is pretty much abandoned, do everything you can to avoid it".

That's exactly how I see it! And this mentality continues throughout the chain, too—if you want to actually install unsigned kernel extensions, or inject code into other processes, you need to boot into recovery mode to disable SIP. This is still not at all onerous if you know what you're doing (and, like Gatekeeper, you only need to do it once), but it's definitely a next-level test for next-level privileges.

IMO, the way Apple designed this process is brilliant! And that's why I'm not personally concerned by the boiling water argument, at least not yet—whatever Apple's incentives, the current setup strikes me as the best way to handle things.

All of that said, where I am starting to get annoyed is with the root snapshot stuff in Big Sur. Having to reboot every time I want to edit a system file is a clear progression from "trivial speed bump" into "consistent pain-in-the-ass" territory. If you want to talk about Apple locking down the Mac, I'd start there!
I feel kinda dumb right now because I don't really see a smoking gun here or I just don't understand what I'm looking at.
Colleagues can’t corroborate South Dakota nurse’s viral claims
Real marketing in 2021 will impact us
> On the other hand, let's assume on the client-side, can you not even cache a tile a user just saw 10s ago but went off screen? Or is it assumed the browser will cache that tile?

I don't know the map tile terms, but the quoted limitation for this service specifies server-side caching.
A $113M fine to Apple is like slapping someone in the face with one goose feather ... ridiculous.
SMS does exist, it's just that mms that's weird for EU users. It used to be expensive and support was horrible. My current provider doesn't even support mms anymore.
Still results in blurry photos of my kids. ;)
I don't see what relevance that has to this story. Yahoo.com isn't breaking the news, only reporting about an article published in a journal.
If you ever get tired of managing an ElasticSearch cluster, have a look at Typesense: https://github.com/typesense/typesense

It's an open source alternative to Algolia to build instant search with typo tolerance.

I recently built this demo to show Typesense in action on a 32M songs dataset: https://songs-search.typesense.org/

Should return most results in less than 50ms.
Roborock being xiamoi, I'd be cautious about data collection.

Reason why I got a Roomba was because I trust iRobot more
>Its still censorship

How? The bubble is purely a result of my own choices in what I see. Is CNN being censored if I don't tune in to watch every night?

>Your example would be stopped whether true or false, as it would likely be the wealthy in charge of whats deemed true.

I'm not sure if you are familiar with QAnon, but I was referencing an actual real world conspiracy that hasn't been stopped.
Great news.

The only concern I have is Apple has incentive to promote higher take apps over lower take, so they benefit more from pushing the 30% take apps over the 15% take.

As long as we don't end up with a tiered App Store like XBOX Arcade or Steam Greenlight back in the day then all good. If the 15% apps become pushed less that is no fun.

There is some benefit to a standard price market, most stores are 30% [1]. Tencent MyApp was even 55% until 2019 [1]. Epic Games is 12% but they said they are profitable around 7%-8% [1][2]. Steam, Sony, Google, Apple, Microsoft, Amazon all 30%[1].

If everyone went to 15-20% across the board it would be better. I am concerned about tiering of the market and down the line lower take apps being less pushed.

[1] https://www.gamasutra.com/blogs/SimonCarless/20200903/369516...

[2] https://www.gamasutra.com/view/news/341249/Heres_why_the_Epi...
Android has over 70% market share.
I hope it works out for You. I currently live outside of a very small city but am going to look into it. Like you said when you are suffering it is easier to look past the skepticism. TY for responding honestly.
Or you might be going into the furnace repair business and about to buy a bunch more. Or you might have bought the wrong model.

Both of those are low probability, but they're probably higher probability than the probability that you are interested a product chosen uniformly at random.
How using CC BY photos can lead to lawsuits and fines
FAA clears 737 max for flying with passengers
Re-read what they wrote.
I suppose I have been conditioned. What are the other answers? I'm not sure I'm familiar with what the options here are.
And the fact that people apparently can’t stand to hear this shows how far left the tech overton window has shifted. As if we all were not already aware.
It's not "this is the way it's done", it's "this is how it should be done". Shipping information is much like the rest of the order information, you want a de-normalized price on the order and each line item in the database, not a normalized cost based on the price of things now. You want a denormalised record of which card was charged, not a normalized record showing what their current card is, etc.
Ignoring statistical significance for the purposes of this discussion, the observed rate suggests that the vaccine is 90% effective at preventing severe infections as well, not just mild infections.

In a worse world it could have been the case that e.g. the vaccine was 90% effective at preventing infections but still had the same number of severe infections because it did nothing to help the most vulnerable patients.
Thanks for sharing this, you've inspired me to make some tiny projects as well :). Will Earlyname be your last project for a while, or do you plan on continuing at this pace?
Then buy another brand which is easier to repair. You buy the tractor with eyes wide open.

I agree with you that repairability would be nice, but some brands prefer not to do that. Let other brands drive them out.
Thanks for all the work you have put in, I find Brow.sh really useful.

I thought I should put my money where my mouth is, just donated via your website :)

For anyone looking to do the same, see https://www.brow.sh/donate/
Should have clarified, the reason why I am asking is because my understanding is that under usual circumstances it is the government that pays out for vaccine damages. Does the same apply in the case of an EUA?
[1] https://www.theatlantic.com/health/archive/2019/05/vaccine-s...
Thomas Paine made money off of Common Sense.
Awk is still the best language to perform simple processing of text files. It is very fast and easy to use.
For those curious, here's a demo: https://phaseai.com/resources/video-input-form-js-demo
Historic low interest rate shifted a lot of capital to the stock market. Bonds don’t pay anything.
So if you could measure an atom precisely enough you could calculate exactly when it decayed from a heavier atom?
> That being said "killing <animal> fetus" is merely a subset of "killing <animal>" by basic logic.

No, that is not logical. Killing a caterpillar is not killing a butterfly. Known forms of life are not absolute in classification. You have decided to classify a fetus as a subset and others do not. Good luck with whatever.
The skepticism on the prior thread was fully warranted.
It seems similar to lively（smalltalk-like）： https://github.com/LivelyKernel/lively.next/tree/master/live...
To be fair, branching in svn is kind of a one-way street. A functional merge and conflict resolution workflow was part of what won over a lot of us to git from it.
It wasnt substantively similar to the USA PATRIOT Act, beyond being laws that have some relation to terrorism.
Another vote for Firefox. Seems to be the best option out there IMO.
Yeah it must be tough. If I did this kind of repair in my garage I'd want to pressurize the cabin before it was scheduled to go airborne.
There is way too much money to be made in biased "news" sources. And they're all biased. I think the only one we MIGHT be able to rely on is AP since it's a non-profit. But I don't know if that is any guarantee.
yes one guy talked about "crowding" vaguely but my other teeth weren't going sideways or becoming crooked so when I drilled down (ha) into the conversation it sort of petered out.
"Enforcing of this kind of equal
pay for women will result in mass entry of women into the workforce, the likes of which the world had never seen before. "

It was the moral thing to do, and it happened despite the men it affected.
Only the first time you enable it and the first time you install an app from a particular source. I don't remember ever getting repeated nags.
Bare-Metal STM32: From Power-Up to Hello World
So what's the answer to semantics and user styles? Just, screw it, they aren't important any more?

I mean, I get it, it isn't something most people care about, but I still value them.
The only concern I have is Apple has incentive to promote higher take apps over lower take, so they benefit more from pushing the 30% take apps over the 15% take.

As long as we don't end up with a tiered App Store like XBOX Arcade or Steam Greenlight back in the day then all good. If the 15% apps become pushed less that is no fun.

There is some benefit to a standard price market, most stores are 30% [1]. Tencent MyApp was even 55% until 2019 [1]. Epic Games is 12% but they said they are profitable around 7%-8% [1][2]. Steam, Sony, Google, Apple, Microsoft, Amazon all 30%[1].

If everyone went to 15-20% across the board it would be better. I am concerned about tiering of the market and down the line lower take apps being less pushed.

[1] https://www.gamasutra.com/blogs/SimonCarless/20200903/369516...

[2] https://www.gamasutra.com/view/news/341249/Heres_why_the_Epi...
I was responding to a comment that stated an authoritarian/nationalistic movement would fear a free and open internet. I was pointing out that a free and open internet can be a tool of an authoritarian/nationalistic movement. I was hoping to open some people's eyes to how openness can be abused.

Also I don't know if this was intentional, but just letting you know that your phrasing of this post comes off as needlessly confrontational. You can ask for clarification without asking "what are you hoping that argument will accomplish" which sounds accusatory as it implies a nefarious motive.
How to Start Learning High Scalability
Experimented with it and seemed to scale well.
3x load balancers (nginx or httpd or haproxy or iis) https only
3x apache tomcats to deploy openmrs war ... https only. azul jre with -Xmx=2g. Tomcats were also as close to default configuration as possible.
3x mysql clustered ... https only

No issues on any of these OS's:
Windows Server 2008r2
Windows Server 2016
CentOS 7
CentOS 7.5
Raspian Lite
MACOS

OSes ran on virtualized (hyper-v, virtualbox, xen) and baremetal. Commodity hardware (old laptops, desktops with at least 4G ram. and PIs) and real server hardware. Purposely used mixed computing resources to simulate what a team say in Ndola, Zambia might have at their disposal.
That's correct! Since more and more people are working remotely, I've found a few cases where having a video presented of someone speaking their answer to a question is very helpful. What's been annoying is that the common approach is to set up a streaming solution or have someone upload a file they've recorded elsewhere.

What this does is enable someone to record directly on the site and then it takes the recording, converts it into a webm file, and uploads it... So the server gets a POST request with a media file attached. Much simpler to handle, at least for me.
Is it training or inference? Inference only is amazing enough, and I don't expect M1 to beat 1080 for training deep neural networks.
Has anyone tried booting linux natively?
Reminds me of the session at WWDC 2012 where Peter Kiehtreiber (aka Perry the Cynic) introduced Gatekeeper and Developer ID.

Even back then, Apple was not kidding about forcing as much code as possible through some identity system before it could run.

To quote the distinguished gentleman, with a touch of sarcasm:

"If you're currently shipping unsigned code, what the hell is wrong with you!?"
thanks for the contributions to OSM

I'd like to know if there are practical points of conflict between corporations and the community, including but not limited to map consensus discrepancies.

Also, is the openness of OSM in danger in the long term? Could a dependency appear that would close down the body of data generated in the past?

Regards
Might be the kind of thing that a side channel or timing attack could figure out?
FTR: FoxtrotGPS needs someone to help migrate it away from Glade and GTK 2, otherwise it is going to disappear from Linux distros in the next few years.
If they use discriminators like K-Splice, Munkres, Bloom, Kleene Hierarchy, Markov-Chain to provide refined feedback into their ML, then there is little reason to doubt that ML is being used.
Miami Shoreline at Night – Yacht Flyover
GraphQL with Unraid, Hasura, and PostgreSQL
To be clear, a true "anti-inductivist" as I describe it would be completely deranged and unable to function in life. It's not really relevant except to people who start from a normal perspective and are considering the anti-inductivist hypothesis (usually either because they're studying philosophy or because someone else brought philosophy into the discussion, which is what happened here).

For those people, it is important to realize that anti-inductivism can't be defeated on its own terms. By usual standards (for some definition of "usual"), the space of possible observations one could make is enormous, and the fact that they keep very, very consistently being in accord with the laws of physics as we've discovered them—often to many decimal places—is immense evidence in favor of "physics as we've discovered it" as compared to "anything might happen". Any viable competing theory would have to be reasonably simple (i.e. not include "billions of specific items that explain all prior observations" as axioms) and would have to make almost exactly the same predictions.

("Newtonian mechanics" is reasonably simple and makes similar predictions at the level most people can see, but with specialized equipment and experiments it has been disproven. "God did it" sounds simple, but either the word "God" smuggles in the extremely non-simple "God is a being whose psychological makeup led him to make the following billions of specific decisions that explain all prior observations", or it amounts to "God is a being who chooses to run the universe according to something approximating Einsteinian mechanics"; in that case, it is possible that God might decide to intervene and do something physics would say is impossible, but if you want to say that God will do any specific intervention, you would have to make a less-simple theory that explains why God would do that particular thing and not anything else, and the longer time passes without any verified physically-impossible miracles, the more unlikely most such theories get. "Intelligent beings vaguely like us arose, and decided to simulate our universe, following rules that approximate Einsteinian mechanics" is also possible—not much different from the God-based class of theories.)
Facebook doesn't ban you for discussing politics - unless your version of "politics" involves advocating for violence.
First and foremost thanks for reddit, Ive had an account for 14years, and pretty much hit the site every single day for 14 years

With that said; I do the same thing... but I rarely upvote a story - I do check out stories but far far less than the comments.

I do the same here on HN. Especially here because there are a ton of smart people here and HN is pretty strict on being anti-troll - but i dont count ant-trolling as censorship, it’s forum-housekeeping.

Before reddit I mostly was on slashdot, and some other forums that don’t exit any longer.
The other option Apple had here was notifying people their battery was bad, not hiding the throttling, and letting people buy new batteries for a reasonable profit.
> More than 80% of Trump supporters believe the election was rigged against their candidate despite there literally being no evidence supporting this claim.

This is not accurate. Many non-Trump supporters also do not trust the results. I suspect you have not paid a lot of attention to the legitimate concerns.

> We're seeing propaganda succeed on such a massive scale because it's so widely spread and so difficult to counter.

This is true, but as of late, it’s going the opposite direction. It’s not that anything that contradicts their views is fake news, it’s the stuff that contradicts reality. See finepeoplehoax.org for a great example.
AMD Announces New “Instinct MI100” GPU, Breaks the 10 Tflops Barrier in FP64
It's stored in a Typesense search server on my side.
GNOME Maps isn't offline like OsmAnd is though, you can't download new tiles, search, navigate etc without network.