skysight-inc/HackerNews huggingface dataset:
>>"I feel like I am in the middle of a desert of gaming content right now..."

Sorry, just to check... Are you saying you are genuinely bored and have nothing to play right now?

I am envious beyond belief.... I feel there are literally hundreds of high quality brilliant games out there in a real and virtual backlog I'd love to play, but time is limited and I'll realistically never get to them :-/
Not-for-profit funding is misaligned. There's nearly infinite not-for-profit funding available. There's a free market of not-for-profits competing for that funding. The ones who win are the ones who do what's needed to win, not the ones who do good work.
I might potentially have accidentally enacted by sheer force of will.

I would call it biofeedback, not sheer force of will.
This way has always worked for me

%windir%\System32\Tasks\Microsoft\Windows\UpdateOrchestrator

rename Reboot files and add them as folders (you'll need to override file permissions).

https://www.joe0.com/2019/10/17/how-to-prevent-windows-10-au...
On one hand, I think things like financial incentives make it really weird that family gets to own rights to your likeness and voice. Would we feel comfortable if they licensed this guy out to do a deepfake porno for $50?

On the other hand, it sure does feel like likeness is better off in the public domain once you're dead. Because you're dead.
Isn't this an example of monopoly pricing?
Reasons Your Outbound Emails Go to Spam (and How to Fix It)
I do wonder if this wouldn't be an antitrust situation.
That’s not really true around selection of valve, it’s all about fitness.

A lot of younger people will have tissue valves, because they can have another one after (probably, if they don’t have too many Comorbidities) and it’s a better trade off than being anticoagulated. A though some of the newer anti coagulants are much less of a pain in the arse to be on than 10 years ago. Also they tick, which some people don’t like.

Similarly, many cardiologists would give a 80 year old a tissue valve because they probably won’t need another one and again the anti coagulation trade offs work in their favour
Why not ban for all ages....?
Notice how little the clown you're attempting to converse with was downvoted.

He holds the majority, safe, and riskless opinion.

Which will make it even better when we hijack all the censorship infrastructure and apply it to him
:)
>Let's provide a supplementary help to any mininum wage worker to allow him/her to rent a two bedroom apartment AND any business with a worker that needs this assistance shall be hit with an additional TAX on Gross Revenue

Why punish the businesses specifically? If society wants to provide a minimum standard of living to its members, then the burden should be borne by everyone. Goldman Sacs certainly isn't paying the cost of this program, for instance.
> So should we teach our kids how to survive in a bar brawl or in a shootout too? What about doomsday prepping for when a major catastrophe occurs like a tornado/hurricane/earthquake? All of these scenarios are just as likely to be beneficial and life saving.

Obviously it's a yes,yes and yes. And it's being actively done when all USA schools have preparations for active shooters.

> . Many students, especially young men, do not care whatsoever about concepts they

In the same argument why teach kids anything? The smart ones will figure out themselves by reading books and the rest will perish and become cab drivers.
Why would you want to install windows on something that doesn't come bundled with it or needs it for work?
C# has grown quite large over that period however there are large areas of the language that you can safely ignore. Your code might not be as elegant but you won't get tripped up like you would if you don't know C++ well enough.
The problem with this route is that as you scale everything breaks. You end up putting the events or activities table on DynamoDB or you have to store user presence in Redis or you have to vertically or horizontally shard and have to move all that business logic that was in your DB back into the application layer anyway.

Also, it's just harder to debug stored procedures when they do the wrong thing than it is with a typical problem in application code on a stack like Rails or Django.
It is magical thinking to believe that a law can impose a cost on businesses and it will come straight out of the pockets of the owners of that business.

There’s an entire sub-field of economics devoted to studying where the incidence of taxes and regulations fall, but voters don’t care to read the literature. If it sounds like we are sticking it to the people that their oversimplified model of the world has decided are bad guys, they are all for it.
Initial molecule generation and FDA approval.
As a concrete example, German programmer here. 16% of my income go to taxes, another 12% go to mandatory insurances (excluding healthcare), and about 6% go to health insurance. So about a third of my income goes to mandatory stuff and taxes, but when my son broke his arm in the schoolyard, the treatment was completely free for us. Not sure how those numbers transfer to the US, though.
Do you think that most/all civilisations end this way before becoming spacefarers?
No, I think you overestimate the financial resources of about half of the people in the US. Being able to afford $90/year for each web service is definitely a marker of class.

That's even more true globally.

And yes, Netflix is hard on some people too. I know plenty of people not in the software engineer class who (illegally) share Netflix subscriptions or don't have them at all.
It’s funny how it’s always the people’s responsibility to get a better job, not the company’s responsibility to find a way to be profitable with reasonable wages.
End of the day Valve will never work seriously on hardware at a level will allow them to compete.

Hardware is extremely difficult and extremely expensive.

High effort and almost always low to no reward unless you manage to create a breakout device.

Valve already has the business that most people build the hardware for in the first place. The reason Microsoft makes Xbox is to get a cut of game sales and sell a subscription. Valve already gets a cut of almost all PC sales so really trying to build hardware looks bad on almost every conceivable company chart within Valve.

Yet they keep doing it every 5 years ago due to presumably due to their weird management.
I Need a Tester
You've convinced me that R without all numbers that are not expressible in typical languages is countable at least.

Though I'm not convinced that numbers that are not expressible don't exist. I could for instance say "the length of this line", which may very well have a length that is not expressible in a language that uses a finite set of symbols (hah, that's why your expressions are countable, of course!).

Consider a language however that instead of numbers simply uses sounds of the appropriate length, or draws lines of proportional length (assuming of course you could do this precisely).

With that language you could express every real number, and you could express numbers that turing machines* or English can't.

*Unless programmed in that language.
IANAAstrophysicist but it seems like targeting that rock gets proportionally hard with the speed and distance. Throwing a dart and hitting an ant on the other side of the world, etc.

And the other side of that equation is: does the species who can do that have anything to fear from us? Or does the same technology make them likely able to stay ahead on defense, making it uninteresting to destroy us?

Three Body Problem introduces all this dimension folding tech that makes being the first to strike totally dominate. But the closest equivalent on Earth hasn't (yet) led to nuclear holocaust, because preventing others from getting the tech and establishing mutual detente with those who do has been better for each actor.
Parent's point was that "whale oil scarcity" had a natural mechanism to get people invested in alternatives because as whale populations dwindle and it becomes expensive. That was the problem and it was solved to our satisfaction.

It also helped the whales, but that was purely incidental. Without fossil energy, the whales would be gone.

Today, there is unfortunately too much oil and coal to force the search for alternatives. And the "whales" are the the climate and, again, that problem doesn't have the feedback loop because the atmosphere, like the high seas, does the tragedy-of-the-commons thing.
> Getting a domain listed is pretty hard.

I disagree. I've made two PRs [1] to that list to add domains where we assign subdomains to mutually non-trusting parties to ensure proper cookie security for these.

Both times the turn-around times were less than a week. In my first PR I even made a small mistake, because I did not read the instructions correctly. I promptly corrected it (< 5 minutes later) and the maintainer then merged my PR like 2 minutes later.

However we properly researched what the PSL does for us and what it does not before filing the PR. Also the domains do not hold anything other than customer data (similar to github.io).

[1] https://github.com/publicsuffix/list/pulls?q=is%3Apr+author%...
But if they're making below minimum wage, why should we expect a change in minimum wage policy to help these people? Clearly their employers aren't interested in following minimum wage laws.
For the sake of my own sanity, if nothing else, I am going to choose to believe that this isn't the majority opinion. I don't think Objectivism is quite that popular.
I don’t see why that necessarily follows and I don’t see why one would want to send such a probe. It does nothing for me if I can send a probe to start humanity on another planet when I have no connection to said planet and won’t be able to see the result or have a connection to that colony. In the dark forest view one would never seed such a colony as they will quickly become competitors.
People aren’t “volunteering” for this in any meaningful way. Their next-best option is pretty terrible.
The unique prime factorization of 15 is 3⋅5.

Let's call a number an Igelau prime if it is the number 1 or a prime number. Then an Igelau prime factorization of 15 is 3⋅5. Another Igelau prime factorization of 15 is 1⋅3⋅5. Another Igelau prime factorization of 15 is 1²⋅3⋅5. And so on. There are infinitely many Igelau prime factorizations of 15, thus there is no uniqueness.

Edit: Clarifying what Igelau primes are.
Holy shit that’s a very low bar.
I'd imagine a lot of people are like this, and I'd imagine HN is overrepresented by this, but I just really feel emotions. When I'm on and am really into something I get hyperfocus and feel like the world is my oyster, but inevitably that high is going to end and if I'm not careful with certain emotional situations I put myself in (romantic relationships), I can reach that low of lows where I honestly just don't want to be here. I mean I guess we all feel this at times, I don't want to imagine it is special, but there are just times in those lows where every doorframe and every rope looks like an out. I absolutely am not interested in it and I know that if I stick it out, that time is going to pass, but I absolutely feel it deep in my stomach and I understand when people who are in that state exacerbate it (if it's alcohol, don't drink alcohol) and we get these tragedies.

For me, personally, this is the first time in 15 years that I've felt normal, which is to say my entire adult life. Some of that is just growing up, but it took a few tries with psychologists (the second much more successful than the first), being cognizant of what issues put me in a funk and avoiding them, getting the appropriate medication (for depression this is invaluable - the main thing it does for me is make sure those valleys aren't so low) and then within the last year realizing that I might also be adhd (all this shit is comorbid) and seeing a pyschiatrist and getting on the proper meds for that. I know we've got our Scientologists and resident HNers that think the healthcare industry is just a joke, but my counselours have always been my friends, it's as much me guiding and us learning about what works and doesn't work as them, and you know, it's been life-changing. This last part is in response to your "we don't know" comment. We have no fucking clue on the brain works, which is why I'm even saying this. I see people that are ashamed to take medication or admit they have.

But the depression is never going to completely go away. Two books that have given me a lot of hope, taught me a lot are:

> https://www.amazon.com/Lincolns-Melancholy-Depression-Challe...

> https://www.amazon.com/First-Rate-Madness-Uncovering-Between...

I'm sure someone's going to say that here's popsci, but I dunno, was good stuff for me. Great insights into mental disorders and how they can be worked around, even embraced. This is all feeling way too male...I guess a final thing that's been vital for me (and again, just getting older) is the power of empathy. I think there are a few shows like Mad Men or HaCF which really show a variety of people working through issues like this.
Zoom can record calls -- they do not have to be video calls, have the other party call the Zoom conference number.
Google Voice can record calls, call them and press 4 (I think)
Those will be lower fidelity for the caller's audio.

FOr better fidelity looked at riverside.fm? The remote party only needs Chrome.
>> Allowing smaller market participants to consolidate to face the behemoth is not necessarily going to be perceived as anti-competitive.

Intel is not small by any measure. Now TI and GloFlo, or some other pairing I might agree with.
Looks like a man with a healthy beer belly to me, but I know that's not what they're going to call it
Thanks for sharing https://www.couponsexperts.com/
Binary Representation of the Floating-Point Numbers
> screwing the content creators r

Good to know, then devs can sell their games somewhere else? Oh, I guess they don't. Nevermind.
There is also a difference in failure modes. Natural valves degrade performance overtime due to calcification of the valve, giving you warning and time to make decisions over replacement. Mechanical valves fail catastrophically by either remaining stuck open or having the valve plate shatter. If you ever stop hearing your valve click you need to get to a hospital ASAP
I find tweets 3 (centralization) and 4 (predation) to be particularly incisive. This may not be obvious to everybody, because these things are meant to be well-hidden.

Although, I will say, those points massively contradict with the second tweet in ways that are even less obvious, but significantly more enraging if they are well-understood. If you look into all of his complaints, the main offenders are the institutions that have been given some form of legal monopoly to do so.
Or might this imply that the electrons are actually distinguishable in some way? Or maybe I should re-phrase; could each electron actually have some (possibly hidden) identity?
Presumably most employment contracts/usage policies explicitly give consent to the employer to access any private data that is stored on their systems? That would seem like a reasonable thing for an employer to mandate.
Google's New Approach to Image Super-Resolution
GOG has zero Linux support (or close to none) so they don't get my money at all.
Because the integers are ordered?
Are they admitting they are lying to everyone?
Too long to go into details (as I'm not going to implement it), but I would create a platform token which would be the currency for asking questions and used to pay the best answers.
Shh! You can't get Congress to vote for "catch up with the rest of the world", you need to phrase it as "America leads the way to freedom!".
Get yourself a small bluetooth keyboard, there's even mechanical full-size keyboards that can fit in a medium-sized bag.

I got myself an Anne Pro 2 from banggood for 65 euros and I take it everywhere. It connects to my laptop, tablet and phone.
Thanks for that SOS link, hugely interesting!
Creating a new theme for Pelican wasn't too hard; even when I wanted to do some silly things with it.
Our main docs are built with Hugo (https://github.com/mitmproxy/mitmproxy/tree/main/docs). For our API docs we use pdoc (https://pdoc.dev), which integrates well with most static site generators. pdoc is also maintained by us. :)
> why real numbers are somehow unorderable

They are orderable ... For all x, y in R, either x >= y or x < y.

But R is not bounded (no inf, sup) and therefore has no minimum and no maximum.
It's only as good as long as someone keeps developing it. I'd prefer first party support any day.
It happens regularly when, surprise, you deal with infinities in some other place.

A good, fairly intuitive example is integration where, I think, it's common to prove convergence using AoC in the multidimensional case.

More or less, you want to integrate a function over, say, a square. We'll do it with a generalization of the Riemann sum by arbitrarily dividing up that square into little squares, measuring the function at one place in each square, multiplying the areas by those measurements, and summing.

Then we take that process to its infinite limit. We have to be smart here, but we end up with an infinite set of contiguous pieces of our original square. Or, an infinite set of sets. We'd like to measure our function once from each of those pieces, so we need to choose one point from each piece. Which is easily dispatched with AoC.

(In 1-dimensional integration, each subdivision of the domain has a total ordering, so you don't necessarily need AoC. Technically my example of a square also has a total ordering, so we could get away with not using AoC, but as you start to twist coordinates in the domain space more and more you can imagine places where seeking out an ordering of the space might be challenging. But no matter, AoC still works!)
I have trouble understanding your point of view.

Implanting an artificial heart is, like most surgical operations, a risky endeavor, especially for the first persons who are taking the most risks (and also helping the most to develop our knowledge).

The people choosing to have a new heart implanted do so with full knowledge of the risks, and potential reward (more time alive, helping to develop a new life saving technology/procedure, etc...).

If I get a serious disease that requires me to have a dangerous operation, I would love to have the choice to do so, instead of having to endure the disease with no choice.

I understand 'feeling' for people that have cardiac issues, but I cannot understand 'feeling' specifically for people that have cardiac issues and choose to undergo a risky and potentially saving surgery.
It's been measured around 7 frames of lag, so 120ms [0]. PC in comparison is around 2-3 frames of input lag. That thread is pretty old though so may be out of date now.

[0]: https://www.resetera.com/threads/hollow-knight-switchs-input...
Backing fiat with real assets stored somewhere (not necessarily gold)

I don't think cryptocurrencies solve anything though, they're equally not backed and they don't even have weapons or an economy behind
As pointed out by others, they were very cost effective. And they replaced vacuum tubes, which were fragile. But, the most important thing is that they immediately solved a problem (ballistic trajectory calculations in missiles) and therefore had an industrial use which led to a virtuous cycle of improvement.

Quantum computers aren't useful; they're still searching for a use.
At least in the US, stockpiling is absolutely common to a degree. You are absolutely correct about checks, they make it even hard to get supplies when it's legitimate at times, but what ends up happening is people skimp in order to save some away, and build up a reserve over time.
My point is primarily that we are not going to run out of edible food. I have no intention to try force anyone to change their culture.

Here in Sweden we eat fermented fish. Other countries eat ferment cabbage, beans, goat stomachs, or other fermented things which in my culture we would be weird to eat. I think fermented seaweed is also a thing somewhere.

There are things that could force a culture change, such as famine, war, social status signals, media, and religion to mention a few examples. Humans are social creatures, and culture is a social phenomenon, so the cause for a cultural change would likely be social in nature. I guess a societal collapse could also trigger a change in culture, or a cultural change could prevent a societal collapse. I guess it depend on how one want to perceive it, and what meaning people put into the word "societal collapse".
rewriting History much? That's not at all what happened.
Academic Ghostwriter: I Found Cheating Is More Complicated Than I Thought
But I don't have to use it, or I can deprecate it.

Particularly I think those "real" numbers are phony compared to the integers and rationals. (At least the latter have names)
Telling a difficult story in 2 hours is difficult anyway. The directors made some reasonable choices.

The overall level of acting was very good (perhaps this is not surprising when you know that the cast included some very famous British actors). The visual effects were also very convincing.
> Similarly, if we could prove the axiom of choice from the ZF axioms, we would have to either accept it as true, or completely rework all the foundations of math.

And the footnote following this statement:

> At the beginning of the 20th century, Bertrand Russell and others found deep contradictions in the naive version of set theory in use at the time, and the ZF axioms were developed to avoid those problems. But we’d rather avoid doing it again.

My understanding is that the “constructive” mathematicians objected strenuously to these proposed foundational “solutions”. It’s starting to look like they may have been on to something, as there is an ongoing effort (since 2013 at least) to recast the foundations in a manner that accommodates both traditional and intuitionistic approaches.

Short anecdote to confirm that this might gain traction: I’m a comp sci PhD student (focus on cryptography) and just yesterday I met with a math professor to ask her to serve on my advising committee. I had some brief run-ins with Homotopy Type Theory (the proposed “new foundations”) and was hoping she might be familiar with it—as it turns out, some of her own students had recently convinced her to start a weekly jam session where they gradually work through the HoTT textbook. She invited me to join them and I eagerly accepted :-)
I don’t see that convincing, a huge part of what we eat currently is the result of marketing (sugar, meat, dairy…), very anecdotical for defining oneself and the future of human society.
>Making the numbers more right doesn’t make the reality any less cruel, and more accurate numbers don’t seem to help persuade anyone to care.

...and that's how you end up with polarization with media. Neutral/objective reporting gets dropped because it "seem to help persuade anyone to care". It's replaced with misleading reporting optimized for shock value which gets a pass from one side because it fits in with their narrative, but is rejected by the other because of how biased it is.
You might have strings that match one of their secrets regex's that are not an actual secret. It would be extremely annoying if they blocked you from pushing a commit in that case.
And they will trip over it, I guarantee you.
I have watched the first two episodes, and found it to be both interesting and entertaining. Tom Hiddleston is a gem of an actor. He plays the character of Loki really well!
There's a lot of physics you can do in single precision. In fact, current gen climate models are mostly in single precision, and some of the next gen models are trying to do a lot of the work in half precision (float16).
But neither did I "choose" to be born in a democratic republic with individual freedom (and a very corrupt state/political class)

(note: I was not born in USA)

...so it's not all that different