skysight-inc/HackerNews huggingface dataset:
> I think before rust, language designers mixed up the various properties these values can have. As a result, many incomprehensible designs were the result. rust models the most important memory-related properties through its two call conventions (passing or borrowing). And Hylo moves even more properties into the call conventions. Namely, Hylo uses the keywords let, set, sink, and inout. This way Hylo additionally represents e.g. initialization (rust models this with a separate type).

Is anyone able to clarify what's meant by "initialization" here and what "separate type" Rust uses for this (e.g. something defined specifically for each type getting passed this way, or a generic warpper type in the standard library)? Offhand, my understanding is that three of the Hylo keywords listed correspond to passing by ownership, shared reference, or mutable reference in Rust, and whichever doesn't correspond to one of those is something that a separate type if used for in Rust, but I'm not confident that my understanding is correct because the only thing I can think of that might be related to "initialization" is constructors, which Rust notably does _not_ have any formal concept of in the language, since functions that return types are just like any other function implemented on a type without a self parameter.

I'm also not completely sure what the intended distinction is being made between whatever separate type is and references in Rust, since a reference is also a separate type than the type of the value of references. I could imagine someone might think that references are different than user-defined types in a way that other standard library types like Box and Arc aren't, but I'd argue that the unique syntax that references have is actually not that significant, and semantically being located inside std makes them far closer to references in terms of potentially behaving in special ways due to them having access to certain unstable APIs around things like allocations and fact that std is developed in tandem with the compiler, which leaves the door open for those types to take advantage of any additional internal APIs that get added in the future.
it's not targeting govts though, but downstream users of policy
You are clearly an individual of no taste.
But nothing, lol. Should everyone working at meta be killed due to their contribution to social media?

If there’s a problem people should be tried in court, not killed
Understandable reaction. Leadership of totally unethical companies deserves no sympathy.
We have this. It's a culture thing. It's not actually possible to force someone to own something till production, but we encourage it and most people follow that.

One of the keys though, is a very easy process from development to code being in production. The more obstacles you put in the way, the less inspired a developer is to own the whole thing.

Not everyone is great at this, and people get frustrated when others don't own their stuff, but typically things are cordial and encouraging, rather than aggressive. But we're still a relatively small place (150 staff, about 40 developers), and inevitably, and sadly, this will change.
That by itself doesn't mean anything.

Their profit margins are higher than average but not exceptional.

https://www.financecharts.com/compare/UNH,CI,ELV,CVS,MOH/sum...

But even that doesn't mean anything.

I worked for a company that used ML to fight health insurance fraud ("mistakes") in the German market - where doctors/administrators would require payment for extra procedures that they never actually performed. So "denial rate" or even "profit margin" would go up with better AI that discovers more fraud!

Maybe a good metric would be something like "expected lifespan"? But even that can be misleading (e.g. maybe different insurers serve different populations...)
CEOs are paid big bucks because the buck stops with them.

The actions of this CEO in particular caused suffering to an untold number of families, just reading through comments on Reddit about people who had UnitedHealthcare denying life saving procedures is heart breaking, one of the most striking anecdotes to me was a widower telling how his wife died from treatable cancer after UH postponed twice her surgery date, 3 months each time.

I can differentiate between people and companies but immoral actions of a company are perpetrated by its executives, and the CEO is the lead executive, so this person's job in particular was exactly to be the responsible for the company's actions.

Pretty easy to understand the lack of sympathy viewed from the broader picture. I don't condone the murder but completely understand why people do not care he died.
Trajectoids: Creating a shape that rolls along a desired path
I agree, it's definitely much easier than it was. But when comparing EU to USA and asking 'why', I think it's extremely important to remember how much less of a single market Europe is than the US/China.
Correct me If I am wrong but Abe was assassinated because the killer thought he was associated with a church that left his family destitute[1].

[1] - https://en.wikipedia.org/wiki/Shinzo_Abe#Assassination
How it it racist to conclude that reducing immigration inflows and thus housing demand would reduce the cost of housing?
USD has value because there are things people need to pay for that can only be paid for with USD.
Sounds like an Ayn Rand book. I say: the system may not forbid you to do something, but that doesn't make it ethical.
but there are 12 months in a year so eggs outweigh rent here
> you need to reflect on what inside you is broken

Well people's opinions might be different if this CEO had reflected on what inside him was broken. So a kind of symmetry.
I hope this is a sign the people have realized democracy has failed, they have no real power, and that we need to fight the oligarchs
The business model of insurance is no more exploitative than that of big tech. One needs look no further than profits to verify this. With the number of corporate tech people here, I would expect more reservation over corporate guys getting capped.

Besides, the big money settles to specialists, hospitals, & pharma (remember Shkreli?). Unless this was a competitor’s hit, the killer went for the wrong target.

When is Nadella going to get popped for draining a redacted amount of water from a desert town for model training? When are Cook and Zuckerberg going to get drive-by’d for eavesdropping on your conversations so they can target ads?
I've been annoyed by the redefinition of artificial intelligence since the LLM boom started. The term AI has no place being used to describe LLMs as far as I can tell, unless what goes on inside the black box of an LLM is drastically different than how they are described to function.

Predicting the next token based on a compressed dataset of human generated content isn't intelligence in any meaningful definition of the word. That doesn't mean LLMs aren't impressive or useful for certain tasks, but they aren't intelligent.

When Altman describes them as reasoning machines he's either lying (likely for marketing purposes) or using a different definition of "reasoning" than most people would. The latest release of GPT is attempting to mimic reasoning, but what they're actually doing is having one system act as an automated prompt engineer in between the GPT model and the end user.
Because brave has a questionable business model where they, on one hand, block third party ads and trackers, and on the other inject their own ads, tied to their BAT cryptocurrency (the latter part being opt-in IIRC).

They also:

- added their own affiliate codes when visiting some sites [1]

- installed VPNs without consent [2]

which also taints their privacy focused posture.

[1] https://www.theverge.com/2020/6/8/21283769/brave-browser-aff...

[2] https://www.androidpolice.com/brave-browser-windows-vpn-with...
The video: https://youtu.be/3UIYN2fuZYc
I agree that thinking about code and your day-to-day work is not doing Vacations correctly. On the other hand, I hiked and spent time with my family and many dogs. It makes me think more out of the box than I usually do. Also, I like to write and release articles while on vacation.
Six hours under martial law in Seoul
Japanese sake brewing added to UNESCO intangible heritage list
Dreaming absolutely does not only occur during REM.

https://pmc.ncbi.nlm.nih.gov/articles/PMC7377375/

https://www.jneurosci.org/content/38/43/9175
When I read about unitedhealthcare and their practices, I always wonder if their offices are guarded by snipers and swat teams 24/7. If someone paid insurance for decades and gets denied treatment they need, then what is to stop anyone? Obviously most (by far) people aren't criminally insane, but you would think 1 or 2 per 1000 denials would think 'screw this; I go, you go'. Kind of a win for humanity in the face of pure evil I guess; people are far less willing to react with violence.
I think it's a worthwhile distinction to bring up because it highlights a common misconception people have about strings and vectors. A string value is not the string content itself, just a small struct containing a pointer and other metadata. If we're talking about the in-depth semantics of a language then it's important to point out that this struct is the string, and the array of UTF-8 characters it points to is not. C++ obfuscates this distinction because of how it automatically deep copies vectors and strings for you in many cases.
I'm also patiently awaiting smell-o-vision for games, even though it'll probably be a whole bunch of bad smells for most shooting games given the scenes in which they're set
>People on the internet seem to have a problem differentiating between companies and human beings.

Naive. Companies are made of humans, and often bring out the worst in them. Fiduciary duty doesn't excuse shitty behaviour.
> It's hopelessly behind on many modern Web standards, too.

Let’s put this narrative to rest, please. Web standards that Safari skips are usually PWA stuff that Google unilaterally declared a “standard”. On actual web features, Safari is behind only about as often as Chrome is, and both (and Firefox) are so far from bad it’s ridiculous to complain about. WEBP was the exception that was just very late, but in hindsight it wasn’t so good after all, which Apple might have known, and anyway at present JPEG XL is shipped by Safari, held back by Chrome.

What I do think is real, though, is developers living their lives in Chrome then only testing in Safari, which makes wherever Safari lags bite them in the ass, and wherever Chrome lags not even noticed.
Except the places in the UK where illegal immigrants, asylum seekers, and refugees, tend to congregate (cities) are the places with the lowest support for Farage etc.

I.e. people voting for Farage are not the ones living next door to asylum seekers.

Maybe it's different in the EU and US.

People see problems (mainly caused by the cost of housing) and hear people like Farage blaming it on the "small boats", and people on the other end of the spectrum blaming it on millionaire landlords.

The reality is it's not caused by the 3 asylum seekers per 10,000 people increasing demand, but instead by essential legal immigration (to perform jobs as the native workforce reduces in number) and crucially the inability to build enough houses for everyone.

This thus pushes up price thanks to the age old supply/demand curve. How else would we ration housing? Nepotism? Sexual favours? Lottery?
> which causes pressure to raise insurance premiums.

Why aren't premiums already as high as the market will bear?

Or, given the theme of both headline and several comments on this story, higher than it will bear?
Not "thought", known to have:

> Abe and his family were known to have long-standing ties to the Unification Church, dating back to his grandfather Nobusuke Kishi; Abe himself had held speeches in support of the religious movement.

from the same article
> What do you should be done with him then?

Unemployment. Render the entire concept of being an executive for a for-profit healthcare organization moot.

This can be accomplished with legislation. There's already plenty of established laws that prohibit non-profit organizations from doing (or not-doing) certain things[1], so it's not a stretch to have laws that prohibit for-profit organizations from doing other certain things.

...I'm only saying "legislation" because, by all reasons the free-market cannot support a for-profit health-insurance company: how can they exist at all when they're competing with non-profits for the same customers but who (like BCBS) don't have shareholder dividends to pay; so for UnitedHealthcare to somehow be both more-attractive to customers than BCBS (presumably by being cheaper) and still being able to pay dividends with whatever's left leads me to some very dark conclusions about how they operate internally. There's gotta be something the SEC can find and charge them with?

[1] https://www.irs.gov/charities-non-profits/charitable-organiz...
The most shocking aspect of this murder is the fact that I S&P 100 CEO did not have any kind of security around, especially being from an industry that deals with so sensitive business like insurance.

It's bonkers to me that the board of this company did not know that he did not have any personal security, and definitely someone somehow will open a lawsuit to uncover that.

If a S&P 100 CEO is so approachable like this, what this company board thinks that it would hold someone to threaten or kidnap the CEO himself or it's family members to get some advantage?
(As a user only, not a desktop dev)

I've never really ever seen desktop DRM work effectively. Various things have been tried, like keeping some of the code out of the client and only downloading it at startup every time, or requiring some sort of hardware dongle, or making a ton of small updates that the pirates can't keep up with, but usually those will get cracked sooner or later too. Do you really want to get into an arms race with Chinese hackers? Their time costs a lot less than yours.

Most of the big companies (Adobe, Microsoft, etc.) have been engaged in a losing battle with pirates for decades now. They just kinda learn to embrace it, more or less turning a blind eye to piracy unless it's from other corporations.

Instead, might it be worth tackling this on the pricing/business side? Maybe offer regional prices (maybe offer a Chinese language version that costs much less and accepts their local payment apps), or work with app bundles (Setapp, Humble, etc.). Your licensing prices for more than 1 computer also seem a bit high (like I wish it came with 2 devices by default, one for work and one for personal).

Maybe there's also room in there for an eternally free version with minimal features / configuration, a monthly nag, and a gentle reminder that the paid version has more features? Just thinking out loud.

Generally, can you make up for piracy losses by increasing reach and focusing on convertible users instead? The Chinese were probably never going to convert anyway; piracy is a cultural norm in much of Asia.

Some of my paid desktop apps also have optional cloud subs (like image hosting for Cleanshot or various services for my IDE) but that's harder to envision for an app like yours.

Anyway, cool app. I might pick up a license for myself. Hope you figure out some way to sustain it!
Have a society where people like this can't get a foot-hold in the first place.

And organisations like Uber, Microsoft, etc. flagrantly broke the rules, got hugely rich off that, and all they got was ... a corporate fine. No personal consequences at all. Corporations aren't a force of nature, it's run by people and those people looked at the rules and said "fuck those rules, I'm going to break them for my personal enrichment". Bill Gates and that Uber asshole are still hugely rich.

We're letting the exploitive nihilists run the world, and all the lawmakers do is shrug.
We are not in control either of the nukeclear power which is available for quite a few nations, since a lot of decades now, as well. Soo... c'mon cheer up most probably is some kind of simulation anyway.
which category did you select? if you select custom, it just says to contact them. If I want to search for another region, why should I select UK or US?
There is even a lot of potential for communicating more effectively here:

By giving 2-3 examples, that describe the same thing from slightly different aspects, you can to some extent overcome the ambiguities of language, by letting the reader figure out the common denominator between those examples, which will be a lot less ambiguous that only telling it from one example.

Let me give you two examples more [...] ;)

(Related, this is a technique used extensively by writers like king Solomon in the book of Proverbs in the Bible.)
There's also https://github.com/macchrome/macstable/releases (which offers ungoogled Chrome, not Chromium). Not signed.
That is chef's kiss right there.

Security or authenticity is prevented by a security or authenticity policy.
I'd say it's worse than this. The Americans UHC (and CEO) harmed were all paying customers who were denied coverage for claims. Apparently (quick Google search), UHC denies ~30% of claims, while the industry average is 16% [0]. Their net income has also doubled from $11b in 2018 to $22b in 2024 [1].

[0] https://www.valuepenguin.com/health-insurance-claim-denials-...

[1] https://www.macrotrends.net/stocks/charts/UNH/unitedhealth-g...
Yes that's the average spent per citizen which doesn't say that the brain surgery will cost just the double of EU. Many Americans apparently don't seek medical help if they feel like they can wait it out, hesitate when call an ambulance etc. Which is not a thing in Europe, its not something you give it a consideration from financial standpoint. If you are poor and you twisted your ankle, you call ambulance. If you have a rash that bothers you and you are poor and unemployed you still go to the dermatologist. If you are rich, you can seek private care(yes, many countries do have private hospitals where you can get an expensive care if you like to have hotel-like room etc).

Anyway, that's another topic and you are right that for the GDP purposes the spent per capita is a good metric. Which is still on the point, the same service costs at least twice as much resulting in useless numbers if you are trying to use GDP as a productivity metric(or anything humane, in fact).

We see a similar thing in Turkey for example when you use PPP(which is supposed to be an improvement). Turkey's PPP is quite high now, meaning that the Turkish lira is strong and on average Turks are supposed to be slightly richer than neighboring EU country Bulgaria. In reality, Turks are miserable because some basic stuff is taxed to extremes and the market is captured by a few groups and to achieve a Bulgarian lifestyle in Turkey you actually have to pay 2X or 3X.

Maybe we just should stop looking and these stats for a proxy to other stuff altogether. They don't work, just use whatever you are looking directly.
Chinese cat robot that always sticks landing could revolutionise asteroid mining
This is the best comment I have read on this site. Also hope he gets denied life insurance if he has it
In my humble opinion, this is excellent advice. Honestly, so on point.
Everybody except Eastern EU countries closest to Russia. It's not just NATO, but also knowledge that they won't be attacked first which has resulted in low defense spending in Western Europe.
Ah yes, Baader-Meinhof. The namesake of one of my favorite phenomena:
https://en.m.wikipedia.org/wiki/Frequency_illusion
Companies don't make decisions, people do. He was the top decision maker at his company.
Nobody's saying they should be killed. But I can't deny, at least to myself, what emotions might inadvertently well up within my soul (does Meta believe in souls?) if an unthinkable event like that you are hypothesising about were to happen. It's outside of my control.
A natural third dimension is language. If your user base is very international, you might need most of these documents in multiple languages.
upd: just fixed that
According the recent hit comedy movie “Hit Man” staring Glen Powell, they don’t exist!
often, surgeries are denied if you can't pay. plenty pay insurance premiums diligently but then are routinely denied coverage. there was a story the other day about an insurance provider not continuing anesthesia in surgeries if they (the surgery) takes too long and the patient didn't pay up. healthcare is the #1 problem in the US right now and our legislators are only making it worse due to accepting bribes (i.e. lobbying monies) to keep the status quo or worse, enrich the corporations in our for-profit healthcare system.
What redefinition? SVMs were part of AI and they're far simpler. The field of AI has covered basic algorithms for decades before LLMs.
> Should everyone working at meta be killed due to their contribution to social media?

Not one of them - but you might be shocked by the amount of people that would say yes.

> If there’s a problem people should be tried in court, not killed.

Agreed - but what happens when the courts are corrupt? At least the thinking among these types is that the rich are above the law, so the only way to achieve justice, is to take it into your own hands.

Maybe our problems are only perceptive, or maybe there's something to them.

I don't know.

But what I do know is there's a pretty big divide.
Isn't it unmaintained? Have you tried SequelAce?
800% Detail: Tweaking Stunt Island's 30-year-old 3D engine
> Given one does not compile their own version

skill issue
I built the world's largest database of Lego minifigure ratings
Copy or move for C++ is just choosing which constructor/assignment overload to call. I believe it's possible to make C++ move-by-default if one go through the trouble of overloading every class you use with custom move procedures.
The difference is: companies are fictive. They don't actually exist. Under the hood, it's just people making decisions. One of those people making decisions – one allowed to dictate to or overrule other decision-makers – has been killed.

Yes, death is bad. However, much as I would it be otherwise, I have a finite capacity to care about death: I would rather spend that on innocent victims, rather than perpetrators of large-scale systematic violence. That which is broken inside me reflects the world.
this comment is pure gold - thanks for making it today!
How to Live in a Collapsing Economy
No it doesn't follow. I have absolutely no clue where you're getting that from.

The point was that exporting low-margin high-labor goods and importing high-margin low-labor goods with addictive properties and possibly even negative value is a bad deal for your economy. Especially if the latter could be trivially provided domestically, but isn't due to existing network effects, or shouldn't exist at all (in the case of addictive substances).

You're arguing against the import of very low margin labor-intensive physical goods. How did you get there? I have no idea.
Gold has many practical applications though. I think our electronics have gold in them, for example…
The fact is that while the tools exist and may be easy to learn, there’s always that nebulous part called creativity, taste, craftsmanship, expertise, or whatever (like designing good software) that’s hard to acquire. Generative AI is good at giving the illusion you can have that part (by piggybacking on the work of everyone). Which is why people get upset when you shatter that illusion by saying that they still don’t have it.
CEOs are already reacting to this with doomsday scenarios.
Someone will get blame so there is pressure and change happens, life isn’t fair for regular people so there is no reason it should be fair for these people
Yes, I worded that incorrectly. What I meant was Abe didn't directly wrong the killer (AFAIK), he just happened to be the most public supporter of the church and paid for it with his life.