MurphyA/hacker-news huggingface dataset:
by TimorousBestie | 2025-06-23 14:46:12+00:00
> This almost certainly isn't the first time someone has done whatever it is you are claiming.

I’ve seen category theory papers on this and related topics, but I haven’t seen code in the wild. Have you?

IME this kind of finite state machine business code (as opposed to a FSM embedded in an algorithm somewhere) is written as a one-off each time.

E.g., https://arxiv.org/abs/1808.05415 comes to mind. David I. Spivak has also done some work on composition of systems that is relevant.
by dylan604 | 2025-06-23 14:46:13+00:00
My local Petsmart is aggressively having their employees push their app. I finally had enough and asked the employee if they have been instructed to push the app, and they said it is a deliberate directive "because they were late in the app 'game'". With this "late to the game" mentality, I can only imagine they are using all of the tracking software to maximize any earnings they can. That's just my suspicion, to confirm one way or the other is outside my wheel house
by stingraycharles | 2025-06-23 14:46:15+00:00
Yeah. I would like multiple agents because each can be primed with a different system prompt and “clean” context. This has been proven to work, eg with Aider’s “architect” vs “editor” models / agents working together.

For parallel work who want stuff to “happen faster”, I am convinced most of these people don’t really read (nor probably understand) the code it produces.
by Bnichs | 2025-06-23 14:46:16+00:00
Just to preface. Covid is the new Nazis, all arguments end up devolving into its discussion. Im tired of talking about covid but it's hard to get past how our country handled it, both the people and the government. To answer your question: https://www.politifact.com/article/2024/jun/06/did-fauci-say...

>He said the 6-foot guideline “sort of just appeared” and wasn’t based on any data, and that such a study would be difficult to do. He also said he didn’t recall any studies about masking young children, but said the guideline was the Centers for Disease Control and Prevention’s decision.

https://oversight.house.gov/release/hearing-wrap-up-dr-fauci...

Making up arbitrary rules and then enforcing them saying "trust the science" is not coming from a place of honesty. Especially when combined with the deletion of emails.
by klabb3 | 2025-06-23 14:46:31+00:00
> Assuming zero network latency and a bandwidth of 1 Gbps, this would still take around 16 seconds

I’m not seeing how the new design affects the throughput needs, but I’ll say this:

Except for highly controlled environments (OS, NICs etc), you will run into perf issues with UDP-based protocols much sooner than with TCP, even if you’re just pushing zeroes. Packet switching is much more difficult to optimize.

If you only use sporadic messages without backpressure, and you’re willing and able to handle out-of-order messages and retransmission logic, by all means, use UDP. Like for realtime multiplayer games, it makes sense.

For high throughput on diverse platforms and hardware, the story is very different. Yes, even with Quic. I learnt this the hard way.

All that said, I’m very curious what the results are. Is this designed fully deployed, and if so in what kind of environment and traffic patterns? Even better: benchmarks/stress tests would be fantastic.
by kordlessagain | 2025-06-23 14:46:53+00:00
The solution is simple: understand what the tool actually does before declaring it impossible to use. But then again, reading documentation requires... what's the word... effort.

Claude Code stores feedback transcripts for only 30 days and has "clear policies against using feedback for model training":

Privacy safeguards We have implemented several safeguards to protect your data, including limited retention periods for sensitive information, restricted access to user session data, and clear policies against using feedback for model training.
by randomtoast | 2025-06-23 14:47:14+00:00
It's a good (and long) interview, and I genuinely enjoyed it. Terry Tao comes across as a truly nice person. However, I noticed that he tends to be somewhat non-committal in his responses. For each question posed, he provides thorough explanations that most with a basic understanding of math can follow. Nevertheless, he rarely makes predictions or offers his opinion. He frequently ends with a remark such as, "Yes, well, it's a challenging problem."

I completely understand where he is coming from. While it's true that "we don't know what we don't know", I would appreciate hearing more about his (opinionated) thoughts regarding the topics discussed during the interview.
by untech | 2025-06-23 14:47:36+00:00
I didn’t find this in the article, and am still confused. Do they boil their water? Doesn’t it help with disease? There was one example of the family spending time collecting firewood equal to time collecting water, but boiling was still missing. Also, what about filtering? You can do it with charcoal.

I was raised to both filter and boil tap water before drinking. I don’t understand why these aspects are not mentioned when discussing safe drinking water.
by scotty79 | 2025-06-23 14:49:02+00:00
> Take the US for example: if the president, secretary of defense and probably the head of the joint chiefs decide it is OK to nuke half the planet because "reasons" - how is that different from a traditional coup?

Democracies tend to be more resilient against rule by aggressive idiots. So being a democracy should be lowest common denominator.

> Power is always taken, never given. Following your rationale, Iran should do whatever to get its hands on some nukes real fast.

I have no idea why are you talking about it like it's hypothetical. Iran did whatever it could to get its hands on nukes as fast as it could since Trump destroyed the agreement that Obama signed with Iran.

And it resulted with their top leaders getting assassinated and their nuclear attempts destroyed. So was that really something they should have been doing?
by ModernMech | 2025-06-23 14:49:12+00:00
Agreed, Modular is walking a very fine line, and they're doing so by trading on the reputation of Chris Lattner.

On the one had, as the other poster noted, no one raises $100M+ for a programming language; programming languages have no ROI that would justify that kind of money. So to get it, they had to tell VCs a story about how they're going to revolutionize AI. It can't just be "python superset with MLIR". That's not a $100M story.

On the other hand, they need to appeal to the dev community. For devs, they want open source, they want integration with their tools, they don't want to be locked into a IP-encumbered ecosystem that tries to lock them in.

That's where the tension is. To raise money you need to pretend you're the next Oracle, but to get dev buy-in you have to promise you're not the next Oracle.

So the line they've decided to walk is "We will be closed for now while figure out the tech. Then later once we have money coming in to make the VCs happy, we can try to make good on our promise to be open."

That last part is the thing people are having trouble believing. Because the story always goes: "While we had the best intentions to be open and free, that ultimately came secondary to our investors' goal of making money. Because our continued existence depends on more money, we have decided to abandon our goal of being open and free."

And that's what makes these VC-funded language plays so fraught for devs. Spend the time to learn this thing which may never even live up to its promises? Most people won't, and I think the Darklang group found that out pretty decisively.
by fnomnom | 2025-06-23 14:49:42+00:00
>All beds have at lest 2m

As another tall person here, the length of the matress/bed is not as critical as what comes when the bed ends. 2m matresses with a wall/bedend that is massive is way more umfortable for a tall person then a 1,9m matress with 20cm of air behind it.

>just like in aviation business class

Yeah but im not flying lay-down business class when i want to go Hamburg-Vienna because the trip is only 90mins. I fly lay-down business when going trans-atlantic or to asia.
by jappgar | 2025-06-23 14:49:49+00:00
HN is not a good place to ask questions on Anthropology, so I'd encourage you to read primary source materials.

You have a common misconception about human longevity. The "average" lifespan of humans was only 30 -40 years because very young humans would frequently die from disease or accidents. Humans have been capable of living to 70+ years for many millenia, it was just rare. 50 yearold humans were not rare though. The average is low because of infant and childhood mortality.
by dylan604 | 2025-06-23 14:50:03+00:00
There must have been a middle where radios weren't sold, because radios were always present when I was going to radio shack. I remember my friend buying an RC car (Radio Controlled) from theShack with a boat load of their batteries. Very distinct memories of having the mall security chasing us after he opened it up and was driving it around the mall. They were also into radio gear like tuners and speakers for home/auto.

This very selective memory of theShack not offering radio equipment is divergent from my experience
by vlovich123 | 2025-06-23 14:50:17+00:00
I’m a pretty big advocate on Rust and while Rust does protect classes of certain kinds of bugs and probably encourages better unit test hygiene and thus higher code quality, it does not protect against logic bugs and all the historical CVEs and thus it’s possible for previous exploits vectors to resurface. Thus it’s not an unreasonable prior to assume there are vulnerabilities lurking.

On the other hand, if the replacement isn’t targeting full sudo feature set and also reducing the amount of code and/or making architectural improvements like keeping most code not running as root, then the blast area of such logic bugs can be reduced.
by potato3732842 | 2025-06-23 14:50:33+00:00
>I'm pointing out that the people who are largely anti-immigration are the ones perpetuating the problem

You need to separate the politicians from the people. There is always someone willing to say anything to get elected. Of course they never really solve the issues, so long as not solving the issue harms their chances of reelection less than solving it does.

The root cause is the hordes of people who are unable to think several steps ahead, think about then 2nd through Nth consequences of policy and yet still vote, many of them in these comments. Because at the end of the day that's who elects the politicians. And on the other side of the equation are voters who don't actually demand results. You can blame media and whatnot but those are small factors, not the dominating factor of the equation.

>You just have to not get distracted by false narratives

I'm not getting distracted by false narratives. I've witnessed the degradation of my own states safety net services as they became inundated over the past ~5 yr as a result of federal policy. It wasn't like this under Obama or Bush. I'd happily go back to whatever that was.
by parpfish | 2025-06-23 14:50:39+00:00
Most of the time that people share on the internet via social media, it’s a one-to-hugelymany broadcast. As a reader, I don’t feel the need to be a good listener. I’m one of a huge crowd listening, this message wasn’t meant to specifically engage with me. In fact, it would be weird if I replied because this is meant to be a big message going out to lots of people and I shouldn’t elbow my way into the middle of it. Better to just click +1.

If you sent a DM or group chat, I’d know for certain that I’m meant to engage and wouldn’t just superficially skim as a bystander. Just replying with a +1 would feel dismissive. You’re expected to engage and reciprocate.

This ability to have broadcasted vs targeted communications is relatively new for folks, and I’ve noticed that not everyone has learned to distinguish these communication styles.

Younger generations seem to grok it because they grew up with it, but everyone else needs to learn as they go. If you were blogging back on the old internet and had lots of meaningful targeted communication with your audience, it’s going to be a shock when people start treating your content as broadcasts and stop interacting the way you are used to.

The thing I think we’re missing is long-form targeted messaging like an old-school blog. You could send emails, but that is 100% private so there’s no way for a new reader to join in.
by 9rx | 2025-06-23 14:50:44+00:00
Definitely a case of missing new tech, plain and simple. We don't seem to create much anymore.

There are glimmers of hope here and there. I'd say LLMs brought the same sort of wonderment as the internet for a short period, but we quickly pushed them to their limits. They're a bit too much of a product, not the basic lego building block that the internet was for them to offer long-lasting effects. Granted, perhaps they are the BBS of our time, with an evolutionary, but game changing, step on the horizon?

But in the last 30 years, the smartphone might be the only game changing tech we've gained. And, sure enough, I'd say the early smartphone era was just as fascinating and fun as the early internet era. However, by now it too has grown long in the tooth. We really just pine for another automobile/airplane/space rocket/internet moment; something that changes everything.
by Cthulhu_ | 2025-06-23 14:50:54+00:00
Same with Knights & Merchants, which was a city builder but you had to feed your peasants and army every day (I forgot how time worked in that game though), which involved a peasant going to the inn to eat for X amount of time, then going to the storehouse to pick up a bread or sausage and bringing it to a soldier. Times every peasant, times every soldier. I don't know if I remember that accurately though.
by dinkusmcgrawkus | 2025-06-23 14:50:58+00:00
Well, didn't you just prove his point and your comment is exactly the same sort of finger wagging, virtue signalling bs that got us here. SHE IS 22, SHE IS AN ADULT! If you think that throughout history, 40 year old men have NOT sought out younger woman to mate with, you're fucking delusional. SHE IS AN ADULT, GET THAT THROUGH YOUR HEAD. Your "disgust" over the relationship is no different then having disgust over a black man dating a white woman. Go outside and touch grass.
by rco8786 | 2025-06-23 14:51:27+00:00
> I'm not familiar with the texas government

> the "narrowly focused, dogmatic" politicians run the two chambers?

Yes. This is VERY Texas. The state government is 100% conservative republican.

"Texas is a majority Republican state with Republicans controlling every statewide office.[1] Texas Republicans have majorities in the State House and Senate, an entirely Republican Texas Supreme Court, control of both Senate seats in the US Congress."

https://en.wikipedia.org/wiki/Politics_of_Texas#:~:text=Texa...
by aaaja | 2025-06-23 14:51:46+00:00
Andrea Long Chu's perspective includes celebrated takes like:

> Sissy porn did make me trans.

Also:

> At the centre of sissy porn lies the asshole, a kind of universal vagina through which femaleness can always be accessed. Getting fucked makes you female because fucked is what a female is.

And, according to Chu, the "barest essentials" of "femaleness" are:

> an open mouth, an expectant asshole, blank, blank eyes

All of which I think says a lot about attitudes towards women from this particular subset of males.
by corysama | 2025-06-23 14:51:49+00:00
Keep SteamOS on your SteamDeck and come join the SBC debate and in https://old.reddit.com/r/SBCGaming/

First you need to define “everything”. It’s easy to get a device that runs every 2D retro game ever. But, moving up the 3D emulation ladder can move right past the SteamDeck into more power hungry devices.
by Molitor5901 | 2025-06-23 14:51:52+00:00
Society went on a binge for about 10 years demonizing men and masculinity, turning dates into job interviews, and courtship into a dream; the apps have made it even worse, i.e. Bumble. No wonder they're turning off, it's just not worth it. One wrong statement, one wrong interaction, and they're afraid of getting put on TikTok.

It's not women, it's society as a whole deciding to take a giant shat on simple being male.
by PaulHoule | 2025-06-23 14:52:06+00:00
Solar + storage has to buffer three kinds of variation:

(1) Diurnal. You need to store maybe 12 hours of production to get through the night. It's believable that this could be affordable with batteries.

(2) Seasonal. In a place like Minnesota you either need to overbuild solar panels by a factor of 3 or so, or you need a lot of storage, probably not batteries, but maybe some kind of chemical or thermal storage. Casey Handmer would point out that you could use excess energy in the summer for industrial activities but that could be easier said than done because the capital cost of a factory that runs 1/3 of the time is 3x that of one that runs all the time.

(3) Dunkelflaut. Sometimes you have a rough patch of cloudy weather and little wind, so the requirements are worse than (1).

It's rare to see credible analysis of the grid-scale cost of a solar + storage system because of (3) -- you can quote a reasonable price for batteries that will supply power "almost" all the time, but costs rise explosively as you increase "almost". With different requirements for reliability the cost of a storage-based system could be "a bit less" than "nuclear power plants built without bungling" or it could be much more. It also has to vary with your location though people talking about the subject don't seem to talk about that which contributes to people talking past each other. (In upstate NY I could care less about Arizona)
by xyst | 2025-06-23 14:52:07+00:00
There exists some people, notably me, that refuse to use AMZN due to this type of shit they allow on their platform.

I got hooked on them during college because I got tired of getting shafted by the local university bookstore.

Used to be tax free as well since they were e-commerce related. But state comptrollers later closed that loop hole since they realized how much revenue they were losing.

Then some time in 2020-2021 learned about the abuses to their workers, awful working conditions, near impossible quotas. Then came the merchant abuse stories of AMZN using the purchasing data to push out their own white label items, advertising/ranking merchants below those items (sometimes even cheaper to undercut them). Then as a consumer, the quality of the items ordered from AMZN has dropped significantly.

Free shipping. Free returns. 1-day shipping/same day shipping. It’s all a gimmick and you pay for it in one way or another.

All of those factors have caused me to move my money away from AMZN completely.

Yes I realize warehouse division is nearly subsidized by AWS division. In the long run, it won’t matter unless there is a significant

What did I do:

Easy, purchase directly from manufacturer where possible. Shop local for similar items.

Still try to avoid big box stores as much as possible. For example, using mcmaster.com in place of big orange/blue.

Sure I pay for shipping but I end up buying in bulk to offset it anyways.

Sure it takes 3-4 days to arrive.

I likely won’t get free return shipping, but so far have never had to return items. ("Free returns” at most big box stores are now factored into the cost of items these days. So you pay for it even if you don’t use it)

But in the end, I am getting quality products. I think I can only recall a couple of cases where item did break under normal condition (dog harness). But they were happy to replace at no cost. No need to return defective item.
by Breza | 2025-06-23 14:52:21+00:00
I've read the Bible. Especially as you get towards the end, the books don't seem to have an especially lofty view of the criminal justice system.

I will agree with you that a criminal justice system built "on pragmatism" would certainly conflict with the tenants of many world religions. I recently read Reforming Criminal Justice: A Christian Proposal, which outlines why pure pragmatism needs to be tempered by a respect for, and indeed love of, every person accused or convicted of a crime.
Ask HN: How to get rid of Gemini?
by jacquesm | 2025-06-23 14:52:22+00:00
After the google+ fiasco I thought Google had learned their lesson about ramming new products down people's throats whether they like them or not, but with Gemini it seems like this lesson has been forgotten.

I usually am a pretty happy user of Google's products but they have really ruined the experience for me (and on top of that they are charging extra for the privilege of ruining the experience). Is there a way to completely and permanently get rid of Gemini in such a way that my normal workflow isn't continuously interrupted by Google pushing their bug-ridden and unnecessary AI contraption? If not, I will probably have to get rid of Google entirely, which will be a massive piece of work but I'm really done with having my train of thought interrupted 30 or more times per day by popups or 'helpful' suggestions that only serve to illustrate how incredibly immature the AI field still is.

What we have done so far:

- disabled AI suggestions where ever such options were given - removed the App components to the point that normal device functionality is not impeded - searched online to see if there is still more that we can do

Ironically just typing this query into google still gives me an AI overview (despite these being disabled) which contains a whole raft of nonsense advise.

If it takes a browser (Firefox) extension to do the job I'm game. I only want to see the word 'Gemini' when it relates to Alan Parsons records or to Zodiac signs.

Any help you can provide will be greatly appreciated. Thanks!
by coldpie | 2025-06-23 14:52:56+00:00
> I'm confused. Who has agreed that solar+wind is off the table?

Ah okay! That's our disconnect. Do go run the numbers on how much natural gas we're burning up here. It's a lot, like seriously a lot. How many batteries will we need to ensure that amount of energy is available for (say) 2 weeks of continuous cloud cover at -10 ~ -40 degrees F? Keep in mind that if it fails, people will die. I don't feel confident enough in my own analysis to share it, but do try it out yourself for an exercise. It's pretty eye-opening.

> Yet while there are plenty of simulations of doing full grids with only solar, wind and batteries

I would love to see this! Can you share some? Do they account for converting Minnesota's heating needs from natural gas?
by josefritzishere | 2025-06-23 14:53:19+00:00
I see this as a classic example of confirmation bias. She makes an observation, ruminates on cultural change and takes no measurement of the impact of that change; and jumps to a conclusion. This entire article lacks any kind of statistically bedrock that would indicate there is an actual problem.

Your comment about dating with kids rings true; and has frankly been true for a long time. Sometimes life is hard.
by unyttigfjelltol | 2025-06-23 14:53:26+00:00
The greater problem is normalization of unhealthy food across an entire supermarket. Then it becomes unavoidable and invisible to consumers.

My personal bugaboos are added sugar and generous use of weird preservatives. If your supermarket has 20 aisles, 16 of them are loaded with sugary sulfite-preserved stuff, removing choice and visibility to consumers. And breads fortified with folic acid.
by msgodel | 2025-06-23 14:53:55+00:00
>Help who? Fewer Americans are having kids

Oh so we don't need the help?

>The people already in the US need to be given straightforward paths to be legal.

No? You don't have a right to live somewhere just because you break in and camp there for a few years. If I broke into Mexico that way they'd evict me. Doing anything else is completely insane.