skysight-inc/HackerNews huggingface dataset:
I wonder what’s going on with the passive aggressive edit war in this answer: https://mathoverflow.net/a/23521

It’s about whether Euclid’s proof that there’s no finite set of primes is a proof by contradiction or not. The fact that this is disputed at all shows a certain unwillingness to use original sources — maybe each of them only looked at a different textbook’s restatement of the proof. Because no matter whether a proof of the theorem can be stated without contradiction, it took me all of 30 seconds to find a translation of the original proof to show that Euclid did in fact use one:

> I say that G is not the same with any of the numbers A, B, and C.

> If possible, let it be so. Now A, B, and C measure DE, therefore G also measures DE. But it also measures EF. Therefore G, being a number, measures the remainder, the unit DF, which is absurd.

(http://aleph0.clarku.edu/~djoyce/java/elements/bookIX/propIX...)
it’s a blog about async, and especially cancelation. parse presumably doesn’t do any I/O. read/send are the interesting bits because they hit the network, where latency is practically unbounded. a first approach at cancelation might be to make precisely those I/O routines cancelable via (say) error injection, in such a way that none of the non-I/O code ever needs to care specifically about cancelation. so read/send is where the “interesting” cancelation logic lives or hooks into.
Yes that’s true. There are better ways to solve all the problems that spreadsheets solve but no one way of solving them all in one place as badly that’s quite as good :)

That hurt to write.
> Sort out the single-sign on thing as others have said. Why do I have to tell you whether my account is work or personal? Why do you let me have 2 accounts for the same email address anyway?

Because the classic use-case is that people in corp environments have set up MS accounts on their work email addresses dating back many years, while the company had on-premise AD/Exchange and actually bought Office licenses. Now, the company switches to O365 + Azure AD because the CEO is following the hype train... and there comes the problem ahead: Microsoft is in a difficult legal position as they can't just blindly "merge" old accounts with corporate accounts (as the creators of the accounts may have created them on private devices, the accounts hold private data, ...), so the cleanest solution is what Microsoft has done: keep the "old" accounts around and don't contaminate them with corporate.
I think this makes us best friends.
> If you use the same device to access your bank accounts, and to browse internet or receive messages, you are like an idiot who does not do backups!

Using ones phone for banking, internet, and sms is completely normal. Saying that 99.9999999999999999% of the world population that owns smartphones is an idiot isn't helpful.

The idiots are the governments of the world that haven't sanctioned Israel for allowing the continued trade of these cyberweapons by their citizens.
I drove a Tesla before this update. Even then, whoever designed the UI had never adjusted basic controls while driving.

Also, the rear left door was misaligned from the factory.

Musk may deserve praise for dragging the auto industry into the electric era, but I'm not buying that thing.

Edit: thinking further, I think we can call it the "designed by nerds in California" disease.

Tesla is designed for the tech commuter on a freeway. Also in an area with a relatively mild climate and flat. They have no idea that the weather can change in 10 minutes as you go around the next hill. Even the turn signals are so smart they can't cover some situations more complex than a 90 degree crossroads.

Smartphones and laptops (especially Apple's) are mostly designed for a tech dude spending most of their time in a climate controlled office.

Iphones shut down when they're too hot/too cold. What if you have no choice because that's how the area you're in is?

The Apple laptops with the emoji keyboard were never tested outdoors, or they wouldn't get killed by the tiniest speck of dust.
Do you have the same reaction to math in code form? I think I often don’t have the patience to expand things like symbols and ranges in my head in the case of mathematical notation, but math-as-code doesn’t require the same effort.
Sadly it takes a problem to bring out the hindsight. Sure lack of investment may well have been a factor, but a larger factor would be the shift towards just-in-time manufacturing. This has in many walks of the supply chain over the pandemic, highlighted this and many other downsides of such an approach.

We must also not forget the ever driven push to faster, smaller bleeding-edge process nodes and the demand. In effect, the whole pandemic proved a perfect storm for whole markets.

As always, lessons will be learned, though, in the end, higher consumer prices will and is inevitable as companies apply mitigations to address the issues that played out. Sure not all issues are as easy a fix as adding more capacity, stock warehousing and those additional costs, costs that we as consumers have seen play out as reduced prices as some of the savings with just-in-time have been passed on, though mostly to share-holders I do somewhat feel. This raises another question - will company share-holders who have enjoyed and profited from the shift in increased dividends over the decades thru this business model approach, accept a small cut, or will we (as I suspect) see that carry on and the increased costs/impact passed onto the consumers.
The problem with rental housing today is that most of it is turning being bought up by Real Estate Investment Trusts (REIT) run by the likes of Blackrock and Vanguard and not “mom and pop pension fund”. These same investors actually pay >15% above market value effectively inflating prices, and monopolizing entire neighborhoods.
I believe that people at large are better at sniffing out bullshit than the elitists running these institutions realize. Unfortunately most aren't as good at separating out the actual parts being manipulated thereby leading to increased distrust of "science" and to crazy flat earth groups becoming a thing. sigh
Yes. They have the power to push whatever they want on captive audience (engineers forced to work with MS stack). That means they don't need to care whether what they're pushing is actually good.

So it mostly isn't.
The other way to avoid it is to have the government step in and impose rationing, as done in times of war... at least, back when war meant the common American citizen was actually expected to sacrifice for the greater effort.

If the semiconductor shortage continues to worsen, I think we'll start to see calls for this type of intervention. One step that could be taken immediately is to prohibit sales from the distribution channel to overseas brokers, which are currently resulting in stupidity like $800 FPGAs that used to cost $20. But it's also true that this sort of market manipulation has downsides of its own.

I honestly don't know what the right thing to do here is. But I do know the industry had best unfuck itself, and that right soon, or this situation is going to have major consequences in everyday life.
Elections are determined by people who don’t think about that. If you are probably more informed than the average voter, you can improve the signal:noise ratio.
Docker Multi-Binary Images
That's not fair to say. The guy who is "Ultimate Fighting Championship color commentator, comedian, actor, and former television presenter" has a massive conflict of interest, namely between generating viewership and presenting factual information. Everything he presents is a choice on a gradient between those two.

These snake oil salesmen have quickly cottoned on to the fact that they can take disenfranchised and usually uneducated groups and regurgitate them their own opinions with the air of authority, thus gaining an almost fanatically loyal following.

It's the new age televangelists, but instead of preaching salvation for tithe, they preach actually dangerous drivel that gets people killed. It feels like a low point in human evolution, where our tools enable sociopaths to mislead clueless masses on an industrial scale.

And do you know what is the worst aspect of this? That we can't ban them in good faith, because banning information is a slippery slope one way street that we mustn't take a single step on. The only way out of this quagmire is education, but it's a long slog that will pay off in decades time and only if we make a great effort now. It's literally the tree we have to plant and yet our current generation won't get to enjoy it's shade.
> There are so many _symbols_ used in mathematics. It's all as if they're spells written by wizened greybeard wizards and passed down to apprentices throughout the centuries.

It's a misconception commonly held by non-mathematicians that the symbols are somehow the key to mathematics. I often see complaints, particularly on HN, of it being "impossible to read" research mathematics due to "all the dense symbols".

This isn't how it works. You learn the mathematics. That's hard. As you go along, you realize that some things that require a lot of words can be condensed. So you make up symbols, or, more likely, the source that you're using teaches you some commonly-agreed-upon symbols. Now, once you've learned the math at hand, the symbol isn't the issue anymore.

(Sure, it's a bit of a pain when people disagree about symbols for concepts that everyone agrees should be abbreviated, but in the big picture it's minor)
Wanted to try it out on android, got the following issues;

- The resgister spinner did not terminate, it stayed spinning for 2 minutes, had to exit and relaunch

- I now get a toast with the message "Error fetching onboarding stage"
I've also found http://biketiresize.com/ to be useful.
Thanks for the write-up. Always cool to see how different people solve these kind of problems.

I don't know much about cocos2d but since the dots are purely visual, do they need to be game objects? Couldn't you keep their transform in a separate data structure which you can update independently and pass to a shader (or similar) for rendering? I'm thinking something similar to how particles in VFX are usually done.
He said he was a gamer, so there is a very good chance he already has Discord open.
The linked article also never went to court because they decided to pay instead:

> September 21: After months of silence, we have received another letter from Kanzlei Schröder. This time, they threaten to take us to court unless we pay 400€ by October 1. We decided to pay. That was our last interaction with Kanzlei Schröder.
In that case you'd only have a different IP if you hit the localhost port of that tunneled connection, not everything on your computer. Unless you set up your browser and mail to proxy through that port there wouldn't be any issue with "switching IPs".
My point of view is that outside AAA studios one is better off with middleware, or stick with Metal, GL and DX 11, they aren't going away any time soon.

Heck, WebGL 2.0 is based on a GL ES 3.0 subset and WebGPU is going to be a MVP 1.0 currently scheduled for July in Chrome, with plenty of stuff to eventually come years down the pipe, so expect a similar timeframe (measured in years) for large scale adoption.
I totally agree with you... but I disagree that the car should be the enforcer of this behavior (unless there is actual danger of hitting a barrier, other car, etc). Drivers should not have an adversarial relationship with their cars.

On a winding two lane (same direction) mountain road with light snow and no traffic, it's silly to tell the car 'I am going to cross this stripe now' to avoid the car trying to steer me into the barrier. I am constantly driving on top of the lane lines to avoid snow, ice, minimize breaking, and generally drive smoothly so as not to put unneeded forces on a car in icy conditions. Edge case? Yes, but there are tons of them.

Examples (imagine snowy conditions at night):

https://goo.gl/maps/bs6wRGZNywz39RgD8

https://goo.gl/maps/XHHkGx9xtg8y9UWt6
In that case, the majority of the people in the world with more than $1MM are idiots.
Not to mention that if you're wearing gloves you're screwed.
Japanese is easy, you just learn Japanese and the symbols that are commonly agreed upon to represent it.
My 2008 Prius doesn't have Bluetooth and I have to use a dongle. Its one of the biggest issues I have with the car. The dongle needs power, which is fine - I've got it plugged into a USB socket but everytime I start up the car I have to switch it on; otherwise I've got no audio. When I stop the car, the dongle has a small battery so my podcast continues playing if I don't pause it - I then miss part of it.

I rented a car a few years ago that had Bluetooth for the audio and it was wonderful. Stop the car and my music paused, start it and it got going again.

I test drove a few new cars recently and of course they all had Bluetooth, but the Dacia Sandero Stepway had wireless Android Auto. You set it up over Bluetooth but after that you no longer needed to plug the wire in to have Android Auto on the screen. Really impressed me, and being a Dacia was the cheapest car I looked at. The Toyota dealership claimed it didn't exist when I asked about getting that on the Yaris.
>> When you say you are no longer highly 'pro science' would you say that you would rather people take advice from scientists or from people who have a background of "Ultimate Fighting Championship color commentator, comedian, actor, and former television presenter". Because that's the level we're at at the moment.

That's a strawman. He's interviewing doctors, scientists etc. He's not putting forward his own views, apart from when he recounts his own covid experience.

It's like saying the left gets all their news from John Oliver.
Discourse[1] is the only one I'm aware of. It's open source and pretty easy to self-host.

I'd be interested in any alternatives that people rate highly. In particular I have a client who wants forums and live chat in the same solution.

[1] https://www.discourse.org/
Pretty much everyone uses Discord now. It's not about forcing her, it's about using a chat program you use already. If you two happen to not use Discord to talk to each other surely there is some other app which you use to communicate with each other.
Couldn't agree more, man.
> Bad news: worst-case scenario with bad car UX also prevents Alzheimers.

To make it clear: with bad car UX you may not live enough to get Alzheimers.
That comment was made by someone else, and is not a parent comment to the one you're answering to.
Yeah ok, western academia is done. There's no competition possible in such a workplace environment.
Business interest didn't start WW1, but they were certainly pushing hard for the the entry of the US into the war.

Wall Street banks (especially JP Morgan) had loaned huge amounts of money to England and France. They stood to suffer masses losses if the war didn't turn out favorably for them. On April 24th, 1917, only 8 days after the US entered the war, congress passed the Emergency Loan Act which sent hundreds of millions of dollars to England and France. The lion's share of this money was used to immediately make interest payments to JP Morgan.

>Morgan brokered a deal that positioned his company as the sole munitions and supplies purchaser during World War I for the British and French governments, bringing his company a 1% commission on $3 billion ($30 million). He was also a banking broker for financing to foreign governments both during and after the war.

>Morgan played a prominent part in financing World War I. Following its outbreak, he made the first loan of $12,000,000 to Russia.[6] In 1915, a loan of $500,000,000 was made to France and Britain following negotiations by the Anglo-French Financial Commission.[7] The firm's involvement with British and French interests fueled charges the bank was conspiring to maneuver the United States into supporting the Allies in order to rescue its loans. By 1915, when it became apparent the war was not going to end quickly, the company decided to forge formal relationships with France.

https://en.wikipedia.org/wiki/J._P._Morgan_Jr.#World_War_I

Then there were the manufacturers and the farmers. Demand for goods, foodstuffs and merchandise of all kinds was a large part of what helped pull the moribund US economy out of a long period of economic distress that stretched all the way back to The Panic of 1907. England and French (borrowed) money was flooding into the coffers and US companies and US workers. A poor outcome for England and France would leave an uncertain future (at best) for the prospect of future exports for many companies.

There were other, non-economic factors to be sure, but much has been written about the influence that the banks and the business community had on pushing US entry into the war.
In this news sites they usually do kind of A/B testing for titles. The editor comes with a bunch of titles, and they rotate them to find the one bringing more hits from the front page or social sites.
Exactly my thoughts as well, the only words that came to my mind when reading this was "Reverse Funnel Scheme". What really gets me is the lack of self awareness the article displays, it reads to me as if it's written in earnest, as if it's not realizing the thing they are describing is a scam.
But Neil Young didn't died by HIV... Wise man.

"You were -too cautious- about that new disease that was killing everybody in 1985" feels more like a dark joke than a serious claim. Everybody was shocked when Rock Hudson died in 1985.

History repeats itself.
do the dashboards in smart cars display ads?
"99.9999999999999999%" of the world are not high-value targets with > $1M USD in assets.

> The idiots are the governments of the world that haven't sanctioned Israel

Sanctions against Israel are not going to make vulnerabilities and risks go away. It will just make life harder for a single provider.
Well, you shouldn't start driving before having verified that you can reach all commands, and that brakes work, the standard checklist, JFYI:

https://news.ycombinator.com/item?id=29603532

Direct link:

https://www.thesamba.com/vw/archives/manuals/71bus/page1.jpg
Never heard of it. Looks interesting thanks.
Can you give some examples that expand into your answer, maybe some blogpost or youtube videos that explains this in detail.
> With math papers my experience is that you have to go 3/4 references deep before startit to understand where the notation comes from which wastes hours and hours.

Most of the time you'd need even more hours to understand not the notation but the concept themselves. In this list there isn't that much weird notation compared to weird words. For example, 'The Krull dimension of a noetherian integral domain is finite'. Even without notation, I'd expect a non-math major to have to go read 8-10 wikipedia pages just to understand "Krull dimension".
As someone that only does 3D as hobby, it is hardly to even be motivated to learn it.

GL and DX 11 will outlast my time on this sphere.
This is the way. All I wanted was to be able to write markdown and have it produce an aesthetic that I like. And syntax highlighting of code blocks. Pretty trivial to wire up.
> You don't have to outlaw everything you don't like, you can just choose not to patronize the people who do this. Vote with your wallet!

How does that help when a Tesla wrecks my car because they were looking for the defogging button instead of looking at the road?
What about "Progressive chess"? White makes 1 move; black makes 2; white makes 3; etc.
> I don't think distrust and cynicism is rational in that case. It would be if they "lied" [1] selfish reasons, but if you assess that their motives are pure, then descending into "distrust and cynicism" is throwing the baby out with the bathwater.

Perhaps not purely rational, but predictable and consistent with emotional norms.
His marketing skills got better. That's the only thing we know for sure.
Streamlit: The fastest way to build and share data apps
I'm probably less informed. I don't follow the news (or really any mainstream media) because signal to noise ratio is too bad and there's too much negativity. I have no clue what our politicians are up to.
Mmmh, so the argument is to take politics out of uni.
So will flagging this as too political for HN be seen as conforming to the article or as wokeism?
The USSR had a period, when ideology was guiding a scientific research process. This resulted in total destruction of Soviet genetics and cybernetics. The course was reversed in the mid-50s, but it was too late, USSR could never catch up the West in these fields up to its dissolution.
The capabilities depend on the specific exploit but if you're dealing with something like Pegasus, the answer is yes to almost all those questions.

> I wonder if there is some resource where people can read about how to detect and avoid such exploits and protect against them?

Protecting against the cutting edge of current nation-state attacks [1] is... well, it's not impossible but it's up there. Just don't be important/interesting enough to catch their wrath is the TL;DR.

That said, see: https://docs.mvt.re/en/latest/introduction/

[1]: https://googleprojectzero.blogspot.com/2021/12/a-deep-dive-i...
Art of tax: the British art collection that is hidden from the public
> I don't understand the + in the first reply!

If X and Y are vector spaces (e.g., a line or a plane through the origin), then X+Y is the sum of all elements of each.

If you think about this example (dim(X)=1 and dim(Y)=2) you can easily recover the first formula intutively. There are two cases for the formula

dim(X+Y) = dim(X) + dim(Y) - dim(X ∩ Y)

Case 1: X is a line inside the plane Y. In that case X+Y=Y and X∩Y=X, and the formula of the dimensions becomes 2=1+2-1

Case 2: X intersects Y at the origin. In that case X+Y is a three-dimensional space and X∩Y is 0, thus the formula says 3=1+2-0.
Dependency Injection in Ruby from 0 to hero (Part 1)
Dependency Injection is an extremely useful programming technique and can be easily implemented in Ruby! Mastering it is an important skill to leverage the power of Hanami applications! dry-container is one way to help you with it!
Ugh. Many global south countries have more vaccinated as a percentage of the population than the US. The reason some countries are having a very low percentage of vaccinated is not IP but lack of organizational will. As an example, dirt-poor Cuba has developed two vaccines in-house and 86% of the population is fully vaccinated.
You are right in that these attacks takes more skills or a little bit of money, so in that regard it's not the same.

But in multiple ways I think it's the same; like that it's obvious that security is still not a priority when building the software and that you as a user have to assume that the platforms are compromised.
You seem to have put off cleaning this up for way too long.

You should be able to register the same ssh pubkey with all the accounts.

Then just back up that pub and privkey on a usb stick somewhere and accesss everything from the same keypair.
But then you are almost centralizing again on a few, literally closed platform/communities where you also are at risk of data leakage if breached.
I think the hype is mostly excellent C integration. Night and day compared to Python.
The best of both worlds already exist: take a CMS (like Wordpress) and generate static content from that. There are multiple Wordpress plugins that do that.

You have one Wordpress instance completely internal, safely hidden behind a VPN, get all the convenience of Wordpress, and each time you publish a change in an article it will publish the static site.
I also had defense background and the the idea of buying enough components for lifetime of the device comes up regularly as part of the project obsolescence process. There are teams that would look at the supply of materials, and if one was going obsolete/limited availability, we would buy up as many as we need for the project plus safety margin and just store them.