MurphyA/hacker-news huggingface dataset:
by vessenes | 2026-02-28 22:08:46+00:00
You’re thinking of this with the benefit of dedekind in your schooling - whether or not your calculus class told you about him.

Density - a gapless number line - was neither obvious nor easy to prove; the construction is usually elided even in most undergraduate calculus unless you take actual calculus “real analysis” courses.

The issue is this: for any given number you choose, I claim: you cannot tell me a number “touching” it. I can always find a number between your candidate and the first number. Ergo - the onus is on you to show that the number line is in fact continuous. What it looks like with the naive construction is something with an infinite number of holes.
by hellojesus | 2026-02-28 22:09:03+00:00
I did this but don't forward. Instead, every new email in Gmail I got would prompt me to go update that service's contact info for me.

It probably doesn't matter, but it made me feel a little better because that way Google wouldn't have direct info on to which email/domain I transfered (ignoring other Gmail contacts that start emailing me at my new address(es) ).
by furryrain | 2026-02-28 22:09:16+00:00
> Fully autonomous weapons. The cloud deployment surface covered in our contract would not permit powering fully autonomous weapons, as this would require edge deployment.

Can anyone explain this constraint?

Why do fully autonomous weapons require edge deployment?

Does "fully autonomous" in this context mean "disconnected from the Internet"?

If so, can a drone with Internet connectivity use OpenAI?

Or maybe it's about on-premise requirements: the military doesn't want to depend on OpenAI's DCs for weaponry, and instead wants OpenAI in their own DCs for that?
by toomuchtodo | 2026-02-28 22:09:20+00:00
You can either leave or stay. If you want to leave, start interviewing. It sounds like you want to stay, so optimize for that. Reduce unnecessary spend, increase savings, and ride it until it ends, either for them or you. Keep the job until you cannot. You can then look for another gig. You can only control what you control, don’t worry about that when you cannot. Optimize within what you can control.
by petre | 2026-02-28 22:10:07+00:00
They're an existential threat to Israel and it also puts China's oil suppply chain under pressure as a bonus. Also, the US does absolutely not want them to get nukes. The regime is at its lowest popularity, so obviously this is the time to try and topple it. The problem is that it creates a power void ripe for terrorist factions to flourish in, as it was the case in Syria and Iraq.
Ask HN: Builder.ai ($1B Microsoft-backed AI company) who's lookin at the assets?
by gamelock | 2026-02-28 22:10:17+00:00
Builder.ai raised $450M from Microsoft and
the Qatar Investment Authority. Peak
valuation $1B+. Filed insolvency May 2025.

Administrator: Alvarez & Marsal (Jul 2025)

Assets available:
- builder.ai domain ($50K-$200K est.)
- Natasha AI platform ($100K-$500K est.)
- Full source code ($500K-$5M est.)
- Enterprise clients: NBCUniversal, Fujitsu,
Virgin Unite ($50K-$300K est.)

Total estimated: $830K-$6.65M+

Full intelligence report available covering
collapse timeline, assets, administrator
contacts, acquisition guide.

Report: selar.com/s2121g2629
by nickysielicki | 2026-02-28 22:10:29+00:00
> When in reality they are not adversarial.

This is obviously subjective, and the only subject that matters in this case is the leadership at the DoD.

> We have no choice but to pay taxes and make the federal government 20 percent of our economy. There is no single company or any other entity that is close. And extending it to everyone who has a government contract probably makes it the majority of the economy.

I, too, hate big government and the all-powerful executive branch. Welcome to my tent. Let’s invent a time machine together so we can elect Ron Paul in 2008 and nip this in the bud.

Until then, this is what we’re stuck with.
by zozbot234 | 2026-02-28 22:10:32+00:00
This is just AI-written slop, but even if you're vibe coding and want to go for rapid iteration, you still benefit by having the AI write out a broad plan of what it's going to do and looking it over before telling it to implement it. One-shot vibe coding is totally worthless, but the more you're aware of what the AI is thinking about and ready to revise its plans, the better it can potentially do.
by _DeadFred_ | 2026-02-28 22:10:58+00:00
https://en.wikipedia.org/wiki/Supreme_Leader_of_Iran

"is the de facto head of state and the highest political and religious authority of Iran (above the president). The armed forces, judiciary, state radio and television, and other key government organizations such as the Guardian Council and Expediency Discernment Council are subject to the supreme leader."
by gyomu | 2026-02-28 22:10:59+00:00
> The mid-terms may be our final chance to save our nation.

I don’t understand anyone who believes that. What do you expect to happen during the midterms exactly that would bring the US back on some mythical track of rule of law, with a just and fair government? The corruption runs so deep, the institutions have been gutted, there are no good people in charge left. This ride is going to last a while, and the way out (if there’s one) looks nothing like the way in.
by u1hcw9nx | 2026-02-28 22:11:29+00:00
Qwen has been broadly aligned to give positive messages about China in English.
https://chinamediaproject.org/2026/02/09/tokens-of-ai-bias/

An Analysis of Chinese LLM Censorship and Bias with Qwen 2 Instruct
https://huggingface.co/blog/leonardlin/chinese-llm-censorshi...
by wonderwhyer | 2026-02-28 22:11:44+00:00
Author here. I run Desktop Commander (https://github.com/nicholasrq/desktop-commander), an open-source MCP server giving AI agents local file/terminal access (~40K MAU).

The article started as a response to two LinkedIn posts — Duda Bardavid writing about graduating from Lovable to Claude Code, and Gokul Rajaram warning vertical AI founders about long-horizon agents.

But the more I dug into it, the more it connected to Sutton's Bitter Lesson. For 70 years in AI research, general methods + compute beat handcrafted domain expertise. Every time. Chess, speech, vision, Go.

BloombergGPT seems like the product version of the same story — $10M training a domain-specific financial LLM, then GPT-4 beat it on most financial tasks with zero specialized training.

What I see in our product data matches: users don't stay in one vertical. They start narrow and expand into general-purpose workflows within weeks. The tool doesn't define the work — the person does.

Not claiming vertical SaaS is dying. Regulated industries with proprietary data moats are different. But for the "AI-augmented professional" — founders, builders, knowledge workers — I think general access beats specialized templates.

Would love to hear other opinions, especially from anyone building vertical AI tools and weather this is concern or not?
Or you are building general one and you are concerned that its not defensible?
by bigbadfeline | 2026-02-28 22:12:05+00:00
> 25M isn’t even that much money. Not only are they whores, they’re cheap whores.

I don't know, Anthropic is providing 10K open source developers with $200 subscriptions to their bot, for up to 6 months. 200 * 10000 * 6 = $12 Million total. That's even cheaper, I'm not sure what conclusion to draw from all this.
by matheusmoreira | 2026-02-28 22:13:01+00:00
It all makes sense when viewed through the economic lens.

Sexual freedom is a lot like capitalism. It leads to wealth concentration. Very few men attract the majority of women. This implies a class of sexually poor men. I suppose so called incels rising up and trying to seize the means of reproduction is a predictable outcome.

Many religions impose a sort of sexual communism: they try to stabilize society by imposing monogamous relationships, thereby ensuring availability of women for every man and preventing the accumulation of sexual capital. This explicitly counteracts the hypergamous dynamic mentioned in TFA where women would prefer to share a rich man than be in a monogamous relationship with a poor one.
by hn_throwaway_99 | 2026-02-28 22:13:10+00:00
A "simple word choice"?? This isn't just about the single word "impose", read the whole post:

> Per DoD Directive 3000.09 (dtd 25 January 2023), any use of AI in autonomous and semi-autonomous systems must undergo rigorous verification, validation, and testing to ensure they perform as intended in realistic environments before deployment. The emphasized language is the delta between what OpenAI agreed and what Anthropic wanted.

> OpenAI acceded to demands that the US Government can do whatever it wants that is legal. Anthropic wanted to impose its own morals into the use of its products.

So first off, regarding that first paragraph, didn't any of these idiots watch WarGames, or heck, Terminator? This is not just "oh, why are you quoting Hollywood hyperbole" - a hallmark of today's AI is we can't really control it except for some "pretty please we really really mean it be nice" in the system prompt, and even experts in the field have shown how that can fail miserably: https://www.tomshardware.com/tech-industry/artificial-intell...

Second, yes, I am relieved Anthropic wanted to "impose" their morals because, if anything, the current administration has been loud and clear that the law basically means whatever they says it does and will absolutely push it to absurd limits, so I now value "legal limits" as absolutely meaningless - what is needed are hard, non-bullshit statements about red lines, and Anthropic stood by the those, and Altman showed what a weasel he is and acceded to their demands.
by dajonker | 2026-02-28 22:13:14+00:00
Radeon R9700 with 32 GB VRAM is relatively affordable for the amount of RAM and with llama.cpp it runs fast enough for most things. These are workstation cards with blower fans and they are LOUD. Otherwise if you have the money to burn get a 5090 for speeeed and relatively low noise, especially if you limit power usage.
by gentleman11 | 2026-02-28 22:14:17+00:00
Open ai, the former non-profit, whose board tried to fire the CEO for being deceptive, which is no longer open at all, isn't exactly about ethics these days.

Even on a personal level: OpenAI has changed it's privacy policy twice to let them gather data on me they weren't before. A lot of steps to disable it each time, tons of dark patterns. And the data checkout just bugs out too, it's a fake feature to hide how much they are using everything you type to them
by breakyerself | 2026-02-28 22:14:17+00:00
Any honest reading of the history and the scholarship around the development of fascism and its characteristics would absolutely lead any honest person to the conclusion that there is a fascistic political movement happening in the United States and elsewhere.

When fascism loses its meaning it's when reactionaries describe leftist opposition to fascism as fascism. When they call antifa fascist for opposing fascism violently. That's when the meaning gets muddled.
by halnine9000 | 2026-02-28 22:14:43+00:00
>this tech is here to stay

How can you say that when all these models are externally sourced by companies that actively make a loss per token? When they finally need to make a profit, how can we be sure these models as well as their owners will remain as reliable and not enshittified? Anthropic has been blacklisted in the last 24 hours so its a turbulent industry to say the least
by Swizec | 2026-02-28 22:15:07+00:00
> Most people who are "sitting in front of rectangles, moving tiny rectangles"

Hey dude these are my emotional support rectangles!

Truth is, anything can be meaningful. We make our own meaning and almost anything will do as long as you believe in it. If optimizing rectangles on the screen makes you happy, that’s great. If it doesn’t, find something else to do.
by ApolloFortyNine | 2026-02-28 22:15:30+00:00
>Excuse me, but what a fucked up perspective. "Impose its own morals into the use of its products"?

>How on earth did it come to something where the framing is that anyone is "imposing" anything on another simply by not providing services or a product that fits somebody else's need?

The department of defense in particular has a law on the books allowing them to force a company to sell them something. They generally are more than willing to pay a pretty penny for something so it hardly needs used, but I'd be shocked if any country with a serious military didn't have similar laws.

So your right when it comes to private citizens, but the DoD literally has a special carve out on the books.

A lawsuit challenging it would have actually been insane from anthropic because they would have had to argue "we're not that special you can just use someone else" in court.

A more clear example would be, what would you expect to happen if Intel and amd said our chips can't be used in computers that are used in war.
by TacticalCoder | 2026-02-28 22:15:49+00:00
> I had to read books

Same here. Except that as native french speaker there simply weren't that many quality books about programming/computers that I could easily find in french.

So at 11 years old I also learned english, by myself, by using computers (which were in english back then) and by reading computer books.

And we'd exchange tips with other kids in the neighborhood who also had computers and were also learning to code (like my neighbors who eventually, 20 years later, created a software startup in SoCal).
by ck2 | 2026-02-28 22:16:15+00:00
ah the coastline paradox

https://en.wikipedia.org/wiki/Coastline_paradox

where the sampling rate affects distance measured

this is also why the GPS on your watch will reports different distances the more frequently it samples, ie. once per second vs once per every few seconds, think curves becoming diagonal lines

it's also why they measure official distances using a wheel on a stick
by slowmovintarget | 2026-02-28 22:17:32+00:00
So the only thing you're actually interested in is arguing "Trump bad."

Iran's religious leadership has been sponsoring terror throughout the world for the last 40 years. Jimmy Carter was duped by the British into causing the rise of Shia Islam there. Khamenei and his leadership had escape locations prepared in Venezuela. The U.S. rolled those up first, nabbing the leader of a criminal cartel (Maduro) in the process. Now Israel and the U.S. have taken out Iran's oppressive "supreme leader" at a moment in history when the Iranian people are struggling for their own freedom.

Khamenei was a bad guy. Maduro is a bad guy. They've put evil and harm out into the world and you're wringing your hands about it because it was Trump that stopped them?

"By G'Quan, I can't recall the last time I was in a fight like that. No moral ambiguity, no .. hopeless battle against ancient and overwhelming forces. They were the bad guys, as you say, we were the good guys. And they made a very satisfying thump when they hit the floor." -- G'Kar
by kjuulh | 2026-02-28 22:18:05+00:00
Seems like a very balanced take on forking Minio. I don't have high hopes for the future Minio, but as mentioned it is more or less feature complete, good enough for most use-cases.

I was searching for a fairly simple replacement for s3 for testing. I'd been using Minio for a while now, and simply ended up implementing my own on top of Postgres. Fun intersection given the post. (Note, I know it isn't optimal, but as I always have Postgres available it fits well, and I don't have high storage needs, just the api compatibility)
by cornholio | 2026-02-28 22:18:35+00:00
China does not have a "massive" excess of males, just around 3-4% overall. The worst hit generations showed 15% more males than global averages, but this seems to be largely an administrative effect where girls were simply reported with a delay.

That being said, China does face a bride price crisis (caili), that has reached tens of thousands of dollars, an exorbitant sum for the the rural areas where it is common. This has led to unrest and public pressure on the government to intervene and regulate this market.
by aabhay | 2026-02-28 22:19:22+00:00
In my opinion all this discussion of the contract language is a subterfuge. The real question is why the government was requesting this language in the first place. Clearly there’s more to it than a legal battle.

In my mind, the government would be fully happy to use this to surveil citizens (and indeed anyone) with or without any legal basis, but the issue was that Anthropic has a safety stack / training and inference protocols that it follows. Refusals, abuse models, and manual guardrails. They didn’t want to shut those off. Likely there were some very basic technical reasons, some being that the team’s safety posture is fully ingrained in the model itself and thus difficult to remove.

In this document, OpenAI admits that while they are not “turning off” their safety stack, they are completely willing to provide the government with a different model, different guardrails, etc. That should be incredibly concerning. Anthropic was unwilling to do this, cited their ToS, and ultimately had to walk away from the deal. Given that the government (DoW really) framed this in terms of a hilariously stupid position (surveillance and autonomous weapons), Anthropic felt that this was something they could voice to the public and therefore the entire guardrails discussion turned into a “we want the language changed”. Also the government can’t actually compel Anthropic to create new guardrails so they had no choice but to raise the stakes, make this a moral thing, and basically accuse Anthropic of being woke.

IMO this is really sad for OpenAI employees. Yet again Sam Altman proves that he wants to weasel his way around public perception. Folks at the company have to grapple with working for someone of that disposition.
by robocat | 2026-02-28 22:19:28+00:00
I give friends a codeword before I go overseas (verbally but next time I'll write it on a note).

I learnt my lesson after online access to my bank was blocked for two weeks and I also lost a card two trips ago. Plus Chile blocked my phone IMEI (their beaurocracy fucked me up completely).

Western Union plus friends are a fantastic backup for when things go pear shaped.
by pityJuke | 2026-02-28 22:19:38+00:00
Haiku 4.5 is a reasoning model. [0]

[0]: https://www-cdn.anthropic.com/7aad69bf12627d42234e01ee7c3630...

> Claude Haiku 4.5, a new hybrid reasoning large language model from Anthropic in our small, fast model class.

> As with each model released by Anthropic beginning with Claude Sonnet 3.7, Claude Haiku 4.5 is a hybrid reasoning model. This means that by default the model will answer a query rapidly, but users have the option to toggle on “extended thinking mode”, where the model will spend more time considering its response before it answers. Note that our previous model in the Haiku small-model class, Claude Haiku 3.5, did not have an extended thinking mode.
by jackcosgrove | 2026-02-28 22:20:01+00:00
Complexity can lead to "more is different" outcomes at higher strata. I would not say reified concepts are "made up" as they can have very real effects on both higher and lower strata.

The fallacy of reification is treating something emergent as a thing-unto-itself rather than a process or interaction born from constituents at a lower stratum. A reified thing can be recognized and changed for this reason. A mental concept needs only a change of mind to mutate, or to be destroyed.

Religion may well prove to be a reification that is destroyed once it is recognized as such. But I do believe that you cannot reduce that which is real and not real to only those things that have physical antecedents at lower strata, as we see emergent phenomena in the physical world as well.
by pocksuppet | 2026-02-28 22:20:01+00:00
> Contrary to popular belief, governments do not "print money" to spend

This part is wrong. In the US scenario, the government either issues bonds (creating money) or it moves its reserves at the central bank, bringing money into circulation. Money outside of circulation effectively doesn't exist, so this effectively creates money.

Money relationships between two parts of the same entity should not be counted as money. Otherwise I can become a trillionaire by lending myself a trillion.

The deficit-surplus identity seems to only hold if the federal reserve is considered part of the government.

> The Fed’s balance sheet expands. It has more assets and more liabilities. This is not "printing money" in the colloquial sense; it is creating electronic reserve accounts that banks can use for lending or other purposes.

Except you just said money is a relationship on balance sheets. Larger balance sheet = more money. Perhaps the dispute is over the word "printing", since creating money doesn't involve a printer.

I like the section about money moving. Those of us in the cryptocurrency ecosystem see the clear parallels. When Bitcoin is used to pay for something priced in Ethereum, the bitcoins don't leave the Bitcoin network - they end up at a trader who releases the same value of ethers on the Ethereum network.
by boulos | 2026-02-28 22:20:35+00:00
Maybe the author isn't aware that Chainguard is going to keep patching MinIO for CVEs:

https://www.chainguard.dev/unchained/secure-and-free-minio-c...

You wouldn't get the other changes in this post (e.g., restoring the admin console) but that's a bit orthogonal.
Show HN: Free, open-source native macOS client for di.fm
by thucydides | 2026-02-28 22:21:33+00:00
I built a menu bar app for streaming DI.FM internet radio on macOS. Swift/SwiftUI, no Electron.

The existing options for DI.FM on desktop are either the web player (yet another browser tab) or unofficial Electron wrappers that idle at 200+ MB of RAM to play an audio stream. This sits in the menu bar at ~35 MB RAM and 0% CPU. The .app is about 1 MB.

What it does: browse and search stations, play/pause, volume, see what's playing (artwork, artist, track, time), pick stream quality (320k MP3, 128k AAC, 64k AAC). Media keys work. It remembers your last station.

Built with AVPlayer for streaming, MenuBarExtra for the UI, MPRemoteCommandCenter for media key integration. The trickiest part was getting accurate elapsed time. DI.FM's API and the ICY stream metadata don't always agree, so there's a small state machine that reconciles the two sources.

macOS 14+ required. You need a DI.FM premium account for the high-quality streams.

Source and binary: https://github.com/drmikexo2/DIBar-macOS
by WarOnPrivacy | 2026-02-28 22:21:45+00:00
Three of us have been practicing IF for some time. Son #3 lost half his body weight (300->150s), mostly under IF. It's his way-of-life now.

Son #5 and I have done well, losing about 30lbs ea.

For son #5 and I, calorie counts are integral to our weight loss (but weren't enough on their own). Conversely, calories don't seem to matter to son #3. He can eat mountains of whatever w/o blowing up his weight.