MurphyA/hacker-news huggingface dataset:
by lexz0r | 2025-12-23 14:50:04+00:00
rofl, what does any of that have to do with what i'm saying, detective columbo?

wait, i need to _use_ more _italics_, that's how we know we've made an _excellent point_

i only have one post on deviantart too, shall we get into that? come on lets have a fireside chat and settle your nerves as you tremble before the inexorable weight of technological change.

here you go: https://www.deviantart.com/moodyknifehurt/art/Crab-world-tra...
by krastanov | 2025-12-23 14:50:26+00:00
Shor's algorithm does not start with the qubits storing anything related to the n-bit number to be factored. The n-bit number is encoded *only* in the XOR-oracle for the multiplication function.

Shor's algorithm starts with the qubits in a superposition of all possible bitstrings. That is the only place we have exponentially small amplitudes at the start (in a particular choice of a basis), and there is no entanglement in that state to begin with.

We do get interesting entangled states after the oracle step, that is true. And it is fair to have a vague sense that entanglement is weird. I just want to be clear that your last point (forgetting about amplitudes, and focusing on the weirdness of entangled qubits) is a gut feeling, not something based in the mathematics that has proven to be a correct description of nature over many orders of magnitude.

Of course, it would be great if it turns out that quantum mechanics is wrong in some parameter regime -- that would be the most exciting thing in Physics in a century. There is just not much hope it is wrong in this particular way.
by andrewmutz | 2025-12-23 14:51:27+00:00
I agree completely with the author that AI assisted coding pushes the bottleneck to verification of the code.

But you don't really need complete formal verification to get these benefits. TDD gets you a lot of them as well. Perhaps your verification is less certain, but it's much easier to get high automated test coverage than it is to get a formally verifiable codebase.

I think AI assisted coding is going to cause a resurgence of interest in XP (https://en.wikipedia.org/wiki/Extreme_programming) since AI is a great fit for two big parts of XP. AI makes it easy to write well-tested code. The "pairing" method of writing code is also a great model for interacting with an AI assistant (much better than the vibe-coding model).
by throwaway17_17 | 2025-12-23 14:52:22+00:00
I read the aliasing post that made the front page yesterday and thought it was good, then read this post and thought the same. Only after scrolling back to top of page did I notice this is Matt Godbolt’s blog. I really have a to respect a guy whose name has become a verb and a proper noun just due to creating a website.

These articles are just about the right length for a 10 minute standing break and I appreciate Matt for keeping them short and to the point. Although Incould probably do with a few more links to the blooms table of contents or a tag system style link.
by tomhow | 2025-12-23 14:52:51+00:00
I tried to make the title fit the guidelines and the character limit, then changed it when the community explained why it was important for A16Z to be in the title.

Why do people think we're motivated to “suppress” negative stories about A16Z? They've been criticized forever here and we've never had a problem with it. All we care about is whether a topic makes for an interesting discussion on HN.

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
by willm | 2025-12-23 14:55:47+00:00
ACP is will designed. It will always be a few features behind the native CLIs as the protocol catches up. But there is very little that you can't do with ACP. A lot can be done with slash commands that are passed through to the agent verbatim.

Python is more than capable of running a TUI. It is just text manipulation after all. Toad uses Textual, which is currently the best TUI library around. I may be biased saying that as I built it...
by afavour | 2025-12-23 14:55:48+00:00
Here are the excuses Bari Weiss gave to bury the story.

The reporters reached out to the govt for comment. They chose not to respond. If you insist on holding off publishing until you have a comment you’ve just given the government the ability to block the story by endlessly delaying comment.

More broadly the problem here is simply that Weiss has no legitimate authority to make calls like this. She’s never worked as a reporter. The 60 Minutes staff have decades of reporting experience. The only reason she has the job is because a billionaire who is trying to curry favor with the administration installed her there. That context hangs over every decision she makes.
by tsylba | 2025-12-23 14:56:01+00:00
> This is one of the best things about writing online: your future friends will seek you out.

Do I live in the same reality as the author? is that really a thing as in "it happens regularly enough to be mentioned as if it was"?

Apart from this I'm so-so about this, like I believe a lot of people from my generation I'm fond of the idea of the internet as it was in the 90s, like a decentralized cyberspace of free spirit thinkers, which slowly diluted itself as decades past and might have been at its peaks during the blog bubble and RSS feeds era (meeh it's arguable). But it seems like that spirit is long gone and we've been compartmentalized, our spaces enclosed like the British Luddites were before us. I'm all for the permacomputing self-hosting ring websites but it seems like a thing mostly done by the cool kids, the Artists, the few that tend to do it for the performative angle more than from their own tropism or the one from the culture (as it was done when it was natural to do so).

I'm not sure we could really go back to that era flavored internet culture without burning the centralized juggernauts to the ground.
by testdelacc1 | 2025-12-23 14:56:46+00:00
What an outrageously bad analogy. Everyone involved in that building put their professional reputations and licenses on the line. If that building collapses, the people involved will lose their livelihoods and be held criminally liable.

Meanwhile this vibe coded nonsense is provided “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED. We don’t even know if he read it before committing and pushing.
by herewulf | 2025-12-23 14:58:01+00:00
There is nothing to prepare for because the only possible war between the USA and China is a nuclear war and such a war has no victor. Both countries are "prepared" in terms of nuclear weapons.

The USA is clearly not prepared to sacrifice any of its own cities to prevent an invasion of Taiwan.

All this sabre rattling and military buildup only serves to put money in the pockets of the military industrial complex and/or build military capabilities for each country to exert its will within its own sphere of influence.
by dangalf | 2025-12-23 14:58:03+00:00
>Today's Windows Task Manager
executable occupies 6 MB of disk
space. It demands almost 70 MB
before it will show a user just how
much of a memory hog Chrome is these days. The original weighs in
at 85 KB on disk. Its successor is
not orders of magnitude more
functional.

I saw an article here that pointed out that there are keyboards today that have more computing power then the original Apple computer.
by westurner | 2025-12-23 14:58:08+00:00
Metrics for LDES: Levelized Cost of Storage (LCOS), Gravimetric Energy Density, Volumetric Energy Density, Round-Trip Efficiency (RTE), Self-Discharge Rate, Cycle Life, Technical Readiness Level (TRL), Power-to-Energy Decoupling, Capital Expenditure (CAPEX), R&D CapEx, Operational Expenditure (OPEX), Charging Cost, Response Time, Depth of Discharge, Environmental & Social Governance (ESG) Impact
by Kwpolska | 2025-12-23 14:58:10+00:00
This site links to https://areweloongyet.com/en/

> Even though the Loongson Corporation has yet to release the remaining volumes of the LoongArch manual, thanks to a wealth of public information such as publicly available QEMU and Linux changes, "undisclosed" information such as instruction encoding and behaviors is, in effect, already public. The absence of manuals can no longer hinder optimization efforts by The People.

If the architecture is still undocumented, I would not consider Debian’s move to be wise.
by SmirkingRevenge | 2025-12-23 14:58:14+00:00
It's a bummer, but discussions about the intersections of politics and tech are especially important when many prominent figures in SV are inserting themselves directly into politics or are funding inherently political projects. It's clear, for many of them, their values are misaligned with many core democratic values and sometimes even human rights.

Musk and DOGE killed an estimated 600,000 people, mostly kids under 5, and the death hasn't abated yet. Tech workers helped him do it.

If you'd rather not be the kind of useful idiot who helps a megalomaniacal tech billionaire rack up the body count of an early 20th century despot, politics are unfortunately unavoidable.
by softwaredoug | 2025-12-23 14:58:54+00:00
The US has had worse structural power imbalances in the past. It’s gotten over them (after a generation or more) by

- coalition shifts - every election, new groups going and out of each party

- demographic shifts - shrinking / growing / moving around of different groups

- external shock - war / depression / ?? changes incentives of governance (see Civil War, Great Depression)

- hegemons dilemma - the in power party over time goes through in fighting, over confidence, etc (see Republicans becoming corrupt in The Gilded Age)

Alternate constitutional order can mean a lot besides amendments - or even using Federal power. It can be about organizing economic power to reject illegitimacy. It can mean organizing the Democratic Party differently as more of a shadow set of social institutions that support people. It can mean leveraging state power, and building coalitions of blue states. Or other creative approaches to power.
by baq | 2025-12-23 14:59:54+00:00
You haven't been paying attention.

The fact that we're reading about it here today and have read about it in the past weeks is one piece of evidence. Another is that we hadn't been reading about it in the past months before November. Opus 4.5 and GPT 5.2 have crossed an usefulness frontier.

Anecdotally, I've been having some success (guiding LLMs) writing Alloy models in the past month and ensuring conformance with code. Making these would've been unjustifiable from ROI perspective fairy tales just this summer. The landscape has changed qualitatively.
by octopoc | 2025-12-23 15:00:33+00:00
This is a good summary of the problem with rust I think:

> Pretty much all UI can be modeled as a tree–or more abstractly as a graph. A tree is a natural way to model UI: it makes it easy to compose different components together to build something that is visually complicated. It’s also been one of most common ways to model UI programming since at least the existence of HTML, if not earlier.

> UI in Rust is difficult because it's hard to share data across this component tree without inheritance. Additionally, in a normal UI framework there are all sorts of spots where you need to mutate the element tree, but because of Rust’s mutability rules, this "alter the tree however you want" approach doesn't work.[1]

[1] https://www.warp.dev/blog/why-is-building-a-ui-in-rust-so-ha...
by saghm | 2025-12-23 15:01:03+00:00
OTOH even as someone who played a popular online Blizzard game for years (and realistically spent a decent amount of money on it), maybe it's not the worst thing in the world if this sort of think becomes considered more "scam" than "legitimate business model". There's almost never a direct 1:1 ratio between the real money you convert into the currency and the price of the thing you want to get (which isn't that surprising, as it would probably be pointless to ask someone to put in $20 to convert to widgets only to immediately ask for all of their widgets for the item they want rather than ask for the $20 directly), which means you either buy more than you intended or hold onto it in the hopes that you can put it towards something else you want later. What percentage of people who have ever bought one of these currencies do you think don't currently still hold some due to having leftover from their most recent purchase? What percentage of people have bought some and later stopped playing the game managed to spend all of them before they stopped? All of those people have basically been taken advantage of IMO (probably knowingly, but that's hardly an excuse when there's a power imbalance). Even if the relative injustice is small compared to other things in the world, it would still probably be better for business models like that not to exist.

(edit: in retrospect "OTOH" was a poor choice of words since this isn't really a different point than the parent comment is making)
by test123asdfasdf | 2025-12-23 15:01:23+00:00
Comment is interesting because its only confirmation bias material and doesn't hold up under minimal scrutiny. If you want to stay in pretentious CS analogy territory, then consider that if you can react to current events you can be a heuristical pathfinding algorithm that adjusts its goal based on locally optimal heuristics, making each individual step more efficient. This all a straight ass pull that will not translate to real world performance either, but it will serve to sound impressive to a fool.
by estearum | 2025-12-23 15:01:38+00:00
In our country, someone who hasn't been convicted or otherwise adjudicated of a crime is called innocent. There are thousands of innocent people being deported.

Perhaps these people committed crimes or administrative violations, perhaps not, but until they've been determined as such, they're correctly called innocent with no quotes.

GP is speaking specifically about that subset of people when they use the word innocent.
by spopejoy | 2025-12-23 15:02:34+00:00
It's almost assuredly paid actors, the kind who brigade every single comment section no matter how piddly the outlet anytime there's a peep of pro-Palestinian, pro-abortion or whatever the culture-war generals are focusing their troops on.

Tbh HN does a _lot_ better dealing with this than pretty much anywhere. Yes HN has the flagging feature so of course it will get abused but as evidenced by this article sitting now at the top of HN, it gets addressed by moderator intervention, regularly.
by wolfejam | 2025-12-23 15:02:38+00:00
I built FAF (Foundational AI-context Format) to solve context loss in AI coding sessions. Now IANA-registered, 18k+ npm downloads, Anthropic-approved MCP server.

This week I shipped two new implementations:

1. bun-sticky-faf - Pure Bun, zero deps, 328 tests
2. bun-sticky-zig - 77KB binary, zero runtime, built in Bun's language

The Zig version is interesting - Bun itself is built on Zig, so this CLI speaks Bun's native language. Sub-millisecond cold start.

npm: https://npmjs.com/package/bun-sticky-faf
Zig: https://github.com/Wolfe-Jam/bun-sticky-zig
by close04 | 2025-12-23 15:02:40+00:00
If that was the reason, a case by case analysis would make more sense than blanket ban. There’s no plausible technical explanation for this that doesn’t apply to any other devices, components, or software. If it could be made dangerous in theory then preemptively assume it will maybe at some point and ban it.

This is from the same people who brought you “let’s break all your encryption because you might become a criminal in the future”.
by pjc50 | 2025-12-23 15:02:55+00:00
If deplatforming didn't work, why is the CBS 60 Minutes special being pulled? Why does the US have such an elaborate and far reaching network of financial sanctions, and corresponding anti-BDS laws trying to prevent private organizations from maintaining sanctions of their own? Why do most platforms and payment providers deplatform adult content? And so on.

(The article appears to complain that the John Birch Society were wrongly deplatformed, if you want to know how far out the author is)
by renewiltord | 2025-12-23 15:03:01+00:00
I think you need to start with the following statement:

> We would like to acknowledge the open source people, who are the traditional custodians of this code. We pay our respects to the stack overflow elders, past, present, and future, who call this place, the code and libraries that $program sits upon, their work. We are proud to continue their tradition of coming together and growing as a community. We thank the search engine for their stewardship and support, and we look forward to strengthening our ties as we continue our relationship of mutual respect and understanding

Then if you would kindly say that a Brazilian invented the airplane that would be good too. If you don’t do this you should be cancelled for your heinous crime.
by sentinelowl | 2025-12-23 15:03:04+00:00
I built this interactive explorer after obtaining 14,674 DOJ documents through FOIA releases related to the Epstein case.

Technical stack:
- Vanilla JS + D3.js for the force-directed network visualization
- Static HTML/CSS hosted on GitHub Pages
- All 14,674 PDFs converted to searchable text
- 38,562 images extracted and organized

Features:
- Interactive conspiracy network graph showing connections
- Searchable person cards with document counts
- Direct document excerpts with highlighted keywords
- Clickable links to detailed reference pages for each person
- Full timeline from 1994-2022

The data processing involved bulk PDF-to-text conversion and entity extraction to identify names, phone numbers, and aircraft tail numbers across the corpus.

GitHub repo with full source: https://github.com/consigcody94/OWL-DOJ-Epstein-Analysis

Happy to answer questions about the technical implementation or findings.
by cj | 2025-12-23 15:03:06+00:00
Statistics like this are a pet peeve of mine. And to see a whole article filled with "x% of people think Y" is not that interesting.

But honestly I'm pretty impressed that ~50% of people understand that social security payments today are funding current retirees, and not future retirees. The fact that only 25% think the opposite, and 25% don't know, is actually pretty impressive.
by steveklabnik | 2025-12-23 15:03:24+00:00
For future readers, please use this link: https://github.com/rue-language/rue/blob/b0867ccff77ee9957d6...

I am going to be cleaning these up, as they don't necessarily represent things I actually want to do in this exact way. My idea was to dump some text and iterate on them, but I think that's actually not great given some other process changes I'm making, so I want to start fresh.
by stvltvs | 2025-12-23 15:03:26+00:00
The head of the news organization pulled an investigative story presumably because the facts it presented either didn't support her own politics, because she was afraid of the current regime's reaction, or because she doesn't know what journalistic standards are for running this kind of story because she lacks experience.

Two of those reasons are a kind of self-censorship for political reasons tied to who is in power. Democracy needs journalism that's ready to stand up to the people in power or we become a state like North Korea where people can't speak the truth.
by al2o3cr | 2025-12-23 15:03:46+00:00
The "proof-10m.json" file claims to have only needed 256MB RSS (line 13)

It's an amazing coincidence how, despite all the other proof files including 10+ decimal places for their memory statistics, the 100m case somehow came out EXACTLY at integer values! And somehow heap_growth_percent was zero, despite the heap starting at 50 and ending at 3100...

The "proof-100m-official.json" also omits all leaf hashes in favor of referencing a file ".tmp/leaves-100000000.bin" which is not included with the "proof".
by woooooo | 2025-12-23 15:03:54+00:00
I'm not disagreeing too hard with you, we probably feel similarly about both cases. I just don't like how western media takes a "we're the good guys and they're a dystopia" approach to reporting it.

They've charged like 250 people in 5 years under this law[1], I don't like any one of those cases, I'm also against it, but it gets characterized like nobody ever catches a bullshit charge in the West.

[1]: https://www.amnesty.org/en/latest/news/2025/06/hong-kong-nat...
by subscribed | 2025-12-23 15:03:57+00:00
I wouldn't be so optimistic

- https://sls.eff.org/technologies/real-time-location-tracking
- https://www.wsj.com/politics/national-security/u-s-spy-agenc...
- https://www.brennancenter.org/our-work/research-reports/clos...

They don't need to subpoena anyone if they can just get it without the hassle.
by abeppu | 2025-12-23 15:04:12+00:00
The juxtapositions in here are interesting:

- Most Americans don't know how social security is funded but

- An overwhelming majority of nonretired adults (79%) do not believe they will receive their full scheduled Social Security benefits when they retire.

- About three in four adults (77%) have heard that Social Security is projected to run short of money by 2033.

If you thought you had an individual account, and you also thought the program overall was going to run out of money and that you weren't going to get the "full benefit", does that mean you thought you weren't paying enough in?
by BobSonOfBob | 2025-12-23 15:04:20+00:00
Funny, the Musk comment tripped me up as well. Since it is clear the Twitter algos and Grok are sycophantic.
Yet … the article resonates with me. Deplatforming. Canceling. Suppressing. Has not worked.
Moderation. Healthily engagement. Acknowledgement but not acceptance. Can that work?
by constantcrying | 2025-12-23 15:04:22+00:00
Sure, if you can think of better deterrents for migration and better ways to deport more people, then those should be tried as well.

Right now I think these measures are extremely effective, especially at deterrence and I do not see what your arguments against this being an effective deterrence really is. One good step from the legislative would be removing the legal basis for the civil rights lawsuits, so they can be thrown out immediately.
by baq | 2025-12-23 15:04:26+00:00
We won't be formally verifying millions of LOC anytime soon, don't get your hopes that high up.

...but we will be modelling those 5-10kLOC modules across multiple services doing critical business logic or distributed transactions. This has been unthinkable a couple months ago and today is a read-only-Friday experiment away (try it with a frontier model and you'll be surprised).
by evan_ | 2025-12-23 15:04:55+00:00
The whole thing is poorly-conceived and obviously false but I just have to call this out-

> Of the 252 Venezuelans sent to CECOT, we say nearly half have no criminal histories. In other words, more than half do have criminal histories. We should spend a beat explaining this.

The story isn't that people found guilty of crimes went to jail, the story is that half weren't even charged with crimes! That's the whole point of the story! We should not be aiming for a balanced diet of criminals and not-criminals in our government-sponsored foreign death camps!

The fact that they exist at all is an affront to humanity, but to say "it's OK because a slim majority deserve it"- I just don't know what to say.

> We then say that only 8 of the 252 have been sentenced in America for violent offenses. But what about charged?

What about charged? What does charged with a crime have to do with anything? Why bring that up at all? Do we send people to prison because they were charged with a crime? Is Bari Weiss a newborn baby who has never heard about the presumption of innocence?

I feel sick.