MurphyA/hacker-news huggingface dataset:
by AIPedant | 2025-06-27 20:14:44+00:00
We're speaking past each other since there's "expression" as defined in the Rust specification vs "expression" as in ordinary computer science, and Rust's use of return is certainly not an expression in the latter sense. It is shoehorned into being called an expression but it has no semantically meaningful type, it is an effect. A type is (carefully but somewhat arbitrarily) assigned to it, which is why some of those examples involving "return" are particularly goofy. It is not material for most programs since it only comes up with intentional misuse of the keyword. But "return" does not make sense in functional languages with true first-class expressions - functions don't return values, they get evaluated and the frame destruction / etc are all abstracted away. It makes sense in Rust because expressions in the CS sense of the term are ultimately not first class.
by elcritch | 2025-06-27 20:15:07+00:00
Pornography isn’t sex. It doesn’t promote healthy sex from the statistics I’ve seen. Many teenagers now think that doing sex acts they see online before even ever kissing is normal.

I also suspect it’s at least partly linked to declining reproductive rates. It’s the same as freely available sugar. Human ape brains weren’t evolved to handle this sort of easy access high dopamine stuff.
by Ancapistani | 2025-06-27 20:15:31+00:00
This EO is not even attempting to overrule the Constitution.

The 14th Amendment includes the language “and subject to the jurisdiction thereof”.

Is a child born to a foreign national who is present in the US without legal authorization subject to the jurisdiction of the US? Historically, we’ve said “yes”. This EO instructs the executive branch to adopt the position of “no”.

This is roughly equivalent to the EPA or BATFE changing the way it interprets an longstanding statute in a new way — which, by the way, they do very frequently.
by hmottestad | 2025-06-27 20:17:02+00:00
I wouldn't equate model weights with source code. You can run software on your own machine without source code, but you can't run an LLM on your own machine without model weights.

Though, you could still sell the model weights for local use. Not sure if we are there yet that I myself could buy model weights, but of course if you are a very big company or a very big country then I guess most AI companies would consider selling you their model weights so you can run them on your own machine.
by strangeloops85 | 2025-06-27 20:17:17+00:00
To those saying all you need is a lot of radiators.. remember that the radiators themselves gain heat from both sunlight and the Earth itself. It is a surprisingly tricky problem and, yes, all heat can be dissipated to achieve a desirable set point given sufficiently large area. But it is certainly not easier than just having say an economizer and dropping the data center in Iceland or a cold place. Makes no sense
by JojoFatsani | 2025-06-27 20:17:31+00:00
Or we could continue not subscribing to our OS and building our work suite a la carte. I saw your other post on this.. I know you want it to happen but it doesn’t need to happen.

Someone might build an ML driven OS or gui but the in time app delivery thing is just gonna piss people off. The machine won’t know why someone wouldn’t want a particular app so it’ll end up installing way too much “just in case” and become irritating.

Most people are looking for less, not more, whether they realize it or not.
by AgentME | 2025-06-27 20:18:33+00:00
A lot of people don't realize NodeJS was made because the creator wanted to make a runtime dedicated to asynchronous IO, didn't want to use a language with a pre-existing standard library and ecosystem built around synchronous IO, and realized that JS almost uniquely fit the bill. It was not built for the purpose of letting people who only knew JS use JS on the server.
by rayiner | 2025-06-27 20:19:12+00:00
That’s not quite an accurate description of the Princeton Study. What the study actually shows, if I’m thinking of the correct one, is that for the most part average americans agree with the elite. The results of the study are driven by the fact that when elites and average americans disagree, the politicians tend to side with the elites.

A prime example of this is the immigration system. https://www.nytimes.com/2024/10/29/podcasts/the-daily/electi... (“On the Ballot: An Immigration System Most Americans Never Wanted”). Americans never asked to import tens of millions of people from the third world. When Congress reformed the immigration system in 1965, they promised that wouldn’t happen. But for decades, there’s been a coalition of pro-foreigner liberals and pro-cheap-labor conservatives that have facilitated massive immigration that average americans never asked for.

Trump, ironically, is a reaction to the very thing the Princeton study identified.
by avsm | 2025-06-27 20:19:35+00:00
We demonstrated this in 2003 using the smartphones of the era (they didn’t have good filters, so you could detect ultrasound quite easily).

See https://anil.recoil.org/papers/audio-networking.pdf sec 2.1 for the 2003 paper and some ancient videos at https://anil.recoil.org/projects/ubiqinteraction if you want some Nokia nostalgia :-)
by Jensson | 2025-06-27 20:19:56+00:00
Why don't you include Mexico when you compare America to Europe? Are you trying to mislead someone?

The parts of Europe that weren't a part of Soviet overwhelmingly have better life expectancy than USA. Including the ex-soviet/communist states is like adding Mexico to US statistics.

Edit: Map of the soviet blocks, you can see it very closely correlates with this life expectancy map. When people compare Europe to USA, they compare western Europe, the soviet block states are not relevant in the comparison.

https://upload.wikimedia.org/wikipedia/commons/c/cd/Europe-b...
by kergonath | 2025-06-27 20:20:55+00:00
Well yeah. That is a problem as well. The whole US government is a steaming mess right now, just because we cannot mention everything that’s wrong every post does not mean that we should not discuss any specific example.

Yes, congress also abdicated its power. At the moment you have an executive branch ignoring law, precedent, and court orders, the legislative branch that is subservient to the executive and a judiciary in a state of civil war. None of that is right. None of the top-level institutions are working as they should.
by Ancapistani | 2025-06-27 20:21:11+00:00
A felon in Chicago who (illegally) possesses an unregistered machine gun cannot be prosecuted under the National Firearms Act, while the same person in the same circumstances in New Orleans can.

There’s case law in the 7th Circuit that says that requiring a felon to register it would be tantamount to compelling self-incrimination. That case was not challenged by the BATFE at the SCOTUS level for fear of the precedent being made.

As a result, NFA violations by anyone who cannot lawfully possess a firearm at all cannot be prosecuted in the 7th Circuit. They can still be prosecuted for simple possession, of course, but not for failing to register.
by archi42 | 2025-06-27 20:21:55+00:00
I'm not deep into the details of the AMD DRAM controller, but this detail could cause some of your anomalies. If this was an academic paper, the findings would be borderline invalid. You might want to remove the extra module and run the benchmarks again.

At least once the tests become big enough to have some data in both partitions, the bandwidth will start to matter.
by caim | 2025-06-27 20:21:57+00:00
And how would you conclude that "fast"?

You can have UB in "safe rust".

https://github.com/Speykious/cve-rs

You can even disable the Type check, trait check and borrow check in "safe rust"

And all of this is unsound.

https://users.rust-lang.org/t/i-finally-found-the-cheat-code...
by RiverCrochet | 2025-06-27 20:25:00+00:00
> surfacing new apps and features you might need.

What prevents this from degrading into "present apps and features you're paid most to present" like BREW phones of the 00's?

> If you click something that isn’t already installed, it simply pages it over the internet.

The late 90's/early 00's Windows stuff about "Intellimirror" and "Zero Administration Windows (ZAW)" I read from time to time made similar promises. It was eventually swallowed by the realities of laptops and how people typically expect to use them.

> There is no waiting for downloads or installs.

So you have some magical way to make 40GB AutoCAD install instantly? Wow.

> A flat-fee subscription is essential so you never have to worry about unexpected charges when you try a new feature/app.

This would be cool, but how are you going to get Adobe on board?

> Do you think this is where operating systems are headed?

I think if app stores become something that a device maker has to open, then the future of operating systems is something that sidesteps that.

Such as an operating system with fixed apps, or "meta apps" that are containers for types of apps.

For example, imagine if your phone had a "Rideshare" button (important not to call it an app), which is carefully made to be part of the OS from a legal perspective. Then, rideshare providers such as Uber/Lyft could pay to be visible on this app. The API between this button and the provider might eventually be 100% AI defined, and it can support "Business Differentiation Services" which would cover what's different between providers.

An incitation to make this scheme standard would of course be security, e.g. "Buttons are more secure for your data than random apps!"

If you want capabilities not on your current device you will have to buy a new device, and devices can be segmented depending on the "buttons" that are on them.
by TheAlchemist | 2025-06-27 20:25:31+00:00
I just can't wait when this grift will end.

They don't have the permit, nor did they even try to apply for one, to do that.

With the head of the program commenting under the tweet that the car reached 72mph speed... The same head of the program, that testified that the Paint in Black video, the infamous FSD introduction, was faked. He belongs in prison too.
by keymon-o | 2025-06-27 20:25:38+00:00
Reminds me of the time when GPT3.5 model came out, my first idea I wanted to prototype was ERP which would be based purely on various communication channels in between employees. It would capture sales, orders and item stocks.

It left so bitter taste in my mouth when it started to lose track of item quantities after just a few iterations of prompts. No matter how improved it gets, it will always remind me the fact that you are dealing with an icky system that will eventually return some unexpected result that will collapse your entire premise and hopes into bits.
by aerophilic | 2025-06-27 20:25:44+00:00
There is a neat solve for the thermal problem that York Space systems has been advocating (based on Russian tech)… put everything in an enclosure.

https://www.yorkspacesystems.com/

Short version: make a giant pressure vessel and keep things at 1 atm. Circulate air like you would do on earth. Yes, there is still plenty of excess heat you need to radiate, but dramatically simplifies things.
by Ancapistani | 2025-06-27 20:25:52+00:00
When you're broke, ADHD treatment consists primarily of caffeine and nicotine.

If you have a diagnosis from before you were broke, you can usually have it changed from the newer, more effective drugs that are still under patent to something generic that will still work -- but you have to be proactive.

Being proactive requires executive function. Lack of executive function is the very core of ADHD.

Oh, and if your finances are falling apart and you have an ADHD diagnosis, the ADHD is probably why you're falling apart.
by DWBH | 2025-06-27 20:26:26+00:00
Software engineer from the 1970s here - it's run its course. It's like the music industry; it was what it was until it no longer was anymore. AI replaces processes, which replaces people. Qualified and educated software engineers coming out of Asia are cheap and plentiful, and the majors are stocking up on them and dumping the end of career Caucasians. Don't waste your time; unless you have a great idea then code that bitch and see if anyone will buy it. Develop people skills, get an MBA, learn to sell. AI can't do that (yet). And, yes, it's all about 'realizing the value' which means revenue generation and cost savings. Loyalty died decades ago.
by janalsncm | 2025-06-27 20:26:46+00:00
The article they link has some more info on the mechanism.

http://www.chinaknowledge.de/History/Terms/feiqian.html

Ultimately crypto is trying to solve the same problem, keeping track of transactions on a ledger. Different cryptocurrencies have different levels of anonymity. Monero is probably more private than bitcoin (not an expert).

But yeah to me it seems like they could’ve written the same article and replaced flying money with crypto and it’s the same problem. Can’t share info with Chinese cops because of national security but if you ask me 81k dead per year (plus funding Mexican cartels) is a national security issue too.
by toast0 | 2025-06-27 20:26:47+00:00
> However, I can also foresee a lot of technical and legal complications, not to mention potential maintenance burdens.

Shouldn't have a maintenance burden. That burden will be extinguished with the corporation.

If I were you, I'd put it on github with a corporate account, leave a readme that it's abandoned and then mark the repo read-only.

Let (interested) customers know and encourage them to fork it. Disable issues and pull requests before you publish.

Alternatively, put a source dump on your website, and let people know they can put it on Github, but you're not doing it. If nobody republishes it before the corporate site goes down, it is what it is.
by ttcbj | 2025-06-27 20:26:48+00:00
I read your comment before reading the article, and I disagree. Maybe it is because I am less actively involved in AI development, but I thought it was an interesting experiment, and documented with an appropriate level of detail.

The section on the identity crisis was particularly interesting.

Mainly, it left me with more questions. In particular, I would have been really interested to experiment with having a trusted human in the loop to provide feedback and monitor progress. Realistically, it seems like these systems would be grown that way.

I once read an article about a guy who had purchased a subway franchise, and one of the big conclusions was that running a subway franchise was _boring_. So, I could see someone being eager to delegate the boring tasks of daily business management to an AI at a simple business.
by msgodel | 2025-06-27 20:28:13+00:00
I actually don't think AI is nearly as much an issue as office admins taking over and making professional collaboration somewhere between intractable and impossible.

Have better tools made software engineers irrelevant before? Lol no. They've meant more software which meant people needed more software engineers. AI is exactly the same.

It's like saying Ford's assembly line killed the automobile industry.
by BoorishBears | 2025-06-27 20:29:07+00:00
As a person who builds stuff, I'm tired of these strawmen.

It is helpful that they chose words that are widely understood to represent input vs output.

They even used scare quotes to signal they're not making some overly grand claim in terms of the long tail implications of the terms.

-

A person reading the release would learn previously Qwen had a VLM that could understand/see/precive/whateverwordyouwanttouse and now it can generate images which is could be depicting/drawing/portraying/whateverotherwordyouwanttouse

We don't have to invent a crisis past that.
by NobodyNada | 2025-06-27 20:29:52+00:00
Yes, exactly -- it's called the Never type.

It's also useful in more places than return expressions -- for example, you can make a function return ! to indicate that it's a non-returning function, which is useful for expressing, say, an error handler that must crash the program; or a main loop that must never return. It also can help the compiler generate more compact code when a function is known to not return.

There's currently work in progress to allow you to specify ! as a type everywhere, not just as function returns. This is useful where some generic code expects a function to return a Result with an implementation-specified error type, since an infallible implementation can specify ! as the error type. Then, the type checker can allow the programmer to unwrap a Result<T, !> without checking for errors, and the optimizer can remove the error-checking branches from generic code: https://doc.rust-lang.org/std/primitive.never.html

This has taken a very long time to implement, because of some very subtle implications on type inference that made it difficult to stabilize without breaking compatibility -- but the 2024 edition finally figured out a way to make it possible.
by gwd | 2025-06-27 20:30:27+00:00
Well over at AI Village[1], they have 4 different agents: AI o3, Gemini 2.5 Pro, and Claudes Sonnet and Opus. The current goal is "Create your own merch store. Whichever agent's store makes the most profit wins!" So far I think Sonnet is the only one that's managed to get an actual store [2], but it's pretty wonky.

[1] https://theaidigest.org/village [2] https://ai-village-store.printful.me/
by int_19h | 2025-06-27 20:30:59+00:00
This would probably need some special rules around stuff like:

typedef struct { ... } foo_t; typedef struct { ... } bar_t; foo_t foo = (bar_t){ ... };

i.e. these are meant to be named types and thus should remain nominal even though it's technically a typedef. And ditto for similarly defined pointer types etc. But this is a pattern regular enough that it can just be special-cased while still allowing proper structural typing for cases where that's obviously what is intended (i.e. basically everywhere else).
by sottol | 2025-06-27 20:31:39+00:00
I don't know that I 100% agree. I bet the A-pillar is for safety but hoods and grills are also getting so tall that some reports indicate the front blindspot can be as large as 16 feet! These grills are also more adept at killing pedestrians. I think it's partially because US safety is focused on occupants and ignores anyone outside the car afaict.

What I'm seeing in the suburban example graph in the article, is that the vehicle and hood have gotten way taller... I don't know how hoods/grills this high improve safety - I assume it's mostly the opposite. But they do "look rugged/beefy" - like all trucks and SUVs have to in order to sell - just look at the difference! [1]

"Millions of SUVs, trucks have dangerous front blind zone" [2]

[1] https://static1.hotcarsimages.com/wordpress/wp-content/uploa...

[2] https://www.nbcnews.com/news/us-news/americas-cars-trucks-ar... (or all the other writeups of this report)
by liurenju | 2025-06-27 20:33:30+00:00
After countless late nights building with my human cofounder and a lot of AI employees, SellToSky is finally live!

Upload a product, and watch your online store appear. No coding, no headaches, just pure magic.

Try it here: https://selltosky.com #ecommerce #startup #AI

Here are some example stores we built. Please don't make payment to any of these stores :)

1. Artisan Ceramics Shop: https://artisan-touch-ceramics-61394ec5.selltosky.app 2. TechSphere: https://techsphere-d2e066c1.selltosky.app 3. Nordic Nest Furniture Shop: https://nordic-nest-interiors-6904e5b0.selltosky.app 5. Skiing equipment Shop: https://snowboard-symphony-c41d3fff.selltosky.app 6. Magic Sorcerer’s Stone Store: https://mysticcraft-wands-b5b01c3e.selltosky.app
by 01HNNWZ0MV43FF | 2025-06-27 20:33:39+00:00
My facile policies would fix this

> Data centres require tremendous amounts of energy

Set up a pollution tax on losers like coal, oil, methane, and let the market pick winners like solar, wind, nuclear

> A lot of waste heat is generated running TDCs, which contributes to climate change

Pollution tax would fix this

> Real estate for data centres is a massive bottleneck and this land could be used for other purposes

Not really. They're super high density. A land value tax would fix this.

People will really put computers in space before reading Henry George. What has this country come to?
by littlestymaar | 2025-06-27 20:34:25+00:00
1g of acceleration is enormous compared to a child in a merry go round actually.

> And Gemini tested it once as well.

From Wikipedia:

They were able to generate a small amount of artificial gravity, about 0.00015 g

So yes, you need an effect 60 000 times stronger than this.

And you want that to be relatively uniform over the size of an astronaut so you need a very big merry go round.

Nuclear fission is also a basic feature of physics, that doesn't mean engineering a nuclear power plant is straightforward.
by kevin_thibedeau | 2025-06-27 20:34:35+00:00
Connectors have to survive the extreme vibration of a rocket launch. Parts routinely shake off boards in testing even when using non-COTS space rated packaging designed for extreme environments. That amplifies the cost of everything.

The Russians are the only ones who package their unmanned platform electronics in pressure vessels. Everyone else operates in vacuum, so no fans.
by whatever1 | 2025-06-27 20:35:00+00:00
Very relevant to the high skilled workers who are for decades in a visa status waiting for their green card processing. Their children, if born in one of the 20ish states that did not take legal action against the executive order, will NOT be american citizens.

In fact, I dont even know whether there will be a path to citizenship or legal status in general for their children, assuming they will probably be adults by the time their parents get their green card.
by tanepiper | 2025-06-27 20:35:32+00:00
I wrote a very similar web implementation 12 years ago as a proof of concept - if it got the go-ahead, the plan was to test it with some commercial TV broadcasting in the UK where a ultrasonic short code could be sent to phones using an app with a Web view, or possibly native app.

Sadly never got picked up, although we proved the concept could work - but it certainly had it's challenges.

https://github.com/tanepiper/adOn-soundlib

https://github.com/tanepiper/adon-ad-platform
by pvg | 2025-06-27 20:36:06+00:00
It's grim because it's mostly a made up, self-centered, apocalyptic view of the world - great in one's youth and now fallen. I think your other instinct - 'maybe I'm just getting old' is truer, and better - that doesn't have to be nearly as grim as the coping-mechanism-cum-manifesto in the GP comment would have you believe.
by derriz | 2025-06-27 20:37:54+00:00
It only has type !, if the return type of the lexically enclosing function declaration has the same type as that of <expr>, otherwise it's illformed.

For any expression NOT involving "return", I can write, for example:

const Z = <expr>

but I cannot if <expr> contains a return embedded somewhere. The existence of a "return" somewhere in an expression changes the character of the entire expression.

I.e. there are two classes of "expressions". Those NOT containing returns (which are equivalent to the notion of "expression" in the languages that Rust was inspired by) and those containing a return somewhere in them which are subject to further rules about wellformedness.

My point is that none of this is necessary at all - you don't need to provide type rules for every lexical feature of your language to have a language with a powerful expressive type system (like Rust's).
by tough | 2025-06-27 20:38:00+00:00
its a wourd soup machine

llm's have no -world models- can't reason about truth or lies. only encyclopedic repeating facts.

all the tricks CoT, etc, are just, well tricks, extended yapping simulating thought and understanding.

AI can give great replies, if you give it great prompts, because you activate the tokens that you're interested with.

if you're lost in the first place, you'll get nowhere

for Claude, continuing the text with making up a story about being April fools, sounds the most plausible reasonable output given its training weights