MurphyA/hacker-news huggingface dataset:
by carefulfungi | 2025-09-20 11:56:36+00:00
That Trump tweeted after Colbert's show was not-renewed that Kimmel would be next - and then gets Kimmel cancelled, said to reporters that licensed broadcasters aren't "allowed" to criticize him, and tweeted after Kimmel that Seth Meyers would be next - and yet still has the support of a majority of republicans, astounds me.

There is no authoritarian line he can cross that turns away his apologists. They pretend that Biden or Obama were somehow worse (which, even if true, is an illogical argument for democratic norms), pretend that these are private decisions not coerced by the state power, or cheer for "retribution" against their idealogical opponents while embracing a diminishing of democratic freedoms. They have no red lines for Trump. He can deny established science; deny access to life saving vaccines; control the media; accept billions in personal investments from foreign governments in return for US policy; kill people in international waters without oversight... that's just this month's list!

It's not a phenomena I could have truly internalized without experiencing it first hand. It has changed me even as a late-middled-aged adult. I wonder what it must be like for those younger, who are assembling the foundations of their political and social opinions.
by danaris | 2025-09-20 11:57:00+00:00
I mean, obviously if you're presenting it in the format that the article does, it comes across as a false dichotomy. I read it as one part exaggeration to make the point that what too many managers do is actively detrimental to team health, and one part emphasizing the direction in which to err to be a good leader.

Obviously (just to pick one of the dichotomies there) blindly rewarding dissent is not really any better than blindly suppressing it. All of these need to be done with nuance and judgement. Because those are absolutely vital skills of any good leader.

The point is that managers (of a certain type) are approaching these particular issues in exactly the wrong way, and need to be shown that.
by mcapodici | 2025-09-20 11:58:27+00:00
Yes this. What you said is what I meant.

You could also get the LLM to "vibe code" the SQL. Tbis is somewhat dangerous as the LLM might make mistakes, but the main thing I am talking about hete is how not to be "influenced" by text in data and so be susceptible to that sort of attack.
by enricozb | 2025-09-20 11:58:44+00:00
If it compiles, it typechecks. If it typechecks, the proof is correct. This is a consequence of the Curry-Howard correspondence [0].

From a pure mathematician's standpoint, the content of a proof is kind of (waving big hands here) irrelevant. It's more that the existence of a proof implies the theorem is true, and thus can be used to prove other theorems. Because of this "proof-irrelevance", a great foil to an LLM's propensity to hallucinate is something like Lean. In Lean, and in theorem provers oriented towards classical mathematics, the statement of the theorem being proved is what matters most. And due to Curry-Howard, the statement is equivalent to the signature/declaration of the function, which is what the human ought to verify, while Lean will verify the body.

[0]: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon....
by weinzierl | 2025-09-20 11:58:53+00:00
The tension between improvement or regression when updating is real and ubiquitous but it is worse for apps in the npm ecosystem (like Obsidian).

Not only is npm a prominent target but it also does not allow packages to be removed or blocked for usage without a human on their side in the loop.

The result is that they are slow to remove malicious packages and slowing down your own updates helps to mitigate this a little.
by pmg101 | 2025-09-20 11:58:57+00:00
You don't really know if the system design you've architected in your mind is any good though, do you, until you've actually tried coding it. Discovering all the little edge cases at that point is hard work ("a total slog") because it's where you find out where the flaws in your thinking were, and how your beautifully imagined abstractions fall down.

Then after going back and forth between thinking about it and trying to build it a few times, after a while you discover the real solution.

Or at least that's how it's worked for me for a few decades, everyone might be different.
If Anyone Builds IT, Everyone Dies
by daly | 2025-09-20 11:59:41+00:00
They make excellent points, such as the damage possible if AI can spend money.

Oh, by the way, Google is building a system to allow AI to spend money.

https://www.youtube.com/watch?v=8s6nGMcyr7k

Read it. Weep. I'm not sure if the authors have met humanity.

https://www.amazon.com/Anyone-Builds-Everyone-Dies-Superhuman/dp/0316595640
by UmGuys | 2025-09-20 12:00:36+00:00
I disagree with your second point. I believe Utah, dislike Kimmel, and believe he said nothing wrong. In fact he pretty much stated facts with a sprinkle of his brand of comedy.

You're drifting into lalaland. It's very clear it was cancelled because of government action. Why are you making up weird stories. Everything has been reported.

For whatever reason you're trying to justifying government censorship. This article isn't about Kimmel it's about another show MAGA hates apparently. And the cult leader guy blew a hole threw your convoluted thesis yesterday when he openly admitted he disagrees with the first amendment.
by bergheim | 2025-09-20 12:01:18+00:00
> Obsidian has a low number of dependencies compared to other apps in our category

Whataboutism. Relative comparisons don't address absolute risk. I checked three random packages: prism pulls 22, remark pulls 51, pixijs 179! So that's 250+ transitive dependencies just from those.

> Features like Bases and Canvas were implemented from scratch instead of importing off-the-shelf libraries. This gives us full control over what runs in Obsidian.

Full control? There are still hundreds of dependencies.

> This approach keeps our dependency graph shallow with few sub-dependencies. A smaller surface area lowers the chance of a malicious update slipping through.

Really? Again, this is just one package: https://npmgraph.js.org/?q=pixijs

> The other packages help us build the app and never ship to users, e.g. esbuild or eslint.

Build tools like esbuild don't ship to users, but a compromised build tool can still inject malicious code during compilation. This is supply chain security 101.

> All dependencies are strictly version-pinned and committed with a lockfile

Version pinning is, I would hope, standard practice in any professional development team years and years ago. It prevents accidental updates but doesn't stop compromised existing versions.

> When we do dependency updates, we: > [snip]

While these practices are better than nothing, they don't fundamentally address the core issue.

> That gap acts as an early-warning window: the community and security researchers often detect malicious versions quickly

According to whom? Heartbleed, a vulnerability in a package with far more scrutiny than a typical npm module took what, 2 years to be found? The "community detection" assumption is flawed.

I'm not trying to put Obsidian down here - I sympathize, aside from implementing everything themselves, what can they do! I'm trying to point out that while their intent is good, this is a serious problem and their solution is not a solution.

Of course, it's the same in any project with dependencies. It's the same in other languages as well - if they have a convenient package manager. Like Rust and Cargo.

This problem came with the convenience of package managers and it should be fixed there, not by every application like Obsidian. I'm not sure how but maybe once a package is starting to become popular, additional security measures must be put in place for the author to be able to continue to commit to it. Signing requirements, reproducible builds, 2fa, community reputation systems, who knows.

Individual applications can't solve supply chain security through wishful thinking and version pinning.

Package managers need to solve this at the infrastructure level through measures like mandatory code signing, automated security auditing, dependency isolation, or similar system level approaches.

Obsidian's practices are reasonable given the current tooling limitations, but they don't eliminate the fundamental risks that the package managers bring to modern dependency ecosystems.
by rwmj | 2025-09-20 12:01:37+00:00
It says on the web page I linked that:

Unlike in other Linux virtualization solutions such as User Mode Linux (or the forementioned VMware), special driver software on the host operating system is used to execute the coLinux kernel in a privileged mode (known as ring 0 or supervisor mode).

By constantly switching the machine's state between the host OS state and and the coLinux kernel state, coLinux is given full control of the physical machine's MMU (i.e, paging and protection) in its own specially allocated address space, and is able to act just like a native kernel, achieving almost the same performance and functionality that can be expected from a regular Linux which could have ran on the same machine standalone.

So my understanding is that it's a Windows driver which contains a full Linux kernel and does some (scary sounding!) time sharing with the Windows kernel running at the same CPL.
by belter | 2025-09-20 12:01:37+00:00
In 2007 Jen-Hsun Huang had “No CPU plans; can’t add much value.” explained Nvidia “cannot add much value” in the CPU market and would focus on GPUs/chipsets.

In 2009 he said a no to an Intel-compatible x86 CPU.

In 2022 he said If x86 already exists, we’ll just use/partner: “One of the rules of our company is not to squander resources on something that already exists. If something already exists, for example, an x86 CPU, we’ll just use it… we’ll partner with them.”

No. They were ordered to make this investment...
by cess11 | 2025-09-20 12:01:39+00:00
What makes you think the BEAM VM is "heavy"?

It's almost like an OS in itself and initially designed to be like a more capable and robust OS on top of rather constrained computers. In my experience it's trivial to shell or port out to the environment when I want to, and I also see people that I don't think of as highly skilled low-level programmers do things with NIF:s so that can't be exceptionally demanding either.
by alephnerd | 2025-09-20 12:02:17+00:00
> you could get top developers from Warsaw for $50-60k in 2025

We'd be paying that for Early career base (think L3). Mid-career you'd see people breaking the $80-110k base range.

I don't like giving "TC" simply because RSUs are very dependent on a number of outside variables.

And my example was for why a JPMC opens an offshore office abroad, or why a company hires an EPAM type.

For product companies who actually care about work quality, you won't too see much difference between salary abroad and a US salary from 10 years ago. I'd recommend using a fork of the old GitLab comp calculator - it's fairly accurate.
by bayareapsycho | 2025-09-20 12:02:33+00:00
In my old org of 80ish, like half of them were from Telegana. All of management was from there. In total, at least 80% of the org was south asian. I guess it's just a coincidence ¯\_(ツ)_/¯. And I can promise you, at least half of them were completely useless. I mean, like so useless they couldn't even figure out how to use generics without 30 minutes of handholding

Also, WMT is not "in tech". Global tech is WITCH tier. The business side is run by the same type of MBA personality running Boeing

They're also forcing like half the company to move to Arkansas at the moment, so a bunch of people are trying to gtfo. I wouldn't advise anyone going there, startups are probably a better option
by DaveSchmindel | 2025-09-20 12:02:37+00:00
It’s hard for me to know where my pessimism stops and my realism begins with these kinds of experiences lately. The latest iTerm2 update had me subconsciously questioning my own philosophy around whether I ever would want or need an AI agent [that someone else] built in my default terminal application.

Is it cool? Yeah. Did I ask for it? Ehhh…
by bell-cot | 2025-09-20 12:03:23+00:00
Yes, but there are several additional dimensions of perhaps-malicious idiocy that you didn't call the NYT on:

- The reason that NASA is stuck in this mess with Musk is that "their own" SLS, Orion, Lunar Gateway, & Co. program is a landfill of Congressional pork, trying to pretend to be a moon mission. And Washington has been talking smack about actually returning to the moon. And now China appears to be calling them on that cheap talk.

- Compared to the costs of SLS & Co., SpaceX's "one of his largest ever" contract for getting to the moon is small change. Has the NYT heard the old saying about "fast, cheap, and reliable"?

- Any manned Lunar mission must start with heavy lift to LEO. SpaceX utterly dominates that market. And has for years. On all 3 of the available, cheap, and reliable dimensions. Even if Starship could only do unmanned heavy LEO, having it operational would just make Musk an even-more obvious choice for that part of things.

- Musk has an available, reliable crew capsule - which is another difficult must-have for any manned Lunar mission. Vs. NASA's Orion capsule has been to orbit once, uncrewed, 3 year ago. And had major heat shield issues during the reentry.
by throw0101a | 2025-09-20 12:03:58+00:00
> There’s no “done, so we don’t need money any more”

Supposedly this happened to Paris' Notre Dame for many years until Victor Hugo published The Hunchback of Notre-Dame which re-ignited it in the general public's imagination.

* http://archive.is/https://www.vox.com/culture/2019/4/15/1831...

* https://casdinteret.com/2020/05/how-victor-hugo-saved-notre-...
by acdha | 2025-09-20 12:04:14+00:00
Trump does not share your view that they are an independent agency.

Carr also does not appear share your extremely charitable interpretation of his actions. He has subsequently confirmed that he sees this in line with the administration's larger political mission and is being about as subtle as a fog horn about his status as a political hatchet man:

https://x.com/BrendanCarrFCC/status/1968521297974923696
by shykes | 2025-09-20 12:04:35+00:00
There is in fact international consensus on what constitutes a terrorist organization. Hamas, ISIS, Al-Qaida, Hezbollah, Houtis, Boko Haram and so on, very clearly quality.

Sure, China or Russia can and will label political opponents "terrorists" to justify persecution against them. Their goal is to destroy the international consensus, so that "terrorist" becomes a purely subjective label. By equating Israel's bombing of an actual terrorist group with Russia's persecution of a fake one, you are supporting Russia in this effort.

Instead, you should equate Israel killing Hamas leaders with the US killing Bin Laden, coalition forces bombing ISIS in Iraq, France bombing islamists in Mali, etc.
by pizlonator | 2025-09-20 12:05:02+00:00
CPS and call/cc aren’t the same thing though they are close.

CPS is an intermediate form that a compiler can use to reason about a program. You could argue that using this form makes it easier to implement call/cc, but I don’t think that’s really true.

I vaguely recall that CPS makes it possible to reason about stack disciplined calls, if you want to compile to call/ret instructions.

But whatever, it really doesn’t matter. CPS is quite dead as an IR. SSA won
by badlibrarian | 2025-09-20 12:05:08+00:00
> The Archive purchased 78s likely destined to be destroyed.

It's worse than that.

Many large collections were donated to the archive, under the agreement they would be made available to the public. Part of what influenced Brewster to double down on his original error.

> The Joe Terino Collection, a collection of 70,000 78 rpm singles stored in a warehouse for 40 years.

> The Barrie H. Thorpe Collection, which had been deposited at the Batavia Public Library in Batavia, Illinois, in 2007 by Barrie H. Thorpe (1925–2012). It contains 48,000 singles.

> The Daniel McNeil Collection, with 22,359 singles.

Many more listed at Wikipedia: https://en.wikipedia.org/wiki/The_Great_78_Project

At the same time Internet Archive also launched the "Unlocked Recordings" collection of modern "out of print" LPs, as if that somehow made them free to distribute. The inclusion of Jimi Hendrix, Paul McCartney, and Nina Simone records is called out in the lawsuit.

This is how you ruin the reputation of an organization.
by i_am_a_peasant | 2025-09-20 12:06:09+00:00
tbf the only thing the US has got going for it is the english language. germany is a perfectly fine place to live and work. it’s not like if you join raytheon you’ll be playing with rockets all day. you’ll be working in a very narrow area of one isolated subsystem without being allowed to see the big picture.

You’ll probably have a 2 hour commute too, and in your free time mostly live in your car because only the big cities have any degree of walkability.

What good is more disposable income if i’m too afraid to walk alone at night.
by somenameforme | 2025-09-20 12:06:11+00:00
The thing you're ignoring though is that main way you reduce the power of labor is by increasing its supply.

For instance one of the key factors in society escaping feudalism and moving onto market based economies was the Black Death. It absolutely decimated society and the labor pool. This gave labor the power to demand more compensation than a share of what they produced. But in times before if they tried that then nobility could simply have said no, as there were plenty of peasants willing to work for little more than food. But when the labor supply was suddenly cut in half? Now they had all the power in the world.

Labor unions can't really combat market forces. I don't even think ethical or moral arguments work either. If somebody, in the country legally, is willing to do your job for less money, and is capable of doing so, then by what right do you have to insist that you should be the one doing your job and getting paid more? It doesn't really make much sense. If you want to increase the power of labor then, by far, the easiest way to reduce so is to reduce the supply of labor. And vice versa for weakening it.
by shankr | 2025-09-20 12:06:49+00:00
American immigration has functioned this way for years. Where do you think Little Italy or the Greek sections of town originated? This is how immigrants have behaved for centuries, it's not exclusively a phenomenon among people of color. European immigrants did the same thing and continue to do so. If you mention a street name in NYC to some longtime New Yorkers, they can tell you which community or immigrant group is known to live in that area.

What ultimately matters is whether immigrants are law-abiding and contribute to the local economy. Indians rarely appear in crime statistics and generally comprise part of the highest-earning immigrant demographics.
by densh | 2025-09-20 12:07:14+00:00
Some details on the Swiss side:

There are two variations of the B permit one can get. An unrestricted B permit isn't tied to a specific employer and provides a path toward permanent residence (C permit) within five years for EU citizens or ten years for non-EU citizens. Based on my experience, EU citizens almost always get an unrestricted permit and are treated relatively well by the immigration process: at their first application, they receive a five-year B permit, and at the first renewal five years later, they automatically get a C permit. As a EU citizen you just need to find a job, and your right to work is essentially unrestricted.

The non-EU path is quite different. A non-EU citizen only gets an unrestricted B permit if they prove they have special skills that are not currently available on the local job market. There is a yearly quota for such permits. One can also be unlucky and get an L permit, which is for temporary work only. Moreover, restricted B requires yearly renewal with a demonstration of ongoing employment at each renewal.

If you get a restricted B permit (or L), you don't have any direct path to a C permit, no matter how many years you've lived in Switzerland. You can complete your bachelor's, master's, and PhD degrees and continue working for a university as a contractor afterward, and still not be eligible for the path toward a C permit after over a decade of living in the country. To get a C permit, the last two years prior to the application must have been on an unrestricted B permit, working a full-time, unlimited-term job contract. The change to an unrestricted B permit requires you to have become a "special talent" during those prior years; otherwise, it won't be granted.
by UmGuys | 2025-09-20 12:09:03+00:00
It should not surprise you. They hold no position. In fact the positions they do hold are mostly lies (as we can see small gov, debt reduction, law and order). The only policies that are real are the evil ones: deploying military against civilians, transforming ICE into brutal terrorists, bankrupting the country through tax cuts, etc ... The GOP strategy has been to break the government, claim it doesn't work so they can defund it, foment fear and hatred, and flat out reject Democracy. Why? Because their policies are abhorrent and hateful and only help by a few rich "Christian" natrionalists.
by hshdhdhj4444 | 2025-09-20 12:09:18+00:00
This is false.

H1B is explicitly a dual intent visa.

It’s a non immigrant visa but also a pathway to citizenship.

And this is not just an abstract thing. There are, for example, very specific tax implications of this.

The dual intent nature of the H1B visa means the U.S. government requires H1B holders to pay Social Security and Medicare, precisely because the dual intent nature implies that they will be able to utilize those entitlements in the future.
by input_sh | 2025-09-20 12:09:38+00:00
Actually useful archive link: https://web.archive.org/web/20250920071806/https://furilabs....

> The FLX1s from Furi Labs runs a fully optimized Linux system called FuriOS, packing a lightning fast user interface, 3 hardware switches for microphone, camera and modem/gps, and a privacy centric approach like no other.
Show HN: Veila – AI chat through privacy proxy with end-to-end encrypted history
by fjulian | 2025-09-20 12:10:02+00:00
Hi HN — I built Veila, a privacy‑first AI chat service. I wanted something that prevents model providers from profiling users and linking information from chats to their identity.

I'm a robotics engineer by training, this is my first public launch of a web app.

Try it: https://app.veila.ai (free tier, no email required)

- What it is: - Anonymous AI chat via a privacy proxy (provider sees our server, not your IP or account info) - End‑to‑end encrypted history, keys derived from password and never leave your device - Pay‑as‑you‑go; switch models mid‑chat (OpenAI now; Claude, Gemini and others planned) - Practical UX: sort chats into folders, Markdown, copyable code blocks, mobile‑friendly - Notes/limits: - Not self‑hosted: prompts go to third‑party APIs - If you include identifying info, upstream sees it - Prompts take a bit long sometimes, because reasoning is set to "medium" for now. Plan to make this adjustable in the future. - Looking for feedback: - What do you need to trust this? Open source? Independent audit? - Gaps in the threat model I'm missing - Which UI features and AI models you'd want next - Any UX rough edges (esp. mobile)

Learn more:

Compare Veila to ChatGPT, Claude, Gemini, etc. (best viewed on desktop): https://veila.ai/docs/compare.html

Homepage: https://veila.ai

Discord: https://discord.gg/RcrbZ25ytb

More background: https://veila.ai/about.html

Happy to answer your questions here.
by shankr | 2025-09-20 12:10:34+00:00
> I have personally witnessed it myself. I have countless Indian friend who are candid with me. They are biased against whole communities. Blacks, Muslims, etc.

So are Americans. People are going to bring their biases. If you are serious about this, start vetting all immigrants about thier biases or racism. Are you saying Cubans or Latinos don't bring their own racism? Or other Europeans didn't do it? Why is this cherry-picking going on?