skysight-inc/HackerNews huggingface dataset:
Washington must be clear with Beijing about the consequences of an assault on Taipei

And why would Beijing take the threat seriously? Is Beijing not seeing what everyone is seeing?

1. Trump's ultimate goal is to reduce American involvement in foreign affairs, not increase.

2. The US desperately wants to settle with Russia. He wants to win the Nobel Peace Prize by ending the Russian/Ukrainian war. He doesn't want to start a war.

3. Trump is signaling that he wants to expand the US by absorbing Canada, Greenland, and even Panama. This gives the signal to China and other countries that it's ok to take over your neighbors now. Back to the 18th century land grab by superpowers.

4. By forcing TSMC to invest in fabs in the US, he's signaling that the US will have a small role, if any, in any China/Taiwan physical conflict.
> Go watch CGI in a movie theatre and it's worse than 20 years ago, go home to play video games and the new releases are all remasters of 20 year old games because no-one knows how to do anything any more. And these are industries

Maybe arts shouldn't have been industries. Look at sculpture or painting from the Renaissance and then postmodern sculpture and painting and you'll see a similar decline, despite the improvement of tools. We still have those techniques, and occasionally someone will produce a beautiful work as satire. We could be CNC milling stone buildings more beautiful and detailed than any palace or cathedral and that would last for generations, but brutalism killed the desire to do so, despite the technology and skill being available. There's something to industrialized/democratized art being sold to the masses that leads to a decline in quality, and it's not "because no-one knows how to do anything any more." It's because no one care nor wants to pay for anything beautiful, when there are cheaper yet sufficient alternatives.
No results like https://www.usatoday.com/story/news/politics/2025/02/28/fbi-..., huh?
You can't vibe code a prompt
It would have been nice to show a few more easy-to-understand comparisons. The "street view" image was nice, but blurry. Ditto with the map. I think if the last image of the two buildings had been shown side-by-side with the "correct" perspective, that might have helped explain the article.
Underrated comment.

My null hypothesis is that interest rates are over, fat is being trimmed, of course the people most affected are going to be those at the bottom of the food chain: inexperienced new grads.

Sucks to be a new grad (as it did in 2008-9), but in macro terms I'd say wait and check back in two years.
I don't get it, at all.

Why are experienced developers so enthusiastic about chaining themselves to such an obviously crappy and unfulfilling experience?

I like writing code and figuring stuff out, that's why I chose a career in software development in the first place.
> That's what makes them feel "alive" and "intelligent" to us.

What is the basis for this claim? Seems like "A" (chatbots output text sequentially) is true, and "B" (they feel intelligent to us) is true, and you're claiming "A causes B" without any support at all. Just because they happen to both be true and you personally feel there is a causal relationship, which proves nothing.
This seems pointless, i.e. they might formalize the machine learning models (actually, the Lean code seems an AI-generated mix of Lean 3 and 4, probably doesn't compile), but the actual hard part is of course the proofs themselves, which they don't seem to solve.

Theorems of the kind "model X always does this desirable thing" are almost always false (because it's an imprecise model), and theorems of the kind "model X always does this desirable thing Y% of the time" seem incredibly hard to prove, probably impossible unless it's feasible to try the model on all possible inputs.

Even formulating the theorem itself is often extremely hard or impossible, e.g. consider things like "this LLM does not output false statements".
> > My personal theory is that this is the result of an incompetent management class where no self corrections are happening.

> This is really a cultural problem that has infected management along with everyone else.

Because every time a natural correction happens, the government bails them out
I don't think C++ is good for comparison here - there's a huge elephant in the room of how much worse the overall experience of using C++ is both in terms of memory safety and convenience.

It's not as common of a problem in C# to just initialize the array to the elements you need. Most arrays in regular code you will see will have their elements initialized or materialized from LINQ anyway.

I agree that NRTs are "leaky" (and wish they did it better) but I do not run into the issues you do it seems and they are a massive productivity improvement, their static-analysis-based nature also helps with not dealing with some of the ceremony caused by e.g. Option<T> in Rust.

On the snippet above - it will print true only when called inside the constructor, when the field has not been yet assigned to. It will print false otherwise. I do not see this as an issue, although it is indeed subtle.
Waymo claims to operate in fog and rain since 2021: https://waymo.com/blog/2021/11/a-fog-blog
Are you based in Germany?

SAP is also a “German tech company”, and I bet most of their non-Germany based employees don’t speak German either.
That sounds about right to me. This was also her third denial of the same kind of visa, and she was spending an awfully long time in Mexico for someone who is not a resident of Mexico. On further reading, it's possible that she was deported through this process because Mexico didn't want her back - most countries will look at you very differently if any other country has denied you a visa.
There are now 5 or more gigafactories under construction producing electrolysers via roll-to-roll (automated) production systems, with the same or lower prices as alkaline, vastly decreased BoP costs, and all the qualities of PEM - plus proven stable efficiencies of 90%+.

These gigafactories are in a race and those who fail will quickly get replaced by another electrolyser technology, production method or whatever. The Chinese will then buy up the IP and perfect whatever works, and the cycle will continue.

I can guarantee: it will be like solar manufacturing in the past, with all it's pitfalls and market/policy based competition.

If you type in "AEM electrolysis" in the Norwegian funded (anti) hydrogen rag, 'Hydrogen Insight' you will see that governments are now starting massive investment in new electrolyser tech of their own.

The game is over for slow ramping or PGM-dependent electrolysis manufacturers.

Governments will eventually see past the entrenched fossil-sponsored hydrogen lobbying and start investing in this truly gamechanging industry as the EU H2 pipeline infrastructure builds out and secure markets for offtakers are established - all within the (legally binding) conversion of the entire EU gas network.

Scary for some, but this is going to happen.
Right: now you have ~29V and a bunch of amps. With other trash combos, you have other voltages. And that's assuming you have a working voltmeter to even know what you have. Different trash will give you a different output, and what will you do with that?

Plug it into the 'universal transformer' I was talking about, and you're in business. Known power output (that won't fry your precious electronics) and you don't have to care much what the input is.
Just a heads up I do work with Milly, but this was a great read having seen so much advice around getting LLMs to do _all_ the work for you.
I'm fascinated by the island of instability at 5. There are no stable elements with 5 baryons.
If you have the freedom and you love computers and programming, depending on your taste, making games, retro hardware, OSs, database or programming languages (type systems/proofs) is the best thing in the world. It's intellectually challenging and if you don't need make money per se, it's very rewarding.

I recommend it.
Yeah, but a more useful analysis would be to look for a median instead of mean, or clean the dataset to remove outliers to say something like, of those who play video game, the average/median is... this would also lead itself to the next step of analysis about if it's an important factor like you mention by categorizing them into players vs non-players.
Lower income people, in the U.S., tend to live in cheap areas and use a car to access employment in an hour+ radius. Making driving expensive for them simply means limiting their employment or cutting them off from it entirely.

Driving should not be a privilege exclusively for rich people. Poor people cannot afford to pay an Uber to drive them around and can’t afford to buy some Tesla with FSD either. Waymo would be grossly unaffordable for a 120 mile daily round trip commute.

In Australia I met people with even longer commutes - going 150km to get to a job, mostly due to how unaffordable housing has become.

If you want to take away people’s cars, you need to make sure they can access employment and have affordable, safe housing. Remember that half the population makes less than the median income.
These are survey questions. It seems to reveal most about cultural differences between what different groups feel like they are allowed to feel.

It would be difficult to control for this but it’s just naive to think these numbers should be interpreted in the straight forward manner presented.

It’s obvious that men and older people would likely report less loneliness as a cultural instinct, on average, for example. This is distinct from actual loneliness, though, which would be higher in both groups. At least if you think suicide rates are correlated.

It’s an important topic but this is unfortunately just going to muddy the waters.
Came expecting commentary on the POV used in the (excellent) novel, learned great stuff about visual arts and incidentally more context about the book. Thanks for posting!
That's probably true, however I'd be really curious to know why Chrome's guess for "yes" is the Spanish word for "Y-junctions" instead of the English word yes.
AI has a large memory advantage in terms of what it was trained on. It also has a massive memory disadvantage in terms of its ability to update its understanding of the world. As the article points out, the context is still orders of magnitude too small for even playing a children's game, so the model forgets what it has already tried and gets stuck.
>I mean, like, Disney has been getting worse at CGI, but only because then whole company has given up.

I think that's the main point, yes. There's a sense before that companies were trying to push the envelope. These days it's just a shrug and cynical minmaxing of funds to the shareholders. CGI 20 years ago was objectively worse but you can tell they had way to hide the flaws or redirect the eye away from them. Now... Ehh, who cares? Just get the first pass through.

If you want a relevant example: some people say Lili and Stitch's life action has a weird looking stitch model. Part of thst is because way back in 2005, the original Stitch was simply never meant to be looked at in a side profile for an extended time. Art directors made sure to avoid that angle in every frame they drew. 20 years later... meh. Ship it. Screw the outsourced CGI trying to model something better, the cinematography begin careful of angles, nor any reaction from "nitpickers". We got the IP, it'll make money.

It's not a franchise killer but it'd just one example of the many broken windows
You mean like Boston? More than once I've had to tell an Uber driver I'll pay them more to slow down.
TV audience statistics are related to a lucrative branch of advertising. The higher the numbers, the higher that busyness is signifiant.

I’d be very curious to know how do they calculate “TV watching" statistics. Gaming is quite easier as you just count active playing time (=some input in the last ~5 sec) and there way less incentives to inflate the numbers.
Classic victim blaming this. She’s trying to enter an industry where certain tools are considered the professional choice. Her skills become tangled up in those tools, and then she’s priced out of using them. Using another tool probably wasn’t an option as an attempt to start a professional career. This is exactly the problem the video is all about, in so many ways.
.... with a note underneath urging readers not to copy and paste the character because it's only the graphical representation of it, not the thing itself.

Perhaps a more salient example might be CSV nested in CSV. This happens all the time with XML (hello junit) and even JSON— when you plug a USB drive into my LG TV, it creates a metadata file on it that contains {"INFO":"{ \"thing\": true, <etc> }"}
China Building Solar Station in Space Could Generate Practically Endless Power
> The building at the right is not squashed ? It is wider than in the Piranesi picture above.

The building on the right is squashed, in isolation. When you take the building by itself (in isolation), it is indeed wider than the picture above, but it is also the same height, i.e., squashed.
I have yet to see a single thing that AI is better than humans at. Faster, yes. Better than average, yes. Highly useful in areas that are not your expertise, yes. AI does have its valuable use cases.

But better than all humans? Not one thing. And I'm not sure they can be - no matter how much context we add, they are still churning up and regurgitating human-created data. They cannot innovate.

The only way I could rationalize such a claim would be to define "better" as "good enough and a lot faster".
He/she forgot Na for National.
The director also made Kim Jong Il’s Comedy Club[1], an absolutely insane documentary on North Korea.

[1] https://www.imdb.com/title/tt1546653/
With how toxic many online communities are, I wonder what that says about how the real world must have treated them.
From what others have posted, this sample was apparently 35 nanograms salvaged from a smoke detector - and was sold by the online store embedded within an acrylic cube labelled "plutonium" in addition to still being in the original casing from the smoke detector.

To me it seems like that's strictly less likely to cause a Goiânia incident than when it was just in an old smoke detector that could've potentially be thrown out without consideration.
For all its excellent marketing, of course Denmark has issues much like any other country.

It's still a great country, just take the marketing with a hint of salt - a self certain smugness / hubris can easily make you blind to real problems.
Great article. And thanks for the correct OSM attribution in your map images. :)
When I first read the examples, besides my laughter, I felt a similar disconnect im the semantics of the chosen German words. Thank you for you suggestions, I agree with all of them, they are better indeed IMHO.
Show HN: Substage – Natural language command bar for Finder windows on Mac
Hey all!

I’m a solo indie dev and I’ve been working on Substage – a Mac app that docks under your Finder window and lets you interact with your files using natural language. Stuff like:

• Convert to webp

• zip these up

• Author of this PDF?

• Download this file: <url>

• Is this really a PNG?

• What's 5 foot 9 in cm?

• Open in TextMate

Substage converts your prompt into a Terminal command using an LLM (GPT-4o, Claude, Gemini, Mistral, or your own local model), runs it, and summarises the output. If it detects something risky, it’ll pause for confirmation before running. Commands run locally on your Mac – Substage doesn’t access your files directly, just the metadata and paths you select. However, if you end up executing something like `cat yourFile.txt`, then it'll send that output to the LLM for summarization.

You can use the built-in models with a subscription, or use your own API keys for OpenAI, Anthropic, Google, or Mistral with a one-off purchase. It also supports local models via Ollama or LM Studio if you prefer not to send anything off-device.

I built it for myself initially – I’m primarily an indie game developer (co-founder of inkle), and I constantly need to wrangle videos, images, text files, and metadata. I’m okay with basic command line work, but I’ll never remember all the arguments to ffmpeg!

Very open to thoughts and feedback!
> I believe the US didn't enter until the sinking of the Lusitania.

The Lusitania was sunk in 1915, the US only entered WWI in 1917, mostly because Germany had recommenced unrestricted submarine warfare and proposed an anti-US alliance to Mexico (the famous Zimmermann telegram).
Depends on the program. In some cases you understand what it is to be done and it is about building and not discovery. Sometimes the discovery is "what are the requirements?" Some programs require a lot of "discovering" the truth about APIs you use. Some require discovering about how machine learning algorithms perform.

I have a few side projects that depend on arangodb, which like most databases from the 2010s, has a terrible license -- so I am getting these ported to run with Postgresql using JSONB.

I've been building an adaption layer that looks a lot like

https://docs.python-arango.com/en/main/

but it's turning out to be an interesting act of triangulation between

(1) The parts of the arangodb API I really use
(2) The requirements of my applications
(3) Affordances provided by SQLAlchemy and Postgres, and
(4) The database API I really want

So there has been a lot of discovery there.
I think the difficulty of media programming is overstated. It’s UX that kills the free alternatives. In the photo space Gimp, dark table, and rawtherapee often have more features than their commercial counterparts. For instance content aware fill was in gimp nearly a year before it appeared in photoshop. However this is often to their detriment of the software. Look at darktable, it’s a mess of visual algorithms and sliders that have names directly taken from the papers they implement and it’s a mess.
It’s always codecs.

I don’t always buy into the $safelanguage cargo cult but come on, it’s apparent that memory unsafe languages are not appropriate for this purpose and desperately need replacing.
Ehh. Sometimes you don't want to have to have string builders to assemble REST calls.
> That wasn't anything like normal fog, rain, or light obstruction

It does happen on occasion. Seasonally, sublimating snow banks can create fog that intense for hours if conditions are right. Also heavy smoke can create similar conditions.
The US used to have different speed limits for trucks. Oh the benefits of deregulation!
"DJ.Studio supports many file formats from MP3, WAV, AIFF, FLAC and more."
I think they're trying to convey "don't throw stones at glass houses." It sounds like they're trying to make the argument that if you're not practicing what you're preaching then you shouldn't preach. Not saying I agree with the sentiment; but I think that's what they're going for.

The reality is that you can have it both ways. I own an iPhone, I know how to build a computer, I buy software, and I know how to code. There is value in understanding how the things you have work, but that doesn't mean that you can't or shouldn't buy a high quality product just because you can't take it apart.
The live experience is something to be seen, it's not just the two Jons playing Birdhouse in Your Soul.

They have a very large band including a lot of wind instruments, and they really have fun with it. (Spoiler alert) they've taken to playing Sapphire Bullets of Pure Love in reverse, filming it live, then playing that recording in reverse for the audience (post-intermission).
This is an example of the broader explanation of why we can't have nice things. In a high trust society, condiment packets are free with the expectation that customers will be reasonable in their use. Then customers take advantage of this to use the free ketchup to fill a wading pool.
My wife knew their Drummer when she was a P.R. and Analyst relations executive with IBM. He was working for IBM research.
What went wrong with the Alan Turing Institute?
Qwen 2.5 Omni
I game and I consider it a waste of time. But it is a decent way to not think, or distract your brain by thinking about what's happening in the game. It's an escape from the misery of life, even if it's only temporary.
That’s a fine idea.
Your analysis assumes that we can readily know if it’s useful. But we often can’t.

Consider these absurdities: “I don’t need to test this new drug before releasing it to market, as long as it is safe and effective!

Or “I don’t need to worry about phishing scams. I can click on any link as long as it is safe.”

Or more to the point: “This food tastes good, so it must be good for me. There’s no need for hygiene and food safety laws.”

I don’t trust LLMs, because I have tested them, and continue to test them, and they are patently unreliable. They can still be useful in a momentary, self-contained way. But my studies have led me to use them only for answers that are easily verified.
> If your son has requested a new "processor" from a company called "AMD", this is genuine cause for alarm. AMD is a third-world based company who make inferior, "knock-off" copies of American processor chips. They use child labor extensively in their third world sweatshops, and they deliberately disable the security features that American processor makers, such as Intel, use to prevent hacking. AMD chips are never sold in stores, and you will most likely be told that you have to order them from internet sites. Do not buy this chip! This is one request that you must refuse your son, if you are to have any hope of raising him well.

That made me chuckle. I bought my first AMD processor a month ago so I guess I'm a real hacker now.
Great documentary! The story that chocked me most was the social democrat local politician that helped criminals launder money and evade taxes in his spare time… How low can you sink?
> By legibility I mean that the Piranesi distortion is easier to read, and that to anyone unfamiliar with photographs, that hasn’t grown up with TV, photographs and magazines, the Piranesi version would look much better, and the true perspective would look rather odd.

I think this is a key point that people are often unaware of. For instance, whenever I see a modern artist who has painted photorealistic art, I read discussion about how amazing it is that this artist can paint something so perfectly life-like, and the Renaissance artists were clearly inferior, since they couldn't paint with such skill.

Besides the obvious discussion about the purpose of art, the other question is whether a photorealistic painting is actually more "lifelike?"

Sure, it represents the world exactly the way that a camera sees it, but does it represent the world exactly as we see it? With our human brains we are filling in details, we are focused on the subject of the painting, we are distorting, we are re-mapping shades of color to what we know they ought to be. "Lens blur" in particular isn't remotely the way our eyes perceive the world: our eyes can never roam around the unfocused parts of our own image, rather we ignore the blurry parts unless we specifically try to notice them, and anything we try to focus on becomes sharp.

So I appreciate the authors recognition that Piranesi's perspective may indeed be closer to how we perceive the world than "correct" perspective.
After being a professional programmer for ~20 years, and recently playing around with leetcode - my main issue with leetcode is that there's almost no overlap between leetcode problems and the problems I actually encounter in the wild. The validation tests often have silly corner cases that force you into a single answer to avoid timing out. It's frequently as much work to understand what the problem is actually asking you as it is to implement a solution. Just like I've found ChatGPT to be pretty mediocre at writing the sort of code I work on, but others swear by it, maybe some peoples' dayjob actually looks like writing leetcode all day? I know a lot of interviewers use it, but it feels so disconnected from actual engineering work.