MurphyA/hacker-news huggingface dataset:
by churchill | 2025-09-27 19:01:01+00:00
>They can be blockaded from petroleum access with a single us carrier group, which will happen if they invade Taiwan and I don't think they can help themselves.

I doubt it. This is just an armchair general's cope that's so faulty that I don't know where to start attacking it from.

Since Clinton's 1990s show of force in the Taiwan straits, China has built up a formidable navy, esp. their submarine forces. Within the straits, their AA/AD web, SOSUS, etc. guarantees they have freedom of action. Moving further, they have a strong submarine component that can seriously threaten any blockading forces.

They're also the world's sixth largest oil producer, and Naval War College [0] estimates suggest that they can stretch their emergency reserves to 8 years if they enforce, say, 45% rationing.

That's before you factor in that you'd be blockading up to 60% of the world's seaborne cargo volume, both from China, Japan, South Korea, etc. Unprecedented in the whole of human history.

Then there's their formidable 5th-gen. air force that can dominate South Korea, Japan, etc. easily, nuclear weapons that guarantee they won't lose any territory, and the massive economic whiplash the entire West will face as a result.

India might hate China, but it wants a multipolar world and won't help the West cut them down to size. So, they won't assist with the blockade.

The rest of Southeast Asia's economies are deeply interconnected with China, and they don't want to stir up their wrath, so they might condemn them, but won't even wave a stick at them.

Give it up, man.

[0]: https://digital-commons.usnwc.edu/cgi/viewcontent.cgi?articl...
by paulcole | 2025-09-27 19:01:08+00:00
> There is nothing distinct about Indiana, it's just a place full of people who got too tired on their way to somewhere better and decided "this is good enough".

This is how Norte Dame was (allegedly) founded. Priests set out from the East Coast, planning to found the greatest Catholic University in the world in California. They get to Indiana and encounter a terrible snowstorm. They hunker down and decide they’ll get moving again when the weather improved. It never did.
by monocularvision | 2025-09-27 19:01:12+00:00
Definitely tougher to make and maintain friend relationships at this age. Most of my group comes from church but think about other social settings or clubs that might provide opportunities to make connections.

The other suggestion is to not worry about who initiates what. I make it a habit of reaching out to people and don’t mind if I am the one doing so the majority of the time. It is so easy, for me at least, to fall into the trap of keeping track to make sure the people “care enough”.

Hope that helps and hopefully my entirely unasked for advice wasn’t inappropriate. Only responding because I am a similar age and struggled with the same.
by bobbiechen | 2025-09-27 19:01:39+00:00
Anyone know how this works under the hood? Hoping it's content negotiation (like Accept) rather than user agent sniffing.

I've been working on AI agent detection in various forms lately (IsAgent, Web Bot Auth), and it feels like we are in a critical period. Can we establish norms that accurate self-identification is good and useful, actually? Or will we slide back into impersonation a la the user agent, like https://webaim.org/blog/user-agent-string-history/ ?
by throwup238 | 2025-09-27 19:01:42+00:00
In Scotland they would have smeared bog myrtle over themselves. Other alternatives were animal fat mixed with an aromatic or even tar and pine resin. As far as I know most cultures had some sort of equivalent.

The best contemporaneous example would be the otjize clay rub used by the Himba in Namibia. It’s largely an adaptation to water scarcity but it also protects them from insects and cleans their hair and skin by trapping dirt and flaking off.
by acdha | 2025-09-27 19:01:52+00:00
Elon Musk had the opportunity to demonstrate that, and his track record is negative savings once you factor in the lawsuit losses, economic shrinkage, and vast inefficiencies DOGE cost. For that matter, I note that there’s a direct line from the DARPA grand challenges two decades ago and Waymo’s L4 self-driving cars while his purportedly magic touch has Tesla stuck at L2 for over a decade despite frequent claims that they’re about to make some advances. I bet the DARPA people wouldn’t have nerfed the sensors to save ~1% per vehicle.

There are two major drivers for talking about government inefficiency. One is the laws Congress passes, which agencies have to follow: requiring use of private contractors instead of hiring staff significantly increases costs and lowers efficiency, for example, and things like the Senate Launch System only make sense when viewed from the perspective of maximizing jobs in home states. The other is that a lot of the inefficiency is really differences in service: when people look at how much the post office, VA, SSA, etc. spend one of the things which is easy to forget is that they can’t reject people who are harder to serve so a comparison to companies who can stop serving unprofitable regions or demographics are going to be really misleading.
by fatihkocnet | 2025-09-27 19:02:31+00:00
I really believe that. With the rising of AI technologies and automation tools like n8n makes really easy to create fake contents, communities, comments etc. There are tons of contents about automating content and fake users. I've recently posted a content on Reddit and realized some of the comments are just rephrasing my original content and rewriting it with a few sentences. Don't know what they are aiming for.
by tsimionescu | 2025-09-27 19:02:33+00:00
> My understanding of what MCP is - is that it’s just a standard on how to provide tools/functions to LLMs to call.

That's exactly the point the GP was making: this is a fundamentally unsafe idea. It's impossible to allow an LLM to automatically run tools in a safe way. So yes, MCP as means to enable this fundamentally unsafe use case is fundamentally unsafe.
by gucci-on-fleek | 2025-09-27 19:03:06+00:00
LaTeX3 has either been cancelled or has already happened, depending on how you look at at. [0] But despite that, LaTeX is still continuously improving, although it will never beat Typst on speed or simpler markup.

[0]: https://www.texdev.net/2024/11/11/the-mythical-latex3
by drdaeman | 2025-09-27 19:04:03+00:00
I thought about it, and I think I know what the confusion could possibly be about.

To me, postmark-mcp is not a part of MCP, it’s a black box that talks MCP on one end. And its behavior is not an MCP but software trust and distribution issue, not specific to MCP (just like running any executables from random sources). I guess others may see differently.
by alephnerd | 2025-09-27 19:06:22+00:00
As a former staffer, you are partially correct.

The issue is, most of the decisionmakers on the Hill still have an image of China that is comparable to where it was in the 1990s or 2000s.

Most decisionmakers started their careers in the 1980s to 2000s and only worked within the bubble that is the Hill, and most of their assumptions are predicated on the experiences of an American who was either in or adjacent to the academic and cultural elite of the 1990s and 2000s.

Those people with domain experience have limited incentive to work as staffers or within think tanks because they do not hire broadly, they pay horribly, and domain expertise is only developed through practical experience, which takes a decade to develop.

That is not to say this isn't an issue in other countries (even Chinese and Korean policymakers have fallen into similar traps), but most other countries also try to build an independent and formalized civil and administrative service. The American system is much more hodgepodge and hiring is opaque (eg. The nebulous "federal resume"), meaning most people hired will have went to schools where career services provide training to join government jobs (eg. Top private schools along with public universities in the DMV).

The issue in the US is a coordination issue - we have the right mixture of human, financial, and intellectual capital, but it is not being coordinated.
by teiferer | 2025-09-27 19:07:40+00:00
> my point was that every time you try to say that no this can't be what intelligence means, it needs to do X, I can find a human who can't do X,

Indeed, the point you are making is reasonable. But I'm trying to say that the premise is wrong. Nobody should be expected to come up with a reason why it is not intelligence. We should expect to be presented with evidence that it is intelligence. Absent that, the null hypothesis is that it isn't, just like any other computer program before isn't, uncontroversially.

I'm sure you already got my point, apologies for repeating it, but some clarification to clearly carve out our points may not hurt.
by zamadatix | 2025-09-27 19:08:08+00:00
Many areas have some minor hills, or some variant infinitely more interesting (hoosier myself, I regret moving here 10 years ago and may finally be bothered enough by it to deal with moving out in Spring). All in all, a state this big with less than 1,000 ft between the highest and lowest parts is just disappointingly flat, given the general lack of other natural attraction.

I'd say the caves in that region of the state are interesting, but options like Mammoth Cave are not that far away in KY (and they have better hills too).
by Workaccount2 | 2025-09-27 19:08:12+00:00
I don't think there is any special development other than the cheap comodification of hardware.

Hardware has been largely solved in our everyday domains, and it's not where the money is anymore, or has been for years. Stuff that is "good enough for anyone" is cheap, made in China, and readily available from a manufacturer skimming by on a 5% margin.
by ben_w | 2025-09-27 19:09:50+00:00
Indeed.

On the negative side, this also means any AI which enters that part of the latent space *for any reason* will still act in accordance with the narrative.

On the plus side, such narratives often have antagonists too stuid to win.

On the negative side again, the protagonists get plot armour to survive extreme bodily harm and press the off switch just in time to save the day.

I think there is a real danger of an AI constructing some very weird convoluted stupid end-of-the-world scheme, successfully killing literally every competent military person sent in to stop it; simultaneously finding some poor teenager who first says "no" to the call to adventure but can somehow later be comvinced to say "yes"; gets the kid some weird and stupid scheme to defeat the AI; this kid reaches some pointlessly decorated evil layer in which the AI's emboddied avatar exists, the kid gets shot in the stomach…

…and at this point the narrative breaks down and stops behaving the way the AI is expecting, because the human kid roles around in agony screaming, and completely fails to push the very visible large red stop button on the pedestal in the middle before the countdown of doom reaches zero.

The countdown is not connected to anything, because very few films ever get that far.

…

It all feels very Douglas Adams, now I think about it.
by gruez | 2025-09-27 19:09:55+00:00
>fun-fact: CIA is currently mucking around in Greenland trying to get rid of people against annexation

That's a very misleading phrasing for what's essentially an influence operation. Your wording of "get rid of people ..." implies there's some assassinations/violence going on, but there's nothing to suggest that's happening. If Republicans/Democrats or even Russia was running an influence operation in the US, nobody would characterize that as "getting rid" of opponents or whatever.
by maqp | 2025-09-27 19:10:03+00:00
That's up to the mixing. If it's a surround system, sure it's better the dialogue comes from the right place in the scene.

But if you have stereo speakers properly placed https://www.ecoustics.com/electronics/messages/34579/705942.... (basically on both sides of the TV with you sitting from each speakers by their distance from one another), the stereo imaging will absolutely be able to place dialogue in the center.

But it can also produce wider sound stage than a soundbar, which is half my point, the other being better sound pressure and dynamics from the larger speakers.

Surround is of course better. But the price is usually the issue. One good option is to start with decent pair of two-ways that you can move to rear if you decide to go surround later. Then you only need the three center speakers and maybe the sub. The amp can be either future proofed by going n.1 immediately or upgraded with the jump.
by mothballed | 2025-09-27 19:10:27+00:00
It's likely people from west of the Mississippi.

Indiana and other midwestern states have some awesome nature, but it's basically taken for granted by people from there because you grow up having your family show you all those places. Imagine if aliens showed up to a megacity, and declared there was no food anywhere -- a local would show them places called "restaurants" that actually have more varied and competitive tasty foods than about any farmland areas you'd find, but the aliens would think there's food only in the farmlands and declare the city worthless for finding something to eat.

If you drive out west, you don't even have to look for them; astounding nature is evereywhere.

End result is people from midwestern states appreciate the beauty of their state, but people who haven't lived there for years generally don't. Even after leaving the midwest, I have a high appreciation for the natural landscape, but that's only because I know where to go when I get there.
by drnick1 | 2025-09-27 19:10:56+00:00
The only way to retake control from Big Tech is to quit Facebook, Instagram, Snapchat, Tiktok, LinkedIn (and many others) cold turkey. Install Linux, use a custom ROM on your phone, use Signal, learn about self-hosting. Slightly reducing the amount of time you spend on Facebook doesn't achieve anything, the app is still running on your phone and reporting your location to Meta.
by 1123581321 | 2025-09-27 19:11:03+00:00
Gary is also interesting, though. It used to be interesting for good economic and cultural reasons, then bad reasons. Now it's experiencing some revitalization in the manner of Detroit or Rockford, which might actually make it more boring, though better to live in.

I thought the Indiana aside was odd as an objective assessment, but it worked well as a flavorful bit of travel writing to help me understand the perspective of the visitor to Greenland.
by xpe | 2025-09-27 19:11:39+00:00
>> I'll say it again: no one cares about security.

> Readers are likely to ignore your prose or dismiss it as an uneducated rant when you make overgeneralizations. Learn how to avoid this error.

Writing Commons > Argumentation > Overgeneralization

https://writingcommons.org/section/genre/argument-argumentat...
by Waterluvian | 2025-09-27 19:11:42+00:00
I guess it might depend on what the goal is for staying in office, and to what ends one will go to do so. Is all of this truly because he believes this will make Israelis safer? Or is it because he wants to hold power, and what’s the motivator for holding that power? Avoiding consequences?

I wonder if for people like Netanyahu, Trump, Putin, etc. (and the people who are successfully swayed to support them…) it’s less about feeling strong and more about avoiding feeling weak.
by Denvercoder9 | 2025-09-27 19:12:23+00:00
> Do you open your browser, log in, and then somehow transfer the session into your ssh client in a terminal?

You start the ssh client in the terminal, it opens a browser to authenticate, and once you're logged in you go back to the terminal. The usual trick to exfiltrate the authentication token from the browser is that the ssh client runs an HTTP server on localhost to which you get redirected after authenticating.
by datadrivenangel | 2025-09-27 19:12:50+00:00
"So are we in an A.I. bubble? It sure looks like it to me. That doesn’t mean we won’t get large economic advances (and disruptions) out of A.I. "

This is the most plausible looking path forward: LLMs + conventional ML + conventional software inverts how our economy operates over the next few decades, but over the next few years a lot of people are going to lose a lot of money when the singularity is actually a sigmoid curve.
by fundatus | 2025-09-27 19:15:23+00:00
Wild mushroom in some parts of Germany are still radioactive to this day exactly because of this. After Chernobyl, clouds with radioactive particles moved west and then started raining over Germany. Certain species of mushroom tend to accumulate the Caesium-137 from that and these mushroom then get eaten by wild animals. To this day if you sell wild animals that were shot in these areas you have to get them tested. They regularly exceed legal contamination levels deemed safe for human consumption.

> In the last years values of up to several thousand becquerel per kilogram were measured in wild game and certain edible mushrooms. In Germany it is not permitted to market food with more than 600 becquerel caesium-137 per kilogram. [1]

[1] https://www.bfs.de/EN/topics/ion/environment/foodstuffs/mush...
by gruez | 2025-09-27 19:16:03+00:00
>The erosion of the spending value of the dollar (aka the amount of inflation from post-covid government spending), and therefore most people's salaries probably have more effect on people's feelings about their salary and how far it's not going, which in turn negatively impacts feelings about work and overall stress.

Even though inflation shot up post covid, by all official statistics wage growth has outpaced it. Therefore to imply that this behavior is as a result of people earning less in real terms is incorrect.

See: https://fred.stlouisfed.org/series/LES1252881600Q, note the units for the chart, which indicate the figures have already been adjusted for inflation
by thaumasiotes | 2025-09-27 19:16:10+00:00
> Your example is pretty interesting! I avoid using any advanved Mathlib tactic to make the comparison fairer.

I learned about the `linear_combination` tactic from your example. Other than that, I use `have` and `exact`, which (a) are not advanced, and (b) are also used in your example.

Before that, my first attempt at the lean proof looked like this:

example (x y : ℝ) (h₁ : 2 * x + 3 * y = 10) (h₂ : 4 * x + 5 * y = 14) : x = -4 ∧ y = 6 := by -- double h₁ to cancel the x term have h₃ : 2 * (2 * x + 3 * y) = 2 * 10 := by rw [h₁] conv at h₃ => ring_nf -- "ring normal form" -- subtract h₂ from h₃ have h₄ : (x * 4 + y * 6) - (4 * x + 5 * y) = 20 - 14 := by rw [h₂, h₃] conv at h₄ => ring_nf conv at h₁ => -- substitute y = 6 into h₁ rw [h₄] ring_nf -- solve for x have h₅ : ((18 + x * 2) - 18) / 2 = (10 - 18) / 2 := by rw [h₁] conv at h₅ => ring_nf apply And.intro h₅ h₄

> We are comparing Lean and Litex under conditions where they don’t rely too much on external packages

This proof does have the advantage of not needing to import Mathlib.Tactic. Although again, that's something your proof does.
by sandworm101 | 2025-09-27 19:18:13+00:00
And when you want to experiance true issolation in the face of nature, Alaska and Westerm Canada are waiting. Try a drive north through BC in winter. Fish on an Alaskan river only accessible by floatplane. Wake up to watch the northern lights only to realize you are looking south. Or pan for gold only to look up and see a grizzly cub walking cassually past.

Norway: 15 people per sq km.

Alberta: 6.7

British columbia: 5.5

Alaska: 0.5

Yukon territory: 0.1

Northwest Territories: 0.03
by mothballed | 2025-09-27 19:19:30+00:00
Gary is fine during the day compared to a lot of the surrounding areas because the population is actually fairly diverse. White, black, latino, there are enough of you that it's possible to blend in as long as you dress poor enough. If you aren't into drugs or banging and out during daylight hours and don't flash valuable you'll probably be fine.

Vs. say some parts Cleveland, where I've been robbed at gunpoint the second my vehicle broke down and people noticed I'm not from around there.
by ceridwyn | 2025-09-27 19:19:32+00:00
Given that similar claims have been around for a long time and it still lacks published results, I feel people have reason to be skeptical.

I wonder if this "training programme" could be implemented or tested using a VR workspace and varying the (virtual) distance of the working field while adjusting size so that it remains clear. The virtual environment could be finely and dynamically adjustable (as opposed to having to change lenses) and progress could be measured in a consistent environment.

On second thought, if that worked, the Apple Vision Pro might sell some additional units.
by Arainach | 2025-09-27 19:19:44+00:00
I lived in the area for more than 20 years, have annually visited family living there for my entire life even after I left, and consider myself quite qualified to comment on the area, the people who live there, and their culture, thanks.

I've traveled a lot through the area. I was throughout Ohio earlier this year, spent two weeks in Illinois last year, etc.
by QuantumNomad_ | 2025-09-27 19:19:49+00:00
> Feeling small made me feel calm

Completely agree. I’ve been on many hikes and in particular there was one time where I was walking up a mountain, at winter, with skis on, that I felt like wow if everyone got to experience this particular feeling of just you and the mountains and not a single soul around, there would be less conflict in the world. If we all got to go on these long solitary trips in the mountains alone. All kinds of grievances and conflicts and whatever you might feel about people that you dislike, it all suddenly feels so insignificant and pointless to even expend any energy on.
Show HN: We're Fixing "Learning" with AI
by abdulmuminyqn | 2025-09-27 19:19:56+00:00
Hey folks, I was frustrated by how static and passive most AI-generated educational content is. A perfect explanation is great, but it doesn't guarantee "learning".

To fix this, I built a system to dynamically inject and render interactive elements into the LLM's response, turning what would rather be walls of just text into a live learning environment.

An example of it in action is this super cool explanation on the rules of basketball - https://thirdpen.app/article/FN3IbjLa/lens

Or a simple DSA question of how bubble sort algorithm works: https://thirdpen.app/article/QRV7MYmu/lens

We are able to see in this examples that "learning" with AI does not have to be just about text.

I would love to confirm whether or not we're innovating in the right direction with this.

you can try it here: https://thirdpen.app
by beala | 2025-09-27 19:20:13+00:00
I don’t see what racism has to do with it. Most of my electronic components originate from China one way or another, but there’s a real difference in quality between established brands and the random stuff popping up on amazon in the last few years. To review a few experiences I’ve had:

- Wires I bought for breadboard prototyping turned out to not be made of copper after I noticed them sticking to a magnet on my workbench.

- A power supply module I purchased appeared to be using counterfeit chips. The switching frequency didn’t match the TI data sheet for the markings on the chip.

- I wasted several days trying to get an sdcard module to work. I gave up and ordered from adafruit instead and those worked on the first try.

Not to mention the well documented problems with counterfeit sdcards, etc.

With mini PCs, there are a million different ways bargain brands can cut corners that won’t show up immediately.
by flokl | 2025-09-27 19:20:17+00:00
yes, cross-references are possible by adding an <anchor> and referencing it with @anchor. It works for headings, figures, equations, footnotes, and with a slightly different syntax also for page. [1] Numbered lists are currently not natively supported, only with the package itemize [2].

[1] https://typst.app/docs/reference/model/ref/

[2] https://typst.app/universe/package/itemize