skysight-inc/HackerNews huggingface dataset:
GPS is always used as an example because it's a clear demonstration that discoveries don't have to have effects at the human scale to be useful, not because it's the only example of basic research that's paid off.

All electricity, all chemistry, started out as expensive hobbies for rich people. Go back to the Greeks and steam power and automation were seen as expensive hobbies for rich people. None of these things were thought to be practically meaningful to pretty much any human being alive.

There is only a small chance that any given piece of research is useful, to be sure. Basic research is fundamentally about long-shots. But without basic research, you never get to the stage of directed research. You can't work out the best way to increase transistor density if you don't first work out what electricity is. But in the nineteenth century, it would have been wiser to have directed all that research into electricity into practical things like hydraulics. Where would we be now if we'd taken that path?

If you think there's nothing else to be found in physics, sure, we can stop. But plenty of people in the ancient world thought there was nothing left, too. All of those detractors have been wrong right up until the last century. The question is, how sure are you that you're the first generation in two thousand years to be right?
Nothing prevents them from reserving interesting samples for full sequencing.
When will a judge just strike down this binding arbitration scheme in general? The setup of binding arbitration goes against the fundamental idea of a contract by handing the power of interpretation to an agent of one of the parties.

The groups pushing this nonsense seem to have regrouped at "you agree to arbitration unless you send us a notice to opt out in this small timeframe", adding complexity in an attempt to create something legally defensible. But there is still no consideration for accepting that specific provision besides "ha-ha got you", so it clearly won't last either. We just have to put up with it until the right test case and judge comes along.

With what we know about computational complexity, there really needs to be an explicit disincentive for drafters to contracts, contracts of adhesion especially, to not attempt these types of hostile terms in the first place.
this version from his site is somewhat better, at least it recognizes that there's water south and east of Brooklyn: https://www.inat.fr/metro/new-york/
Quick clarification to the underlying sentiment behind my comment: I still consider America to be far far far more inclusive than any country I've ever visited (including my place of birth). In fact when people ask me where I'm from, I say I'm born in India but made in America. Americans are the kindest people I know.
Serverless CRUD API with Node.js 12, PostgreSQL and Kubernetes
It corrects itself to next abusing monopoly since everyone is priced out from the market.
Who is the internal competitor to Google Cloud?
Funny you should compare it to the Internet. I remember the days when you could post something online and not worry about it because 1) only a very tiny fraction of the world was online 2) even if you were online, good luck finding it unless someone told you where it was.

My main point being that amateur radio only has security through obscurity as it only takes one device locally listening/relaying your signal to invalidate the distance assumption in the same way people posting things online thought 'nobody's ever going to care about this post' all those years ago. A key difference being that you have no option to encrypt and the other party doesn't need to MITM you to get any potentially interesting information.
Implementing Multiple Linear Regression Using Sklearn
That's what I thought, hence the surprise that they managed to summon these two things just by looking at the beginning of the file.
Absolutely, and this is problematic because now we end up with a set of incentives that works against the public interest. This will make it more likely for the companies affected to pay up. The one bit of light here is that it will show up in their accounting and auditors tend to have reporting obligations if they come across evidence of a crime.
Paxful does a decent job at this but you are still going to only get like 70% of the value of the card. Definitely a good way for users to launder money too so be wary of that going on.
FWIW, this is a pretty unusual way of setting up vectors. A more typical approach in C is to declare the vector table entirely in C or assembly, and only use the linker script to position it:

https://github.com/duskwuff/stm32f103-example/blob/master/ld...
This is a massive problem though. Businesses should be able to work with the bureaucracy. They shouldn't be incentivized to break the law. The benefits of circumventing the bureaucracy should not exceed the costs.
> I suspect she might have done this to intentionally get fired.

I suspect you say this because you wouldn't stand up to your boss even if someone else's life depended on it. Wild speculation sure, but I just read a huge book about it... where you do think this "suspicion" came from? This isn't the kind of thing you come up with if you actually have any backbone.

Newsflash: doing the right doesn't have to be a "play" or a "move", sometimes you just do it because you're not yet broken and not yet diseased.
GE controlled the patent, not Bill. He was also very happy when the patent expired.

I would also argue whether it was obvious or not. At the time it was developed, not that many people were doing surface reconstruction of volumetric data. Bill and Harvey came up with Marching and Dividing Cubes to support GE Medical.
Not just the calculator but any app that used the Microsoft Help system.
I’d be interested to get to any links/descriptions on how you run your own DNS server and the monetary and time costs of it.
Is there any equivalent high quality preferred-choice-by-many keyboard?
Packet Labs IoT Workshop - bare-metal, k3s, MQTT, Postgresql & OpenFaaS
At Microsoft, we just require all binaries to be signed on production systems. Some systems are configured to block execution 9f unsigned code. Where we can't do that, monitoring cuts an immediate sev-2 and wakes us up if any unsigned code is executed.

Does Linux not have a way to run only signed ELFs?
Maybe you don't have Amazon dropoff locations, but essentially I walk in the door, walk to a staff member handling returns, and they scan a QR code on my phone and I hand over the item. Never encountered a line and am always out within a minute.

It doesn't need to be packed in a taped box with a label on it.
Enterprise use cases can easily manage this through Group Policy. Households (keep in mind we are only talking about people who knew enough to change DNS settings in the first place) can just change the setting on each of their five or so computers. And if you are using DNS as parental controls, that's not a great solution as nothing stops someone from getting the IPs out of band (ex. a website that does DNS lookups) and connecting directly to the blocked sites.
Using Orders on propositions, the construction of Gödel’s proposition I'mUnprovable is blocked because the mapping Ψ↦⊬Ψ has no fixed point because ⊬Ψ has order one greater than the order of Ψ since Ψ is a propositional variable. Consequently, some other way had to be devised to prove inferential incompleteness without using Gödel’s proposition I'mUnprovable. A complication is that theorems of strongly-typed theories of the natural numbers and computation are not computationally enumerable because there are uncountable instances of the induction axiom in each theory. However, proof checking is computationally decidable :-) The complication can be overcome using special cases of induction axioms to prove inferential incompleteness of the theories. See the following:

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003
Rust on an Arduino Uno (2016)
Without the first two rules in effect, your cell phone, wifi, television, and emergency services would rapidly become unusable.
> I assume the show in question also features unrealistic martial arts combat that only serves to display the protagonist's superiority rather than showing you how to actually win a fight.

That would have really livened things up. It's an overwhelmingly feminine show about inter-concubine intrigue in the imperial harem. But you'd be right if it was a show that featured combat at all.

On the medicine issue, though, I feel like we have different things in mind.

> Napoleon gets hit by shrapnel and spends an episode with some bandages decoratively draped over the wound while commandeering his army from the front lines, even though the severity of the wounds should confine him to his bed. The next episode he doesn't even need the bandages anymore.

To me this just reads as glossing over the issue. He got hurt, the show didn't really talk about how badly he was hurt, he was shown hurt and then he recovered. Maybe he recovered despite whatever medical care he received, rather than because of it. I agree that that could easily happen in an American show set in any time period.

But I'd be surprised to see Napoleon get hurt, have a doctor called in, have it pronounced that the Emperor was mortally wounded, and then see his life miraculously saved by the doctor's genius in applying the theory of miasma or the four bodily humours, or by being bled really effectively.

(Though in one of Katharine Kerr's fantasy-Celtic novels, there is a genius passage in which a wizard applies the theory of the four humours to prescribe a treatment which -- given modern medical knowledge -- obviously will successfully treat a woman's post-childbirth anemia.)
> The highlight of the week was the serverless summit on Monday.

List of Serverless talks at reinvent 2019: https://aws.amazon.com/blogs/architecture/serverless-at-aws-...
While my compensation is very high and I live very comfortably, I want to get to financial freedom as soon as possible so it could always be higher.

$5-10M in assets should roughly do it.
Exactly, which is the exact opposite of what AWS is doing. They have how many services that very few people use now? But at least they respect their customers and view the cost of running those services as goodwill for their customers.
shortcatapp looks nice. I wonder if something like this exists for Windows.

It might even be more efficient if it worked like Vimium in the browser, labelling all items with a single letter which you can press to select it.
Of all the comments about damage in this thread I think this is the most damaging. In other words if I were AWS and Microsoft sales I would be calling all the big clients on Google Cloud and scaring them about their future prospects and wooing them with some sweet deal.
Even if Google does an about face in tomorrows news cycle the time for MS and AWS to strike is now.
Snapchat CEO Evan Spiegel quietly acquired French citizenship last year
One of the great downsides of Google having such a massive hit with Search is that they don’t have the kind of willpower that it takes to absorb defeat after defeat on the path to victory. Look at how many failed fucking pen devices Microsoft has shipped, since Windows CE. They don’t cut funding, they just keep going and going and going. Google doesn’t do this.
While AWS has a strong #1 offering in low-hanging fruit products like vms, dbs. I find they have terrible MVP-like execution on niche offerings (and support sucks too) for things like Fargate, K8s, one-off job execution. Azure has a stronger, more thoughtful offering in niche solutions.
This is also true, but Google is a very engineering centric company, who they hire with regards to software end up running other parts of their business. Lots of really powerful people there came in and worked as engineers.
AI has a ton of impossibility results. the "no free lunch theorems" are probably the best known. people now actively think in terms of designing assumptions, priors, or inductive biases to make their systems work better on the data they actually care about, because there's typically no solution that is always superior without tradeoffs.

https://en.wikipedia.org/wiki/No_free_lunch_in_search_and_op...
> You can't compare them to the entire retail market.

sure i can. i do every time i buy something at my grocery store, or local retailers, that i could've gotten from amazon.
Yes, you need to add new functions. You cannot redefine "+" to work a custom vector type.

Similarly, you cannot have a "print" function that works for all sorts of types. OCaml has print_string, print_int, and so on.

OCaml does have parametric polymorphism ("generics"). You can write functions which support generic parameters. And you can use modules as "functors" to sort of package up types in a similar way as Haskell typeclasses (e.g. see [1]).

[1] https://stackoverflow.com/questions/14934242/whats-the-close...
From the Everything Store,
“We are genuinely customer-centric, we are genuinely long-term oriented and we genuinely like to invent. Most companies are not those things. They are focused on the competitor, rather than the customer. They want to work on things that will pay dividends in two or three years, and if they don’t work in two or three years they will move on to something else.”
I've dealt with just about every RAT in existence, and they all have their tradeoffs, and some were good and then got bought or changed to pricing that became prohibitive.

In DoD side, they tend to use DameWare. It was stagnant for a while but has gotten better and even has a linux client now. Think "ugly but powerful".

I've seen fly by night engineers hurdled by IT deps using TeamViewer way more than I would ever want to admit. It "just works" but doesnt have many of the management features.

I had an awesome experience with on-prem ScreenConnect, but then they changed their licensing and names and all kinds of other things. Nice featureset, writing plugins was easy. I still might consider it if I could get a decent deal.

Bomgar was pretty polished and has some interesting mobile/mdm stuff in the works last I tried it, but that was a long time ago.

GoToMyPC and LogMeIn both tend to be favorites of MSPs for some reason, I never really liked them mostly because of the management interfaces and constant license changes.

Citrix really seems more focused on real enterprise. Features are nice but the price reflects it, good support.

RDS/Terminal Services in the windows world is a staple, just have to watch for licensing violations which happen a lot. Lacks a lot of the management features other things have, but is built in.

Then you get into open source, which really comes down to some variant of VNC (choose your poison) which is really all just remote desktop with no management features. There is also noVNC and Spice which are pretty cool and used in more and more foss software (like proxmox for example).

There is Apache Guacamole which is like a gateway to access RDS/VNC et al instances, which is pretty cool.

So yeah, it really all depends on your use case and budget.
> This would, in turn, open up effectively the entire developed world's tech industry to shakedowns for licensing fees—both for continued operation, and in theory, retroactively for more than a decade of "unlicensed" usage.

Even I'd they change the license now why would it apply retroactively? Previous usage was under a permissive license.
I am not familiar enough with US customs but first amendment (free speech) seems irrelevant here. Bloomberg got fined for market manipulation by the AMF, the French organization equivalent to the SEC/FCA in the USA/UK.
The right store is the one that has the features needed to implement the targeted patterns, has client libraries for most programming languages, can be tuned and scaled, has a large ecosystem, has numerous managed hosting solutions offered by popular cloud providers, and is approachable by the largest segment of the potential audience.

Postgres checks those boxes, as do others.

Technically, though, Postgres has been an "object-relational" database for some time.

In the end, Message DB uses a table as an append-only log, and leverages Postgres indexes, advisory locks, and JSON documents (and indexes) to implement some of the critical messaging features and patterns. It's not using the "relational" aspects of Postgres. There are no relational tables.

Here's the table schema: https://github.com/message-db/message-db/blob/master/databas...

Given the paucity of Postgres features that the message store leverages, it could have been implemented against the raw Postgres storage engine. Had we done that, though, few people could have understood it and been able to specialize it to their purposes using plain old SQL. And any performance improvements induced by skipping Postgres's tabular data abstractions would have been so negligible for the schema in question that it wouldn't have offered much return on the effort.
As with mastodon and similar projects - having to deploy, secure and maintain a db server is a big friction point, I wish projects aiming at self-hosting would internalize that and use something like sqlite for small to moderate deployments and would even as go as far as suggesting that it is unlikely to ever be deployed at a scale that a single-writer-multi-reader sqlite service on a decent machine can't handle.
Shareholders are still shareholders even if the company is not publicly traded/listed. GSK is a shareholder of 23andMe - not it's parent company. 23andMe is not a subsidiary of GSK. GSK does not even own a majority share in 23andMe:

https://www.gsk.com/media/5349/annual-report-2018.pdf

> 23andMe in which the Group holds 14.5%.

You can also find a list of subsidiaries of GSK in there and you will note that 23andMe is not listed among them.
Huh? If I'm buying pencils on Amazon, I expect to be buying the ones listed. If hexagonal pencils are listed/shown, I shouldn't be getting round ones.

I don't know if banning was the right recourse, but from what you're saying it sounds like you were intentionally selling incorrect items.

And I hate it when sellers do that. I'm buying an item based on its advertised description. I've had to return items several times because what was delivered was a different model or version from what was advertised.

So I can't say I've got sympathy here. :(
In general I agree with you, but it depends on the risk involved.
I ":set expandtab" in vim by default, I don't like mixing tabs and spaces. People have different opinions on this, I get it. So when I pop on over to the Makefile buffer, I have to remember to either ":set noexpandtab" or to copy a previous target down and edit it directly. Now I'll just swap out ">" instead of using tabs, which will make things simpler.
This deadline should never have been set in the first place. They should have attached a massive bonus if they exceeded the target by that date instead. Of course, the CEO could have in their head the deadline, but that's be announced internally at earliest 6 months ahead of time.
Frege was certainly arguing against formalism; he was the one responsible for taking its defenders to task.

But the formalism he presented and argued against (and the version held by its defenders of the day) is clearly the form described in the article and the discussions he sparked later all circled around the same.

Frege quotes Heine as

> Suppose I am not satisfied to have nothing but positive rational numbers. I do not answer the question, What is a number?, by defining number conceptually, say by introducing irrationals as limits whose existence is presupposed. I define from the standpoint of the pure formalist and call certain tangible signs numbers.

and Thomae

> The formal conception of arithmetic accepts more modest limitations than does the logical conception. It does not ask what numbers are and what they do, but rather what is demanded of them in arithmetic. For the formalist, arithmetic is a game with signs, which are called empty. That means they have no other content (in the calculating game) than they are assigned by their behavior with respect to certain rules of combination (rules of the game).

within the Grundgesetze der Arithmetik.

And indeed Frege defines the position he is arguing against as

> Arithmetic is concerned only with the rules governing the manipulation of the arithmetical signs, not, however, with the denotation of the signs

These are from Max Black's translation of the Grundgesetze der Arithmetik in his three part series "Frege Against the Formalists." These quotes are from part 1 in The Philosophical Review, Vol. 59, No. 1 (Jan., 1950), pp. 79-93
What great news! I loved this comics as a kid and I remember reading about his reasons for putting them on the internet. I think Larson is a major reason for my sense of humor today and I hope he gets a wider audience because he's got some of the best 'clean' dark visual gags in my opinion.
I migrated to Bitwarden immediately and removed all content in LastPass and deleted my LastPass account. My experience seeing companies sell out to private equity firms leads me to believe I haven't made that rash of a decision. For me, trust is usually immediately lost once a company changes hands. And when it comes to password management like this, trust is everything.

Honestly, I would have supported Bitwarden before had I known about it prior to this HN post. I appreciate the content you and everyone else has provided in this thread.
Do you mean as stenographic watermarks, so that these signatures are hard to remove yet do not degrade the perceptual information?

The thing is, people do not check information that matches their viewpoint for validity. Because being wrong feels bad.
I'm not advocating that they can't say whatever they want.. only that they can't call it news if outright falsehoods are being passed. The same way you can't market your product as beef unless it meets certain standards, or your Bitcoin company as a bank, and so on.

This is a labeling/marketing law, nothing more. You are not excempt from those by way of being a media organization. Certainly it is not a speech restriction. As a bonus, it would allow competitors to market on that label since now it actually means something.
> The international edition is missing a preface (I like those because they give you some insight into the author's point of view and approach), doesn't have solutions in the back (useful for validating your work if you're self-studying), the table of contents isn't broken down by section only by chapter (not too big a deal for me), and is missing chapter 16 on galois theory, a bibliography (sometimes I like to use these to pursue topics in more detail), as well as an appendix altogether (the NA version's appendix has a section of proof strategy, construction of the integers, Zorn's lemma, the implicit function theorem -- for me these are 'nice-to-have's but not required).

Quite surprised to hear this. Every international edition I've bought has been near identical to the US version (except the print quality).

I wonder: Did you perhaps get a counterfeit copy? Not all textbooks have an international edition. Was this Artin's international edition a sanctioned one, or did someone in India simply violate copyright and labeled it as "International"?
It's not impossible, but if it happens, it'll be a hell of a lawsuit. That scenario is specifically carved out as unacceptable in US law.