MurphyA/hacker-news huggingface dataset:
by tialaramex | 2025-09-14 00:08:47+00:00
Yes I can be specific.

Firstly, you need composition. Rust's safety composes. The safe Rust library for farm animals from Geoff, the safe Rust library for cooking recipes by Alice and the safe Rust library for web server by Bert together with my safe program code adds up to my safe Rust farm foods web site.

By having N profiles, where N is intended to be at least five and might grow arbitrarily and be user extensible, C++ guarantees it cannot deliver composition this way.

Maybe they can define some sort of composition and maybe everybody will ship software which conforms to that definition and so eventually they get composition, that's not there today, so it's just a giant unknown at best.

Secondly, of the profiles described so far, most of them are just solving parts of the single overarching problem Rust addresses, for the serial case. So if they ship that, which already involves some amount of new work yet to be finished, you need all of those profiles to get to only partial memory safety.

Which comes to the third part. Once you start down this path, as they found, you realise you actually want a borrowck. You won't call it that of course, because that would be embarrassing. But you'll need to track reference lifetimes and you'll need annotation and you end up building most of the stuff you insisted you didn't want. For now, you can handwave, this is an unsolved static analysis problem. Well, not so much unsolved as you know the solution and you don't like it.

Your idea to do the reference counting everywhere is not something WG21 has looked at, I think the perf cost is sufficiently bad that they won't even glance at it. They're also not going to ship a GC.

Finally though, C++ is a concurrent language. It has a whole memory model which doesn't even make sense if you aren't thinking about concurrency. But to deliver concurrent memory safety without Fil-C's overheads you would want... well, Rust's Send and Sync traits, which sure enough have eerie twins in the Safe C++ proposal. No attempt to solve this is even hinted at in the current profiles proposal, and they would need to work one out and if it's not Send + Sync again they'd need to prove it is correct.
by zahlman | 2025-09-14 00:09:51+00:00
> It doesn't sound conspiratorial to me.

The conspiratorial thinking is jumping to an assumption of a high probability of a "false flag". In reality, the base rate of such attacks is low.

> It seems a lot of shooters are right wing

Many right-wingers would dispute the methodology behind these statistics, but that's beside the point. This information, however, is more or less rendered irrelevant by the circumstantial evidence that this was a political assassination, combined with the fact that the victim was right-wing.

> Also "just as likely be" <> "equal probability".

It quite literally means the same thing. If I flip a coin, the result is (ignoring all the standard gotchas) just as likely to be heads as tails. If I flip a coin, the probability of a heads result (ignoring all the standard gotchas) is equal to the probability of a tails result. The information content of the previous two sentences is the same.
by bigbadfeline | 2025-09-14 00:10:25+00:00
> Once you do that, everyone that matters will believe 2+2=5

It doesn't stop there. From the OP:

>> "Dr. Robert Fuller: Eric Hoffer wrote a book called The True Believer 60 years ago. How do you become a true believer in a cause? Someone for whom rationality is now gone. It's an all-out emotional—I'm the true believer. I do not question. And he observed something. You can have a true believer, you can have a vibrant fanatic cause without a God, but you cannot have a fanatic cause without a devil. And when we rally around a common enemy, there's cohesion, unity, and all-out effort. The whole concept of the Antichrist or there being some satanic adversary that we must compete fosters a crisis mentality. And with the crisis mentality, now we put aside all other differences. There's a tribal cohesion, a tribal unity, and it justifies even immoral acts because to defeat an evil enemy, a satanic enemy, you must then do whatever's necessary. So it can therefore justify extremism and it can justify what would otherwise be reprehensible behavior is now looked at as even holy, sacred and a duty for the true believer."
by int_19h | 2025-09-14 00:10:36+00:00
"I must say I believe, or fear, that taking the world as a whole these things are on the increase. Hitler, no doubt, will soon disappear, but only at the expense of strengthening (a) Stalin, (b) the Anglo-American millionaires and all sorts of petty fuhrers of the type of de Gaulle. All the national movements everywhere, even those that originate in resistance to German domination, seem to take non-democratic forms, to group themselves round some superhuman fuhrer (Hitler, Stalin, Salazar, Franco, Gandhi, De Valera are all varying examples) and to adopt the theory that the end justifies the means. Everywhere the world movement seems to be in the direction of centralised economies which can be made to ‘work’ in an economic sense but which are not democratically organised and which tend to establish a caste system. With this go the horrors of emotional nationalism and a tendency to disbelieve in the existence of objective truth because all the facts have to fit in with the words and prophecies of some infallible fuhrer. Already history has in a sense ceased to exist, ie. there is no such thing as a history of our own times which could be universally accepted, and the exact sciences are endangered as soon as military necessity ceases to keep people up to the mark. Hitler can say that the Jews started the war, and if he survives that will become official history. He can’t say that two and two are five, because for the purposes of, say, ballistics they have to make four. But if the sort of world that I am afraid of arrives, a world of two or three great superstates which are unable to conquer one another, two and two could become five if the fuhrer wished it. That, so far as I can see, is the direction in which we are actually moving, though, of course, the process is reversible."
by molticrystal | 2025-09-14 00:11:03+00:00
I found passage below near the conclusion of the article that mentioned McLibel interesting and decided to look up what it was on wikipedia:

>By the 1980s various protest movements gained traction... Between March 1995 and February 2005 the longest-running court trial in British history, dubbed ‘McLibel’, saw McDonald’s bring a claim of defamation against protesters associated with Greenpeace for their distribution of anti-McDonald’s leaflets outside businesses.

In particular this part of the wiki article:

https://en.wikipedia.org/wiki/McLibel?useskin=vector#Libel_c...

>Steel and Morris chose to defend the case. The two were denied legal aid, as was policy for libel cases, despite having limited income. Thus, they had to represent themselves, though they received significant pro bono assistance, including from Keir Starmer.

Seems everything is very connected, never would of guess just a reference deep I'd find him there.
by bossyTeacher | 2025-09-14 00:11:37+00:00
Funny thing with people suddenly pretending we just got AI with LLMs. Arguably, AIs has been around for way longer, it just wasn't chatty. I think when people talking about AI, they are either talking about LLMs specifically or transformers. Both seem like a very reductive view of the AI field even if transformers are hottest thing around.
by foldr | 2025-09-14 00:13:30+00:00
GRT is racist because it's essential premise is that America belongs to white people, who are not the "existing population of [the] country" in any objective sense independent of racist ideology. GRTs do not care how long you have been in the US; they only care if you are white. (So people with indigenous ancestry and the great great grandchildren of slaves can go take a hike.)

Murder and political assassination are deeply wrong, but are you sure you really want to go down the rabbit hole of GRT apologism to make your point about that?
by hobs | 2025-09-14 00:13:34+00:00
In practical terms as long as no one sues they can do anything they want, if enough money on the table then yeah, someone's going to sue, and WP greatly meets that bar.

Had a project I was a major contributor on relicensed to appease microsoft of all things and I just didn't care enough to do something about it besides tell the person they were an asshole.
by cleartext412 | 2025-09-14 00:14:25+00:00
It seem that problem is not the use of water itself, but the fact that datacenters buy drinking-quality water under the same conditions and from the same source as regular citizens. Sure enough they are not doing it because there are no other ways, but because this way is cheaper.

There appears to be quite easy way to fix the situation by making it more expensive than using sea water or investing in closed loop solutions.
by bossyTeacher | 2025-09-14 00:14:29+00:00
> I've noticed this as well. It's a huge boon for startups, because it means that a lot of functions that you would previously need to hire specialists for (logo design! graphic design! programming! copywriting!) can now be brought in-house, where the founder just does a "good enough" job using AI.

You are missing the other side of the story. All those customers, those AI boosted startups want to attract also have access to AI and so, rather than engage the services of those startups, they will find that AI does a good enough job. So those startups lost most of their customers, incoming layoffs :)
by rorytbyrne | 2025-09-14 00:14:56+00:00
Cybernetics is essentially control theory, and many of the methods in neural network research came from there. For example backpropagation can be traced back to Pontryagin in the 1950s.

Training a nonlinear system to behave in a way you want is the raison d’etre of optimal control theory.

But I wouldn’t say it’s the birthing place of neural networks, personally.

https://en.m.wikipedia.org/wiki/Backpropagation#History
by armchairhacker | 2025-09-14 00:15:34+00:00
How will users choose who to follow? This was a real problem when I tried Mastodon/Lemmy/Bluesky, I saw lots of chronological posts but none of them were interesting.

Unfortunately, classical forums may have dealt with spam better because there were less people online back then. Classical forums that exist today have mitigations and/or are overrun with spam.
by credit_guy | 2025-09-14 00:16:23+00:00
A 10x reduction is very doable. Consider this: the Vogtle units 3-4 cost about $37 BN [1]. The similar size Karachi units 2-3 cost about $10 BN [2]. The difference is that the Karachi units were built by China. The design used at Karachi is called Hualong One [3], and since China built the 2 Karachi units, it has built 5 more, and has 15 more under construction and 9 more approved for construction. The cost of the reactors that China builds for itself is not known, but it's very likely lower than the ones that China built for Pakistan.

[1] https://en.wikipedia.org/wiki/Vogtle_Electric_Generating_Pla...

[2] https://en.wikipedia.org/wiki/Karachi_Nuclear_Power_Complex

[3] https://en.wikipedia.org/wiki/Hualong_One
by throwaway346434 | 2025-09-14 00:16:34+00:00
I strongly disagree with the premise of the article and content being reiterated here by a number of commenters.

An incredibly common pattern is a maintainer thinking they know better in an area they are inexperienced in, and rejecting change because they don't like the sound of something or are unable to see past their cultural biases.

We know this by another name - not invented here.

Common, practical areas this occurs in boring open source business CRUD applications:

- Address models aren't thought out. "Why would anyone want geocoding? What addresses don't fit the US style?"

- Phone numbers get modelled as plain strings and all of a suddenly "but changing them to be standardised is really hard"

- Company, brand, account structures rarely add URLs or links to external datasets. What possible use is a wikidata ID?

- Why would I put in vCard/CSV/Schema.org/any other import/export?

All of these areas are often ancillary to the primary purpose of whatever the application is, so get rejected out of hand.

But the use cases they enable for users - who don't use the application in isolation - are then completely blocked.

- Map, route or visualise spatial data mashed up with other datasets. Send people to remote locations without formal addresses.

- Hook up phone systems to make your system run for teams with centralisation, integrate SMS based messaging, etc.

- Join to public datasets to understand more about your customers (food safety, licencing registers, corporate entity registers, contract management systems, etc)

A typical maintainer is going to say "wait, what; my accounting system is all about finance, none of this is relevant!"; but they miss out on what users really want in many cases: interoperability or data portability.

The problem is the maintainer's frame is in their world view; and if they aren't dogfooding their project they aren't running into their users problems - how likely is it the maintainer is the BI analyst, or the low level data entry person, or from a country where QR code payment is the norm, or a million other considerations?
by sillywalk | 2025-09-14 00:17:36+00:00
Canada still has the Foreign Enlistment Act[0].

"Any person who, being a Canadian national, within or outside Canada, voluntarily accepts or agrees to accept any commission or engagement in the armed forces of any foreign state at war with any friendly foreign state or, whether a Canadian national or not, within Canada, induces any other person to accept or agree to accept any commission or engagement in any such armed forces is guilty of an offence."[0]

There are questions on whether it applies (from 2022):

"Gordon Campbell, a military and criminal lawyer at Aubry Campbell MacLean, told CTVNews.ca that the Foreign Enlistment Act only applies to Canadians who formally enlist with a foreign military, and is not convinced it applies at all in this situation. He says it is not clear whether Russia is considered “friendly” or not to Canada in this situation, in the legal sense.

“I know others have speculated that Russia might not fall into that category,” he said in a phone interview. “I certainly would not be that certain on the point… We're not at war with Russia, but the word ‘friendly,’ is never defined in the act, so who knows.”

Campbell said those volunteering in Ukraine have to understand that they could be charged in Canada under Canada’s Criminal Code or under the Ukrainian legal system, depending on the circumstances.

“If you're a Canadian and you've travelled abroad and you engage in certain acts, then you can -- in theory -- be prosecuted inside Canada for those acts,” he said.

“Just because you're in the middle of a conflict doesn't exempt you from Canada's criminal laws.”[1]

[0] https://laws-lois.justice.gc.ca/eng/acts/F-28/FullText.html

[1] https://www.ctvnews.ca/canada/article/legal-questions-abound...
by georgehotz | 2025-09-14 00:17:44+00:00
Author here. I agree with this comment, but if I wrote more like this my blog post would get less traction.

"LLM coding tools are search-based program synthesizers," in my mind this is what compilers are. I think most compilers do far too little search and opt for heuristics instead, often because they don't have an integrated runtime environment, but it's the same idea.

"Plenty of effective engineering tools are stochastic," sure but while a SAT solver might use randomness and that might adjust your time to solve, it doesn't change the correctness of the result. And for something like a fuzzer, that's a test, which are always more of a best effort thing. I haven't seen a fuzzer deployed in prod.

"Determinism comes from external specs and tests," my dream is a language where I can specify what it does instead of how it does it. Like the concept of Halide's schedule but more generic. The computer can spend its time figuring out the how. And I think this is the kind of tools AI will deliver. Maybe it'll be with LLMs, maybe it'll be something else, but the key is that you need a fairly rigorous spec and that spec itself is the programming. The spec can even be constraint based instead of needing to specify all behavior.

I'm not at all against AI, and if you are using it at a level described in this post, like a tool, aware of its strengths and limitations, I think it can be a great addition to a workflow. I'm against the idea that it's a magical English compiler, which is what I see in public discourse.
by UncleMeat | 2025-09-14 00:18:26+00:00
Kirk did not deserve to be murdered.

I want you to understand the hell that a friend of mine went through after being targeted by TPUSA for being a trans professor. Harassment and hate speech in class. Attempts to have them fired. Death threats, hardcore pornography, and extreme gore regularly sent to their email.

Kirk advocated for people to be deported for their speech. Is that how we handle things in a liberal democracy?
by NoahZuniga | 2025-09-14 00:19:05+00:00
These were just extreme examples to indicate that there can be social repercussions to dissenting.

Maybe a more convincing example is that if I advocate for making it easier to build housing because that will lower the cost of housing and many of my friends are homeowners, they might really not like me because lowering the cost of housing directly lowers their net worth.

Are these people evil for not wanting to lose their retirement savings (wrapped up in their home)?

Edit: also

> So you want your friend to be able to anonymously express their racism while being able to hide it from you?

While on the specific example of racism I'm pretty convinced of my moral correctness, I am not bold enough to declare that every bit of my worldview is the universally correct one. I am also not so bold to say that I will always be instantly convinced of my incorrectnes by a friend challenging my worldview (if they actually do have a better stance on some thing). My conclusion is that my friend should have some place to platform his better opinion without (having to fear) alienating me. And the only way to achieve this as far as I know is anonymous platforms.
by lr4444lr | 2025-09-14 00:19:53+00:00
IANAD, but

1) Isn't ApoB measurement pretty much in tandem with LDL, VLDL, and triglycerides? I realize it's being recognized now as the necessary factor for arterial dysfunction, but it seems like a lot of hoopla is being made as if it were some "silent" overlooked factor when for the vast, vast majority of people their ApoB levels are entirely explained by the other 3 lipid panel line items carrying it, and they have been in use for decades and are strongly targeted by the medical establishment

2) Isn't Lp(a) a separate lipoprotein altogether which is an independent risk factor for MACE? I've never heard of it "disguising" other cholesterol in testing.
by tguvot | 2025-09-14 00:21:37+00:00
claiming that question was made in bad faith is good way to avoid answering question.

and what you do also textbook sealioning. It's when you pick the worst possible intepretation of the comment and go with it. literally what you did.

there were no palestinian fractions in past decades that advocated for peace and two state solutions and got killed or displaced.

this is the core reason for you not been able to answering such a simple question and sailing away into "bad faith" and "sealioning" arguments.

i was under impression that this site encourages fact based discussion. fact based discussion typically requires facts. you have none.
by UncleMeat | 2025-09-14 00:21:44+00:00
Kirk believed that the civil rights act was a mistake. He advocated for people to be deported for their speech. He deliberately deadnamed trans people in public.

I'm sure he was devoted to his wife and kids. They are experiencing a trauma I cannot possibly imagine. But Kirk has said some remarkably horrible things as part of his political advocacy, which I don't believe is aligned with a path that follows Christ.
by villedespommes | 2025-09-14 00:22:12+00:00
This just reeks of bigotry or at they least of disingenuousness

Nuclear and chemical weapons, artillery were invented by West. The US remains (hopefully continues so) the only country that used the nuclear weapons against another country. All defunct European powers routinely engaged in slave trade, drug trade, ethnic cleansing (in very inventive ways sometimes as the Americans nearly exterminating the entire bison population which was the main food source for Native Peoples).
by ivansavz | 2025-09-14 00:22:36+00:00
There is no grand theory perhaps, but educational research is not totally useless, people have accumulated a lot of insights over the years and some of these "intuitions" are also backed by studies.

Here are some book-length reviews of currently known things about learning/teaching that I found to have a very high signal-to-noise ratio:

https://www.routledge.com/How-Learning-Happens-Seminal-Works...

https://www.routledge.com/How-Teaching-Happens-Seminal-Works...
by azjezz2 | 2025-09-14 00:23:01+00:00
Mago author here.

The online playground is running a very old version (~0.20.0 from months ago, which did not even have a static analyzer) and gives a poor impression of the current tool. That's on me to fix or take down.

The issue you saw with built-in classes like `RuntimeException` was absolutely a bug in those early alpha versions, but it has been fixed for a long time now. The analyzer has matured a lot since then.

The current beta is stable enough to be the sole static analysis tool for a couple of extremely well-typed projects:

- https://github.com/azjezz/psl/ - https://github.com/carthage-software/cel-php

I'd definitely encourage trying the latest release locally to get a real feel for it. Thanks again for the write-up!
by kristopolous | 2025-09-14 00:23:38+00:00
In the video, within the first 10 seconds, I should understand the offering of the product by seeing it.

You can get into the details later but right now I've got no idea what's going on here and don't know why I should invest my time in it.

You need to motivate people by showing off the thing.

Also on the phone it just says basically "go away". Once again, show me some video, song, Bandcamp, SoundCloud, something that would motivate me to switch to a desktop.
by nerdponx | 2025-09-14 00:24:02+00:00
The problem we are seeing in suburban MA right now is that they're building the wrong kind of housing to address the greatest shortage, and doing it in a way that does not promote the long-term community well-being. Developers are jamming in large numbers of small "luxury" units with insufficient parking in a car-dependent area in whatever lot they can get their hands on, instead of density increasing organically throughout the immediate area around downtown, adding ADUs and replacing large single family homes with 2/3/4-unit condos.

Why is this happening? Because zoning boards don't allow reasonable multifamily development in densifying areas, so developers do the only thing they can do, which is build in already-built-up areas with looser zoning, and/or ram projects through using a state low income housing provision called 40B.

The effect is that while the apartment market for young professionals is going to continue to soften, the market for comfortable family dwellings remains brutal and increasingly unaffordable. There are 80+ unit apartment buildings literally surrounded by multi-lane stroads, while less than a mile away there are single family homes on quiet tree lined streets where you could easily have the same number of units in multifamily condo buildings and garden apartments, and still retain the comforts of suburbia.

So whatever poison pills are in here, it cannot be worse than the status quo in MA, in which the development is too much of the wrong thing and everyone loses in the end except the developers and real estate agents.