MurphyA/hacker-news huggingface dataset:
by rtp4me | 2025-12-10 13:17:31+00:00
I have been creating an MCP server over the past week or so. Based on what I have seen first hand, an MCP can give much richer context to the AI engine just by using very verbose descriptions in the functions. When it the AI tool (Claude Desktop, Gemini, etc) connects to the server, it examines the descriptions in each function and gets much better context on how to use the tool. I don't know if an API can do the same. I have been very, very impressed how much Claude can do with a good MCP.
by embedding-shape | 2025-12-10 13:17:40+00:00
Yeah, reading this part:

> We want to help people in the EU, but with laws like replaceable batteries, it's going to push us further and further away from being able to do that.

All I could think of was "Wow, the regulation works better than expected".

It's incredible the other side think of themselves as "We want to help people in this environment we don't understand, but receiving pushback" and yet they don't want to adjust, no, it's the environment that is wrong, even if it's built up by people.
by 542354234235 | 2025-12-10 13:18:08+00:00
I couldn't find any sources for widespread beatings of children to death by teachers.

>Ahn noted that prisoners detained in the punishment chambers were often crippled after three months and dead within five months. Ahn and other former guards have testified to the brutality that they were encouraged to demonstrate while punishing prisoners. Former guards have confessed that they were taught not to view prisoners as humans. However, the number of deaths from beating prisoners was so high that at one point, the guards were encouraged to be less violent. https://www.state.gov/wp-content/uploads/2019/03/Prisons-of-...

>One inmate recalls that as a 10-year-old he was told to lift a 30kg sack of earth (more than his own body weight) 30 times a day. If he slipped he was beaten with sticks by his teachers. Kang Cheol-hwan (former Yodok inmate. He was detained with family as a young boy). Here called: The work was too much for me or for any child of my age. But I did not dare to complain. After the first ten rounds, my legs started shaking, my body was hurting and my shoulder skin was peeling off. I was near collapse but the teachers were watching us and beating us with sticks if we stopped.”

>Kang Cheol-hwan also recalls deaths of children who were working at a work site. “The children in my class were ordered to dig and move earth to a work site 200 metres away. Twelve children dug holes with shovels and the other children carried the dirt in sacks or buckets. The dig site was a clay hill and the clay was quite soft. But we were afraid that as we dug deeper, it could collapse at any time. The teachers who were supervising us told the children to keep digging. After three days, the hill suddenly collapsed. There were six children who were on top of the hill when it collapsed. Three children were killed and the other three were badly injured. However, the teachers blamed the children for the carelessness.”

>Between the ages of 13 and 16, Shin recalled: “I was forced to undertake dangerous work and saw many children killed in work. Sometimes, four to five children were killed in a day. On one occasion, I saw eight people killed by an accident. Three men were working high up on a tall cement wall, three 15-year-old girls and two boys were helping them with mortar below. I was carrying mortar to the children when I saw the cement wall falling. Eight were buried under many tons of mortar; there was no rescue. Instead, the security officers told us not to stop work.” https://www.amnesty.org/en/wp-content/uploads/2021/07/asa240...

>Security officials armed with machine guns gathered together all the political prisoners at the camp to witness the hanging of the two adults and the execution by firing squad of the three children.

>“Interviews were conducted with 35 defectors who had escaped from various detention facilities in the preceding 18-month period, and 31 of them testified to having witnessed the killing of newborns.” https://web.archive.org/web/20141006072142/https://www.kinu....
by crazygringo | 2025-12-10 13:18:12+00:00
That's not "prepaid", that's just normal building of hardware. And Apple's AI hardware is pretty general-purpose -- it's already widely used for things like dictation, image recognition, all sorts of stuff. Sure they've upgraded their "neural engine" into a "neural accelerator" to optimize it more for LLM's, but that's still incremental.

What Apple is also doing is investing server-side, just like everybody else, precisely because phones can't handle the serious stuff:

https://www.macrumors.com/2024/12/11/apple-intelligence-serv...

So I'm not really seeing the unique Apple advantage here. Samsung is doing the exact same thing with Android, with LLM-optimized silicon.
by FabCH | 2025-12-10 13:18:30+00:00
Laws are not enforced by machines, but by humans.

The answer to all of those is "yes" and they will not bother to find them, they will ask you to list them. Omitting information or providing false information on your visa application is a felony.

It's the same logic as behind the "Are you a terrorist?" question. Lying is itself a crime, and can be used to prosecute you in the future.
by rayiner | 2025-12-10 13:18:35+00:00
That's like saying aircraft inspections is the FAA's job and it's not Boeing's job "to just hand everything over." Entering into a country's borders is a privilege and you submit to an inspection in doing so. One of the very first things the American founding fathers did in 1789 was to create a customs service to perform border inspections: https://en.wikipedia.org/wiki/United_States_Customs_Service.
by nness | 2025-12-10 13:19:20+00:00
I visited in June 2025, roadtrip down the West coast. I was somewhat concerned about immigration, but surprised we were able to use the Mobile Passport Control app and utilise the fast-line to skip a 3~ hour immigration queue.

I was surprised at how few international tourists there were. I had read about a decline, but everywhere we went felt quite empty...
by nemomarx | 2025-12-10 13:19:22+00:00
The media is generally fairly complacent about it - the drama is good ratings material. And you can't link angry blue sky posts or substacks really.

Occasionally someone does comment about it and get flagged, ofc? and this article is part of the news about it, just like the discussion of the WB buy out and how paramount was going to offer trump control of a news channel for the same one or etc
by homo_economicus | 2025-12-10 13:20:13+00:00
>the board’s job is to maximize long‑term shareholder value

Under Revlon, the duty shifts to securing the highest value reasonably attainable on a risk‑adjusted present‑value basis. That means cash vs. stock/stub must be discounted for Price, time to close, financing costs, taxes, and break fees (EV ≈ price × P(close) − time/financing − taxes ± fees). If that math favors $30 cash, picking it isn’t indulging shareholder preference; it’s fiduciary duty. Netflix’s package only wins if it beats $30 after those discounts, and the board has to show that.
by iamnothere | 2025-12-10 13:20:37+00:00
The Atlantic summarizes the situation somewhat but with perhaps too much brevity: https://www.theatlantic.com/politics/archive/2025/10/democra...

Evidence: I was there, do your own research if you care so much. This isn’t a formal debate, and anyone who has eyes, ears, and a brain can figure it out.

You keep shouting demagogue, demagogue! As if anyone outside of the political class cares. Solve the people’s problems or there will be more (and worse) demagogues. It’s your only option.
by BLKNSLVR | 2025-12-10 13:21:05+00:00
What of those who have virtually no footprint?

Almost the only thing I have is LinkedIn, which is always only as up to date as the last time I changed jobs, which I don't do often.

No Facebook, insta, snap, twitter, tiktok. I subscribe to maybe five channels on YouTube.

My HN account isn't linked to my main 'identity' email address so I could hide it just by having a clean phone (which I do for international travel anyway).

I feel like I'd be suspicious due to the lack of traceability. I've had work colleagues say that they couldn't find a trace of me online (although that was a while ago now, and not colleagues who are adept at online sleuthing).

My age may be just enough to be believably not terminally online.
by Xylakant | 2025-12-10 13:22:15+00:00
How is the drive-by statement of a random GH account with 9 followers representative of any community. What's the point you're trying to make? That there's people with shitty behavior in the Rust community? No surprise here, there are. That there's trolls out there that just do this for fun? It's the internet! I hope that doesn't surprise anyone by now.
by embedding-shape | 2025-12-10 13:22:31+00:00
Literally all data coming in/out of the US (lots of it, even between other countries sometimes routes in-between US network transit points) is kept, and considering the possibilities that just private companies have today by dealing with data brokers and others offering "social media protection" (or whatever they call it today), it's hard to even imagine what the government and its agencies can do.

Did we really forgot about what happened back in 2013 so quickly? Did people assume all these agencies suddenly stopped doing what they've been doing for decades? Nothing you do on the internet with regular network connections are hidden to these entities, don't live falsely under the impression that you can.
by wongarsu | 2025-12-10 13:22:35+00:00
Github: https://github.com/zhu-xlab/GlobalBuildingAtlas

Viewer: https://tubvsig-so2sat-vm1.srv.mwn.de/ (might already be hugged to death? When it works you get a heatmap when zoomed out, and 3d models with flat roofs when you zoom in far enough)

Looks pretty cool. Obviously only covers above-ground buildings or above-ground portions of buildings. Also seems like it tends to view buildings built wall-to-wall next to each other as the same building, but not always. So if you calculate something like average building volume you are bound to be off quite a bit
by ismailmaj | 2025-12-10 13:23:48+00:00
I find it a bit too introspective, living in a specific period creates urgency, there is still a (opportunity) deadline.

My concerns are more practical:

- How do we make sure power-wrestling bad leaders don't halt generations, currently old age gives us a soft reset.

- How do we cope with suffering? With no clear end in sight I expect more mental health problems. And I'm unsure we can remove those issues without striping the humanity out of people, I would for sure hate to be turned into a calculator with qualia.
by parrellel | 2025-12-10 13:24:40+00:00
I wonder if this is a media bubble thing, because basically all I see online is the opposite. The difference between the screaming outrage there and the complete absence of news reporting it tends to get pretty freaky.

I mean, we've got 20 point swings in special elections and mass protests ranging from large to huge all over the place and you'd barely know if you were looking at the evening news.
by raw_anon_1111 | 2025-12-10 13:24:51+00:00
Political discussions have always been frowned upon in HN. Any discussion just leads to whataboutism. What’s the point?

On the other hand, this is what a large part of the country has always been about. The establishment has just been able to keep the worse parts of it down and do everything through dog whistles instead of outright racism.

I’ve seen people afraid to talk about politics for financial reasons. Everything from Micheal Jordan’s “Republicans buy shoes too” to James Thompson of Stratechery who euphemizes that Trump is “transactional” instead of just outright saying “he openly accepts bribes from companies” - referencing the $15 million Paramount gave him directly for the merger to go through.
Show HN: Calamari – single-host restrictive proxy (with squid)
by calamari-proxy | 2025-12-10 13:24:54+00:00
A security-focused tool that implements an extremely restrictive network environment where nothing on the host can access the internet by default. All outbound internet access must be explicitly configured to use the Squid proxy, creating a "default deny" posture where applications cannot phone home without permission.

Expects/requires debian currently, using ip-tables -m owner to limit outgoing traffic to the dnsmasq, squid and chrony user.
by qwertox | 2025-12-10 13:25:14+00:00
I ordered it because I often want to record short notes when I'm driving or doing something else, without using the phone. Maybe I'll use it once a day, or twice every three days, but when I'd use it, then because there's really a need for that.

And the ability to post-process the audio on my own, to transcribe it and then let an MCP server add the transcription to my notes in Obsidian removes all the hassle of micromanaging notes. Let's see how it works, but I think that this can be useful.
by chongli | 2025-12-10 13:25:37+00:00
When people complain about APM in an RTS like StarCraft, they’re really not complaining about the spam clicking done by players at the pro level. They’re talking about multitasking which is an essential skill at all levels of the game.

Not even at the lowest rankings are you permitted to ignore what your opponent is doing and focus on building workers and base facilities. StarCraft is infamous for the ability of anyone to sacrifice their economy to perform an early rush attack (most infamously with a ton of early zerglings).

To combat early rush attacks you need to be able to multitask: send out early scouts to see what your opponent is doing, if they have any hidden building on the map, how many workers they have, etc. You need to be able to do this while building your own workers, base facilities, and units for defence. This is the multitasking that so many struggle with and it’s required to be able to play at the most basic level!
by Joe-Dart | 2025-12-10 13:25:52+00:00
Writing off an entire facet of life as toxic, is toxic.

Anything taken to extreme can be harmful, but some of the most grounded and successful (as in, living well) people I know are those with a self-aware religious foundation to lean on. People may bring up examples of religious cults as a reason to discard all religion, but surely the same could be said for the many secular cults. We shouldn't throw out the baby with the bathwater, as they say.
by embedding-shape | 2025-12-10 13:26:10+00:00
Considering that fascism is the de facto political ideology of the administration and the people who elected it, being against it would definitively be seen as "Anti-American" which seems to be something that is about to become illegal, and probably labeled as "terrorism" in the near future. See https://www.whitehouse.gov/presidential-actions/2025/09/coun...

Edit: Ah, and of course, I forgot the most obvious pointer; being against fascism in the US literally labels you as a "domestic terrorist" for some reason, although the US traditionally been against fascism up until this point. What, why and how people are accepting the whole "If you're against fascists, you're a terrorist" charade will probably forever be a mystery to me. https://www.whitehouse.gov/presidential-actions/2025/09/desi...
by bayindirh | 2025-12-10 13:26:18+00:00
Personally, I observe that Rust is forced everywhere in the Linux ecosystem. One of my biggest concerns is uutils, mostly because of the permissive license it bears. The Linux kernel and immediate userspace shall be GPL licensed to protect the OS in my opinion.

I have a personal principle of not using LLVM-based languages (equal parts I don't like how LLVM people behave against GCC and I support free software first and foremost), so I personally watch gccrs closely, and my personal ban on Rust will be lifted the day gccrs becomes an alternative compiler.

This brings me to the second biggest reservation about Rust. The language is moving too fast, without any apparent plan or maturing process. Things are labeled unstable, there's no spec, and apparently nobody is working on these very seriously, which you also noted.

I don't understand why people are hostile against gccrs? Can you point me to some discussions?

> It feels somewhat like a corporate takeover, not something where good and benign technology is most important.

As I noted above, the whole Rust ecosystem feels like it's on a crusade, esp. against C++. I write C++, and I play with pointers a lot, and I understand the gotchas, and also the team dynamics and how it's becoming harder to write good software with larger teams regardless of programming language, but the way Rust propels itself forward leaves a very bad taste in the mouth, and I personally don't like to be forced into something. So, while gccrs will remove my personal ban, I'm not sure I'll take the language enthusiastically. On the other hand, another language Rust people apparently hate, Go, ticks all the right boxes as a programming language. Yes, they made some mistakes and turned back from some of them at the last moment, but the whole ordeal looks tidier and better than Rust.

In short, being able to borrow-check things is not a license to push people around like this, and they are building themselves a good countering force with all this enthusiasm they're pumping around.

Oh, I'll only thank them for making other programming languages improve much faster. Like how LLVM has stirred GCC devs into action and made GCC a much better compiler in no time.
by tim333 | 2025-12-10 13:27:29+00:00
Anecdotally, living in London where we have congestion charge, I doubt it changed GDP much. GDP is basically total spend and if people don't spend on one thing they'll probably spend on another.

In terms of real economic output I'd guess it helped a bit as it made things quicker for workmen who needed to get around while reducing the more leisure driving. But we've had lots of much larger changes like covid and brexit that would probably drown things out in the numbers.
by dangus | 2025-12-10 13:27:37+00:00
A lot of obviously positive things correlated with lower birth rates, like not having half your kids die before they reach adulthood, being able to treat infections with antibiotics, not needing a crazy amount of labor to keep subsistence farming going.

Birth rate collapse itself is a positive thing, this planet can’t ecologically sustain pre-industrialization birthrates combined with modern medicine and life expectancy. Back in the mid-century there was a lot of academic concern about overpopulation.
by embedding-shape | 2025-12-10 13:27:43+00:00
> Besides, why would you want to come if you don’t like it here?

Family, work, others in the group who enjoy it, the level of enjoyment might still be above the level of frustration, wanting to help, emergencies, etc. I could think of many reasons one would want to go to a country even though you disagree with ~50% the population + current leaders.

I've been in North Korea as an example, but I'd never claim to support the ideas and politics of their leader(s).
by dpoloncsak | 2025-12-10 13:28:29+00:00
Are we completely ignoring the tonnes of awful things people have done in the name of their god? Belief in a higher power doesn't automatically make you good/bad. The same is true of the inverse.

>Without God, the only arguments for love, or what is right, is just what people think/feel/agree on at a certain time and place, which has a lot of variations and is definitely not universal.

Lets ignore that laws exist for a second....Does god say everybody in Manhattan should reserve the left side of the escalators for people walking up them, and the right should be left for people just standing and escalating? No, but somehow a majority of the population figured it out. Society still has rules, both spoken and unspoken, whether god is in the picture or not
by mmustapic | 2025-12-10 13:28:38+00:00
I'm very glad Boom has to pivot to AI data centers: this means their main objective (building a supersonic plane) is in trouble, and they'll go broke soon.

Since the beginning they've been lying with green buzzwords or even "USD 100 in 4 hours to anywhere in the world". The reality is that the plane would be used by business and rich travelers burning more fuel just to save a couple of hours. Flying slower if always going to be cheaper and more efficient (unless they are working on a new technology, but they aren't). They even have the audacity to applaud themselves with the phrase "the first completely private supersonic plane", with a picture of their demonstrator beside a supersonic chase plane from the 60s.
by lukeasrodgers | 2025-12-10 13:29:33+00:00
I would like this to be true, but am a bit skeptical.

I am what the article calls an "industrial software engineer" and I work on "low- to medium-assurance" projects, but have used various formal methods (alloy and TLA+) in my work to prevent and discover bugs.

I've experimented with using LLMs to generate both Alloy and TLA+ a couple times over the past years, and the problems I see are:

- They have gotten better over the last few years, but still can only produce useful results in the hands of someone who is moderately competent. Becoming moderately competent requires many hours of investment in these tools, and you will lose much of this competence if you don't keep it up. For example, I can still read TLA+ and Pluscal but can't write them without lots of referring to the docs because I only write them like once or twice a year.

- They suffer even more from GIGO than other aspects of software development. If you can't really rigorously define your problem you will get a bad model/output that only gives you false confidence. A large part of the value of doing formal methods is building the muscle for thinking rigorously. Hillel Wayne says this in several places, that doing enough TLA+ (e.g.) work gives you a much better innate sense for where there will be race conditions.

- There will still be a cultural and technical problems with integrating formal methods, and their artifacts, into the rest of your codebase and team. For example, how do you prevent drift? Will you have a CI automation that uses an LLM to detect when the spec has diverged from the code?

I'm not saying it is impossible that this will happen, and I would love to be wrong, but the general tendency I see with LLM use is to make software developers less intimately familiar with their tools, and less invested in deeply understanding their code. That bodes ill for formal methods even more than regular programming.
by brokencode | 2025-12-10 13:30:00+00:00
I’m not so sure. The big selling point for Rust is making memory management safe without significant overhead.

Zig, for all its ergonomic benefits, doesn’t make memory management safe like Rust does.

I kind of doubt the Linux maintainers would want to introduce a third language to the codebase.

And it seems unlikely they’d go through all the effort of porting safer Rust code into less safe Zig code just for ergonomics.
by adadu2 | 2025-12-10 13:30:12+00:00
No more analyst-to-engineer shuttle runs!

Data teams move fastest when analysts can contribute directly to pipelines without compromising quality or depending heavily on engineering support. That’s the workflow we’re enabling with Zingle.

Data Engineers connect their production pipeline codebase once and define the rules and guidelines that every change must follow. Analysts then describe the output they need, and Zingle generates the complete plan: lineage, model structures, SQL files across all layers, and relevant data-quality tests.

Zingle enforces all project requirements, estimates cost and runtime, and automatically prepares a pull request with the full diff, metadata, downstream impact, and merge-safety indicators.

Analysts stay productive. Engineers stay in control. And pipelines stay reliable.

If you're exploring how AI can safely accelerate your data engineering workflows, talk to us at Zingle AI Lab.