skysight-inc/HackerNews huggingface dataset:
Now I'm worried that in a couple hundred years a third of humans will have green eyes because all the blue ones have been harvested by aliens.
A mathematician can write an equality without anybody raising an eyebrow, but as soon as someone suggests that we can choose the optimal answer on the first "guess" everyone wants to rekindle the Spanish Inquisition. If we can go from "guess" to "obvious solution" then it stands to reason that P=NP. Of course, this is a debate that likely has no clear path without some stroke of insight, because the axiomatic "truth" that confirms it one way or the other is not reachable by induction alone.

There is likely an island of consistent axiomatic logical statements that we must not only wait for someone to reach by happenstance, but to decipher and know what to do with them. According to Fermat, his proof was omitted due to lack of space in the margin. I suppose it's good to let others share in the glory now and again, if on centuries-delay.
In my opinion, good applications perform predictably across different browsers, which means they rely on highly available features across all browsers... meaning they don't use things specific to a single browser/device....
A proof about a state machine is more useful than a proof about a program, or an automatically generated program. Proving that a program correctly implements a state machine is a much simpler exercise than teaching a proof system about your programming language.
My interpretation is that since json is JavaScript Object Notation, JS objects can clearly have comments so why limit their usage in json?
In my last role we used Mattermost for a while, and the incubator portion of the office used Slack. Everyone wanted to use Slack, but it was mostly a brand/clout thing. We ended up on slack and it was a virtually identical experience.
As with almost everything nowadays, it is about volume. If you're Apple and you're buying a million displays an order, then that's the tier 1 price which is where the price is dominated by the actual material costs and buyers are arguing about the cost of Indium or silicon that went into the package. At the complete other end is single unit distributors where the price represents the markup every other layer of distributor put in. The only time a single unit distributor is able to offer a good price is when some tier-1 buyer decided to dump an entire batch because it has some aberration that they can't tolerate but someone who's doing stuff by hand can.
The hell? I’m not anti-vax, some of my PhD work was in virology. I just don’t care to keep up with the literature. Take your beef somewhere else.
WA state has a population of about 8M. Its citizens decided in 1981 to switch from an inheritance tax to an estate tax.

This citizen-driven state law affects slightly more than 2% of the US population, in theory.

In fact, median household income for WA in 2019 was about $78k, median household net worth in 2019 was about $400k, and median family net worth in WA in 2021 was $865k.

So in reality, even within WA state, almost nobody is paying the state estate tax. Here's the Seattle Times from 2019 on the incongruities in state wealth distribution. But notice that even in their numbers, home owner median net worth is still only $900k, less than half the state's estate tax threshold.

https://www.seattletimes.com/seattle-news/data/seattle-house...
That reminds me of the fancy words about submarine captains at the beginning of Crimson Tide.

https://youtu.be/0TVhxwmNIKQ

Somebody ought to make a film, serious or funny I don't care...
I think they're referring to the date, April 1 is "April Fool's Day" in many countries. Some companies put out joke press releases on April 1 that are not intended to be taken seriously.
Intro to stats says that studies are very difficult and that bias is everywhere. Reinforces how stats can be whatever you want them to be.

Larger Number of people in the sample is a good start. However, bias is also a human element. Therefore you need that study reproduced independently, multiple times.

Researchers don't like this because studies are expensive and hard, and their boss is telling them to publish and get funding. The system is broken.
The "Developing Leadership" podcast [1] by Jason Werner (ex Github CTO) and Eiso Kant (founder Athenian) just did a three-part podcast series where this was also discussed. Can recommend.

[1]: https://developingleadership.co
Although, unfortunately, I do believe their primary mission is to enforce laws regarding fisheries: https://www.fisheries.noaa.gov/about/office-law-enforcement

So, unless your weather modification activities are also violating laws or treaties regarding the use of and access to fisheries, you probably won’t be encountering any NOAA fuzz.
What about the post office?
Same could be asked of any billionaire.

Think about it. 1 Billion.
A person who lived 100 years would have $27,397 a day to spend. Including as a newborn infant.

At Bezos levels? roughly $5.3 million a day.

What could you do with 5 million a day? Well for the first 3 months of your life as a newborn, not much probably.

But as an adult certainly, you could find ways to spend it right? Great. Society would love to see some cash splashed around. The economics people always love to see money sloshing around society.

So why can't these people simply stop accumulating and start letting it flow? They'd get to enjoy it. Their society would benefit from it. It'd be good for everyone.

The more these people are forced to spend down their wealth - however they want to! - the better.
Spare phone method should work, I've barely used whatsapp so I'm not sure if it needs a SIM after setup.
The best part is that most of them even work well under Windows, too, and that really is a nice breath of fresh air for a change. I always miss my tools when I am on Windows, and while I know a good deal of PowerShell it still doesn't work for me as well as "Unixy" tools.
God, grant me the serenity to accept the things I cannot change, courage to change the things I can, and wisdom to know the difference.

You can stop grinding that axe bud, it’s never gonna swing again.
Same. New boss gets "I see, thank you for the feedback". Boss I admire and trust gets "oh sweet buttfucking jesus".
There Is No Bottom when it comes to sensational, alarmist blog posts. I've stopped reading them.

Especially beware of those that agree with your suspicions or biases - you are the prey.
"I don't see how" can't be trusted coming from someone who hasn't even tried. if you're sorting a pile of stones by weight you quickly learn to leverage the transitive property
"Look, I'm only saying this once, and because you're new here. So listen up: _Everything_ affects the fisheries."

--Probably a career NOAA vet
Yes, the same cost as calling a method through an interface. IIUC, the concrete implementation can change.
Whenever I end up in this list I always wonder whether all these proofs have been refuted. I assume they must have been, considering the problem is still open. But it would be nice if the author had linked to the refutation of at least a few of them.

Edit: I now noticed that a few of them have:

3.[Equal]:...
Zhu Daming, Luan Junfeng and M. A. Shaohan (all affiliated with Shandong University, China) refute these claims in their paper "Hardness and methods to solve CLIQUE" (Journal of Computer Science and Technology 16, 2001, pp 388-391).
did sir read the article
> the ampersand being a ligature of "et"

I have been noticing recently that certain ampersands contain (to me) very clearly readable "et" abbreviations, while others are more stylized.
You need to start putting realistic numbers. First off, if you double the tax rate on capital gains you'll see a dramatic change in behavior. You're not going to capture 75% of the expected, maybe half that. Instead of companies issuing equity, they'll just issue debt instead if it has clear tax advantages for investors.

Stock buy backs will end, they'll just pay it out as dividends instead. So $0.

SALT deduction has already been capped, no change there.

It's like the wealth tax in France that they expected would bring in billions brought in a few percentage of that.
When someone dies, it's necessary to file a tax return for them, if you're going to probate. The taxes need to be paid for that person, from the assets. So, yes, the norm is to tax the dead.
i think this analogy seems very good

its also interesting that a water flea had more genes than us, and something like a worm had about the same ...
I am still trying to go through everything proposed and well I don't see a final draft somewhere -given that a lot of sub clauses, that are tax critical, seems to be flying around:

I agree with Tim's tweet and the article: not sure it will actually bring more money. It might bring much less.

Essentially the fundamental assertion this breaks is that the stock market is going to stay the same. This might be a great tool now for predicting stock upper value: you are the majority owner and have to decide if you are going to do a buyback or liquidate corporate stock. If your paper value is close to a billion of money you will never see but will pay taxes to, I think you have a strong incentive to keep control of your company and screw the rest of your investors, who would love a buyback as that is the tax effective way of making money of stock right now. Maybe dividends will do a comeback? Regardless, I would be surprised if some stock -- say tesla -- remain high.

So a lot of small investors / average Joe get to declare tax losses so that a big fish that has greater control on the stock price might declare wins???

I am missing some clause I guess. I am not touching IPO implications as that is anothwr minefield and a lot of other threads are discussing it
The medium post predicted that the ports would start implementing fines for slow moving freight as a money making scheme, because they know the freight can't move any faster.

You know, your second point leads to a question: what would it take for a container ship to be willing to route to any of a collection of ports?

If I am order a shipping container full of stuff from Asia, do I really care what port it arrives at? Someone is driving it from the port to my warehouse (with maybe a train ride along the way)? I have to think that my top priorities are 'what time will it arrive' and 'how much will it cost', right?

But ships are waiting in a months-long line in LA and not rerouting to Baltimore. Or Oakland, Seattle, etc. So what gives?
Raft is more or less a Paxos variant with good marketing. Sure, the proof for vanilla Paxos won't directly apply, but it's not inaccurate to say that it derives heavily from Paxos, which is all the quote above was saying. See https://emptysqua.re/blog/paxos-vs-raft/.
It would depend greatly on their age, I would posit for that those over 65, any drug that killed less than 10% of the people who took it would be acceptable.

Vaccines are part of a broader political debate, the problem in politics is people are picking sides. It's very rare to run into a person who doesn't support the vaccine mandates but did get vaccinated. People are generally either anti-vax & anti-mandate, or vaccinated and pro-mandates.

The antivax crowd uses the same persuasion techniques to discourage vaccination that media uses to convince young people that COVID poses any risk of mortality to those under 17. That is to say one or two extremely rare outcomes are trumpeted loudly in order to convince society at large of the danger that is virtually non-existent.
How does a court, with a judge appointed and confirmed by elected representatives, a jury of independent citizens, utilizing expert testimony and long-established rules of procedure, equate with a kangaroo court?
Well, that's a huge plus for me. It seems that this kind of laptop will have much better lifespan. It seems that some engineer in Apple now is able to make decisions. I thought that all the decisions were driven by designers.
A Dimensional Modeling Manifesto
No. It's called p-hacking, and it's a sleazy way to get published.

https://youtu.be/42QuXLucH3Q
> "I am your humble and obedient servant"

perhaps overly appropriate/accurate for messages to one's boss/employer
How is n^10^100 polynomial?
Who would have thought that bringing something so primal as social interactions to a scale for which our monkey brains are not evolved for could backfire so badly? /s
Free banking has a downside (bank runs) so the government inevitably narcotized it, like they do everything. Established political power will do anything for stability.

The "Great Moderation" is the triumph of forced central banking. They've tamed the business cycle. But you can't get something for nothing. Fixed inflation rates have stabilized the economy by protecting decaying firms and suppressing startups. It's even done the same for demographics. From stability came structural stasis, came a decline. With fixed inflation, the equilibrium interest rate is now negative. CBDCs and "degrowth" are coming soon to enable that and protect the establishment at all costs.

The Austrians are always right. We need free banking, we need a business cycle, but it's bitter medicine.
Also, notice that most property tax assessments are based on purely physical exterior-visible aspects of a home. If you convert that rats nest of a bathroom into a wondrous home spa, in most places no tax assessment change will follow.
The sheep/shepherd dichotomy is pervasive. Arguing that the enlisted/commissioned breakdown of the military, or blue collar/white collar in industry, is the "same" might be stretching things, but some overlap seems obvious.
Most people tried for espionage in the US in the last two decades were not spies at all. The people who should have been tried and executed, for participating in torture, and for destroying evidence that could have led to convictions for torture, are still in charge.

Probably the overwhelming majority of actual spies in the US are not caught, because hardly anybody is even looking. And, the stuff they spy out is in the end mostly inconsequential, except insofar as it causes trouble for other spies.
> emotional injury

Emotional injury isn't a new concept in law. Such injury has been around probably since the dawn of legal systems. For example, you (broadly) cannot harass or slander people, even if it doesn't cause physical or financial harm.
they appear to provide security services for other, smaller agencies within the DOC.

You might even call them an umbrella agency.
Now I really want to imagine that at NOAA OLE HQ, there is a big bulletin board with a bunch of strings and newspaper clippings that demonstrates precisely how everything somehow interacts with the fisheries. They’re just waiting for their moment to act on that. (Although they might have to borrow Amtrak’s SWAT team…)
Proof of Selection: A Better Alternative to Proof of Work
O(n^k) is polynomial for all k > 1, and that remains true when k=10^100
A DAO of DAOs
Ask HN: What is the residual value of a foundry
Seeing all of these foundries talk about investing billions into new fabs. What is the residual value of a fab? Does it just go to zero when the next process comes out? - accounting for equipment, property, and land etc. - like 30% of the initial cost?
So like https://github.com/google/starlark-go ?
I had a neighbor who was a postal inspector. You actually got me wondering too, because he definitely carried a firearm but I never saw that guy in a uniform.
Go is Special and not comparable to these lesser languages.
For what it's worth I really like how go handles errors.
There are more than two choices. Young healthy people are at very low risk of harm from COVID, but the vaccines themselves have serious adverse side effects.
Can Skeletons Have a Racial Identity?
I wouldn't call nodejs a joy though.
This is how you end up with "the performance sucks if you don't use chrome" complaints though.

Not it isn't. You get that by only testing in Chrome, and not putting the work in for other browser users. If you test in other browsers and the performance sucks then you should work to make it as good as possible in those other browsers as well.

Aiming for the same experience everywhere is how you don't use things like the 'contain' hint because it's not available in Safari, and then everyone gets a slower website because of it.

Don't undermine every user's experience just because one browser is lagging behind.
Not GP, but I'd imagine one use case would be for writing scripts to be used on other machines where the tools might not be installed, e.g. writing scripts on a mac to be run on Linux servers. If for example you want to script something for CI to be run on a Linux server, I can imagine having the GNU utilities in the default path on a Mac would be useful, since getting the Rust tools installed on the CI server is probably not worth the effort.
Yeah, I agree on the households. The point about corporate taxes is we have so many loopholes. Historically, nations adopted a VAT because it's great at squashing tax-avoidance, as it encourages snitching. Basically you report you paid someone X, and then they have to pay the VAT instead of you. So it's a very clean and elegant solution to dealing with the problem of corporate accounting and tax avoidance.

In terms of treating a corporation the same as a household -- so that it pays taxes on all revenue, the problem is the economic distortions. There are just some businesses - like grocery stores -- that have high turnover and low margins. Other businesses have low turnover and high margins. And the tax code should not really penalize one at the expense of another. E.g. groceries just don't last, they have to be sold quickly. Furniture lasts a while. The reality of that natural difference trumps any appeals to logical symmetry in treating corporations the same as households.
Clickable link: https://hn.algolia.com/?q=ask+hn+security+camera

Lots of good threads above. I personally use a bunch of cheap Annke (rebadged Hikvision?) cameras along with Blue Iris. It is great, but a lot of work to maintain.
> A proof about a state machine is more useful than a proof about a program, or an automatically generated program.

Easier maybe, but more useful? I disagree. Just because it's difficult to prove things about real programs doesn't change the fact that a formally verified program has really important advantages--like being able to actually run it, and knowing the executing code actually fulfills the spec rather than relying on a human translation layer.
> Steve Jobs bringing him back to reality

I find it funny to appeal to Steve Jobs for a reality check :)

btw my pet theory about the touch bar is: let's use the apple tech skills synergy again, we made tactile swiped device since the ipod, we made that into phones, now let's blend it into our laptops.
I've replied from a different email address. Please check your spam/junk folder!
The scanning wasn’t to be done by the OS, but by the Photos app uploader, and only if you had iCloud Photo Library turned on. Lots of apps already do telemetry and photo scanning that goes beyond this, as well as nearly every major cloud provider (though Apple seemingly doesn’t scan iCloud photo libraries without a warrant unlike Google and Facebook).

Like a lot of apps, you don’t need to use Photos.app. They didn’t sneak it in without explaining how it worked.
Agree. Analogies of this sort are rarely helpful. I've never understood the motivation to draw analogies to problem domains we have little knowledge of to explain our own domain to each other.
i was pretty impressed that my final pair ended up being fira code and fira mono, so i tried switching my terminal font from bitstream vera sans mono. it looked markedly worse - i switched back within a couple of minutes. i think your point about the displayed text size affecting my judgement is spot on.
> Most people who betray their country are not thinking rationally, or they would not be involved in such a self-destructive activity. They are driven, in large part, by irrational emotional needs to feel important, successful, powerful or to get even or to take risks. These emotional needs are out of control, so the same emotional needs that lead them to betray also cause them to flaunt their sudden affluence or to brag about their involvement in some mysterious activity. Because they are so mixed up psychologically, they make mistakes that get them caught.

This makes me rather sad. The punishment for espionage is rather severe. That it's explained as essentially a mental illness and lapse of judgement makes me wish we had a better mental health support system and rehab.
Is Doing a PhD Beneficial?
I'm a final year computer science student, currently wondering if I should do a PhD. Professors told me that it is useful to the career, suits my interest, and it is better done earlier than later.

I'm interested in theories and I often read books and articles about them. However, I'm not sure if I am capable of producing quality research as I have no experience doing that. Also, from others comment on HN, it seems that research today is publish a lot -> optimize for H index -> get tenure and write grant proposals, which may not be something I would enjoy/capable of doing... I consider doing a grad study purely for the pursuit of knowledge, so I wonder if it would be better to just get a developer job instead of doing a grad study...
> Additionally, it becomes easier to shoot yourself in the foot (which is mentioned in the alternative title, but doesn't seem to be expanded on much) -- say, by closing a Handle or even merely not draining the input before proceeding with other I/O, if the outside system expects you to.

Hmm, I find the opposite - iteratee-style streaming libraries are pretty much the only way you can implement something like "open this file and transform it in this way" as a library function and ensure it gets used safely, because the stream can be responsible for resource management.

(I'm opposed to Haskell-style implicit laziness though, I agree with strict and explicit chunking being the way to go).

> But once you have a bunch of dependencies with their own (byte)string/text types, errors/exceptions, and ways to do I/O, all of which should be combined and work together, those become rather annoying.

Sure. I think the answer to that is that iteratees are pretty foundational and should be built into the language, in the same way that e.g. monad is not just a library type but something that's fundamentally part of the "platform" and maybe even the standard library. Efforts like the "Haskell platform" help us move in that direction.
The TensorFlow version using DirectML was 4x slower than CUDA on the same machine. Is this comparable?
General tip if you are committing a crime: don't brag about it.
Interesting this showed up on HN today; my wife was just diagnosed with mild hearing loss. I was surprised to learn the aesthetics and tech of hearing aids hasn't seem to change much since I was a kid. This research is really interesting.
Both sites are a part of Slashdot Media.
"SALT is a direct handout to wealthy homeowners."

The SALT deduction benefits people in high tax states which happen to also be states where democrats hold political power. Many of them ran on restoring the SALT deduction. It benefits states that have high tax rates not exclusively 'wealthy' home owners.
Crazy idea: I read last month that rainbows include infrared and ultraviolet bands.

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

Are they only outputs, or could they be GPIO? What would happen with a giant prism above a cloud?

A very pretty cloud, for sure, Somewhere Over the Rainbow. I just wonder whether the ice crystals could be persuaded to melt quicker, and drop their rain. Cheaper than silver iodide for cloud seeding. I have no idea who to talk to about this, or any clue how to simulate it in a lab.