skysight-inc/HackerNews huggingface dataset:
A bijective function f: A ⟶ B satisfies ∀b∈B ∃a∈A ∀x∈A (f(a) = b ∧ (f(x) = b ⟶ x = a)).

(In fact, this definition is incomplete: it must also be the case that the function is defined over the entire set A; each value in A maps to a value in B.† This is a common assumption to make about functions, but since I violate it earlier by talking about sqrt(x): ℝ ⟶ ℝ, I really should make it explicit. The definition I gave is motivated by the synonymous term "invertible function".)

"All values in the target set have property X" and "Each value in the target set has property X" are exactly equivalent English-language statements.

† "f: A ⟶ B satisfies ∀b∈B ∃a∈A ∀x∈A (f(a) = b ∧ f(x) ∈ B ∧ (f(x) = b ⟶ x = a))", but while that technically works, it feels kludgy.
I was thinking the opposite — all the posturing, fighting for credit, all seem like they truly believe they have something.

Still believe the safe bet is this is spurious.

But it’s some drama that feels a lot more enjoyable and less consequential than most things in the news recently.
> Avoidant as I am of Apple's ecosystem, I can only imagine the "security" justification for serializing a display panel. Covert exfiltration of sensitive information from password managers and such?

They're a more valuable target for theft the more parts that can be "cleanly" sold.
How do you go fast except by generating power? Force times distance over time, that’s how sailboats move too.
It’s not farce, but it is complicated for some reasons including those you mentioned.

In the US antitrust took a sideways turn when interpretation of the law began to follow the “Chicago school” approach: Essentially that antitrust action was only warranted when harm was done to consumers.

With this approach the burden is far more challenging for government to prove. It seems like consumer harm is low bar, but this is not the court of public opinion, or the court of common sense. It’s the American legal system.

And American law is sufficiently late-stage that it feels like we’re chasing political ideology now instead of justice.
> The only thing bad about Dairy Queen is the quality of the food has dropped over the decades, and there aren't enough of them.

Also, the drive through lines are a bit long during peak hours and I don’t really need to see the employer hold the Blizzard upside down. It’s just dumb theatrics.
Exactly, we're all in this together. There is only one Earth and the only way to move forward is to work together and help each other out.

International politics does not need to be a zero sum game, a little bit of mutual assistance can go a long way.
>and Kant would put the nail in the coffin of the rationalist-empiricist debate in the next century (with his earth-shattering Critique of Pure Reason)

Kant was mostly convincing for himself (to whom he was a great fan of) and Kantians. His arguments were hardly definitive.

>Some things (even true ones!) are simply unprovable

Within the context of a system with certain algebraic properties.
My stepdad had one of these, it was still working in the early 90's. Very cool "tech".
As others comments have pointed out - you may want to brush up on those definitions. Correct semantics are crucial. They're a form of compression with no/low error correction.

Any claims of injective or surjective properties (and by extension bijection) are moot without the domain and co-domain being specified.

To map math ↦ dev semantics: functions need to be pure, deterministic and declared with strong types. The properties of square root in particular will vary wildly based on what those types are.
> Well, "injustice" aside, doesn't it seem somewhat arbitrary, inconsistent, bizarre to be ok with capitalists having perpetual income from their products while ridiculing labor

If I bought a car and used it to drive for Uber are you okay with paying the factory workers a share of your income? If you owned a mom and pop restaurant should the people who built the restaurant get a share of your profits?

If you started a software business are you okay with the authors of every library you used getting a share of your profits?
You should look into the pigeonhole principle.
That's an odd angle that is worth investigating.

edit: The real question is how all of this stuff took over politics, nonprofit boards, corporate boards, etc.; basically Robert's Rules debate style deliberative environments. Changing trends in literally high-school and college debate would feed into that, because they ultimately feed people onto boards and into politics.
Any sufficiently powerful corporation is indistinguishable from a government. There aren't many corporations who currently exercise their money to get such power, but it's happened before and can certainly happen again.
Gestures that can start from nearly the entire left edge are more natural-feeling to me than aiming for a fixed button.
K's are not new. People have runs K's since at least the 2000's. I myself ran a Zizek K that was quite a lot of fun to run with back then.

I'm wondering if the author simply thinks the current K's are simply just worse.
Now we dream of commercializing a hype for 5 years and moving to the next one.
Sure. You can Fourier transform a vector, drop some number of the least contributing terms (frequencies) and store only the remaining coefficients. Which is essentially the basic idea behind MP3 and JPEG compression. You're trading space for time, of course, as now to get an approximation of the original vector you have to apply reverse Fourier transform first.
Leibniz was envisioning something like Douglas Lenat's Cyc project. In his grant proposal to the French court, his first intended stage was to reduce all of human knowledge to propositional form. He estimated it would take about 5 years given a small clerical staff and a good library.
That's a great line, think I'll use that! 父が私の分まで呑んじゃったので。
The carbon footprint of an astronaut going into space on eg a Falcon 9 is on the order of that of a couple average American families for a year. It's not a huge impact compared to how much they advance our understanding of how to live in space (back of the envelope, ~150 tons of kerosene yielding ~500 tons of CO2, 50 tons for the average American family for a year). I haven't run the numbers on Starship, but my impression is that it'll be significantly more efficient.
This is a direct quote from you, “I mean you can see it plateauing in that data. Feels good to me!”

Reality, 2023 is now on track to see the highest levels of carbon dioxide output in human history
Do let me know if you want to engage with some scientific research, and/or declassified docs that describe exactly what I'm saying. Happy to share, because science and scientific method.
I would prefer if references were highlighted using single colour :)
My impression is that Bezos isn't involved in day-to-day operations anymore?
What?! High-schoolers, given access to the infinite debate medium of the internet, no longer want to score brownie points from their teachers by debating narrow, safe, softball "debate topics" that are carefully-constructed to keep people from discussing interesting things like capitalism vs marxism, which might put the school in hot water with government and big industry, who are very comfortable with the status quo? What...
Normal to not have many friends in mid-20s?
As the title suggests. I'm in my mid-20s and see friends maybe once or twice a month. My mental health is starting to cater with the loneliness. If this is not normal, what can I do to improve this situation?
This is only true if the codomain has the relevant structure for vector operations. Functions are more general than vectors.
An appartement in Paris for a family is at least a millions dollar, you are telling me they can't afford a car?
No, moving in car is simply inconvenient here. You can walk or take the public transit to get where you want, it's just faster.
Lots of parisians have a car, often in a parking spot far from their home, and rarely uses it.
Someone commuting to Paris with a car instead of public transit is seen as someone mad loosing their time in bad transit.
Again, watch the videos of the person I sent, you prone bringing a new point of view while it's the same carbrain arguments that is unable to even imagine an alternative, that already exists.
The difference is you actually move from point A to point B in a bicycle race, and retain the skills of doing so in non-race conditions.
Look if these people generated seismic activity then I can’t imagine what did the 1.5m people
who attended Monsters of Rock
Moscow in 1991 do….

Or even big sports events or rock concerts atop cities which are somewhat hollow beneath such as Paris or Naples, Italy
Functions can’t be used to handle undefined values either. A function is a mapping, f, from one set to another such that each element of the originating set gets mapped to one and only one element of the target set. This, by definition, requires that all values in the originating set get mapped to something in the target set. So there are no undefined values as such.

Function spaces can’t always be viewed as vector spaces because there may be no concept of addition of functions or a concept of scalar multiplication on the functions that behaves well with whatever notion of addition the functions satisfy.
I can see it, maybe I'm hallucinating I dunno.

You don't need a brain implant or even a vote if everyone's influence is limited to such extend that they cant look beyond their self interest - voting is not required.

Direct democracy might be to much of a leap but we may take note of what people think and what ideas and proposals are out there.

You have ideas, you could write them down properly with sources and everything. Who is going to read it? What if you have 20 ideas? What would be the point in doing that? If it is pointless you should stop having ideas. There are countless fun, useful and interesting things to do that all have a point.

Say we all start writing down our poorly thought out ideas. Share our collective political ignorance with the void. If that could be aggregated and combined into something perhaps agreeable or just refutable, then we could at least debunk it and at best consider it.

Everyone can come up with a list of pro's and cons for any topic but if many do we can have the full list and may address the [perceived] misconceptions.

Not use LLM as a middle man (that would put it in charge) but as an aggregator. To construct the questions and answers for a poll for example.

If it works it will become worth having ideas, perhaps even good ideas, perhaps the feedback loop has to run for a while for the good ideas to happen.

Anything is better than pretending to know what the public wants while the public doesn't bother to want anything.

There is also the way we blame the representative for doing the wrong thing. They cant take positions on anything without offending some of their voters. We pretend everything is their idea.

I might be hallucinating, either way it is quite an enjoyable thought.

Of course I know no one will go along with anything until civilization implodes again.
I worked at Imec back in 2005 alongside the teams installing and researching the first EUV machines from ASML. Never thought they’d get it to work given the technological challenges. Laser-pulsed tin plasma, mirrors instead of lenses and vacuum exposure just to name a few!
Glad they got it working so we can print smaller at scale.
> Kant was mostly convincing for himself (to whom he was a great fan of) and Kantians

This is shown to be false by the historical record. Kant was, unquestionably, the most influential thinker of his day.

Centuries later, Einstein himself felt that it was necessary to write about how Kant was wrong (given modern physics and general relativity), which shows how convincing and influential Kant's arguments were; there's no point to debunking things no one believes.

You're probably looking at Kant with contemporary eyes, thereby deciding that he's obviously wrong and completely unconvincing. But no one looked at Kant with contemporary eyes until contemporary times, and there's a very long road of extremely important and influential scientists/mathematicians/philosophers replying to Kant; which is how our contemporary perspective came to exist.

>> Some things (even true ones!) are simply unprovable

> Within the context of a system with certain algebraic properties.

Right, that's what "provable" means. There's no such thing as a proof, outside of formal inferential systems.
I work in cloud consulting for a the river company based in Seattle. My base pay is far lower than I could get working for another consulting company. The difference is made up by RSUs which by definition give me rights to the future value of the company. If you work for a company that pays dividends like Apple and Microsoft, the RSUs they give you do give you a residual right to income.
Effect of 90° elbows on pump inlet flow conditions
My first reaction reading this article was that this is indeed disturbing, but so was the format of debate I was exposed to in (turn of millennia) high school. The format basically embodies an idea that every opinion is equally valid, and what matters is how strong their advocates are.

Model UN, a close cousin, emphasized multipolar perspectives but in a context of research, creativity and cooperation.

I think the ethos of Debate is one of the drivers of today's polarization, long before Kritiks arrived.
Why would the calibration details need to account for all iPads sold?

Just bake the one that the device is bonded with, using the display serial number as a lookup key.

Then, if you change the serial number of the display, the lookup would fail, and fall back to whatever "default" values are.
> The funny thing is that a lot of the “crime, drug use, and general anti-social behavior” on transit is overblown in the very minds of people who don’t take transit regularly.

Yes, it's unheard of that folks can become accustomed to circumstances which most people would view as abnormal or dangerous.

I've been riding public transit almost my entire life; I started riding _by myself_ when I was 8 so I could get to and from school, back when the Bronx was much more violent.

Riding during rush hour is a very different experience than riding off-hours. While I almost never felt unsafe (gotta keep your head on a swivel), lots of women have told me how they've regularly felt unsafe. Maybe it's some dude ranting on a subway car. Maybe it's one ranting on the subway platform. Maybe it's a dude sitting WAY too close on an empty bus. Then there's the open drug use on some systems like BART.

> but it’s really not that bad,

Maybe you're just more tolerant of crime, drug use and general anti-social behavior.
Can you share what you enjoy about your Action button? I had mine set to the default waypoint marker but it’s only really useful on hikes. I switched it to summon the Activity app, but I haven’t found a way to do anything like mark lap times with it. Feels underutilized, looking for ideas
It's complex, but the fertilizer itself is actually the source of the radioactive stuff. Tobacco has the odd characteristic of capturing that and the decay products are things like polonium

https://news.cancerresearchuk.org/2008/08/29/radioactive-pol...
But a majority of those gun deaths are suicides not murders: https://www.pewresearch.org/short-reads/2023/04/26/what-the-....
You have my vote Mayor!
I get the humor but yes it is.
Damn, that’s some damning contrast. The city looks so much better without all the cars.
Could it be something like this:

At software level iOS registers some calibration data (after some factory calibration) tied to that specific serial number (as calibration makes sense only for that specific instance of the panel anyway) so when serial number changes iOS can't find calibration data on device and continues uncalibrated instead of trying to use calibrations for another-serial screen (from the OS perspective).

It makes sense, if there actually is some sort of calibration going on in the first place of course.
> If you grep the three volume 1000+ pages of the TPM 2.0 architecture documents, you’ll not find a single mention of “threat model”.

Because they're embarrassed to state it.

The TPM threat model is: "the machine's owner is the threat".
I was imagining that would be crowd sourced as well, assuming no publisher input. But I have to admit it has its flaws, and I don't have a great answer for academic texts.

As far as Amazon investment goes, it seems like a missed opportunity if they're not putting at least some more money into it. That's got to be the best possible marketing platform for their ebook/kindle and wider book sales.
No idea, just a black screen that says “iOS is not supported.”
Power over Ethernet would be a nice option.

Wouldn’t data over usb-c require a computer to drive it?
No. I said what I said. Slavery being good is not refuted by bringing up a single instance of slavery.

The point is that if your response to "Slavery good" is that "US Slavery was really really bad" and spend a ton of time on this argument, the opposing team could easily stand up respond with "We concede US slavery was bad, here are the reasons why that doesn't really matter and why it doesn't even refute our generic arguments that slavery is good across the board except for this one time"

So you've wasted a ton of time arguing something that can easily be made irrelevant with very little effort.

You can't go up there and say Slavery is bad because I think Slavery is bad and expect to win.
I would love to know where you live. Those are like 10 year ago prices here, and I leave in a low COL smallish down in the South.
Free Public WiFi
> Streaming buys licenses because they are valuable, this value is only transferring between the service and the network.

When I had my house built for $335K in 2016, I paid the builders for building my house and the labor involved. They have no right to any of the value I’ve derived from my house by renting it out when we moved or when I sell it for hopefully twice the price. When I paid them for my house, my business with them was done.
What are you talking about? Almost all Pilsners and lagers, even from craft breweries come in under 4%
> I'm just pointing out that this has nothing whatever to do with the military being a cult.

So, it actually does. One must "de-program", meaning to unravel previous programming, such that the brain can learn a new wiring for existing. It's very much linked to the previous "training"/"programming" one endures via the military.

The military is not unique in this regard. We also see this with religious groups, self-help groups, and even in corporate environments. We're humans and we are vulnerable by default. And that's a beautiful thing that in my opinion needs to be preserved as we face this AI-interjection in our lives.

> It's not a matter of my or anyone's wanting to be viewed a certain way. It's a matter of understanding as a country why we have a military at all and what it is for, and holding our political leaders accountable for making appropriate use of the military and giving it the support it needs.

I agree that leadership making irrational decisions at the expense of humans, humans that are committed to protecting our country, needs urgent attention. It's disrespectful and can lead to catastrophic loss of life for service members. It causes unneeded pain for families. I agree.
Yes I agree on this one.

I reposted it because I thought this could be quite interesting for the hn crowd. On the 4th time it got more than 200 comments. Since then I did not repost it again.
Alcohol without the hangover? What an invention! Scientists are working on this. I mean, other scientists devote their lives to fighting cancer, AIDS, heart disease. These guys go, "No, I'm focusing on hangovers. Oh, sure, thousands of people are dying needlessly, but this, ptooey. That's gotta stop. You ever try and watch football the next day? It's almost impossible. I'm devoting my life to that."
Consumption is directly linked to ultimate payments by Spotify to copyright holders. However it is not done on a per stream basis. It is paid out of a pool of earnings on a pro-rata basis. Each copyright holder negotiates its own formulas with Spotify / others for payouts, however they all have some version of the pro-rata payout system. So in the sense of direct financial incentive, it would be best to drive customers toward music where the payout formulas are the lowest (e.g. their owned content), assuming it wouldn’t increase churn or reduce premium sign ups.
It is illegal in most places to park a car on the sidewalk.
I don't know of anyone, at least the big chains, that will serve a pedestrian in a drive thru. If you live in a more walkable part of town there is usually an all night diner.
You may be thinking of a vector as a concrete collection of values, like a vector in R^3: [x y z]. This piece is about abstract vector spaces, their properties (vector addition, scalar multiplication, etc.) and specifically how functions meet the definition, giving you vector spaces of functions (function spaces).

So the idea is that if you two functions, f and g, and a scalar b, then you can do stuff like:

f + g = g + f

b(f + g) = bf + bg

The existence of (-f) so you have:

f + (-f) = 0

Where 0 is the zero function (which also must exist for function spaces).
I don't even see how v - the everything app, will circumvent the 30% apple/Android tax, lol
Looked it up. How does that apply to this, or am I lacking the imagination to see it?
Yup. It’s a great way to get federal grants for the vice squad and buy cool toys to fuck around with pimps.

Losing weed as a source of easy convictions is leading to new opportunities.
Amazing. This from a guy who couldn't even figure out the python repl.
I can’t find the exact quote now but I once heard David Petraeus say something like:

“The greatest myth civilians believe about the military is that you can just bark orders and people will follow them. The greatest myth the military believes about civilians is that you can just fire anyone at any time.”

Now that I have been both a corporate software developer and a military officer, I’d say he was right.
I'm not sure that's the game plan here. The closest I can think of would be analytical reasoning and iteration. Perhaps schools are teaching those well, but I don't think they're transferable to critical thinking regardless. Critical thinking is more about a reasonable standard of rationality even if you aren't in your domain of experience.
“one of” is doing a lot of heavy lifting there.

American slavery didn’t hold a candle to the cruelty of Arab slavery. Imagine all the horrors of American slavery and they cut your balls off. Slavery and genocide mixed together, with the evil benefit of no free descendants to contend with.
You're responding to someone who has taken a pretty strong position and backed it up with reason and anecdote. Don't answer it by telling the person who made the argument that they should feel guilty for making the argument. That's why everybody is stupid now.

Just tell them why they're wrong, point by point. Point out implicit premises that don't hold up. Do anything else other than try to convince the other person to stop speaking. People don't shut up because you tell them to, you have to make them shut up. That is a slippery slope.
Obviously the drama isn’t great. One thing that piqued by interest from this story though is that after the initial paper was shoved out the door to arxiv, you had this other guy HyunTak who didn’t think the paper was ready and who is apparently well known. He apparently then thinks it’s worth it to push his own version out presumably so his name is attached to the work. Perhaps it’s good sign that he appears to be that motivated to have is name tied to this? I may be grasping at straws because I want this to be the real deal…