skysight-inc/HackerNews huggingface dataset:
It always made more sense to me to define things as "one to one AND that one set's of elements is not absolutely contained in the other set." This would make the integers bigger than the even integers because 2Z in Z but would mean that the evens and the odds are the same size, since they are disjoint sets. Though both are obviously categorically countable.

But I'm not a (set) theorist and I'm sure this has been explored before. Does anyone have a link and/or concise explanation? (papers are fine) Would this definition result in similarity weird conclusions? (Infinities are weird)
I use a split keyboard for my work laptop when I'm at work. To tell the truth, it corrects my typing by forcing my fingers to the correct hands. I hate it! For years I've typed using whatever fingers could reach the desired keys and did not think about which hand I should use. Now it shows me down and I have to relearn my high school trying teacher's typewriter lessons.

In short, no physical pain, but not a fan. It's too slow.
This is definitely way beyond a typical Wikipedia user page with all these medal "trophies" and it really looks great.

In my grade school times, we had this really dedicated biology teacher who believed that being able to properly copy illustrations from books is the key element to understand lesson's subject. So we draw all these organisms, bacteria and viruses with pencils and colored em with either gray shades or pencil crayons and described parts.
There have been several attempts at developing intranasal COVID-19 vaccines, all of them have had disappointing results so far (mostly that the immunity waned pretty quickly, if I remember correctly).

It would be far more convincing if the authors explicitly acknowledged that in the abstract, and gave a good reason why they think their approach is more promising.
I post pro China comment from time to time. And I am not a bot.

I just lived several years in China and keep fond memories of the country. It has its problems, for sure.

As a French, I am more surprised by people who keep posting nice things about the US to be honest.
Actually, I forgot the passcode to my phone after being involved in an accident. It was utterly nerve wracking. Got blasted by so many people for not calling up and I was embarrassed to admit that I couldn't remember my passcode.

I had gotten used to putting in the passcode without even seeing the screen and completely lost this muscle memory at the time of the accident - likely due to high stress. I did not remember it later either - it was like my mind just rejected the memory and simply couldn't place out what were the exact digits.

Became far more understanding of my parents forgetting stuff after that incident.

Anyways, the point is that you can un-believably forget the phone passcode at a time of stress. Sure, some cool-as-cucumber humans will never forget anything, but the vast majority of people are not like that.
Don't get your hopes up.

I still have the crypto hype feeling atm.

And the ones implementing it are using it to find information quicker ( as far as I'm aware).
What I think is even crazier is the GRACE mission with two sattelites chasing each other (fittingly named Tom & Jerry):

They use the fact that higher densities of gravity on the earth below accelerate one sattelite before the other. So the way they measure gravity is by very accuratly measuring the fluctuations in the distances of the sattelites.

This is a feat in itself, the sattelites are 200 km apart and the fluctuations are on the scale of the strength of a hair.

Maybe there are better more precise ways of measuring local gravity from space, but this is just so clever.
Some people are more musically adventurous than others or they sometimes latch onto a new genre or artist. But the reality is that most of us largely default to what we listened to in school or maybe the decade after. I know I listen to relatively little music created in the past 20 years and don't really care if a streaming service is missing XYZ newish artist.

I actually have quite a large, somewhat curated digital music library and, with a few hundred dollars and a few days of effort, I could probably patch any particular holes I have among songs/albums I especially enjoy, but mostly I use streaming including a lot of curated playlists.
> I think it’s biggest headwind is that you have to be significantly more intelligent than the average developer to think in Prolog.

This is very true!
The instruction tuned versions are under a non-commercial license though because some of the data they used is
Modernized Police Torture Supported by Tech Companies
I think the main problem is the compounding error rate. These LLM models are very impressive, however they still have an error rate albeit very low. When you have an agent that is recursively using its own output, you are multiplying the error rate in each step. Which makes the LLM go off-topic or out of control.

We humans have all kinds of mechanisms to incorporate different kinds of feedback into our thought processes. I don't want to say that this is impossible with LLMs, but for a LLM everything is text, and it must be difficult to distinguish.

I think for self-driving the situation is different, because there are all kinds of different feedback loops controlling the car. But I do think it would be much better to focus on better cruise control experiences instead of self-driving cars, or maybe changing our environment to make self-driving cars more safe. There are already self-driving metro's after all.
> but x^y will always be larger than y^x, for y>x and x^y > y^x

That’s trivially true, as that last condition equals the claim:

but x^y > y^x, for y>x and x^y > y^x
^^^^^^^^^ ^^^^^^^^^

Also, if you leave out the and x^y > y^x part, that isn’t generally true because, for example 2⁴ = 4² and 1² < 2¹.

Another, minor, point: you write

> Why resort to the continuous domain to solve a problem n the discrete

and

> essentially we look for where the two 3d space surfaces intersect

Those two are in conflict with each other.
Not the speed of typing counts, but rather the quality.

With me, a keyboard is a tool. If that tool helps me get things done, then it's my tool.

I know a few with a split keyboard, they can't use an ordinary keyboard anymore because of joint problems. So, it makes sense to have a split keyboard. There are other things to consider, too. Like the height of the chair and the table. Otherwise, a split keyboard do not have any advantage over an ordinary keyboard, when your sitting position is wrong.

So, it's a tool. Some appreciate the usage of a split keyboard, because of health issues. Beside that, you won't type faster or better code with a split keyboard :)
globc malloc works reasonably well if threads are not used (nginx and postgres are examples of apps which don’t rely on threads), but if an app uses many threads on multi core CPU shortcomings of glibc malloc (or advantages of jemalloc) become more obvious, especially if you use some LTS Linux distro with an old glibc.
Nice, but unfortunately (for people outside the US) very narrowly centered on the US market… as the "American Edition" in the title already points to. Which makes me wonder: Is there also a European edition?
Sadly their IM spaces have basically informally migrated to closed-source offerings like Discord and Telegram.
No and yes. ;-)

The TKey does not have any persistent memory available for applications to store things. The idea is that we measure (calculate a keyed digest using BLAKE2s) the application during loading. The keyed digest (called CDI) is used as a base secret, random value by the application to derive the secrets the application needs. The Ed25519 signer for example derive its keypair based on the CDI.

A PGP application could use this to determinstically derive a keypair.

The FW application loader will also accept a User Supplied Secret (USS), which is also used during the calculation of the CDI. This means that the keypair derived will be based on the specific TKey device, the integrity to the device application and the USS. One way to use the USS is to control which keypair to derive. For example for SSH, different USS can derive keys used for different servers.

Also, a device application may use the CDI to derive wrapping keys, and then use authenticated encryption to protect a cookie that can be stored on the TKey client machine between usage.

We are working on providing libraries and examples for app developers to do this.

And to the yes part of the answer: Yes, a TKey could talk to a PGP agent and be called upon when needed. This is similar to how a SSH agent can talk to TKey today.
Wow your post got me all excited. When can we do this type of vibe!
If mathematicians have to choose between two definitions where one results in the task not making sense, and the other gives rise to a new theory with nontrivial open problems, the choice is easy :)
This is an interesting idea but I don't get how it works in practice. For instance, the two sets {1,2,3,4} and {A,B,C} are such that none is equal to a proper subset of the other. Are you suggesting these be treated as "the same size as" one another? Because if so, then {1,2,3,4} is "the same size as" both {A,B,C} and {A,B,C,D}, even though {A,B,C} is not "the same size as" {A,B,C,D}.

On the other hand, we can say that although {A,B,C} is not equal to any proper subset of {1,2,3,4}, it is in bijection with a proper subset, such as {1,2,3}. Although this is true, if we use this definition of "the same size as," we again get that the naturals are "the same size as" the set of all squares.
>> if we can deal with ratios in calculus due to infinitesimal sizes using limits

Cauchy proved this in the 19th century using analysis. You did not cite a proof that we can somehow use analysis to do something vaguely similar for infinities.’

>> I know there are supposed theoretical problems with random sampling

Yes, no uniform distribution exists on the integers.

>> But I don’t care

Clearly. It drives me bananas when people knowingly post comments in mathematical discussion that have no rigor and instead are appeals to emotion.
People aren't passionate about it like we are here on HN...

But if a checkbox was there that they could click to not be tracked, they would click it.
tl;dr: different lymph nodes are activated by an injected vaccine than those which would be involved in first-line-defense against a real respiratory virus
Great!! Thanks for your comment; I'm grateful for that.
No, I assume most satellites aren't built to point at other satellites.
> The 32-bit x86 host support for system emulation is deemed no longer effective.

Not a particularly good idea; i386 is still being used. Wonder when floating point operations will be supported though.
Honestly I kind of regret my comment. It was kind of flippant and bragging, and didn't really touch on what I think are the important points.

As a Catholic, I believe in the dignity of work.[1] We should attempt to do the best jobs we can in our work. I'm not saying we should work super long hours, but we should find out how many hours are expected for the role, and do the best job we can during those hours. If our boss gives us more work than we can do in those hours, we should be up front and say "Hey, I'm working as hard as I can during these x hours, and you're giving me more work than fits into the hours." If difficulties in our personal lives prevent us from working those x hours, we should be honest and say "Hey, due to constraints from my personal life, I can only work y hours currently, but I'll do the best possible job I can during those y hours."

We're dependent on the work of others for nearly every aspect of our lives. These 2 fairly similar quotes illustrate that:

>Man must work out of regard for others, especially his own family, but also for the society he belongs to, the country of which he is a child, and the whole human family of which he is a member, since he is the heir to the work of generations and at the same time a sharer in building the future of those who will come after him in the succession of history.

-- St. John Paul II [1]

> I grow little of the food I eat, and of the little I do grow I did not breed or perfect the seeds.

> I do not make any of my own clothing.

> ...

> I did not invent the transistor, the microprocessor, object oriented programming, or most of the technology I work with.

> I love and admire my species, living and dead, and am totally dependent on them for my life and well being.

-- Steve Jobs [2]

We could look at the Steve Jobs quote and say "Sure I'm benefiting from all the work those other people do. But I'm just going to sit back and enjoy it, and not contribute back." But when we look at it from a theological point of view, taking into account the purpose for our existence, why we were created, we see the problem. We were created to know, love, and serve God. Serving one another is part of serving God, since we were created in the image and likeness of God. If we're not serving God and one another, we're not fulling our purpose for existence, and thus we're not going to find fulfillment in this life or the next.

From the lowest employee to the highest, from the janitor to the CEO, each person can do the best they can with the talents and opportunities they have. And work encompasses more than just employment; we can work by caring for a sick relative or sick stranger (a la Mother Theresa), raising children, volunteering at a charity, or contributing to society in some other way.

I haven't talked to all my friends and family about this topic, but when the topic has come up generally they share this point of view.

[1] https://www.usccb.org/beliefs-and-teachings/what-we-believe/...

[2] https://putsomethingback.stevejobsarchive.com/
Given the similarity of the launch and flight stages to other scary things militaries look out for (icbms), I can't see how point to point rocket flights become a geopolitical reality. Airplanes can barely fly a straight line through Europe or Asia as it is. Point to point is only really a reality over North America, oceans, and Australia.
New model describes the actions that need to be taken by a person riding a swing
Folks mistype when they are in a hurry. They were likely remembering it correctly but not inputing it properly until you walked away.
Yes, they mention they plan to publish articles with specific details later on as well as to open source some models.
Anyone that’s been to Lahore will attest to how crazy the Lahori nation is about food. You simply can’t wrong with food in that city.
Glad Philly Cheesesteak launched a joint there!
Yeah. I use old. mainly because I prefer it on mobile.
> The rolling stone rolls echoing from rock to rock; but the rolling stone is dead. The moss is silent because the moss is alive.
Bye tool AI, hello autonomous agent AI
AI can now create, prioritize, and complete tasks, then go on an autonomous loop until it achieves its goal. So what do we do now?
Even that isn't true, there's history of cooperation and sharing markets by delineating borders among criminal groups. But ultimately they simply can do a normal job instead of crime. It's not like they're born and "all I can do is kill because I'm in a cartel", oopsie.
We’ll what’s the utility of something with agency that cannot he controlled? That’s so smart you can’t understand and doesn’t really share any of your problems.

“Hello, today can you please cure cancer, solve climate change and when your done, wash my poodle. K thanks”

“Ok master no problems”

I just can’t see it.
First early gameplay trailer for “UNRECORD”
Except when it’s a compiler bug.
A bit of a tangent, but HNers often have the kind of hands-on experience that's hard to find in internet searches, so I'll ask away :)

A long time ago we had a big MySQL tokudb db and were keen to migrate to myrocks. But myrocks put every table into a single big file, rather than a file per partition.

The partition-per-file is a big deal if you are retaining N days of data in a DB and every night will be dropping some old day. If your DB stores each partition in separate files, the DB can simply delete them. But if your DB stores all the partitions in a single file, then it will end up having to compact your absolutely massive big dataset. It was completely unworkable for us.

Has this changed?
Everything accrues to OpenAI if it's not.

More companies should be releasing models as open source and liberally licensed if they want to keep a seat at the table. Otherwise they'll get washed away.
We don't know who the person was. We have no interest in forensically doxxing them. The person stands in as a proxy for any person. Neither the person's life, livelihood, reputation, nor dignity are tarnished in any way by the posting of this image. No person has the "right" to not be photographed in public. There is no evidence the posting of this photo resulted in the financial gain of the poster.

Where there is no harm, there can be no foul.
I have to disagree strongly. My take on this that navel staring is a source of the problems you mention. We are so hopelessly fascinated by internal conflict that having a more telescopic view and/or grand horizon view of what Earth’s place is, and our what should be a brotherhood of mankind is that we don’t have enough of that.

Instead I get flipping news about stupid Kardashians or some navel gazing shit like wars, stupid ideologies, etc. etc. all day, every day.
But Karachi has the best Biryani :)
> And I attempted to answer it in the comment you are replying to

An attempt that was not sincere.

"And no doubt others as well" <- You are just transparently grasping at straws. You very much should have doubt, this is not an appropriate attitude for a mod on HN.

"contains flamebait, name-calling, and snark. In a rather concentrated form!"

What to be clear beyond a shadow of a doubt for the record is the name, specifically, that I am "name-calling"? The snark is in your mind friend. I was talking about the demographics, full stop.

Here is the guide line you are violating:

Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. Assume good faith.

"You had a substantive point to make in that GP comment" - Thank you for a minimal amount of honesty.

Repeatedly saying that mention of Metcalfe's law is "grandiose flamewar rhetoric" does not make it so. It just does not.

> If you had made the same point in a thoughtful, respectful, conversational way, that would have been completely fine.

I do not believe that to be the case at all. The objection is clearly to its contents and you are retrofitting "violations".

By all means can you demonstrate how my comment can be re-written without changing its meaning? You are not acting as an impartial moderator at all, I don't think you can. There is no "proper phrasing" possible. You took a very mundane post and exploded it into "grandiose flame bait" no less. I urge you to do some soul searching about your behavior.

Just so it is clear to you, there is a growing crowd here that grudge/group flags comments they personally disagree with. They go through peoples comment histories and punish them for wrong think, flag unrelated things, even one word comments like "thanks". Flag first to discourage what they personally find disagreeable and attempt to justify it later if at all. My mention of this particular, somewhat new behavior for HN, is not a "violation". As soon as I posted these users went and started flagging en messe (not just downvoting) random old unrelated comments - hence I edited my post. Their behaviour is acceptable to you? I am the one you call out?

Maybe they've moved what you consider "respectful" language a bit too far with these tactics. Your explanations given here are lacking. There was no flaming going on, none, it is benign neutral language. My most charitable explanation is that you are being played by this group.

And again, nobody will see this now but you dang - do as you wish with this feedback. Consider addressing that particular problem for one or at least acknowledging it.
I guess everyone has insane compulsion to air any and all business out online these days
I mean this doesn't actually solve the issue: 2Z and 3Z are the same size under this definition.
Dalessandro's. Granted, it's been a couple of decades since I last visited, but they were (and still seem to be) an institution.
JNI exists.
I don't like that pfsense phones home.
We’d better go after all the people who read a lot of Vonnegut or listened to a lot of The Beatles and tried to imitate them too, then.
I'm all for investment, but the problem is that there isn't an arbitrary amount of resources to invest in, nor an arbitrary supply of people to do the jobs you want to pay for with that extra money.

As such, if you pour money in you will inherently drive up prices, and inflation is effectively equivalent to applying an extra tax on everyone.

The notion that you can just pour money in and improve everything works at a household level, but is just an incredibly naive view in terms of a national economy.

It's a balancing act.

At the same time Norway, like every other country in the world is heading for a demographic time bomb nobody knows how to prevent, and so holding back money to be able to pay for that without e.g. drastically cutting back pensions and the like matters. Especially given that the "oil fund" is technically a pension fund.

With respect to mortgages, home ownership in Norway is very high in part because buying a house is affordable to the average Norwegian, in part because Norway is one of only a very small number of countries to let you deduct mortgage interest from taxable income.

But make them too cheap for supply of housing to keep up and all you do is drive up the prices and you're back to square one. Another way of saying that: Housing will "never" be cheap, because if house prices drops or interest drops or salaries go up, people buy bigger/better placed houses. We're nowhere near the housing quality where enough people go "oh, my house is big enough / in the most perfect location, I won't bother moving" if they suddenly find they can afford much more.
Which is why they only need one single copy of Chrome instead of Electron garbage.
Yup. I'm in Sydney and it's one of the most disappointing things about Australians. The inability or unwillingness to understand things like this.
To be honest, I don't like any of these "examples" at all because they attempt to map "intuitive" concepts, which are things like "size", "more than" and "fewer than" when applied to something that is finite, to something where that intuition doesn't even make sense in the infinite realm.

I mean, in your example, how can the first "infinite bus" ever empty in the first place to fill up the infinite hotel? After all, if it's an infinite bus, people will always keep streaming out of it. When you ask the guests to move from door x to 2x, that request never finishes, so you never are able to stop and then ask for guests from the other infinite bus to access the odd rooms.

What actually helped me understand the concept of the cardinality of infinite sets is to get rid of the whole notions of "size", "more than", "fewer than", etc. and instead just stick to the concept of mapping: is there a single, deterministic function that can output a unique value Y, where Y exists in some particular set, for every input value X, where X comes from another set.

Honestly, I think trying to use the same words like "size of" when talking about infinite sets was a mistake.
The other repliers have mentioned possibly "why"s. But your "what" stands regardless.
Lots of people have spouses that are fine with them consuming porn.
The real appeal is the pork and provolone, the broccoli rabe is ancillary. I used to eat those sandwiches every week, though I never burned any gas getting there. Nor going to any cheese steak shop for that matter, the best cheese steak at any particular moment in Philly was whatever shop is within the closest walking distance. It's a convenient food you get when you're not in the mood for an expedition. The pork sandwiches are more expedition worthy, IMO.