skysight-inc/HackerNews huggingface dataset:
> If you can enforce a property with a type, it is IME far less work than trying to enforce that property with a test.

That's an unnecessarily broad generalization to a concrete statement, and if it were true more people would write their programs in dependently typed programming languages or whatever.

> nobody wants to care about how "i++" is a statement that's (a) absolutely everywhere and (b) potentially invokes undefined behavior at runtime, so the only way to guarantee that out involves a lot more proof work somewhere.

In many domains, the high standards you're displaying here will almost immediately throw you out of business.
In particular "i++" for most applications is just fine to write without any second thoughts. It's not even a good idea to write a test. Just run the program and fix it in the rare case something it doesn't work as expected (it's almost a safe bet the issue won't UB).

You're not taking a tank to go to the supermarket either, are you?
1. Slavery is still a thing.

2. A metaphor does in no way downplay slavery.
"winning condition is achieved", hooray, the Putin in your imagination thinks, Ukraine won't be a member of NATO, never mind the cost of economic destruction of Russia?
Every civilians wear these can be killed legally. So, it works both ways. But chances are as thing get brutal (look up Grozny), they will be killed. A lot of people simply dont understand the consequence of this "good intention" assistance.
What do you think about the idea of meditation being about temporarily stop reacting to the movie? As if the watcher is often very involved with what happens in the movie, but during meditation he lets go of the the involvement?
> It's a cheeky reference to power grid cables on land having (negative) influence on the health of humans; and that being dismissed as "conspiracy theory."

The thing is, there is no scientifically validated evidence of that effect; also, there is no proof of humans being able to sense (electro-)magnetic fields.
I'm sorry you've had such difficult experiences. Does the following excerpt resonate with you? If so, I'd be happy to share more.

"This comment is extremely important and should be borne in mind by all who feel tempted to dabble with the psychedelic experience without knowing what they are doing or why. He who enters the fifth state of consciousness without preparation may be spiritually paralyzed by his experience. He has seen too much too soon and, as a result, all games become meaningless. He cannot play the life games that satisfy men in the third state of consciousness. He cannot play the Master Game because he knows nothing about it and has no teacher. So he becomes, like Daumal's "leaf in the wind," an even more helpless plaything of external forces than he was before his rash
experiment."
https://www.reddit.com/r/submarines/comments/4qvi9l/hottub_s...

Remember, such luxuries are for missileers only. An average Russian barrack may not have constant electricity, heating, and Running water even today.
Is this normalised at all? It always seems to look like a map of where cities are, although there are some interesting trends, especially if you pick surnames that have more recently become prevalent in a country.
My understanding is that military capacity across all EEA member states, and UK and Switzerland, would dramatically outweigh Russia's. Countries don't necessarily need to increase their military spend after this, especially with all the other economic issues we already have to grapple with, following both the great recession, covid, heavy inflation, the switch to green economy, and now all the economic effects being linked to the war in Ukraine.
SEPA (instant) transfers between European banks are, as the name suggests, instant. There are also no transaction fees for the users of these transfers. e.g. all major Belgian banks support SEPA instant, so transfers between KBC <-> BNP Paribas <-> ING etc. are instant.

> Now I'm at the mercy of the bank regarding what I can do with that money.

This is going off-topic, but you are with crypto as well. Unless every merchant you use supports your cryptocurrency, you're going to have to convert it back to fiat.
Thanks! I'll be updating that post today. I changed quite a few things getting ready for this Show HN, so it's now out of date.
Show HN: 'Adnihilation' available now on F-Droid
Show HN: 'IsUserAMonkey and isUserAGoat [curiosity]' available now on F-Droid
Basically just population maps - https://xkcd.com/1138/
Elon Musk already said SpaceX can easily handle the logistics and I think it's obvious. Political and economical side however is not so clear. But also if and when Starship launches, it will have pressurized volume of the entire ISS, so why just build ISS 2.0?
Arming Ukraine to the teeth, is that in the best interest of Ukraine?
Claws in the contract?

rt.com is off the grid (from UK)
HN specializes in the casual dismissal and I'm sorry to contribute to that but this article is hopelessly naive. The images streaming out of Ukraine, the news that is flooding the internet, the fact that we don't actually meaningfully do anything leads to very predictable frustration. Flying a Russian flag in a Western city today is utterly tone deaf, and could very well be seen as tacit Russian support.

Does that make it right? No, of course it doesn't. But it is is absolutely predictable.

'Regular Russians' at least are perceived to have fractional responsibility. Even if in practice that translates into them not being able to do anything about it they are citizens of the aggressor country, whose army currently is in the process of brutally slaughtering the citizens of their neighbor - with whom they claim kinship - on a series of unbelievable pretexts.

6 degrees of Vladimir Putin ensures that sooner or later their frustration is going to make itself heard in the bunker. And if Russians have abdicated to the point that they believe that they can't do anything about it - which some people are already proving wrong - then they are - unfortunately - indistinguishable from the supporters of their regime.

This is all made much more complex because of state propaganda, general apathy in dictatorship countries when it comes to participation and the desire to believe the myths.

Head down and don't draw attention to yourself is a good way to survive in those countries. But it has to stop somewhere, and only Russians can make that work. A nationwide strike, hard to organize in the current circumstances, especially with the announced martial law, would go a long way towards crippling the war machine. But with Putin's support - incredibly - as high as it is I don't see that happening any time soon.
I have owned bikes that were so crap that I never bothered locking them.
What Google does with their job descriptions
Does the executive function operate in a deterministic way? In a random way? In a mixture of determinism and randomness?
Yes, most of the things you listed are actual choices. Should I stay inside all cozy and eating ice cream or go outside and exercise? That’s also a choice to prioritize near-term comfort over long-term gain.
Stripe Support did not engage the lead PM, OP happened to have the PM’s email:

> In the mean time, I had also been reaching out to, who best I can tell, was the product manager or product lead for Stripe Tax because I had her email address and contact information from previously discussing Stripe Tax with her.

Ironically the PM was a fair bit more responsive than Support.
Australia's point system assures that you don't just let any useless immigrant in but only the ones with qualifications.

In a highly advanced economy even a basic nurse has 4 years of training- and speak the language. We don't just need warm bodies.
If that's true, I'm surprised it's not. There's plenty of historically censored material on it
The propaganda war has eclipsed cyberwar
There are kernels of truth in here, like the unsubscribe link not required by law.

But there are many huge Japanese internet based companies, like Zozotown, that are extremely savvy at their UX experience and are extremely metrics driven. Not to mention the recent surge of internet based cellular providers that don’t have a brick and mortar storefront.

Meanwhile the fax machine anecdote is about ten years old at this point. Most Japanese purely rely on mobile devices these days.
Main one is searching. I tried it and was unable to search inside message content, only message subjects.

Last time I checked, IMAP protocol was not available, which requires installing on ProtonMail app.
Very interesting, especially for less popular or more regional names.

Would love to know more about how it's done: What is the source of those mapping between names and geo locations? Public phone books to get the address and then some reverse geo-coding?
Why is that in China's interest though? As a casual observer, all I can see right now is Russia messing up China's Belt and Road strategy, in which Ukraine is one of several transit countries towards Europe.
I love photospheres for this reason.

Damn, I haven't been outside properly and taken a nice photosphere in a long time.
How did they geolocate the surnames ? Mine is pretty unique in my country and it's located in the town where I live. Where did they got this information from ?
ERROR: There is a problem with your comment. Operator`,`: no overload matching `(english::main-clause, english::main-clause)` was found.

No need to thank me.
> just build ISS 2.0?

With blackjack and hookers
I probably went too far to say to completely not do business with those countries, you are right.

But I think we've been a bit too free with sending our money to those kind of states.
Ukraine’s Neutrality: A Myth or Reality? (2010)
Astronomers: “Vampire” star stripped the atmosphere from its binary partner
> Purim is March 17 this year

That's also St Patrick's day. It's going to be quite the drinking day for the intersecting demographic.
I'm reminded of Joel Spolsky's request for this:

https://www.joelonsoftware.com/2004/01/28/please-sir-may-i-h...
>The best defense is to not absorb the data to begin with.

The despair that can result from this is almost unimaginable though. When you separate yourself from the propaganda infrastructure then try to have conversations with people and at the slightest prompting they start vomiting talking points and a viewpoint that's purely based on propaganda... oh god, it's unbearable. And you can't call them stupid because they're not stupid they're just... outmatched by a professional force.
As far as I understand, only UK and France have defence forces that can mount a proper fight and have operational experience, even their own nuclear triad. Rest of Europe is far weaker.
Nope. It's interesting how the west has lost it's mind here, clearly the goal is regime change in Russia. We're using Ukraine to do it; by the time regime change is even on the table, Ukraine will be flattened.

And we haven't established Putin is even likely to be deposed; it seems incredibly unlikely. This is just a gamble with ukrainian lives dressed up in noble regalia, provided by the west.
TurboTax lobbies to keep the taxes overly complex so they can sell their services, so actually screw them. Almost all of their competitors don't offer service to those without a US address and US filing so your other choice is hiring a CPA.
Generative Pseudo Labeling for Unsupervised Domain Adaptation of Dense Retrieval
Sure, if you’re armed, you’re a target. I doubt many people picking up their AKs from the militia rally points are unaware of this.
Exactly! How come it knows where I live?
The pain is painful, but finite. I wonder if keeping it buried deeply has our hasn't consequences.
From the wikipedia : "The play introduced the word robot, which displaced older words such as "automaton" or "android" in languages around the world.", " In Czech, robota means forced labour of the kind that serfs had to perform on their masters' lands and is derived from rab, meaning "slave"."
keep in mind, AWS best practices (and IAM limitations, for those without resources/time to finely craft the boundaries) encourage account sprawl...

Not all customers spread out like we do... but I manage over 50 AWS accounts, and our DevOps team is 7 FTE... Our application/situation is admittedly unusual, but I could easily see a small business using 10 accounts to manage their org and a single "product"
>>> You agree that tormenting Russia is unlikely to bring about the political changes...

>> I have neither agreed with that, nor...

> Either you agree with it or you don't?

No, an invalid statement requires neither agreement nor disagreement. And statements of the form "You agree that [premise] is likely / unlikely to bring about [consequence]" are invalid if the premise is invalid. I can't answer either "yes" or "no" to "You agree that the Moon being made out of green cheese is likely to bring about an oversupply crisis in the dairy industry once it comes crashing down"; the only valid answer is "Mu".

Likewise nobody here knows whether "tormenting" Russia would be likely or unlikely to bring about political changes there, since nobody in this world is doing that. You'll have to pop back over to your alternate reality and check how it works out there.
Hi Everyone,

I am a researcher that studies the interface between human heat stress and climate change. I list some news articles I was involved in and some peer reviewed manuscripts I coauthored below.

Tw at ~35°C (95°F), what does this mean? Putting it terms that may be more relatable, like the NWS Heat Index: whether at low or high relative humidity, a 95°F Tw is ~160°F Heat Index. A Finnish sauna (dry) temperature is ~160-190°F. However, a steam sauna is usually between 90-120°F, aka Tw of 90-120°F. Generally, you do not want to be in a steam sauna for more than 20 minutes, because it will very likely kill you. But, you do sweat a lot, and that can be quite relaxing, for short periods of time.

Tw 35°C is extremely rare in the outdoor environment. Persian Gulf/Pakistan area, if they occur (the veracity of those measurements are difficult to confirm). What happens more often (although, still quite rare) is Tw of 32°C (89.6°F). Heat waves, such as the Chicago 1995 (>700 dead) or the Indian-Paksitan Heatwave of 2015 (>2500 dead) peaked at those temperatures. Humans cease being able to function/perform labor at 32°C (89.6°F) Tw, regardless of the air temperature or humidity. And this is the real concern we have a climate scientists. Wet bulb temperatures peaking for extended periods of time (>6 hours) rarely exceed 28°C (82.4°F) today.

But, the major work that’s come out recently (some of it mine, but is also verified by independent statisticians), is that global maximum Tw is tied to global mean surface temperatures, and scales readily with global mean changes. In the tropics, this change is reliably projected to be ~0.9°C (1.6°F) Tw per 1°C (1.8°F) of global warming.

So, you can do thought experiments. At what point of global warming will there be sustained (>6 hours) of Tw at 32°C (89.6°F)?

Current max Tw at >6 hours is 28°C in the tropics:
Y = mx +b
b = 28°C (today)
Y = 32°C (future)
m = 0.9°CTw / 1°C global T change
x = (Y - b) / m
X = ~4.4°C global T change.

32°C (future) = (0.9°CTw / 1°C global T change) 4.4°C global T change + 28°C (today)

4.4°C change in global temperature is equivalent to ~8°F of global change.

This is a lot of global warming. But, not unlikely, given our current trajectories. Our estimate of global change by 2100 is about +4°C (7.2°F).

Cheers,
-Jonathan R. Buzan
PhD
Climate and Environmental Physics
and
Oeschger Centre for Climate Change Research
University of Bern, Switzerland

Some News Articles:
https://www.bbc.com/sport/olympics/57904094

https://www.theverge.com/2017/9/14/16290934/india-air-condit...

https://www.nytimes.com/2015/06/07/opinion/sunday/the-deadly...

Some Peer review manuscripts:
https://iopscience.iop.org/article/10.1088/1748-9326/abeb9f

https://www.annualreviews.org/doi/abs/10.1146/annurev-earth-...

https://gmd.copernicus.org/articles/8/151/2015/
I think it's a lot more like September 1939 than 1940.
Crimea was Sudetenland. Ukraine is Poland. And, at the moment, the other major world powers haven't joined in. Yet.
I'm still trying to historically find one country where regime change was achieved by applying economic sanctions.
> Unfortunately the Russians never got that memo and remained barbarian.

I don't believe referring to any group of people as barbarians is an appropriate comment for HN, or indeed for any place purporting to be a forum for civilized discourse.
Women today are completely free to make their own choices. As society is finding out they can choose not to have kids. The first time in human history where that is happening.
The government needs to make having children worth it.
The phrase "technical solutions to social problems" comes to mind. Read Kenneth Arrow's 1963 paper Uncertainty and the Welfare Economics of Medical Care to understand why health care is a market good, and private sector solutions are not up to the task of providing adequate health care to all.

The solution is for the government to provide health care to all. You are trying to fix things it is only within the government's power to fix -- and the political will is not actually there to fix them because leaving things broken makes vastly more money for all involved.

If you want adequate health care at a reasonable price, emigrate from the USA and live elsewhere.
I was thinking that too but this seems to be in line with the https://thispersondoesnotexist.com series of websites where they are AI generated
As I have got older (I'm in my early 50's) I have gained the ability to step back from situations and think about them from all sides. Sometimes that makes me more mellow about it, not always.

I'm not much into meditation but I have had experiences that viscerally proved to me that I am not in full control of my actions.

In my late teens and early 20's I developed a social anxiety, paruresis, which made it impossible for me to urinate in the presence of strangers. I could stand at a urinal, I could will myself to go as much as I wanted, nothing would happen. It felt very much like being a passenger in my own body. Happily, I was able to use graduated exposure therapy to make this manageable.

With kids I've also seen a lot of storymaking. A child will have an impulse to do something and when you ask them why, they don't know but they make up a story for it. I strongly believe we all do this. We act on impulse and then tell ourselves stories to explain our motivations and maintain a coherent sense of self.

Back in the early 2000's researchers were doing experiments on rats to remote control them via brain stimulation https://www.scientificamerican.com/article/researchers-guide...

The ethical aspects aside, my intuition is that if you wired up a human being with something similar you could remote control them to go left, right, forward or back. Afterwards you could ask them about their behaviour and they would explain it with a story in terms of their own free choices and decisions.

We already know this to be true: Advertising.
Not at all.
For example here is a picture comparing mine and my wife's surnames.
https://i.gyazo.com/f67aae30e098a5f9d1e13fdf58f638e4.png
MediaTek Dimensity 8000 SoCs Promise Flagship Performance for Cheaper 5G Phones
It's all purely anecdotal. I started a new job just when the pandemic hit. It was perfect timing, the lockdown went into effect between my last interview and my first day of work. Like everyone else, the company was not prepared for it. The only advantage they had was that they had a couple of long term contractors from another country.

So I went in and... it worked out really well. Quality of life is fantastic, productivity too. It's like we've never done it another way. For the contractors it was even an improvement, because now they were on the same level as the rest. Based on this experience, we have started to hire people from abroad and whoever wants can stay remote.
I heard "hybrid" more, maybe "flex" is more corporate
You just wrote the same thing SamReid did. Yes, of course, in some cases, crypto can help. There is a very wide gap between that, and the parent poster's declaration "crypto fixes that" like it is a failsafe cure-all.
In my case not, I have a pretty rare last name. The map does show it's heavily regional with just a few scatterings elsewhere.
One option: Schwab offers international accounts that can help once you lose your address and can no longer open any US accounts. You can't use ACH or their roboadvisors, however they do pay ATM fees internationally.
Ask HN: Why don't many video hosting companies adopt PeerTube or P2P?
I recently found the peertube and its technology is very nice. You could deliver video using p2p torrent like streaming if there are more than 1 user watching it. For me it looks like the hosting provider gets a huge savings in terms of bandwidth. But I don't see many companies making use of this technology.

I think Bitchute is using p2p to deliver videos, or is it, really?
Thank you for your work! I've been using start.me for my new tab page (it's the page you see every single time you open a tab, I can't believe most people don't make it useful), but it's way too slow so I SingleFile it and have a local Firefox extension to set it as my new tab page.

It's too complicated but at least it works!
Yes, note how the immigration diverges from the domestic population growth in the late 60s, the same time house price growth diverges from wage growth.

>What are you talking about 'flood gates' ?

You tell me, I didn't write that.
Yes, NATO in Europe is US+UK+FR+TK, with some significant manpower commitment from Eastern European states, and that's all.

It boggles my mind why Turkey keeps being ignored in this discourse. They have army big enough, modern, and powerful to alone defeat all Russian force in Ukraine.
We definitely have this mindset incompatibility already within the EU with Poland and Hungary for example.

But like you say, these things need to evolve, and with older generations dying, a part of their mindset dies along with that. You see young people getting more into the mindset of the west.
They say it’s from old phone books (https://www.surnamemap.eu/belgium/info.php. Seems to be the same for other countries)
The International Feline Federation (FIFe) has weighed in on the Ukraine crisis, banning Russian-owned cats from competing in its shows as a sanction for Moscow’s military attack on the former Soviet republic.

“The FIFe executive board is shocked and horrified that the army of the Russian Federation invaded the Republic of Ukraine and started a war,” the Paris-based federation said on Tuesday. The group added that it “cannot just witness these atrocities and do nothing.”

As a result, cats belonging to Russian residents will be banned from entry at FIFe shows. In addition, no cats bred in Russia can be imported and registered in a FIFe pedigree book, the group said.
There is a lot "X doesn't exist" sites. Is there any tutorial how to make my own?
For (very) common names, yes. Checked mine and a few other rare ones on the German map and it 100% matches the few people I know of, or the region where they hail from.
I would really like to explore something like a whole section of the internet that runs on something like an 80 column fantasy console and restricts all web pages to like 50 or 100kb or something.
> I don't understand how the west didn't see that they should at least accept to exclude Ukraine from NATO.

What would the world have got in return from Russia? A solemn promise, a ratified agreement in writing and everything, that Russia would make no demands or incursions on Ukraine's sovereignty and territorial integrity?

Yeah, something like that would be great.

Except that's what the world already got from Russia, in exchange for Ukraine giving up its nukes back in the 1990s. And look how much that piece of paper was worth.
I don't know if this helps, but I often delete the constructors I don't need, and also make them explicit.