MurphyA/hacker-news huggingface dataset:
by martin-t | 2025-09-30 20:21:17+00:00
People are willingly blind.

Kids are happy that homework takes less time. Teachers are happy that grading the generated homework takes less time. Programmers are happy they can write the same amount of code in less time. Graphic designers are happy they can get an SVG from a vague description immediately. Writers are happy they can generate filler from a few bullet points quickly.

But then someone comes along, notices people are not working most of the time, fires three quarters of them and demands 4x increased output from the rest. And they can do it because the "AI" is helping them.

Except they don't get paid any more. The company makes the same amount of money for less cost.

So where does the difference go? To the already rich who own the company and the product.
by zahlman | 2025-09-30 20:21:21+00:00
I thought so too at one point, but now I'm skeptical. The demanders will keep filtering in, and random people unacquainted with past stories of CoC abuse may feel uneasy.

So I think the best way is to: be a BDFL, proactively have a CoC that reflects your values (and to hell with any standard formulations), and make it explicit up front that anyone who wants changes to the CoC can go kick rocks (or, you know, fork the project). And that they're welcome to do so, and won't be interfered with outside of the project's own spaces.

And people who don't like an existing BDFL, rather than trying to take over or start drama in project discussion spaces, should just fork ASAP.
by sgaure | 2025-09-30 20:21:36+00:00
I use julia intensively and have done so for 5 years or so. I have never encountered anything I would call a correctness bug. I guess it depends on what you count as a correctness bug, and what you mean by "julia". The core language has no obvious bugs, but there are packages of dubious quality.

Say you use some package for numerical integration. One day you cook up your own floating point type, and use the same package with success. Then you change your floating point type subtly, and suddenly weird things start to happen. Is it a correctness bug? Whose bug?

Surely, the author of the integration package didn't have your weird floating type in mind, but it still worked. Until you made it even weirder. These are the things some people think are correctness bugs in julia. It's mostly poor coding.
by timr | 2025-09-30 20:21:48+00:00
> the size of the federal workforce has been at around 2.7-3 million people since the late 1960s, while the US population has gone from ~198 million in 1967 to ~343 million in 2025. We've gone from 14.39 federal employees per 1,000 people in 1967 to 8.78 federal employees per 1,000 people in 2024.

Again, so what? The entire premise that government should scale with population is questionable. These comparisons with US population are facile.

Again, most of the employees are with Defense, VA and Homeland Security, none of which "should" scale with US population. I could go down the list and identify many other areas that likewise do not obviously scale with population (e.g. Agriculture, Interior, State, NASA, etc.) but this entire line of argument is pedantic. It's obvious to anyone who has dealt with the government that it is a bloated bureaucracy.

We completely agree that the budget problem is, at root, entitlements, but that doesn't mean that the government workforce is anywhere near an optimal level. I remain unterrified of a cut to 100,000 workers.
by btilly | 2025-09-30 20:21:49+00:00
I'm definitely not trying to say that the existence of uncountable sets requires the axiom of choice. Cantor's diagonalization argument for the reals demonstrates otherwise.

I'm saying that to go from the uncountability of the reals to the idea that this implies that the infinity of the reals is larger, requires making some important philosophical assumptions. Constructivism demonstrates that uncountable need not mean more.

On the algorithm example, you could have asked what I was referring to.

The result that I was referencing follows from the https://en.wikipedia.org/wiki/Robertson%E2%80%93Seymour_theo.... The theorem says that any class of finite graphs which is closed under graph minors, must be completely characterized by a finite set of forbidden minors. Given that set of forbidden minors, we can construct a polynomial time test for membership in the class - just test each forbidden minor in turn.

The problem is that the theorem is nonconstructive. While it classically proves that the set exists, it provides no way to find it. Worse yet, it can be proven that in general there is no way to find or verify the minimal solution. Or even to provide an upper bound on the number of forbidden minors that will be required.

This need not hold in special cases. For example planar graphs are characterized by 2 forbidden minors.

For the toroidal graphs, as https://en.wikipedia.org/wiki/Toroidal_graph will verify, the list of known forbidden minors currently has 17,523 graphs. We have no idea how many more there will be. Nor do we have any reason to believe that it is possible to verify the complete list in ZFC. Therefore the polynomial time algorithm that Robinson-Seymour says must exist, does not seem to exist in any meaningful and useful way. Such as, for example, being findable or provably correct from ZFC.
by mbesto | 2025-09-30 20:21:55+00:00
> Sure to the rest, but: Whatsapp had 55 employees and 450 million users when it was acquired.

JPM regularly acquires businesses that do not look like WhatsApp and look more like Frank. For 99% of the acquirers out there, seeing a business with $450m in ARR with 55 employees definitely makes your eyes bulge.
by neilv | 2025-09-30 20:22:12+00:00
If this company's guardrails end up sufficiently working well in practice (note phrases like "intended", "take measures", and "preferences...requested", on things they can't do 100%)... there will be weak links elsewhere, letting similar computation be performed without sufficiently effective guardrails against abuse?

How do we prepare for this? Societal adjustment only (e.g., disbelieving defamatory video, accepting what pervs will do)? Establishing a common base of cultural expectations for conduct? Increasing deterrence for abusers?
by cheema33 | 2025-09-30 20:22:44+00:00
This lady could say that she was a victim of Biden justice dept. Say good things about Trump and follow it up with a large donation to Trump. That ought to be enough to get a pardon.

This is exactly what the convicted fraudster Trevor Milton, founder of Nikola Motors did, to get a pardon.

When signing the pardon, Trump said that he doesn't know anything about Trevor but heard that he likes Trump.
by tazjin | 2025-09-30 20:22:49+00:00
Personally I like Babbel. It looks a bit dated (or did the last time I used it), but its content is really good and it helped me bootstrap 3 out of the 5 languages I speak fluently.

There's no gamification like in Duolingo, you have to bring your own motivation and endure the UI, but it really does get you to the level where you can continue on your own.
by kschrader | 2025-09-30 20:23:48+00:00
One other note: We've seen teams where people are now using Korey as the main surface to their work tracking tool.

They show up in the morning and say "what was I working on yesterday?" "what else do we have to do in this sprint?" "Assign task XYZ to Devin.ai and put Story ABC into the started state and assign it to me"

It's been unexpected and surprising to me how fast the tools that we've used for years have become tools that are only looked at occasionally for some of the teams that are really leaning in here.
Are there any CLI-only tools that are monetized, no web UI at all?
by las_nish | 2025-09-30 20:24:05+00:00
Hey folks,

I’m curious if there exist any command-line tools (CLI) that allow users to sign up, log in/out, manage subscription / billing, etc, entirely via terminal, without relying on any web UI or browser flow.

I’ve seen many tools that support CLI logins or actions post-login, but still use the web for checkout, payment, plan comparisons, account settings, etc. I’m wondering:

- Does anyone know a tool (open source or commercial) that handles full subscription lifecycle strictly via CLI?

- What are the technical or practical challenges people encountered in trying to build one?

- If this doesn’t exist widely, why do you think that is?

Thanks in advance for pointers or experiences you can share!
by jmyeet | 2025-09-30 20:24:08+00:00
One of the reasons the 787 was fraught with problems is because it was peak decision-making by finance and accounting people. Specifically, Boeing outsourced everything for the 787s. There were layers of subcontractors upon subcontractors to produce the different parts because, you know, outsourcing was "cheaper" or "more efficient". So of course the logistics pipeline is hellishly complicated.

All because Boeing just didn't want to employ people directly who can build up expertise.
by echelon | 2025-09-30 20:24:21+00:00
Honestly this is the safest possible outcome.

If Deepfakes remain the tools of nation state actors, laypeople will be easily fooled.

If Deepfakes are available on your iPhone and within TikTok, everyone will just ask "Is it Photoshop?" for every shred of doubt. (In fact, I already see people saying, "This looks like AI".)

This is good. Normalize the magic until it isn't magic anymore.

People will get it. They're smart. They just need exposure.
Show HN: Eventvisor – govern, transform, filter tracked events via remote config
by fahad19 | 2025-09-30 20:24:45+00:00
Hi folks,

Attempting a new GitOps focused Open Source tool after Featurevisor (https://featurevisor.com), and this time about analytics events.

To highly summarize, Eventvisor is:

- A centralized governance tool for your analytics events

- Remotely controlling how tracked events flow from your apps

- Including filtering, transforming, and sampling them

- Without having to redeploy your apps

- Integrating with multiple first or third-party analytics services

The bigger your product engineering org is, the more likely you will appreciate the workflow it establishes. Depending on where you sit in the hierarchy, the benefits are:

- Product Managers having clarity and influence over analytics events

- Engineering teams made accountable if they are tracking wrong data

- Engineering managers having clear ownership and boundary

- Principal/Staff engineers debugging cross-team apps without redeploying

- Marketing team’s requirements brought into same workflow (think pixels)

- VPs positioning strategically to migrate to/from vendors with ease

- CTOs pushing for ingestion cost savings via filtering and sampling

- Execs having reports they can rely on from Data teams

- Data & analytics teams recovering their receding hairlines (!)

It's very early now, and my focus was just to express the idea I had in my mind as a working solution end to end. It will evolve and get better by the time it reaches v1.0 stable. No ETA for that yet.

Looking forward to hearing your feedback, and use cases where you think it might be useful. Thanks!
by dredmorbius | 2025-09-30 20:24:50+00:00
In the context of social media, or more generally, user-submitted and user-generated content, which would subsume HN, "algorithm" is virtually always shorthand for algorithmic amplification, with an end-goal of increasing time-on-site, engagement, addiction, outrage, and similar measures. And that is what HN explicitly does not have.

<https://knightcolumbia.org/content/the-myth-of-the-algorithm...>

To the extent that HN does utilise specific procedural mechanisms to adjust the priority of content, it's virtually always away from the typical patterns of algorithmic amplification: less emotion, less outrage, fewer hot takes, less nationalism and relgious flamewars, and specifically toward "intellectual curiosity and thoughtful conversation": <https://news.ycombinator.com/item?id=13108404>.

It would be possible, yes, though incredibly disingenuous, to argue that what HN is doing is itself amplification. Yes, any curation is an amplification of some content over other, but in a world where "algorithmic content" means clickbait, brain-crack, and stickyness, HN is quite clearly aiming for something else.

Another facile objection is that HN fails to achieve its stated goals. Well, yes, it does, and the mods freely admit this (see, e.g.: <https://news.ycombinator.com/item?id=20188101>). Why does HN fall short? Because the problem is hard (see, e.g., <https://news.ycombinator.com/item?id=16163743>).

If power-law dynamics were purely the result of manipulative algorithmic amplification, we'd see them only in online media subject to such amplification. And that's simply not the case. Power laws are fundamental to not only all of human communications and interactions (word and letter frequencies, for example, neither of which suggest a strong influence by algorithmic amplification), but to all manner of natural phenomena, including those entirely outside the realm of biological activity (e.g., frequency/magnitude plots of earthquakes, volcanoes, asteroid impacts, and stellar novae).

And in the realm of interpersonal online communications, HN's goals and interventions (mods, voting, and some programmed mechanisms) are desperately trying to swim upstream. As someone whose online tenure pre-dates the Web and extends to pre-Eternal September Usenet, HN has done remarkably well, and outlived many of its antecedents' and competitors' useful or entire lives (Usenet, Slashdot, Digg, Reddit, Google+, et cetera). Trust me, I'd love to see it do better (a view often voiced by mods as well). But in an ordinal ranking with what actually exists it's an exemplar.

This isn't a nitpick, it's a core and central point with (literally) universal applicability.
by zahlman | 2025-09-30 20:25:09+00:00
> And it is not even about politics and woke, I do not think there were any political statement here. It is just obvious this again was written by a crazy person.

There may not have been political statements here but the people doing this absolutely are motivated by their politics.

> But strangely none of those forks really got any traction or are going anywhere it seems... I am wondering why are those unhappy contributors helping the Lix project or some other forks?

Presumably they aren't helping forks because they despair of any fork getting anywhere near the traction of the original.

But that shouldn't be NixOS's problem.
by ghaff | 2025-09-30 20:25:22+00:00
Pretty much. You can outfit pretty much any airframe you want to be business class only seating but not enough people will buy when it pops up on Expedia at 2+ times the price of the alternative.

I don't love Economy on long flights either but I'm mostly not willing to pay thousands of dollars out of pocket for a more comfortable alternative for 8 hours or so.
by landl0rd | 2025-09-30 20:25:56+00:00
Beff has shipped zero chips and shitposted a lot. It is a cool idea but he has made tons of promises and it's starting to seem more like vaporware. Don't get me wrong, I hope it works, but doubt it will. Less podcasts more building please.

He reads to me like someone who markets better than he does things. I am disinclined to take him as an authority in this space.

How do you believe this is related to Cerebras?
by pinkmuffinere | 2025-09-30 20:26:01+00:00
Thanks for the summary! I haven’t read tfa yet, so my apologies if this is answered in there, but: does this mean that we’ve already reduced the contribution from cholesterol to events? Or that cholesterol was simply associated and not causative? I imagine the truth is somewhere in between, perhaps we can guess that’s it’s 70% due to one and 30% due to the other?
by n4r9 | 2025-09-30 20:26:32+00:00
I'm not sure about Maps to be honest, but that sort of glitch is a strong indicator that they're just snapping to the nearest current road rather than doing proper routing calculations.

My Toyota has a speed limit symbol on the dashboard which will occasionally show the speed of a slip-road going onto the motorway I'm already on. I'm guessing it's a similar phenomenon.
by stsffap | 2025-09-30 20:27:01+00:00
Restate Cloud is now publicly available with usage-based pricing (free tier: 50k actions/month, no CC required).

Restate provides durable execution for workflows and AI agents - think "transactional guarantees for distributed code." It handles state persistence, automatic retries, and crash recovery so your workflows always complete. Already being used for AI orchestration, payment processing, and banking infrastructure.

The platform combines the dev-ex of cloud-native orchestration with database-level guarantees, while also running as a single binary that scales from localhost to multi-region. New features include detailed execution timelines, client-side encryption with customer keys, and seamless integration with Cloudflare Workers/Vercel/Deno that automatically handles the versioning problem (no more breaking durable executions with code changes).

Open source core + managed cloud offering.
by kjmr | 2025-09-30 20:27:22+00:00
I wouldn't want to give my credit card info to a CLI. When it's on the web I can see if the connection is encrypted, I can (usually) see who the payment processor is (like Stripe). What happens with my credit card number that I enter into the CLI? How is it sent, where does it get stored, etc.

You also wouldn't be able to support Apple Pay or Google Pay, or international payment methods (like iDEAL in The Netherlands).

Payments seem like a huge problem to go pure CLI without a web UI.
by josephg | 2025-09-30 20:27:30+00:00
Most sales aren’t that complicated. Usually UK law targets anything sold to people who are physically in the UK, paying in GBP. Which from the sounds of things, was something imgur did.

Does it also count for people in the UK using a vpn? What about people in the UK paying using American money? It’s not clear, but it doesn’t really matter. These laws target the service providers, not the customers. If you website says “this product isn’t available to UK residents” and you IP block and don’t take GBP as a payment method, nobody will get too angry if a spattering of tech savvy people get around the block using a VPN.
by tastroder | 2025-09-30 20:27:40+00:00
I clicked on a few red team "scenarios" if you want to call them that, a few of the tiles look like output of regular tools vaguely related to each but the rest - including the main "terminal" thing - seems more on the fictional side to the point I don't see this being educational.

There's plenty of training material out there these days actually using these tools in contained but realistic environments, if education is the goal just go for those.
by npodbielski | 2025-09-30 20:27:49+00:00
For about two years I am working on dynamically configured, zero-downtime, low-code API and extenaible platform called Hamster Wheel. It is written in C# and today I released first one of few libraries that I developed while working on it:

https://github.com/npodbielski/HamsterWheel.FluentCodeGenera...

It is small helpful library that helps to write Roslyn source code generators using fluent API. Might be a bit niche use, but native Roslyn APIs are a bit complicated to get started writing source code generator. Fluent API helps with that greatly. In example:

- automatically emits using statements

- automatically format generated code

- helps with importing types

- helps with indentation and balancing parenthesis

- helps with adding, using parameters, async methods generation

- provides nicer to use wrappers to Roslyn IncrementalValueProvider

- allows to share pieces of code between files/classes (i.e. interfaces implementation)
by echelon | 2025-09-30 20:27:58+00:00
In 2023, Carvana ran an ad campaign that showed you a video of "your car" thanking you and talking about your time together:

https://adage.com/article/digital-marketing-ad-tech-news/car...

A little creepy, but very much in this vein.

We probably haven't even scratched the surface of what will be done with this tech. When video becomes "easy", "quick", "affordable", and "automatable" (something never before possible on any of those dimensions) - it enables countless new things to be done.
by wongarsu | 2025-09-30 20:28:05+00:00
We'd pay $xxx billion to have a permanent moon base, something Apollo never had. If that can't efforts excite people enough to keep funding flowing I doubt a space station in lunar orbit will move the needle

To add another data point: the Chinese lunar program also plans to land humans on the moon and later establish a manned research outpost on the surface. But there don't seem to be any plans for an orbital stations, despite China having very successful space stations in LEO
by gjsman-1000 | 2025-09-30 20:28:17+00:00
You're conflating identification with surveillance; which are completely separate issues. Every bar that cards you isn't surveilling you. Every bank that KYCs you isn't obligated to track every purchase; if they do, the reaction is not to ban KYC, but ban the surveillance. Every library card you use to check out, is not obligated to sell your data; if they do, the reaction is to ban data sales, not library cards.

The cypherpunk ideology has convinced you that any form of identity verification equals totalitarian control, which is precisely the absolutist thinking that prevents reasonable child safety measures, and got us here. There's a massive middle ground between 'anonymous free-for-all' and 'government surveillance state' that you're pretending doesn't exist.

You might say that's a slippery slope. However, government at all is a slippery slope, a senator can literally propose anything at any time, and a Supreme Court ruling can practically do whatever it wants. And yet, every attempt at living without a government, has always been worse. The internet right now is like living in an anarchic society with moderators and tech companies as warlords. The warlords don't see a problem with this, but the majority of people underneath know full well there's a government already.

The cypherpunk ideology doesn't keep government out of tech. It just creates worse governments with less accountability and more power.
by scythe | 2025-09-30 20:28:23+00:00
> The ACC is now recommending that everyone measure inflammation (specifically, hs-CRP)

Burying the lede a little, here. The ACC has decided on a standard way to measure inflammation, which decades ago was a centerpiece of some very woo-woo "following the squizledoff diet will decrease your gomperblorp"-style health 'advice'. "Systemic inflammation" was a very tricky physiological parameter to nail down.
by duothrowaway99 | 2025-09-30 20:28:51+00:00
Some Alliance Française outposts offer online classes, and italki has a number of great tutors. It always depends on the teacher you work with ofc, but I know someone who had great experience with both.

There are also a number of social media influencers (who probably were language tutors in a past life) that run online paid communities aka you pay to be part of their language community, and then have access to classes, zoom calls, etc.

They're harder to find / it's more difficult to immediately parse which ones will be good. But you can get a preview of "how they are" by consuming what they publish. For instance, for Canadian (Quebec) French, these are great:

https://www.youtube.com/@wanderingfrench

https://www.youtube.com/@maprofdefrancais

https://www.frenchwithfrederic.com/

I'm sure there are equivalents for French from France, and other languages. Searching "Learn {language name}" on YouTube/Instagram would be a good start.
by Thorrez | 2025-09-30 20:29:02+00:00
Crafted for the Google CTF. Here's the challenge:

https://capturetheflag.withgoogle.com/challenges/pwn-webz

There's an attachment link, which I believe contains the patch (I haven't looked though):

https://storage.googleapis.com/2025-attachments/193040ef9e60...