skysight-inc/HackerNews huggingface dataset:
I just meant for display... :( Like it changes content-type to Content-Type, which shouldn't break anything right...?? HTTP headers are supposed to be case insensitive anyway right?
> There are some interesting studies about girls and women playing chess. When blind, the two sexes perform on average about the same, but when they know the gender of their opponent, girls and women underperform.

My guess is that it's due to how expectations affect how likely we are to enter flow state. If we subconsciously expect ourselves to enter a challenge in less than good/fair/even conditions we might be less likely to engage fully because we're using our attention for questioning ourselves/the situation.

At least that's how I feel I myself work.
I think that it's more of a supply-chain thing than modern farming being inherently more resilient. We can irrigate when it's dry (as long as there's a pipe from water _somewhere_, which isn't always a given). But can't do much about floods. Certain pests can be controlled, but monocultures make for very brittle systems when a pest evolves past the known defenses (see: bananas).

Ultimately, we have transport and distribution across the entire globe, so a crop failure in one place doesn't mean a famine there as we can ship food there (unless you're a poor country, in which case the rest of the world doesn't care much).
Mathematical proofs. I studied math in college and didn't really understand anything I was doing until well after school. When I read Book of Proof a few years later it all suddenly clicked for me and made perfect sense. Half of studying math is just surviving. Same thing for my Fourier analysis and signal processing classes. I didn't grok it until a few years after my classes. Don't even get me started on statistics which I still find difficult to really understand "why do I trust this magic formula?". The hard science behind statistics is actually incredibly complicated when you start to dig into it
At my previous employer, data scientists would regularly spend entire days only running 3-4 Hive queries and waiting hours for the results to come back... job failed. PRQL looks much easier to use, and the goals of good auto-complete and type-checking will make it even better. If any corporation with lots of data scientists would like to fund work on an open-source project, this seems like a no-brainer.
I think this is very interesting:

> The working code for insertion of the check_invariants statements was a stroke of dumb luck after 15 hours, from one of the suggestions given by Github Copilot.

GitHub Copilot coming in handy when documentation is lacking? Will widespread use of tools like this reduce the incentive, over time, to write good documentation? Something to think about.
> Just ensure the invariant function is called at every method

You make this sound way easier than I would expect it to be in the general case.
This is almost exactly my setup too. This plus OpenVPN to make it easy for all my machines to talk to each other without having to setup NAT traversal everywhere.
Since nobody has offered a response, I'll offer my 2c. Your suggestion flies in the face of what Bitcoin and other cryptocurrencies that operate according to the same principles were designed to be (trustless, some degree of anonymous) and it would make the system ripe for abuse (more than it already is). What if Luke Jr is lying and he spent those bitcoins in return for goods and services?

Suddenly you have to establish a department that would hear from both parties which introduces the problem of identifying the other party and getting in contact with them, then they would have to evaluate the evidence and make some kind of judgement. Paypal attempts to do what you're describing and it's constantly abused by both buyers and sellers alike.

Bitcoin might not be perfect, it might not even be fit for most purposes (highly subjective), but scrapping the idea outright would be a much better outcome than bastardizing it with "trusted" middlemen to the point where it's not fit for any purpose at all.

I think progress could be made in UX design, by pushing users towards using hardware wallets and other areas, but changing the protocol such that trustless transactions now require trust is not an appropriate solution. It's the core of what cryptocurrency is as a concept.
A daily 750 words practice includes reflection
The differentiation was already made much earlier in this thread.
Nobody said anything about what Biden did after getting elected. The claim was that was why Biden was elected, and I tend to agree with it.
How do I take it for a spin?
The launch announcement(?) contains images, video, and write up but I can’t seem to find a link to try it out.

There’s a link to “WriteSonic”, but that website doesn’t mention ChatSonic.
That's something for the other poster then. It seems you both are talking past each other. I'm not trying to support one argument or the other, just clarifying to improve the discussion.
Why not only syncthing? That's what I've been doing to sync across devices (Android, Linux and Mac).
Mozilla changes Firefox's user agent because of Internet Explorer 11
> I've dropped it each time because while yes, things do work, they tend to STOP working. Drivers, updates, compatibility lag, whatever it is, linux often has me "under the hood" trying to fix stuff that is literally never an issue on another OS.

It's funny because this is, in fact, my reason for dumping Windows and macOS.

The only difference is that I can't open the hood if I'm on Windows or macOS. So, if something breaks there, I'm simply screwed.

Between forced upgrades on macOS (sure, you can keep your OS back, but things like XCode, for example, will do their damndest to force you to upgrade) and random "Windows Update" stupidity ("Nope, no work for you! I must spend 30 minutes upgrading. Oh, by the way, do you want to upgrade to Windows 11 and we put the GTFO button in 6 point italic on your other monitor and we'll harass you again tomorrow.) I finally decamped for Linux permanently and haven't regretted it one iota.
There are many online radio stations without ads, and you can already wall off advertising with something like PiHole or extensions like uBlockO. I never hear or see ads anymore :)
Did you see housing deregulation experiment that didn't work?
The precedence rules are: unary > binary > keyword. That's it. Various criticisms have been levelled at Smalltalk, but it's a very long stretch to claim that it is difficult for humans to learn.
If true, this means that the laws are toothless and should be enforced more stringently
Do you think it would be feasible to do realtime drone tracking/detection from satellites? What would be the bottleneck?
My f-91w gained less than a second over several years... While it was sitting on my desk in a giant climate controlled building within a degree of 22C year-round. When I wore it, it deviated quite a bit more, but still far better than the 30s per month quoted. I was very excited with my experiment at first comparing it to a friend's HAQ that he did wear. Then I realized the flaw in my method.
I assume it’s probably a trade off the consciously made for, in their opinion, a better end user experience experience.
Coriolis force. It's pretty basic but I never really got it until I watched the Tom Scott video https://www.youtube.com/watch?v=bJ_seXo-Enc
My personal trick: as long as I'm confident that I will be able to refactor in the abstraction, I don't bother. I may or may not ever revisit that code.
The website says:

~ 1,895 tons of CO2 emissions.

According to the EPA (https://www.epa.gov/greenvehicles/greenhouse-gas-emissions-t...): "A typical passenger vehicle emits about 4.6 metric tons of carbon dioxide per year."

So about 420 cars worth of emissions.
Your own chart confirms my statement, inspite of the misapplied use of the adjective "steady", which you switched to from the "upward trend" you stated in your first comment. THERE IS NO UPWARD TREND.

What was steady before 2014 is the INCREASE in life expectancy every year. The first derivative was steady. Now the first derivative has been negative and expectancy is only STEADY if you squint your eyes to lower the resolution of the data to 0.5 instead of 0.1

This is a clearer chart with delta measurements

https://www.macrotrends.net/countries/USA/united-states/life...

You can see the decline phase in red in the lower split. It's a marked shift from the continuous green line. To see it more clearly set the end date to 2018. You can clearly see from your own data that life expectancy peaked in the United States in 2014 and hasn't recovered yet. If the previous green trend had continued we would be at a life expectancy of 80.0 - not still short if the 2014 peak.

The purpose of the example of Cuba is CONTRAST. How a lower income country with a higher baseline life expectancy continues to have a green trend i.e. life expectancy at year n+1 is more than year n - ALWAYS.

https://www.macrotrends.net/countries/CUB/cuba/life-expectan...

It has not been "steady". It has reversed trends from a consistent increase in expectancy - green trend - every year since records have been kept. All changes in life expectancy are in the decimal range. Disguising the decline by specifying a range doesn't help.
When I last compared (about a year ago) Google was the best of the commercial solutions. Is that still the case?
The syntax is cool, but you can always check and assert invariants and contract semantics without the special syntax.
OK fine, I stand corrected. But my larger point was that the movement toward these types of communities / services is indicative of the article’s thesis being correct, in general.
Good luck with that on a zoom call
The past 40 years included Reagan, Bush Sr., Clinton, Bush Jr., Obama, and Trump. I don't think there's any way you can look at Biden and say that he was the most effective of that bunch.

He could have been. But for some reason, he tried to govern as if he had a huge legislative majority, when in fact he had a 50-50 Senate. As a result, he kept running into a couple of senators that, while they were Democrats, were not on board with what he wanted to do. When that didn't work, he tried to rule by executive order, often on shaky Constitutional ground.

What he really needed to do, for the good of the country, was try to find common cause with the opposition, and find stuff that he could get passed 70-30, or at least 60-40. But he didn't. You could argue that stubborn Republicans would have stonewalled him no matter what he proposed, but as far as I can see he never even tried.
I thought Oppo made DVD players like 20 years ago. They were cool because they could play various AVI formats, too.
tl;dr: Mozilla is freezing the main portion of Firefox's user agent version at rv:109 from version 110 to 119 to avoid triggering an issue with websites checking for IE11 by checking for rv:11 instead of rv:11.0 in the user agent string. Firefox's actual version will be included towards the end of the string for the affected versions. Proper versioning will be restored with the 120.0 release in Nov 2023.

Fun fact: This is similar to how Microsoft skipped Windows 9 to avoid apps thinking they were running on Windows 95/98 and running into issues.
Remaking old computer graphics with AI image generation
Elon has taken at least that many internal combustion engines off the road thanks to Tesla, right? /s

What are the actual stats on manufacturing a Tesla vs manufacturing an internal combustion engine car? Where is the "CO2 emission breakeven"?
It doesn’t mean the population fell that low. It means some sub population that size happened to be the ancestors of today’s humans. Nothing is proven about why the other sub populations aren’t represented today or when they died out. It could have been gradual, after our common ancestor group had successfully outcompeted the other groups.
> First, the political macro backdrop. The extreme political polarization in the US leading to the so-called culture wars. This is a massive driver of toxicity on social media. This conflict machine is relatively new, people fondly remember centralized social media as being far less "political" just a few years ago.

But social media is widely credited with causing this polarization. I would tend to agree. But I'm curious, do you have some other explanation?
If I land on a random web app and it says Copyright 2021 I am going to assume it's not being actively developed, and may not have been touched since 2021.

Does it matter for airbnb.com? Probably not.
"But the conspiracy theories, in this case, were the denials, which as you mention, did fit people's preconceptions."

Uh, ok, that's a twist! So... Is conspiracy theory saying that social media censor in favor of pharma lobby or the opposite?
somewhat related, apple room plan is really cool
It's a reasonable concern, but you could wrap it in macros that selectively enable it only on GCC.
Can we also get this for leaders of Congress, Taylor Swift, Al Gore, etc?
Orrery (Earth, Moon, and Sun)
*temporary global cooling.
People don't want actually want that though. They want everyone on twitter. Not a small circle of 200 people.
The Apple II, Tandy TRS-80, Commodore PET, and Atari VCS/2600 were released.

Jimmy Carter pardoned hundreds of thousands of draft dodgers.

Fleetwood Mac released Rumours.

Howard Stern began broadcasting.

Voyager 2 probe was launched.

Elvis Presley, Charlie Chaplin, and Bing Crosby died.
Couldn't the Coriolis effect basically keep it mostly to the Northern hemisphere? There would be secondary effects to the Southern hemisphere due to cooling in the North (e.g. ocean and atmospheric currents), but depending on where the volcano was, the direct cooling might have been localised.
The Nyquist frequency. Looking back, it's hard for me to understand why I had trouble with it. I remember a friend telling me it was really simple but at the time I just thought it was because he was smarter than me or something. I guess I didn't see a good demonstration of aliasing until years later?
https://owncloud.com/ this in the past covered some part of requirements
I’m sorry. Not only is that unethical, it is illegal. These companies need to stop discriminating on age.
Better to define a macro that evaluates to the contract/invariants on GCC and empty on other compilers, rather than copying the ifdef/else/endif logic around to every usage.
You are misreading the GP. It claims that the Republicans shifted to the extreme right, not that Democrats shifted extreme left. (But see the sibling comment by LarryMullins - the Democrats did shift, though maybe you could argue that they shifted with society.)
what's the benefit to port path over vendor/product id?

I can't think of one, unless you have >1 of the same device
I get you, but it's not that. I don't torrent. My bursts are short and in case they would take longer I'd have no problem with stopping as soon as the person signals a need with "wait!.." or "Ok, I get it" or a gesture. I long for dense conversations and so am totally fine with constructive interrupts.

No, those people jam my sentence mid-way and it's awful and turns the convo into a fight for the choir.
Greta has some work to do.
This is the question I would love to have answered for so many things. When is buying a used gas guzzler better than a brand new electric vehicle?
Notably, the "shorter period" is only 10 years.
>What kind of ignorance leads to supporting people like this?

Internet siloed echo chamber and radicalizing algorithms that start feed average viewers who may start out just off from center politically increasingly polarized content until they are radicalized.
Thanks for sharing. How did you generate the ASCII diagram in your README?
I don't think I have ever looked at the Verge until this comment so I decided to take check it out. The first article that I clicked on was about how it is OK to Schwarzkopf my watches. Not exactly hard hitting tech there so doubt I will ever return.
This is an unnecessarily conspiratorial take on reality in a one-party setting. In much of New York, the primary is the race. It makes sense to ignore the Republican because they will never win. Staten Island is actually a competitive district by New York City standards.
This is a great example! I was fortunate enough that my father explained it to me when I was in school. An equation is like a balanced scale: whatever you do to one side, you must do to the other, to keep things balanced.

I still remember that "click".
Like? Do you have a source?
Some AI Tools That Can Generate Code to Help Programmers
I am always attracted to the design of Casio keyboards when I see one at a store somewhere. Then I play them, and realize that many of them (the low end models) still often lack velocity sensing. Both the best and the worst thing about Casio is that they’re stuck in the 90s.
> The NYTimes is America's preeminent newspaper

I think you’re about 30 years too late for that comment.
You add something like:

DCHECK(myInvariants());

to your method bodies. Sure, it makes it possible to forget, but it's not that hard to use.
Yeah sure, there's nothing preventing you from using "constexpr" so it's compile-time evaluated and inlined:

(Please no more macros, it's 202- I mean, 2023!)

static constexpr bool DEBUG = true;

[[demo::invariant]] [[gnu::used]]
void check_invariants()
{
if constexpr (!DEBUG) return;

assert(top >= 0 && top <= MAX_SIZE);
}
If you're calling back into user code, you need to reestablish invariants first.

As for threading, C++ distinguishes mutating from non mutating (const) methods. Usually, any number of threads can call const methods simultaneously, but only one thread can have access if mutating methods are called. This may require external synchronisation.

The optimizer is often capable of inferring when invariants are maintained. One controversy is whether it should be permitted to use contracted invariants as axiomatic.
Wonder if anyone has experience with RealityCapture (https://www.capturingreality.com/realitycapture), they also have an iOS app but it seems the original service was for generating 3D models from photos like the author took.
As for why we use eigenfunctions to represent the observables, I found [1] to have a satisfying explanation that was satisfying to me.

[1] https://physics.stackexchange.com/questions/583835/why-do-we...
Ok, changed from https://www.longisland.com/news/12-30-22/george-santos-story.... Thanks!
I do something very similar, and as you say it is highly effective. I don't recall ever finding a bug later in code that was properly tested this way. It is not an inexpensive type of testing when done well but I think it is a pragmatic way of producing code that can approach the robustness of formal verification in practice with a lot less work, so the ROI is high.
Please see this layman’s opinions in line.

- Can a services based economy work if the consumers of the services weren't producing some non-services based value?. Hypothetically, yes. But it would not be very wealthy. Examples are tourist oriented economies and cities like Las Vegas, New Orleans and Cancun. The reason is that they depend on discretionary income. When times are tough, service industry is hit hard.

- How can there be any economic value in middle-men?
Middleman can provide value. For example, a real estate agent ideally speeds up your house search when buying and how long your house is on the market when selling. In many cases, saving time equals money.

-Is speculation on artificially limited assets (housing) just a pyramid scheme ? No. Housing is in the USA is a low risk investment. Artificially limiting it, decreases risk and makes it even more valuable. This is the opposite of speculation. We speculate with crypto and baseball trading cards as they are risky with arbitrary random monetary value. Ponzi schemes are outright theft as they are intentionally scams.

- How is it NOT a zero sum game ?. Classical economists argued trade increased wealth as it allowed for specialization.

- *Is a Fiat currency just 'vibes based economics'. I don’t follow what you mean. But even if there is no currency and only barter. We would still be dependent on government provided laws and security. Otherwise we would live in a society that would raid and steal what we want. In other words, trade and property rights are only possible because of government. Not in spite of government.
Chip dies are covered by a special mask copyright law - you can actually see the M with a circle round it in this die photo (rather than the more traditional C with a circle)
Taylor Swift lets the company that manages the jet (that she owns? that she leases? I have no clue) so it looks like it's all her but it's just under her name I think. I could be wrong.
A bill to fight expensive prison phone call costs heads to Biden's desk
Regarding the edit: is there anything to indicate that they're anything like you and me? Is hoarding resources in such excessive quantities at the cost of so many others not tantamount to a personality disorder?
I don't know but I suspect that it's both. It can be challenging to distinguish an athlete's personal beliefs and actions from their professional reputation in their sport. Many athletes become famous due to their athletic abilities, and as a result, whatever they say or do may be closely associated with their sport.

I believe that sports have the unique ability to unite people from different backgrounds and beliefs, without requiring them to compromise their values. While it may be tempting for athletes to use their platform to advocate for their causes, doing so will mostly divide rather than unite people. In my opinion, the decision to ban political activism in sports makes sense because it promotes unity and avoids creating further divides.

Ultimately, if we can't unite on anything, we start to break apart. History tells us that the most common way is through violence. We need to find ways for unity. Sports can be a perfect way to do it but it won't be possible if everyone begins to bring in their political views.
A quick Google pulls up this article that says[1] "2500 miles" (to offset the energy overhead in manufacturing a 80 kWh battery assuming all the input was coal electricity): https://climate.mit.edu/ask-mit/how-much-co2-emitted-manufac....

Basically, yes, things are as they seem and EV's carbon footprint has only a minimal manufacturing overhead to go with the extremely large consumption advantage. They aren't as good as giving up private transport entirely, but yeah: buy the Tesla.

This argument doesn't fly, basically. It's just the same recycled FUD distributed by the fossil fuel industry, just coming out of the mouths of different folks now that it turns out Musk is a political enemy.

[1] Among a ton of context. As always, "it's complicated". But the answer is definitely in favor of the EV.
Should this paper in psychological science be retracted? (2016)
Obviously no-one's Christmas was upset. It's just strange seeing the concern and urgency over it go 0-100 that quickly. Perhaps there's something behind the scenes that causing this, that isn't obvious. Or maybe it's obvious and I'm just missing.

Weirdly, there's always a ton of netagativity and pessimism around Matrix on here, so I did just want to say I am a huge fan of the work, and general approach of the organisation, and as an avid user, am happy to contribute back financially. There's certainly no resentment on my part. If anything, I'm just concerned.
I don't know about electric cars, but from what I remember, for a car with ICE, it's about 8 years.
Can we call this photogranpammetry then?