skysight-inc/HackerNews huggingface dataset:
That's what you were told it's supposed to do. If it's not in fact doing that, then you have to ask yourself: who told you otherwise and why hasn't anyone fixed it? Also, who is incentivized not to fix it? You should be especially wary if the people who are incentivized not to fix it also have the power to fix it, and continually choose not to exercise it.

Unfortunately in our system, the wealthiest people have the most power, and they are incentivized to maintain a system that makes them wealthier. The wealthier they get, the more power they have over the system. We only have to look back as far as the 2017 TCJA to see how this dynamic plays out in real time.
I'll give a perspective, although my specific knowledge of math is not very deep at all, I've thought a lot about concepts and abstractions.

I think the difference here is that math is much more abstract than physics. The concepts backing math are built off of very low level abstractions about the world. For math, over a long period of time more and more relationships and rules were deduced from what had already been induced from reality. And if you CAN deduce, you should likely, as it provides a proof for some idea or concept that induction never could (but only if your previous inductions and deductions were accurate).

Physics on the other hand, cannot deduce as readily. It is primarily based in the realm of gathering more and more data from the world and observing physical relationships firsthand. This cannot be done in abstract math because abstract math does not exist in reality. There is nothing to observe, it is mostly abstractions based on lower level observations in reality. For example, you can measure the effects of gravity firsthand, but you cannot measure infinity, a mathematical abstraction. Infinity does not exist in reality. It is simply a useful abstraction for things that are too large or small for us to meaningfully measure.
This audit can be constructed in many RDBMS. In SQL Server tracing there is warning for missing foreign key indexes needed for query plans, and stats are also kept for indexes so you can tell if the indexes are needed/used. I have a smorgasbord of audits to run on a server/database/schema to expose poor construction.
He declared over £1million in just one company last year, and Sky were paying for the bunker anyway.

Same with this tunnel, this one is sponsored.

I do wonder if he's killed his budget though, because he's just randomly stopped, filled the walls with concrete and is now "taking a break". I suspect this one might not get finished.
Valve has formally announced the Steam Deck, SteamOS portable handheld console
I got one of these a few years ago for 30$ because they were 'hip' in the lo-fi music community. Unfortunately it stopped working and sits in my closet now. I was going to get another one, but now they're even more hip and even more expensive. This piece is a perfect little insight into how memetic the used gear market is, IMO.
I understand the diagnol proof but not a lot of the rest. If you assume only computable numbers exist though a lot of this seems to really not matter.
The house is on fire and the owners are debating the cost of water to put it out.

I think we're doomed, mostly because too many people want to believe we can fix this without losing quality of life, and won't accept anything less than that.

Oh well.
>"Facebook is absurdly, staggeringly profitable."

Because it is stealing - the transactions were not voluntary and informed. most users are only now catching on to what they've been robbed of.
It turns out to be the capital 'X' in X86 that is the problem. The same URL but with a lowercase 'x' works fine. Presumably someone in the Pharo team need to fix whatever image metadata the Pharo launcher is working from.
The problem is defining harmful content. For some it's china lab theory, for others CRT/anti-racist propoganda or stolen election. What ever FB censures, half the country will be mad at it. FB can't win here.

Personally I think "harmful content" concept is extremely dangerous when applied to social networks. If 5 years ago it was unquestionable that USA has more press and thought freedom than India, Russia or China, the situation now is much more nuanced and really depends on the topic discussed. What it mean for democracy in US long term is a big question.
Show HN: APIs for Passwordless Authentication
Hi HN! I’m one of the founders of Stytch (https://stytch.com/?utm_source=social&utm_medium=hackernews&...). We provide developer APIs and SDKs that make it simple to embed passwordless authentication in your apps. Today, we support email magic links, SMS and WhatsApp passcodes, and one-click user invitations.

We’re working on adding more features like session management, WebAuthn, OAuth support, QR codes, and more in the coming months. Our docs and guides make it really simple to set up authentication for a new app or add additional features to an existing app.

Here’s more on why we’re building Stytch: https://stytch.com/blog/why-stytch/?utm_source=social&utm_me...
Sign up today and try it out: https://stytch.com/?utm_source=social&utm_medium=hackernews&...

Would love any feedback and questions!
IKEA’s House of Terrors: Greenwashing Siberian forests
> but at the same time there is no "right answer"—all of these axioms, after all, are independent of ZFC, and it's "ok" to add any of them.

Minor quible: Just because a potential axiom is independent of ZF(C) doesn't make it necessarily "okay" to add. Potential axioms can be unsound, for example if they prove new / untrue Sigma_1 statements. As an example, even in the likely circumstance that ¬Con(ZFC) is independent of ZFC, it wouldn't be "okay" to add ¬Con(ZFC). While the resulting system would be consistent, and does have models, the resulting system is unsound (in the sense of Tarski) because it asserts the existence of natural numbers that have no "written form" (i.e. the existance of natural numbers that are larger than any term you can write to denote a natural number).

That said, Martin's axiom, like the CH (or the axiom of choice), does not have any arithmetic consequences, and thus doesn't fall into this category of problematic axioms.
So you don't want to do business in CA, NY, Europe, Great Britain, Singapore, China, India, Australia, New Zealand, or Mexico, to name a few?

Basically, you don't want to start a business in any of the world's biggest economies, or in the places with the best tech scenes or financing opportunities?

Activities were shutdown because of a massive global pandemic the likes of which the world hasn't seen for over a century. 4 million people are dead, and counting, and there have been at least 4 surges related to new strains spreading.

And you're leaving/left because you had to wear a face mask?

That is not the hill to die on.
Yup it’s like the word “living wage”. A nice phrase but no exact definition but can used politically to score points.

“You need to give me free education because of our social contract”

Which really means “give me free stuff cause I want it”.
Why is big-tech anti-muslim and sexist?
Well said, and great counter-example. People in this thread think "progressive" means "vaguely liberal west coast city," regardless of actual policy, economic systems or the broader context of what's going on in the entire country.
Is this some US only thing? I had gas once as a child in the UK in the early 1960s. I haven't heard of anything similar being used in many decades except in hospitals for really serious dental surgery of a kind that isn't done by ordinary dentists.

For ordinary fillings, fitting crowns, and so on I don't usually have any anaesthesia at all any more. This is not because I am immune to pain but because my dentists are good enough to not cause any. This is in Norway, perhaps they are better trained or have a different attitude to the US and UK?
I thought the article was going to be about the AltWork chair (1).

(1) https://altwork.com/
Their solution to this is VR which is really smart but who know if it's too little, too late.
Trustworthiness simply isn't in their corporate DNA.

Zuck: People just submitted it.

Zuck: I don't know why.

Zuck: They "trust me"

Zuck: Dumb fucks.

https://www.businessinsider.com/well-these-new-zuckerberg-im...
He declared over £1million last year, and I'm 99.999% sure that house is just used as a studio/business address rather than actually living there now.

He's done way too many projects that involve just generally making your life a bit difficult.
That probably sort of his point, I guess: a genuine God should be able to do the impossible and this is an interesting kind of impossible.
On a basic level, yes, both Josh and git filter-branch do essentially the same thing. The difference being that Josh is much faster not just compared to git filter-branch but also compared to all the other similar tools out there, especially when run repeatedly in the same repo.

Also being a server it does not require any installation or resources on the developers machine.

In addition to that over time more features where added that git-filter branch does not have, most notably "josh workspaces" which is a DSL for repo transformations.
https://www.steamdeck.com/en/ might be a better link? Has pricing information, for one.

The rumors were discussed a couple of months ago: https://news.ycombinator.com/item?id=27288653
I don't understand how it can be an order of magnitude cheaper. There are more rocket engines to maintain, far more fuel, a more expensive launch structure and generally more expense in all the ground operations. In a world where this can be launched for $2M, Falcon 9 can be launched for less than $1M.
Yeah I go back and forth on what the default should be with regard to adjusting values for inflation. I have seen other planners do it this way, and perhaps one of the reasons why is so that you don't look at a high projected portfolio value 40 or 60 years down the road and think you're doing amazing, when in reality those values have much less purchasing power than they would today.
Mate we still have patent protections for refigerents that have a GWP of less than 1. Stuff that can replace the nasty stuff were using.

Maybe we should start fixing problems within our own borders first before resorting to fucking weapons.
Please tell us more about how telemetry can reveal the moral and intellectual value of a human being.
Just apathetic?
It's also possible that they took his idea seriously but not him seriously. They might have thought "this guy's idea is good but he's a pilot hacking some sloppy code together in his spare time, we'll go with a 'REAL' software firm so our pilot can focus on piloting." It may just be a matter of an employee convincing his employer of the need for the app and then getting outbid by a smooth talking enterprise salesman.
Valve shows Steam Deck - portable 4/8 CPU, 16GB RAM, 1.6TFlop GPU, starting $399
I'd love to see James Burke tackle this line.
These agree with my conclusions- it's fair use or permitted by license, but that it remains untested (as the GPL does in a larger sense) by law.

I guess in about 5 years we'll see Softbank v. GitHub CoPilot in the supreme court deciding whether ML can make transformative work.
I would probably spend my time focussed on growing and sustaining my companies and hiring very skilled people to do that engineering work for me, I'd be very interested in the engineering work, but I wouldn't be doing that work myself. Similarly I don't expect Mark Zuckerberg writes much code at facebook these days, there's just too much other stuff to do
How is it different from your browser history being stored locally?
It is also divisible by 5.
> where do you think that $19billion came from?

Most dollars that have been paid to a SpaceX bank account, by investors or customers, came from private parties. NASA was indisputably critical in enabling SpaceX. But SpaceX was not taxpayer funded if that word doesn't encompass virtually all economic activity in America.

Today, SpaceX could do fine without any NASA contracts. Naturally, they help. But there is a lot of demand for launch, in part due to the price competition SpaceX started.
If you want to have many dependencies, try React native development!
NASA’s Apollo program kicked off Silicon Valley’s tech revolution
Yes, thank you, that was a typo.
"First One-Stop Ransomware Resource" sounds a bit disingenuous; The No More Ransom Project[1] has been around since 2016[2], is available in 36 languages, and has done a lot of good. [3,4]

[1] https://www.nomoreransom.org

[2] https://www.nomoreransom.org/en/partners.html

[3] No More Ransom project has prevented ransomware profits of at least $108 million https://www.zdnet.com/article/no-more-ransom-project-has-pre...

[4] These Researchers Want to Save You From Ransomware (for Free) https://www.pcmag.com/news/these-researchers-want-to-save-yo...
“If you look at the GitHub Terms of Service, no matter what license you use, you give GitHub the right to host your code and to use your code to improve their products and features,” Downing says. “So with respect to code that’s already on GitHub, I think the answer to the question of copyright infringement is fairly straightforward.”

I don't know if it's really that straightforward. The TOS includes snippets like this in that area:

"This license does not grant GitHub the right to sell Your Content. It also does not grant GitHub the right to otherwise distribute or use Your Content outside of our provision of the Service"

I'm omitting other language, but if you read that area of the TOS, they seem to have purposefully scoped down their license-to-use for hosting, backups, etc.
I distinguish that practice as “Abnormalization” (HaHaOnlySerious).
Government, at least in nation-states that are sovereign currency producers, does indeed have first dibs on what people earn. Income taxes are usually withdrawn from salaries before employees are paid, and in the case of independent contractors, business owners, and capital gains taxes, individuals are on the hook retroactively for taxes.

The only perspective from which your statement makes sense is from the libertarian fantasy of government-as-parasite and individual-as-independent-producer.
But the language itself is still Smalltalk with some extra classes, right?
Thank you. I accept this.
That was another question in the back of my mind -- famously, the four color theorem was proved by computers through exhaustive analysis (checking every possibility). At the time, it was controversial as a "proof" since it didn't really take the usual form of a proof.

I've often wondered "Why can't we do something like that, but for all instances of things like the Collatz conjecture?" Of course, it's computationally infeasible. But that raises the question: Suppose the four-color theorem was only able to prove 95% of cases rather than 100%. Isn't it at least sort of valuable to do so? Or is that last 5% all the difference?

I suppose what bugs me about math is, physicists are proved wrong all the time. Mathematicians are rarely proved mistaken, because they construct assumptions that you can't disagree with. There's no chance for empirical data to falsify one's assertions.

But that's an odd kind of debate, and not too productive. I just can't help but wonder about stuff like this.
> Brazilians clearly want it gone though, or they'd have mounted a stronger defense around it.

How come? This is the biggest natural landscape conserved in the world, the country (and its population) could have profit trillions from it but it is still there, working on behalf the whole world, and nobody (besides Brazilians) paid for it.
Time to head for the fraidy hole...
Physics As a Liberal Art --James S Trefil

A brilliant epic journey through the history of what we'd now call physics, beginning from primitive man pondering the night sky, right through to splitting the atom and the atomic age. Written for the non-scientist in such a way that the reader's understanding of the subject evolves with the book's journey through the centuries.

Sadly out of print now, it seems and I lent someone my copy and never got it back.
A falcon 9 launch expends the upper stage. Building the upper stage is now most of the cost of its launch.
Well, firstly there are "important numbers" much bigger than the range we've empirically tested, so our empirical results aren't actually good enough. If there was some deep relationship with number theory, maybe it just happens that a number in this range is the first to break the pattern, which could be a deep and beautiful result.

But also, it's just the nature of mathematics, proving what is true is just as important (if not more so) than knowing what is true.

From a practical perspective, doing mathematics, you often don't really grok why something is true until you prove it.

From a philosophical perspective, there's not much in the universe we can know for sure (as you mention with the gravitational constant), but a mathematical proof we know for sure. That's the beauty of it.

if X is true and the implication (X => Y) is true, then it must be that Y is true. By definition of a logical implication.

Add in a whole bunch of axioms and suddenly you can take these simple logical atoms and build them into a field that spans the working tools of every engineer and beautiful arcane subjects like set theory. And every single thing we prove, we know to be true, as we build it from logical atoms that can be traced back to definitions and axioms.

It "could be" that for certain types of matter or at certain distances, the gravitational constant changes. It cannot be that there exists a bijection between the natural numbers and the real numbers under ZFC. Cantor's diagonalization argument *proves* it.
> If you change your service’s API, just updating all of the other clients of your service in the repo is not sufficient to skirt the problem of different clients expecting different APIs.

Most Google APIs are written in protobuf, which is backwards compatible over the wire. This makes most changes painless, although caveat emptor as things can still get messy as they do in the real world. With something like a Java interface, it doesn't really matter if those APIs change because all the code is built and released together at HEAD.
I recently accepted a job offer at one of the big tech companies and they would not sever that portion of the contract. So while it doesn't hurt to ask, they might not accommodate you.
Not to dispute what your friend says they were told but I think it's more likely that they want to rule out pregnancies than that they are worried about affecting fertility. Having a test subject sign up unknowingly pregnant or become pregnant during the trial is probably a massive insurance headache even if you have the test subject sign paperwork to reduce liability.
I think for me I get frustrated when it seems too formulaic. I think that tends to happen a lot when people use NVC, it seems as if they are very strictly following a pattern.

For example, I started this by saying how I felt but not so cookie-cutter and even your statement of "I really can't stand" communicated to me how you were feeling but again, not so rigidly in the format of "I feel X."

Does that align with what you're saying?
Random ads are effectively noise. Targeted ads occasionally are of value. If there's going to be an ad, better it be a targeted one.

I also have no problem with companies tracking for the purpose of seeing which ads work.

I do *not* like the retargeting ads--if I didn't buy the item there's a reason! Either I didn't want it or I'm waiting for a better price, neither of which you're going to solve unless you're telling me about a sale on an item.

And the biggie is how intrusive they get. I'd like to see a system where the browser sends an acceptable-ad policy, a site can either comply or refuse to serve the page.
> Either everyone has been blind for decades or the current narrative about racism is a lie meant to achieve some political purpose.

I think it's a bit of both. As the saying goes, "I can tolerate anyone except the outgroup" [1]. Part of that is racism, sure. A lot of it is people being uncomfortable with outsiders in general.

But also the left has found that words like racism, bigotry, xenophobia, etc. are very big sticks, and a big stick is a fun thing to hit your opponents with.

[1] https://www.slatestarcodexabridged.com/I-Can-Tolerate-Anythi...
Exactly this. If the Amazon was American or European it would be a desert long time ago.
That linked page says $5.9bn in external funding. That may not include initial seed capital, but I don't think that was as much as a billion.
I find the first argument, that if you're project is in GitHub then they have the right to train in it, weak. Plenty of projects are hosted elsewhere but have been mirrored by random users (e.g. not the copyright holder) to GitHub
Often times legal issues are more a question of finding a plaintiff with enough money to sue rather than the letter of the law.
well a lot of people in here don't like these conclusions
An example on healthcare:

https://dsa-lsc.org/2018/07/11/medicare-for-all-by-all/
What is convoluted about that? I buy a product, some fraction of the profit goes into the marketing budget, some fraction of the marketing budget goes to Facebook. How am I not paying for using Facebook? Where does their revenue come from if not from me?
I hope you aren't suggesting that I'm not part of your user community because I don't fit in your box and dislike the things your company has been doing. Honestly, I'm surprised that someone with your position in your organization has no idea how to communicate with people that use your software.

Regardless, this has cemented my transition to Tenacity and I'll be recommending to everyone in my circle to move on from Audacity. I hope one day you'll see how you and your company are poisoning the well, but I don't hold out a ton of hope that your company isn't suffering from a seriously rotten culture and inability to admit mistakes.

Anyways, in the unlikely event that anyone is actually reading this thread, marcan's comment [1] and the legal thread [2] was my first intro to the terrible way that Muse handles acquisitions and I haven't seen anything that suggests the company is handling things any better.

[1] https://news.ycombinator.com/item?id=27005385
[2] https://archive.is/w8O3L
Thank you for the explanation. I guess we all know that if 100% of people stop buying beef, companies will stop growing cows (with minor exceptions of leather etc). A challenge for a group of us, people who would like others to reduce their meat consumption, is to communicate clearly that ever without 100% reduction in supply, there will be positive change (fewer animals raised in factory farms).

The argument I lay out is that even if supermarkets aren't 100% sensitive to demand, on average, reduction of consumption does propagate through the market, and at least a part of the effect is lower "production" (fewer animals raised in the future).

I think you're 100% right that when there's more supply than consumers, it's likely that the price will drop, and with lower price, more people will be eager to buy. But I still see all this as short-term effects. When looking across a lifetime of action (consuming literally TONS less meat), an individual's choice to eat less meat makes a difference.

Perhaps I should stay away from "elasticity" in my wording, as it brings in needless attention to economic theories that can make thinking about this issue harder, not easier.
No, it is not for cattle ranchers but for soy farming which is mostly exported to US and China.