MurphyA/hacker-news huggingface dataset:
by nerdjon | 2025-07-28 14:38:26+00:00
I know I have said this many times, but if you need Windows just use Windows 11 LTSC. It lacks almost all of the bulk and crap that Microsoft is trying to shove into Windows. And the things that are missing if you really need them are easy to install.

Don't believe Microsoft's "marketing" about LTSC that it won't work for a general purpose OS. I use this for my gaming PC and it is fantastic.

No need for any sort of debloat script that is doing untested things, LTSC is a working version of Windows.
by randomNumber7 | 2025-07-28 14:38:44+00:00
The paper "Top Down Operator Precedence" also called "Pratt's Paper" introduced a very elegant algorithm for recursive descent parsers in 1973.

Is is also written in a badass style and argues that this is superior to parser generators.

https://dl.acm.org/doi/pdf/10.1145/512927.512931
by kennywinker | 2025-07-28 14:38:55+00:00
The main criticism of two tier healthcare systems (public+private) is that it creates an unstable system. The private system steals all the talent, the rich don’t care if the public system is good since they don’t use it, and thus the public system dies a slow death of 1,000 cuts.

In canada we’re in a phase where this is just starting. Private clinics (e.g. telus health) have started to pull doctors out of the public system and put them behind subscription paywalls. We’re still paying the majority of their salary, but they can only be accessed if you pay their private overlords a monthly fee.
by jacob_a_dev | 2025-07-28 14:39:23+00:00
i also took a few econ classes in college, enjoyed it a lot.

Some other ramblings from me.

Management at companies generally dont want to unionize because it generally makes the company less nimble/competitive (its obvious 99% management doesnt want to pay more for labor so i dont feel need to argue that). So yes, if u are lucky enough to be in the union when it gets created, your benifits/salary is negotiated which is cool, less variability in your future, but youll only get paid if your business manages to continue to out compete competitors.

A union example of this i had was installing robots in factories (most of the factories were unionized) (to replace some transportation of goods inside giant factories). My team and I would work with factory management/engineers to come up with plan to automate some process. Before trying to impliment it, we would need to give our plans to a union rep for approval/feedback (who wasnt an engineer). So that factory's competitors didnt have to wait for an additional approval, we would need to wait for a non technical persons feedback to BEGIN a project, your competitor might be finished with project before union approval is done.

Common story of the american factory. Company unionizes, slowly becomes less competitive, a while later goes out of business. This is why so many companies resist (legally) unionization, as in some industries it means certain death.
by poszlem | 2025-07-28 14:39:26+00:00
To me, the most disturbing part isn’t just the laws themselves, it’s the complete shift in the cultural zeitgeist. When I was younger, people distrusted the government by default. We stood for freedom of speech, anonymity, the right to speak without being censored. Now, even among software developers, people in tech who should know better, I see them practically begging Big Brother for more censorship, more control.

It makes me sick. It brings to mind that old quote from Mussolini: “The truth is evident to all who are unblinded by dogmatism, that men nowadays are tired of liberty.”

Scary times indeed.
by abxyz | 2025-07-28 14:39:34+00:00
“The conversation” is well understood to mean “the things being talked about in the mainstream”. 80% in favour of a law is so overwhelmingly positive that it is rarely seen. My initial comment, a lifetime ago, was in the context of someone asking why the U.K. is unique when it comes to these laws. I said the U.K. is not and that most people support them. I’ve showed surveying that backs that up. The absence of any mainstream articles about this should be evidence enough it isn’t part of the conversation. Maybe that’ll change in future, but at least for now, nobody cares. Maybe you’re right and there’s a conspiracy amongst the mainstream to suppress the real views of the people, we will see.

(I don’t want to talk to you like a child, but a little lesson: mainstream news is mostly a cynical cash grab by harnessing outrage. Mainstream news loves things that outrage people. If there was any real outrage about this law, it would be harnessed by the dailymail and the Sun and Reach PLC to make money hand over fist. They would milk it so hard they would have to implement age verification.)
by rcy | 2025-07-28 14:39:38+00:00
When my daughter was around 2 years old she would sit on my lap and type letters on my laptop into Emacs. I would change the color of the text and she would type more. I figured there was a simple webapp here, so built various things for her to play with over the next couple years. One let her type words and then fire off a ddg safe image search and return cartoon images in response. She would copy words out of her books to get pictures of dogs and trees and silly things.

We live far away from family, and the idea of having a way for her to communicate with cousins and grandparents became the focus. As well as other kids in town. So I thought about a social version of the experiments I'd been playing with.

I'm inspired by Seymour Papert's thinking, about kids using technology to learn math and logic... living in "mathland" so to speak. But I'm also thinking about positive alternatives to the default social network interactions that are available for kids and families now.

Long term I would love to build a platform that lets kids explore technology and build collaborative spaces.

Keeping parents in the loop of what is going on is important, but balancing that correctly can be challenging, I don't want a "big mother is watching" kind of app, but I think its appropriate for parents to know what their kids are doing and looking at and talking to, especially at primary school age (my daughter is currently 8). What is needed and appropriate always changes.
by Silhouette | 2025-07-28 14:40:06+00:00
TBF the government and its agencies - including the NHS - are doing themselves no favours with how they're managing IT at the moment.

There are persistent and valid claims that the NHS is inefficient in its use of technology. It wastes lots of money, wastes clinicians' time, and sometimes fails to get accurate information to the people who need it in time to be used.

But there is a best being the enemy of the good problem here. The amount of regulation involved in supplying any kind of tech product or IT service to these public sector organisations is becoming prohibitive. Parts of the industry that have been providing these products and services into the NHS are being crippled in productivity or even literally shutting down whole supply chains because it's too onerous to comply with all the red tape. It's not just individuals but the small businesses that employ or engage them and then the medium-sized business that use the small ones.

If you're working with big consultancies with their own legal and compliance teams then sure you can write hundreds of pages of contracts and require compliance with several external standards about managing personal data and IT security and whatever else. But that regulation flows downhill to the smaller suppliers who don't have resources already available to deal with those issues and at some point it becomes overwhelming and everyone has had enough and decides to become a gardener. Now your only options for supply are big consultancies engaging big suppliers who charge big prices and provide big company levels of service and responsiveness (in the most pejorative sense of these terms).

Surely this isn't the best strategy for a system that desperately needs to be more efficient and sometimes more innovative. There is a broad spectrum between "adopt a one-off product with no support from a single well-meaning individual" and "everything requires so much red tape that only the places charging those £x000-per-day consulting rates we're always mocking are actually allowed to provide it".
by jerf | 2025-07-28 14:40:12+00:00
Music for an instrument co-evolves with the instrument itself. If an isomorphic piano pushes music co-evolved with a conventional layout out of reach, it would equally bring music that hasn't been written because it works poorly with a conventional layout but works with the isomorphic layout into reach. And yet some other layout would push some things out of reach but bring other things into reach.

Which is to say, it isn't a surprise that music co-evolved with a particular instrument might be difficult on some other one; it's the expected, perfectly normal, perfectly predictable result, and isn't really a criticism of the new instrument. Unless you're willing to equally criticize the conventional instrument for all the music it can't play very well, but then, even so, it's a very symmetric criticism in the end and doesn't amount to much.
by throw-qqqqq | 2025-07-28 14:40:21+00:00
I’m in a company of +6k.

> Rule 1 was to have an agenda available in the meeting invite

Same rule here, but enforced.

We are allowed (and encouraged) to cancel or decline invitations without an agenda here.

In my experience, it makes a big positive difference, when people have to justify why they need someone’s time and provide a rough frame for the discussion.

Much more focused, much more efficient. Fewer meeting where I think “I shouldn’t have joined”.
by KingMob | 2025-07-28 14:40:32+00:00
Kudos for taking this seriously.

I have no idea what prompt you fed it, but at least personally, I rarely get such poor results for ffmpeg.

But assuming I got this back, instead of running it blind, I wold check the options it suggested, find the flaws, fix them and then run it. Quite possibly still faster than it would take to construct by hand from scratch.

In that sense, LLMs are better search engines than existing search engines in terms of guiding you to the right neighborhood, if not the correct house.

---

When people criticize YOLO vibe coding, I think they're forgetting all the ways LLMs can still be very useful with a human in the loop.
Show HN: AI code reviewer with Python agent called from Rust, streaming works
by sawradip | 2025-07-28 14:40:49+00:00
Built an AI code reviewer using Letta (Python) that I can call natively from Rust applications.

The interesting part: real-time streaming works perfectly across the language boundary with zero hassle using RunAgent.

The agent runs in Python with persistent memory, leverages the best in house agentic memory management with Letta (Pythonic AI agent framework), and my rust code just uses it (kinda) natively, though Letta has no Rust bindings. And, streaming works like magic.

No FFI, no complex bridges - just native async/streaming that feels like calling any Rust librar, but without writing a single line of websocket code.

The AI agent remembers coding patterns and learns from previous reviews, but the deployment abstraction is what made this possible.

Code: https://github.com/runagent-dev/runagent/tree/main/examples/...
by WASDAai | 2025-07-28 14:40:55+00:00
This paper contributes to the Alpay Algebra by demonstrating that the stable outcome of a self referential process, obtained by iterating a transformation through all ordinal stages, is identical to the unique equilibrium of an unbounded revision dialogue between a system and its environment. The analysis initially elucidates how classical fixed point theorems guarantee such convergence in finite settings and subsequently extends the argument to the transfinite domain, relying upon well founded induction and principles of order theoretic continuity.

Furthermore, the resulting transordinal fixed point operator is embedded into dependent type theory, a formalization which permits every step of the transfinite iteration and its limit to be verified within a modern proof assistant. This procedure yields a machine checked proof that the iterative dialogue necessarily stabilizes and that its limit is unique. The result provides a foundation for Alpay's philosophical claim of semantic convergence within the framework of constructive logic. By unifying concepts from fixed point theory, game semantics, ordinal analysis, and type theory, this research establishes a broadly accessible yet formally rigorous foundation for reasoning about infinite self referential systems and offers practical tools for certifying their convergence within computational environments.
by red-iron-pine | 2025-07-28 14:41:09+00:00
what does "chinese medicine" mean? was he huffing ground up rhino horn?

most chinese medicine is hokum, utter BS, but that doesn't mean they can't use plants whose utility have not been fully explored by modern science.

and even if it does work, that doesn't mean it didn't utterly ravage his liver -- but hey, at least his skin looks a lil better
by conjecTech | 2025-07-28 14:41:13+00:00
Very nice work. Training these from scratch is a big undertaking.

- Did you train the encoder & decoder together or separately? It would be nice to have the encoder representation be compatible with the existing whisper implementation since it would mean you could swap your implementation into models where its used as a component, like in the recent Voxtral model. I'd imagine it also might make training a bit faster as well.

- Did you consider training the turbo model as well?
by foldr | 2025-07-28 14:41:24+00:00
Yes, that’s what I meant. You can still access Discord, just not any content that’s detected as NSFW. Generally speaking that content will be on NSFW servers (the kind that e.g. the iPhone app would block you from accessing by default).

Obviously there is not going to be a “nah I really want to see this tho” button, or the age check would be completely pointless.
by phendrenad2 | 2025-07-28 14:41:35+00:00
Your stat is too narrow and misses a lot of important factors. It's better to just use a stat that summates all of them, such as the average cost of a new car.

The average new car today costs about $48,000 [1]. The average new car in 2010 was about $24,000 [2]

[1] https://www.cnbc.com/2025/03/08/a-new-car-costs-nearly-50000...

[2] https://www.energy.gov/eere/vehicles/fact-744-september-10-2...
by kenjackson | 2025-07-28 14:41:41+00:00
That 1972 footage of the periscope driving through the city streets was impressive. As I was watching it I thought at first that this was the real street and they'd show the model after, but it was the model. The texture of the street looks so much better in this portion of the video than it looks when you see the model makers tweaking the street earlier in the video.
by sunshine-o | 2025-07-28 14:41:59+00:00
What is the general consensus on the usability of the Terminal app?

On two different Pixel phones (6a & 8a) I had a terrible experience:

- Very slow

- Crash all the time

- The app need to be reinitialised almost every day

But I have heard some people have no complain.

Also, since I couldn't really keep it alive long enough: what as the prospects in terms of battery usage? will it be realistic to have it running all time in the background?
by frankfrank13 | 2025-07-28 14:42:10+00:00
Noted that the largest PR in the stack is 268 lines, but obviously thats mostly html!

> #1 feat: add basic HTML structure and styling for Wordle game +268/-0

also here's the magic bit to include in Claude.md to make this work

> Before writing any code, present the user with the structure of the stack that you intend to submit and ask for confirmation before proceeding.

> IMPORTANT: The code in each PR of a stack must be atomic and must pass CI. Confirm this before committing any updates.
by GloamingNiblets | 2025-07-28 14:42:25+00:00
The von Neumann architecture is not ideal for all use cases; ML training and inference is hugely memory bound and a ton of energy is spent moving network weights around for just a few OPs. Our own squishy neural networks can be viewed as a form of in-memory computing: synapses both store network properties and execute the computation (there's no need to read out synapse weights for calculation elsewhere).

It's still very niche but could offer enormous power savings for ML inference.
by Jlagreen | 2025-07-28 14:43:17+00:00
and what is China's market for High Tech chips outside of China?

Will you buy an AI GPU coming from China on which you will train your sensitive data?

People, really create some facts without checking some simple basic things. Huwai was banned for modems in the Western world but sure we will buy their AI GPUs LOL.

And at the same time how can it be that Chinese companies want the far inferior H20 or soon B20 instead of anything coming from China itself??? Nvidia has warned us that they can't provide the demand for H20 chips due to supply but yes sure Chinese chips will kill Nvidia lol.
by sunscream89 | 2025-07-28 14:44:34+00:00
Those who do these things have moved far beyond such timidities. You don’t sound reliable to yourself, how can you grasp obligations to several masters? Unless you are intending to commit fraud, the only ethical way to do this is to be such a smooth badass you let no one down.

Success is when you’re caught (and it will come out), nobody minds.
by mattkrause | 2025-07-28 14:45:17+00:00
That should be only sort of true.

Some of the very high-profile journals are run by non-profits, including: Science (American Association for the Advancement of Science), PNAS, (National Academy of Sciences), eLife (HHMI/Max Planck/Wellcome Trust). A slew of more specialized journals are run by societies too.

In theory, they should be willing to lead the charge. In practice, I think they are largely dependent on income from the journals for a lot of their operations and so are reluctant to rock the boat.
by rcy | 2025-07-28 14:45:20+00:00
Yeah it is true. I am more or less modelling the interactions my kid has with other kids and the social relationships I have with her friends parents. She doesn't go to anyone's house who's parents I don't know. Obviously that will change as she gets older.

So for now, the social dynamic in the app is for parents to connect first. Once connected, their kids can choose to connect (facebook messenger kids uses this same process I think).

When I talk to less tech-savvy parents in my community, I think many feel quite helpless and unsure how to navigate a lot of this. Consuming youtube kids videos on an iPad is one option, or outlawing screentime entirely is another. Kids want real stuff that they are in control of. I want to build age appropriate versions of this kind of stuff... with the appropriate guards and oversight in place, keeping parents in the drivers seat.
by salawat | 2025-07-28 14:45:27+00:00
>As opposed to the status quo at all costs, bundled with a lack of care for who gets to stay in the gutter?

How about slower incremental change with actual effort put into the costs and downstream effects/Externalities? I know, who has time for that though. Someone else's problem right?

>They were just another special interest group that wanted to keep more of the pie for themselves, at the expense of people poorer than them.

Ever heard the phrase "Every accusation an admission?" Often we end up projecting what we can't consciously think and work forward with through onto the intents of others. It's too destructive to the conscious narrative, so ends up externalized into the "other" in spite of blossoming just as fruitfully in the self. You've demonstrated to me, at least you see the game, and you recognize how it's played, and the consequences of not playing it.

>And they used violence to try to achieve that.

They broke machines. And they were beaten, strike broken, vilified and abused by capital wielders who were, in point of fact, not much poorer than them, as they could afford the machines in question, and when faced with the opportunity to divest themselves of the burden of doing business with those pesky tradesmen, were only so happy to do so.

Statistical voyeurism is a capitalist's favorite pass time. All the sexy of number go up, none of the burden of of the other side of balance sheet.
by cmg | 2025-07-28 14:45:38+00:00
Of 60-something Linodes in Newark across a few accounts (we don't use LKE, Node Balancers, etc)

- Many came back up yesterday. Most of the rest came back up this morning.

- All but two are back online. One of those is "Powered off" but can't be turned on because "Linode busy". The other is online but unreachable, same behavior as most of them during the outage.

- Three required me to put them in Rescue Mode and run fsck.ext4 -F /dev/sda to get them back online.
by justinrubek | 2025-07-28 14:45:49+00:00
Can you provide any evidence or reasoning that cutting the weather services would help move the needle on our deficit? Are you sure that not having them won't cause an increase instead, for example if the lack of data causes destruction or worse crop yields? Are the groups advocating for doing this taking steps to reduce the deficit elsewhere, or are they increasing it instead? Do we actually need to address the deficit?
by pyman | 2025-07-28 14:46:27+00:00
I don't live in the UK, but the stories we hear about the NHS from people who lived and worked there are honestly shocking.

One guy had a brain infection and was told to wait four months for an appointment. Another went in for a root canal, left without a tooth, and fainted outside the clinic. Someone else was refused an X-ray after an accident.

Meanwhile, in my tiny country, we have a dual public-private health system, and the facilities, doctors, and dentists are top notch. It really makes you wonder what's gone wrong in the UK, considering how much taxes British people pay.
by hollerith | 2025-07-28 14:46:30+00:00
The newsgroups, a.k.a. net news, were the front page of the internet -- more so than Reddit ever was -- till the web started taking off in the very early 1990s. The only other service that might lay claim to that title would be IRC (Internet Relay Chat), but net news probably had about twice as many users.

The big difference between those two services and the web was that most participants used text-only software (in terminals) to access them. Actually an even bigger difference is that (like all the other services on the internet back then) net news and IRC were run by volunteers.

The average IQ on the internet back then was more than 130 (whereas of course today it is in the range of 102 to 105) -- and it was 98% or 99% men and much more libertarian than today. One thing that hasn't changed is that people back then tended to spent much more time on the internet (particularly, on the newsgroups, IRC, text-only MMORPGs) than is good for them.

It was always called the newsgroups or "net news": calling it Usenet was started by the news industry when they started explaining the internet to the world in 1993 and 1994 because obviously "net news" is a horrible name (in their minds) for any service or scene that they did not control.

More precisely, the newsgroups began on what is basically a "competitor" to the internet called Usenet, then migrated to the internet, so "Usenet news", i.e., that news-like service that started on Usenet, is not a terrible name for it, but "Usenet" by itself is kind of a bad name because it already meant something different, namely, this network (now probably long gone) that carried email and other services in addition to newsgroups.
by pjmorris | 2025-07-28 14:46:46+00:00
> This is usually solved by violence, sometimes blessedly by negotiation, but it is always solved: once the wishes of ever smaller in number choke out the hope and dignity of the ever larger in number to sufficient degree: change happens as surely as winter turns to spring.

A friend of mine urged me to read 'War and Peace and War', Peter Turchin, last year. It's essentially a book-length confirmation, with examples, of your final point.