skysight-inc/HackerNews huggingface dataset:
In foundational theories of mathematics, the following

kind of proposition is true but unprovable:

Theorems are enumerable by an algorithm.

See the following article and associated video:

https://papers.ssrn.com/abstract=3603021

https://www.youtube.com/watch?v=AJP1VL7shiI

In foundational theories, the proposition

I'mUnprovable (used in the proof in [Gödel 1931]) does not

exist because of restrictions on orders of propositions that

were introduced by Bertrand Russell to prevent logical

contradictions in mathematics.
The question is fair.

Why would you want to use a non-intrusive doubly-linked list?

AFAIK there is only one answer: you have very big objects and you need O(1) splice.

If you don't have very big objects, or you don't need O(1), pretty much any other data-structure in existence is going to give you much much better performance than a doubly-linked list.

For the only use case for which non-intrusive doubly-linked lists are good at, however, there exists no hardware you can buy for which you can measure a performance difference between ref-counting and not ref-counting.

This has nothing to do with Rust. The same applies to C++, or Java, or Python, or even C. You can do ref counting on any language, and all these languages run pretty much everywhere.

The only thing that Rust gives you over Java, Python, or C here is the possibility to implement a doubly-linked list in safe Rust that will perform the same but that the compiler will prove for you to be memory and thread safe.

Sure, Rust also allows you to use unsafe code, and then prove that safe and create a safe wrapper. It even does this for you and provides this in std::List. But what value does this add? It's more work, and it doesn't perform better, and why a significant number of people have argued in the past that adding std::List was a mistake in one form or another.
I can think of 2 instances where Trump publicly questioned EU members' reliance on Russian energy. Once when he visited Poland and then later at a G7 summit.
As mentioned to open, containers within VMs are a security standard for cloud-native when security is critical.

x11docker is just a (very convenient) security layer for containers which need to expose graphics (and possibly webcam, audio, networking, clipboard, printers...). Kata Containers are just "micro VMs" where you spin up a separate kernel to drop the container into.

Bubblewrap is okay if you trust your kernel, but locking the app away in its own VM with its own kernel gives another layer to bust through.
Placing bets is investing. Placing bets with a conspiracy attached is activist investing.
I wonder if Americans/Westerners are capable of acknowledging the things that their countries get wrong

You're shifting the goalposts...Has America or any western country blocked the wikimedia foundation from entering WIPO?
Anecdata: a close friend has suffered from terrible migraines for years. Triptans such as Sumatriptan/zolmatriptan helped, if taken with anti-sickness meds, but they were needing to take them too often and getting dependency headaches from them.

Over the years they tried many things which didn't really help, or seemed to help but then didn't, or were inconclusivbe.

About a year ago they started on Ajovy (fremanezumab), a CGRP inhibitor. Its been like magic. A simple injection every month (you can do it yourself - they courier them over and you keep them in the fridge) and barely any migraines. Sometimes one or two towards the end of the month when the next jab is due. And no real side effects as far as can be told.

Its unusual to come accross a medicine that works so well for something as intractable as migraines.

UK specific: Originally they were paying for the Ajovy after getting prescribed it by the brilliant National Migraine Center (https://www.nationalmigrainecentre.org.uk/) - its expensive. But after it was shown to work managed to get it on the NHS via a referral to a specialist.
Land west of the rockies is worth far more than land east of the rockies. There is lots of cheap land east of the rockies in the sticks.
> In a world where cash is starting to dissapear, payment processors and banking in general should be regulated and treated just like some sort of utility company

I'm not sure if you are missing contacts or providing irony. But the fact is payment processors and banking in general is extremely heavily regulated.

A few years ago when you saw almost all banks and payment companies starting to crack down on spending money to buy and sell cryptocurrency, that was to no small extent because federal regulators gave them a little side-eye about the subject. No specific regulations, to be clear, but a few pointed questions.

When every means of sending money overseas demands clear documentation of your identity, That's not so much because banks feel the need to know every detail of your business; it is strictly mandated by federal law. And while my examples all involve US banking, most governments around the world are similarly strict.
As much as I feel like joining in the "well you see the world went wrong" kind of argument the reality is that GDP isn't a great measure for growth. Even the economist who came up with GDP felt it was a grossly incomplete metric and wanted to figure out how to add in the economic activity of homemakers as well into the equation but Congress like most organizations love numbers even if they're not that useful. So we're stuck with an incomplete metric that in most cases is a meaningless figure. Sure, you can pump the GDP up many ways to make it look like you're doing great all the while the average life of expectancy of your citizens slides back (see the US even before COVID).
> I now have this vague feeling that Rust is a religious cult

I had this feeling from the very beginning just by the tone of its zealots here and elsewhere. My theory is that since the language is very hard to learn but doesn't provide a lot of tangible benefits (memory safety exists in most mainstream languages fot decades), the sunk cost fallacy hits very hard. Then the only way to get some benefits for the time spent is to recruit new comers in a sort of pyramidal scheme structured around experience in the language. This way the zealots become priests and are compensated in form of social status. Of course, the whole scheme cramble if nobody joins, which is why the community is so aggressive (RIIR, vocal advocating, etc.) with the non-believers.
>Not sure what you mean by that. The first €400K of an inheritance is tax free for children.

I'm in France, the tax allowance is €100K per parent. But since a rich parent can give €100K before their death every 15 years, tax free (that was €160K a few years ago, which I benefited of), the 100K allowance is still available at death. Rich parents can give dozens of €K as gifts in addition to that as explained above, so this all adds up for me while others can only expect €100K tax free at most, and once.

>I don't follow. If you are gifted stocks directly and you sell them, you gotta pay tax on the gains. If you don't sell, you don't realize gains, but you also can't use the money. If you receive dividends, you have to pay tax on capital gains.

My parents made 10x on a few stocks, over a few years. When they gift the stock, they don't realize any gain since they never sold. I must declare their cost as their price on the day of gift. If I sell the stocks the day after and the stock stay flat, I pocket the whole x10 but neither me nor my parent paid any tax on the 10x gains.

>But how do your parents get a loan from a bank at negligible rates if it isn't for buying a house or so? Fees for buying stocks on margin are usually higher (and then you could borrow them yourself).

https://en.wikipedia.org/wiki/Lombard_credit. This can be negotiated as less than 1% with a few online banks. No need to justify any expenses/investments.
Some time ago I have done something similar: https://github.com/grzegorzk/ff_in_podman
It's interesting to see, that hardened browser executed from container is actually quite unique setup (and hence, in a way, easy to spot unless many people are using same setup).
For a plane, solvency would be airworthiness, not altitude.
C++ Smart Pointers Gotchas
Do you think there is any problem with teachers setting word limits appropriately?

I could imagine novice teachers who haven't attempted the exercise themselves being off considerably -- over or under -- on the number of words needed to complete an assignment.
He created Schillix, the first opensolaris-based distro, before even Belenix.
> But I constantly see it being misused, even with datasets as small as 5GB.

I witness frequent desire from engineers to use it because they see it as a competency/expertise that will unlock jobs at bigger, more lucrative companies. Also, startups kind of beg for it because the business keeps asking, "Will this tech scale 100x?" If you ask for a solution that scales 100x, and your problems aren't well-defined yet, and by the way it would be nice if it does streaming, too, since we might need that someday, your engineers are going to err on the side of using a big, complete solution.
Moscow’s EU envoy urges Europe to fix ties to avoid gas shortages
It seems like all the 'problematic' edge cases mentioned can easily be dealt with using runtime type validation and are not the concern of an interchange format like JSON which is (and should be) optimized for maximum flexibility/interoperability. The server should not trust the data inside JSON objects sent by remote clients; there should be some kind of runtime type validation; it's expected that different programming languages might interpret the content of the same JSON object slightly differently for certain unusual edge cases. IMO, as an interchange format, JSON should be allowed to evolve over time; JavaScript has already proven this model to be effective; you can always add features and add flexibility but cannot take away features or remove flexibility.
I had a sparc 2000e, running solaris, with a 1tb disk array built of many 23gb, 8lb monster SCSI disks that had already lived a long life in a TV stations video array. Spread over like a dozen SCSI controller channels. slightly flaky.

Many of the things I made that machine do were only possible to me because of Shilling's shared knowledge. Thanks for that.

I shall burn a terminator in salute.
I‘ve had my share of flamewars with Jörg, as had many others. But it was always civilised and never went ad hominem. I will miss him. The few times we met in person, we had some good laughs about many things. Tough, but nice guy. Left too soon.
95% of top Python packages on PyPI distribute wheels
Sorry, I don't understand your comment and what is funny.

Birthrates in the US are going down from 25.000 per 100.000 to 10.000 per 100.000.
Yes, like a fluttering in the ear if that makes sense. Maybe try magnesium in your case?
Get a strategic vision of your technical debt
> I see it as compassion, not giving up.

None the less, it is giving up by definition. If everyone thought like you, the world would end.
It’s Time to Stop Paying for a VPN – VPN services can no longer be trusted
I am biased, as I am the father of a wonderful (adult) child. Some thoughts.

1) Being a parent was the absolutely best thing that I've ever done and experienced. Nothing IMO, can compare to this.

2) Climate change was not (ever) a consideration for us in the late 90s. Though the climate wasn't that great back then (fairly hot preceeding decade, a few years before the pause).

3) Economics were definitely a consideration. I was making good income at my job, my wife was enjoying her life working at a museum. We could easily live on what I made alone (though not what she made alone). Additionally, we live(d) in a LCOL area, compared to the coasts.

Honestly, the LCOL areas are IMO a much better place to consider raising a family anyway, from an economic viewpoint. Some LCOL areas aren't great from a security or environment standpoint, due to years/decades of pollution and terrible politics. But in this day and age you can choose where you want to be. There is nothing special about the coasts, and much to be gained by not living there.

All this said, there are many valid reasons for not wanting to become a parent. But climate change isn't one of them. For the simple reason that, despite protestations of many, the climate has always changed, and humans have either adapted to these changes, or died out.

I recall from middle school biology, a definition of adaptation to an environment given. When a species can reproduce in its environment, it is said to have adapted to it. This has quite a bit loaded into this definition that is not spelled out in detail, but the point remains that you need to have line of sight to food, shelter, security, etc. in order to be able to consider procreating.

Some points about population collapse are worth noting. When a society fails to produce sufficient children such that it can sustain itself and its quality of life, it eventually reaches a point where there are too few young people to replenish what you lose. When that occurs, you get something similar to what we see today, in terms of insufficient number of workers available to work.

That case could be "fixed" by improving the healthcare, compensation, and social security nets right now, but in the future, with insufficient offspring, no amount of additional incentive to work, will create new workers for you.

Put another less sympathetic way, not having kids because of irrational reasons is an automatic Darwin Award nomination. It is species level self-own. An L.

The gene pool only propagates the winners of adaptation. So if you don't adapt, i.e. reproduce, your genes are not going to be in the gene pool. Which, is the literal definition of the Darwin award.

Have kids. Its worth it. Every last second of it.
> I highly encourage any greenfield project to look into well designed and better specified alternatives.

Like what?
You’re mistaking my covering of the entire baby experience (sans childbirth) as disliking those things. They’re just baby things.

My point is, I can get the full experience (namely the called out smiling) without them being mine.
Looking through the windows in Stoker’s Dracula (2020)
A lot of people will just use the popular issue of the day as an reason for their decision.
I'm guessing that the point being made isn't about the financial industry in that sense, which indeed was hung out to dry by brexit, but instead the financial transparency requirements that the EU are bringing in.

The UK (along with its crown dependencies) are large scale centres of shell companies and other mechanisms used by people to obscure their wealth. The UK has promised to reform this but appears to be dragging its heels...
Climate change is a problem, but the title isnt quite how i'd put it.

The original paper is here: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3918955

The survey is specifically about climate change. If I wanted to know why people are fearing having children, i'd do a survey where people rank fears for that so we could see where climate change ranks, say, as compared to economics.

I have friends and family in a number of the countries surveyed in this paper and I rarely hear about climate change as the reason for fearing having children, usually it is economics.

This is not to say climate change isn't a problem, but I dont think this title accurately represents the subject.
342 out of 360
"My general opinion is that it's extremely hard to reliably use JSON as an interchange format reliably when multiple systems and/or parser implementations are involved."

I suspect one of the reasons that JSON has been so successful is precisely this fuzziness, though. Every language can do something a little slightly different and it'll work at first when you send it to somebody else. You get up and off the ground really quickly, and can fix up issues as you go.

If you try to specify something with a stronger schema right off the bat, I find a number of problems immediately emerge that tend to slow the process down. It may be foreign to programmers on HN who have embraced a strong static type mindset, or dynamic programmers who have learned the hard way that sometimes you need to be more precise about your types, but there's still a lot of programmers out there who will wonder why you're asking them whether this is an int or a float is relevant. I came in to work this morning to an alert system telling me that a field that a particular system has been sending as an integer for a couple of months now over many thousands of pushes, "number of bytes transferred", is apparently capable of being a float once every several thousand times for some reason. There's a lot of programmers who will send a string, or a null, or maybe a float, or maybe it's always an integer, and deeply don't understand why you care what it's getting serialized as.

And that's just an example of some of the issues, not a complete list. Trying to specify with some stronger system moves a lot of these issues up front.

(If your organization has internalized that's just how it has to be done, great! I bet you encountered a lot of these bumps on the way, though.)

This isn't a celebration of JSON per se... this is really a rather cynical take. I don't know that we need to type everything to the n'th degree in the first meeting, but "why can't we just let our dynamically-typed language send this number as a string sometimes?" is definitely something I've had to discuss. (Now, I don't get a lot of resistance per se, but it's something I have to bring up.) I'm not presenting this as a good thing, but as a theory that JSON's success is actually in large part because of its loosey-gooseyness, and not despite it, regardless of how we may feel about it.
>Still, not 400 MB difference.

didn't say it was?
A java.base jre is about 40mb extracted
jdks extract to about 400mb (depending on os/arch)

A downloaded then extracted jdk will take over 500mb of disk space
I guess I'm in the opposite camp. I have a drawer of clip-on tuners which broke or ran out of battery which is hard to change or just weren't easy to use or reliable. A sturdy boss tuner somewhere in my drawer of cables that's pain to pull out. And two apps that are on all my devices, easily always accessible at home or friend's, and can tune my guitar my bass and my kids ukulele. I wish I preferred the hardware unit, I do - but the convenience factor of the app is too high. I am not spammed with adware but I assume I paid for them at some point - I get value so I gave them money. My expectation of free apps are exactly what price would suggest. We have a choice between ad supported and paid product. Put your money where your mouth - or rather righteous blogs and comments are.

Edit: google "best tuner apps" and the two I use are consistently at the top. If those aren't in the top 30 of your appstore search, then we have a discoverablity problem, not a free or ad supported software problem. And again, if you picked random tuner from Amazon instead of going to store or reading reviews your experience might be the same. So - let's focus on what true issue / rage is, and compare apples to apples :)
But then your dollar, two years down the road, is worth... $1 or even $0.50. Smells like failure to me, except to those who paid less than $0.50 for their shares. Would you invest with them again?
It's from a password MANAGER.
Spaced repetition has been a thing for a really long time. Were you in college +/-1900? Depending on where the line is drawn for spaced repetition, it could be claimed to have been discovered initially from roughly 1885 to 1932.
Frequent migraine sufferer, so very interested in content. Horrible article, but I did search for articles on CGRP treatments and may give them a try.
California will require large retailers to provide gender-neutral toy sections
No, it wouldn't. At best, it would lead to a slight population decline, which in many ways is a positive.

Plus, 99.9999999% of other species on this planet would cheer.
A bike would in theory be great for those still physically able. Maybe even an E-Bike. There is a path part of the way but it doesn't get plowed. The highway gets plowed but it isn't really safe for anyone to bike on the highway. I don't believe I have ever seen a bicycle on the highway.
Whoa, whoa, let's not get carried away with such broad accusations.

After all, sometimes it's New York.
I would lose the right half of my vision, except not like anyone here (without similar experiences) is probably imagining it right now: it was not like my right eye stopped working, no, the part of my brain that processes visual information would deny the existence of the right half of my vision and replace it with a reaction-diffusion lookalike aura. Split precisely down the middle, doesn't matter which eye. Even freakier, if I were to look at someone's face, my eyes would refuse to turn and show me the missing half of said face on the "left" side of my remaining vision. Similarly I could no longer read words or sentences because they were cut off and my eyes refused to do the normal reading saccades.

It was then that I first learned that my conscious is only a small part of my mind, and not in direct control of everything.

If I would have been stuck with that mode of perception permanently I would have gone crazy.
Also, xpra and waypipe are developed with the intent of being used remotely. They do not have any zero-copy provisions to reduce latency and overhead on local-only applications, like you would get with at least the virtio_wl and WSLg approaches.
From the way you frame this, you seem to think legal or illegal is an easy thing for a bank to evaluate quickly and accurately. Is that a correct statement of your position?
See my edit, it was just a stupid mistake on my part. Thanks for pointing this out.
Specialized tasks requiring training for which we use machines could be performed by available brains previously not thought capable. Genius. One of the most genial ideas I have met in a long time.

Actual article (2015): https://journals.plos.org/plosone/article?id=10.1371/journal...
People did not fear having kids in the middle of world wars, famines, genocides etc. My guess it is not fear of climate crisis but fear of responsibility + desire to spend money on themselves + ability to choose due to contraceptives.

Is it not interesting that we are witnessing the biggest selection filter/pressure in human population since smallpox and black death? It is not purely genetic this time though, there is a huge cultural component, societies that do not breed do not survive.
And South Dakota.
Living in cities is already more efficient than the alternative. Having everything in close proximity to each other is huge for efficiency.

Imagine how much more efficient it could be without cars.

But yes, people living a rural life usually need cars. And their lifestyle is less efficient. Both can be true at the same time.
Though they could make the connection more explicit, their "servers" link on the Mozilla VPN homepage is a link to Mullvad. And presumably it isn't violating any licenses.
The Continuum Hypothesis is still an open question in

foundational mathematical theories that are more powerful

than 1st-order ZFC such as the theory Ordinals.

See the following:

https://papers.ssrn.com/abstract=3457802

Someday, the Continuum Hypothesis might be proved or it

might be disproved in foundational theories.
In case either of you check your threads page, it was just a stupid mistake on my part. See my edit. Thank you for correcting me.