MurphyA/hacker-news huggingface dataset:
by r1290 | 2025-06-28 18:52:36+00:00
Cool. Can you share more about the tech? Ingestion engine - is this a background task that scrapes the web? You download the mp4 and convert to transcripts then generate embeddings? For each embedding of an episode - how do you break it down? Summary the episode and embed it with metadata? Are you using pydantic ai for structured output? Celery for tasks? Just a curious dev
by cjbgkagh | 2025-06-28 18:53:33+00:00
When I made a complaint about their UI changes being unintuitive the response was that the intent was to make Windows more familiar to people un-familiar to Windows, as in make it more familiar to those who use Macs.

They assume existing windows users are a captured audience and are trying to capture the Mac market without realizing that they're instead making everything much worse.

Though now ironically with Apple going the whole 'glass' detour people using Macs may be more familiar with Windows. Could be a win for the Microsoft fast follower strategy - so what do I know. I wouldn't have bet on Apple fumbling but here we are. I still prefer Linux to both Apple and Windows.
by the_real_cher | 2025-06-28 18:53:35+00:00
Well thats the real question isnt it?

Whats involved in improving the power consumption?

Im not an OS engineer so I have no idea, I was simply going by another commenters estimate which was a few OS developers.

And judging by the amount of times you said you were skeptical instead of giving any sort of meaningful information... you clearly arent an OS engineer either.

And idealist and a skeptic walk into a bar. The bartender says two shots of disappointment coming up.
by itfourall | 2025-06-28 18:54:15+00:00
Hi everyone,

I've built a free and open web interface for Stable Diffusion that lets anyone generate images from text prompts — no sign-up, no paywall. My goal is to make AI image generation accessible to everyone, not just those with expensive GPUs or subscriptions.

Right now, this is just the beginning. If there's enough interest, I plan to expand the project: add more models, scale up the hardware, and support additional AI tools — all free to use.

You can try it out.

If you like the idea, feel free to share the link with friends or anyone who might enjoy playing with AI image generation.

Thanks for checking it out — and if you have feedback, I’d love to hear it!
by notahacker | 2025-06-28 18:54:30+00:00
Yep. Two things the space industry and airline industry have in common is that (i) you need to spend an enormous amounts of money to have a remotely viable product, because the physics is hard even without regulation (ii) you don't get that money back unless the product you've spent all that money developing has better unit economics than your competitors for a sufficiently large number of target customers (or your national government steps in to protect you) because there aren't many buyers and the market isn't buying aircraft or payload space because they like the vibe or the aesthetics. That naturally tends towards monopoly (or oligopolies with carefully defined differences in capabilities, some of which turn out to be unprofitable segments...)
by SoftTalker | 2025-06-28 18:54:31+00:00
When did this transition happen? I have tried to play but found that even after four or five years it was difficult, required a lot of concentration, and gave me little pleasure.

The only physical skill I have that might be comparable is typing, but (as a programmer) even after typing for over 40 years, while I can type without "thinking" about where the keys are, I can usually type only three or four words without needing to make a correction.
by Xcelerate | 2025-06-28 18:54:31+00:00
It boggles my mind that we ever thought a small amount of text that fits comfortably on a napkin (the axioms of ZFC) would ever be “good enough” to capture the arithmetic truths or approximate those aspects of physical reality that are primarily relevant to the endeavors of humanity. That the behavior of a six state Turing machine might be unpredictable via a few lines of text does not surprise me in the slightest.

As soon as Gödel published his first incompleteness theorem, I would have thought the entire field of mathematics would have gone full throttle on trying to find more axioms. Instead, over the almost century since then, Gödel’s work has been treated more as an odd fact largely confined to niche foundational studies rather than any sort of mainstream program (I’m aware of Feferman, Friedman, etc., but my point is there is significantly less research in this area compared to most other topics in mathematics).
by fxtentacle | 2025-06-28 18:54:34+00:00
In my opinion, the key information:

"SpaceX required [..] nearly $3 billion [..] The Exploration Company would require a similar amount [..] It is not possible to raise that money from private capital markets right now by promising a great return a decade from now."

In other words: All the investors are looking for a quick buck. Nobody is willing to invest into the longer-term future anymore.
by michaelsshaw | 2025-06-28 18:54:43+00:00
Hence I used the general term of "war crimes" committed by the west. The things the enemies do are "savage" and "disgusting" but when we do it, it's some cool ass James Bond-style shit that is super dope and should happen more. For example, the recent Israeli pager attack, a blatant war crime, was reported on this way[0].

"By the end of the day, at least a dozen people were dead and more than 2,700 were wounded, many of them maimed ... Some of the dead and wounded were Hezbollah members, but others were not; four of the dead were children."[1]

This is the reality of war crimes. It isn't cool or ingenious. It's unbelievably immoral.

[0] https://www.cbsnews.com/news/israel-former-mossad-agents-det...

[1] https://www.nytimes.com/2024/09/18/world/middleeast/israel-e...
by diggan | 2025-06-28 18:55:03+00:00
> But I would say that it’s the goal for most FOSS projects when they apply for funding

Yes, but I'm guessing most are applying for funding before quitting their full-time jobs, not after. So there isn't really anything to plan if they don't have any realistic chance at spending full-time on the project.

> If the smaller sources of income don’t pay the bills then the dilemma still occurs, and if they do pay the bills then the funding isn’t needed.

The dilemma of what, continue doing what they've been doing; releasing and maintaining FOSS, without being paid for it?
by Dylan16807 | 2025-06-28 18:55:21+00:00
> that's one of the freakiest things about things like the Busy Beaver function

Every sentence ever spoken and every view ever looked at is also a number. It's not a freaky thing about "things like" busy beaver, it's a freaky thing about the concept of information.

But even though everything is a number, saying "it's crazy that a number can be X" is usually someone making a mistake, using the everyday concept of numbers in their head. If you replace "a number" with "some text and code and data", people wouldn't say it's surprising that "some text and code and data" can be unprovable in ZFC.

Technically a photograph is a number, but primarily it's something else. BB(748) is the same, technically a number but primarily it's a series of detailed computer calculations.
Show HN: Query your Rust codebase and generate types for anything
by reaching4jack | 2025-06-28 18:55:32+00:00
Hello HN!

As a long-time professional Rust developer. I've always been frustrated by the difficulty and "hackiness" of producing bindings to other languages, whether a frontend, an FFI library, etc.

Not just in Rust but in any language.

After many years of trying existing solutions and trying to make my own, I've finally developed a solution I'm very happy with.

RTK (aka Rust Type Kit) allows you to write Lua scripts that perform queries on your code, such as method calls to Axum's `.route`, function definitions, and more, and then receive rich type information including all argument types, function paths, proc macro attributes, and more.

Your Lua script can then read this information and emit an output file in any language of your choosing. Or, you can emit compiler errors and use it as a linter of sorts. You can even directly re-emit Rust code itself and use this as a richer proc macro solution!

The code example is a bit verbose, so I encourage you to take a look at the repo's README. I look forward to hearing your thoughts, or any usecases you may come up with!
by attendant3446 | 2025-06-28 18:56:06+00:00
Used to be restic[1], but I switched to kopia[2]. For Android I just sync /storage/emulated/0/ with syncthing. All devices are backed up to a home server. Home server backups go to Backblaze (but any S3-compatible storage would do).

1. https://restic.net/ 2. https://kopia.io/
by mixmastamyk | 2025-06-28 18:56:14+00:00
I don’t use them, yet. Am open to it, but no longer trust most tech companies. Probably an open model in several years on a beefy yet affordable machine I’ve yet to purchase.

Also am at the peak of my game, and automated templates, snippets, and stackoverflow lookup a decade+ ago. I prefer reading a discussion of tradeoffs to approaches before picking one. It may take up to ten more minutes up front but save hours later.

So waiting for the dust to settle.
by hombre_fatal | 2025-06-28 18:56:41+00:00
The most interesting part:

> Age plays a role too. Studies suggest that the effects of languages on the brain are stronger for young children and the old than they are for young adults. Bilingual tots seem to outperform in cognitive development in the early years, but their monolingual classmates may catch up with them later. One meta-analysis on the topic found that 25 studies of 45 found a bilingual advantage in children younger than six, while only 17 found them in children aged 6-12.

That's gonna be a let down to most people who read the title and make assumptions.
by FirmwareBurner | 2025-06-28 18:57:35+00:00
>I bought my parents a Dell laptop in 2019/2020. It has 7th gen i3

7th gen came out in 2016. Why did you buy your parents a system with a 3-4 old CPU? Nothing wrong with buying old stuff if that's what you're into or what you can afford, but then you have to take into account the risk of less SW support when buying old HW, since now that CPU is 9 years old and no HW gets supported forever. Hence the saying "you buy cheap, you buy twice". Just install Linux on it.
by charcircuit | 2025-06-28 18:58:00+00:00
>imagine you had 10,000,000_10 grains of sand. Then you could … well, uh … you could fill about 10,000,000_10 copies of the observable universe with that sand. I hope that helps people visualize it!

People can't visualize numbers that big. There's more ways to express numbers than just counting them. For example a single grain of sand has infinite states it can be in (there are an infinite amount of real numbers), so you could say a single grain of sand could represent BB(6). Combinations can grow exponentially, so that may be something useful to try and express it.
by const_cast | 2025-06-28 18:58:17+00:00
> You don't want your country being run by the craziest common denominator amongst the judiciary.

Yes, we'd much prefer a dictator attempting to unilaterally invalidate constitutional amendments...

> The court has just prevented a decade of mass protests and political insability

Yes, they have - by further emboldening the executive ala Unitary Executive theory. This isn't a good thing - we are all witnessing one of many steps in the US' descent into fascism.
Show HN: StopAddict – A gamified, minimalist tracker to quit addictions
by skyzouw | 2025-06-28 18:58:41+00:00
Hi HN,

I built StopAddict, a minimalist, gamified app to help people quit addictions like nicotine, porn, social media, sugar, etc.

I made it because existing habit trackers felt too generic and didn’t motivate me during tough days. StopAddict is focused specifically on helping you quit: • Gamified streaks: Earn XP and level up for every day you stay clean. • Relapse-friendly: If you relapse, your streak resets, but your XP remains, so you don’t lose all progress. • Progress charts: See your journey over weeks and months. • Private-first: All your data stays private, with secure export options.

I’m currently testing it with early users and would love your feedback on what would make it truly helpful for you.

Link: https://www.stopaddict.net/

Happy to answer any questions!
by ajkjk | 2025-06-28 18:59:06+00:00
Yeah, but the vexing part is "how can that be true for e.g. N=643 but not N=642"? What happens at whatever number it starts true at?

Incidentally, Gödel's theorem eventually comes down to a halting-like argument as well (well, a diagonal argument). There is a presentation of it that is in like less than one page in terms of the halting problem---all of the Gödel-numbering stuff is essentially an antiquated proof. I remember seeing this in a great paper which I can't find now, but it's also mentioned as an aside in this blog post: https://scottaaronson.blog/?p=710

wait jk I found it: https://arxiv.org/abs/1909.04569
by skyzouw | 2025-06-28 18:59:11+00:00
What would help you the most in quitting an addiction?

I’d love your honest feedback: • What would make a tool like this actually helpful for you? • Do you prefer simplicity or do you want community features (chat, accountability partners)? • Would you want reminders, motivational quotes, or prefer a distraction-free dashboard? • What has worked (or failed) for you when trying to quit an addiction?

I built StopAddict to scratch my own itch, but I’d like to make it truly useful for others on the same journey. Any insights, criticisms, or feature requests are super welcome. Thanks!
by UncleOxidant | 2025-06-28 19:00:32+00:00
> Unpopular opinion but I think we need to stop building social networks if we want to bring people together.

Agreed. Social networks not only didn't bring us together, they've actually done the opposite and made us more tribal. Excellent book on the topic is Superbloom: How Technologies of Connection Tear us Apart by Nicholas Carr.
by bjar2 | 2025-06-28 19:02:09+00:00
Ingestion engine, it is indeed a cron job that runs once a day to get the latest podcast episodes posted. Yes it scrapes the web for episodes and then populates the database. And yup yup, I transcribe the audio to text, and process the text to get the embeddings using embedding models. The secret sauce is using language models to find promising snippets within each episode by running a sliding window over the transcript. So I actually make different types of embeddings, for highlights and also for episodes. I also make use of the metadata in podcast episodes to enhance recommendations, mainly by deriving the strength of the source making the content.

You are spot on, I use celery for tasks, many different kinds of tasks actually, super handy tool to have, it truly enhances what I am able to do on Heroku. My devops life becomes much more comfy
by graerg | 2025-06-28 19:02:56+00:00
This has been my take, and maybe I'm missing something, but my thinking has been that in an ideal case there's an existing API with an OpenAPI spec you can just wrap with your FastMCP instantiation. This seemed neat, but while I was trying to do authenticated requests and tinkering with it with Goose I ended up just having Goose do curl commands against the existing API routes and I suspect with a sufficiently well documented OpenAPI spec, isn't MCP kinda moot?

On the other hand, in the absence of an existing API, you can implement your MCP server to just [do the thing] itself, and maybe that's where the author sees things trending.
by DenisM | 2025-06-28 19:03:32+00:00
So you don’t get sued, but you lose control or even your stake or even the whole business. Remember how Uber founder got kicked out? He had a strong hand.

Chilling effect is there one way or another, and even when that does not work adverse selection does.

You have to have a very strong market position to resist the investor pressure. Kinda like Google had twenty years ago.

Or you can have a diverse set of investors who can’t or won’t be swayed by activist investors. But that usually means being public at which point your employees are incentivized by RSUs.
by ChrisMarshallNY | 2025-06-28 19:03:39+00:00
I feel that it's even simpler: The company is the product.

When we have that mindset, we absolutely don't care about the thing that we call "our product." It's just food for the actual product, where we want to fatten it up, and sell it to the biggest slaughterhouse.

That starts almost immediately. You can't even get an A round, without an "exit plan."

I feel that the very existence of an exit plan, dooms the user. No one cares about them. It's all about fattening the company, and making it look good. When we do that, we'll feed it nothing but junk food, in an effort to make it as fat as possible, as quickly as possible, with absolutely no thought as to long-term viability.

I would love to see the tech industry return to concentrating on truly delivering good to the end-user. It's still possible to make a decent living, but maybe not at the insane rates we see.
by basisword | 2025-06-28 19:04:06+00:00
Probably not until the 12 year mark. Maybe a little before that. I would say that it was a combination of time + actively learning certain skills. There were periods where I rested on my laurels for a few years so I probably could have reduced the time by a few years (if that was the aim). I would say 7 years is around where it got really enjoyable though and I knew enough that it wasn't too much effort to learn new songs and skills.

Worth mentioning I started when I was a kid. Learning something when you're young is so much easier due to the available time and the ability to obsess (this was also pre-internet mostly). When I try learning new instruments these days it takes much longer because I have responsibilities.
by Xcelerate | 2025-06-28 19:04:24+00:00
At some point big numbers become much more about the consistency strength of formal systems than “large quantities”.

I.e., how well can a system fake being inconsistent before that fact it discovered? An inconsistent system faking consistency via BB(3) will be “found out” much quicker than a system faking consistency via BB(6). (What I mean by faking consistency is claiming that all programs that run longer than BB(n) steps for some n never halt.)
by ethagknight | 2025-06-28 19:04:27+00:00
Won the skirmish, lost the battle (and the war). I guess the plane radioed back how lightly defended it was.

>> The significance of Lima Site 85 became even more evident weeks later when the site was overrun by North Vietnamese forces in a dramatic and costly assault. The loss of Lima Site 85 represented the greatest ground combat personnel loss for the U.S. Air Force during the war and underscored the vulnerability of remote installations in hostile territories.
by closetkantian | 2025-06-28 19:05:03+00:00
Battery life isn't as good as I expected, but I do leave the backlight on quite a bit. I'm not a big phone gamer, but some people do enjoy playing original (black and white) game boy games on them.

Texting works very well. I'm typing this on the phone right now. It's one of the smoothest eink devices I've ever encountered.
by hattmall | 2025-06-28 19:05:31+00:00
Interesting that he was comparing with Atlanta since it's one of the only places in the US you can take a train directly from the airport to walkable areas with cafes, and the culture is probably one of the most distinct in the US.

Europe undoubtedly has a far superior general way of life. American suburbs are probably the most dystopian and incongruent with human nature living situation.

America on the other hand has some very good niches that you can't really find in Europe and you don't have to be wealthy to live there by any means. The urban micropolitans centered around recreational areas are ideal.
by akudha | 2025-06-28 19:05:51+00:00
While “maximizing shareholder value” is a huge problem, aren’t there other problems too? Founders wanting to get rich as quickly and as easily as possible, customers/users refusing to pay even for most important services (for example, how many people are willing to pay 5 bucks a month for something as important to modern life as email? But they’re happy to pay 5$ for a crappy Starbucks coffee), lawmakers too old or too corrupt to understand the negative effects of the products/markets they’re supposed to regulate, general public more interested in convenience and cheap entertainment than subjects like privacy, parents simply hooking their kids up with iPads so they don’t have to deal with tantrums (one of my colleagues told me he was raised by TV/internet, not by humans)… and on and on.

I suppose we’re living in an age of unchecked capitalism. But there are other issues too
by afiodorov | 2025-06-28 19:06:31+00:00
I use my third language, Spanish, every day, and my second, English, for work. On top of that, my partner is a native Portuguese speaker, so I'm passively soaking up a fourth. (I usually reply to her in Spanish, but we watch everything in Portuguese—though this month it's been all Italian, just for fun).

To this day, I still find Spanish a bit more challenging than my native language or even English. I think it's because even though I moved to Spain over seven years ago, I never fully immersed myself in the culture. I'm pretty sure I haven't read a single book in Spanish.

I still do that classic thing non-fluent speakers do: I'll get halfway through a sentence, realize I don't know a specific word, and have to rephrase my thought more simply. To be clear, I'm far from a beginner, just not yet fluent.

Anyway, I can attest that grappling with a language you haven't quite mastered is a daily mini-puzzle that definitely keeps the brain working a bit harder than it otherwise would.

On a side note, I love that LLMs can handle so many languages now. After 17 years of living abroad, I still feel most at ease speaking my native language, Russian, even though my vocabulary is a bit lacking these days for more complex topics. It makes me completely understand why people prefer to receive medical care in their native tongue.
by redwall_hp | 2025-06-28 19:06:37+00:00
Also consider that Thomas and Alito dissented in the Google/Oracle ruling, and wrote something inflammatory, to the effect of it being unreasonable that Google was being allowed to infringe upon Oracle's copyrighted code (by implementing a compatible API). And that was before the Supreme Court was stacked with more like-minded people.

Not having sensible people steering copyright in a direction toward winding down its scope is being paired with a court that's likely to make it far more draconian, and create some massive problems that will be a problem for software development.
by pama | 2025-06-28 19:07:23+00:00
Not sure what you are referring to—do you have a pointer to a technical writeup perhaps? In training and inference MLA has way less flops than MHA, which is the gold standard, and way better accuracy (model performance) than GQA (see comparisons in the DeepSeek papers or try deepseek models vs llama for long context.)

More generally, with any hardware architecture you use, you can optimize the throughput for your main goal (initially training; later inference) by balancing other parameters of the architecture. Even if training is suboptimal, if you want to make a global impact with a public model, you aim for the next NVidia inference hardware.
by wkat4242 | 2025-06-28 19:07:24+00:00
The US military was never the worst. The Germans and Japanese were real monsters during WWII. The US treated POWs fairly well.

Even the Brits were worse, firebombing the hell out of German cities full of civilians. The US did far more dangerous (to themselves) daylight raids so they could actually see what they were targeting. And could target industrial and military facilities.