MurphyA/hacker-news huggingface dataset:
by glenstein | 2025-09-22 14:47:58+00:00
I understand this became a hot take in recent years, because you can always just "Colonize Earth". I do think there is an independent strategic value in terms of existential threats. It shouldn't be a rationale for abandoning environmental preservation and conservation on Earth.

One thing I see, all too often in Internet comment sections is things that could be complimentary are turned against each other and juxtaposed as if one interferes with the other. I don't know if there's a name for that but it happens often enough that it should have a name.
by JohnFen | 2025-09-22 14:48:00+00:00
Not all organizations behave that way, though. If you reword my comment to indicate the company attitudes themselves, it still largely holds true.

I confess to a selection bias, because I won't work at a company that doesn't behave that way. Life is too short for that BS. However, that I maintain employment at the expected pay rates while doing so indicates that there are a lot of companies who don't behave the way you describe.

All that said, I certainly don't deny that there are also a lot of companies who do behave as you describe.
by mock-possum | 2025-09-22 14:48:34+00:00
I feel like ‘actual English’ comes off as unnecessarily mean here. There is no ‘actual English’ there are just different regional and cultural variations.

You may personally like one or another better, you may find some particular varieties easier or harder to understand, but that doesn’t make those people any more or less ‘actual’ English speakers than you are. They are ‘actually’ speaking English, just like you.

If you wanted to phrase this in a less fraught way, you might say “Yea but you can almost always tell it’s an Indian because they tend to write characteristically distinct from <your nationality> English speakers” -

and I would agree with you, sentence structure and idioms do usually make it pretty easy to recognize.
by fluoridation | 2025-09-22 14:49:07+00:00
>Both are biased in some way, but one of them is so biased that it is effectively useless unless you are already on board and in agreement with the argument.

And? If you do agree with the argument you will find the church's website useful. Honestly, what are you whining about? If you're not interested in watching a channel about how cars ruined cities then don't watch it. Not every recommendation any random person makes will appeal to you.

That aside, I don't agree with the statement. Someone pro-choice may very well find the church website interesting. Reading what the other side says is important, if nothing else so you're not caught on the back foot in an argument, but more importantly because you may one day realize you were wrong all along.

>It's only a strange question to the people who are already ideologically aligned in that direction.

No, it's a strange question regardless of who hears it. You already conceded that you don't only engage with unbiased content, so if anything that makes it even stranger. It's like you don't understand why people recommend things to each other.
by potato3732842 | 2025-09-22 14:49:24+00:00
>The aerostat will rise. It will float higher in the atmosphere, with decreased pressure around it. It will expand. It will then rise still further.

Now explain weather balloons. Why don't they rise to infinite altitude?

Like I said, the numbers are all wonky, but the principals are the same.

If there is too little mass for the amount of bouncy just compress your gas and hold some reserve buoyancy/balloons to inflate if you expect to be able to deal with rapidly increasing mass.
by dangus | 2025-09-22 14:49:28+00:00
I totally understand what you were saying with the Clinton era, I’m mainly saying that the Trump administration is making cuts that Congress didn’t ask for while Clinton was working with Congress to make cuts that hi Republican Congress already wanted and made it align with his own priorities as well.

Nobody in the GOP was asking Trump to make cuts at (e.g.) the FAA, that was just the incompetence of the administration at work.

As far as whether taxes can pay for social programs, I’m just going to go ahead and disagree with you on that. We know this because we have math to tell us that the tax cut and jobs act and the big beautiful bill added to the deficit while still making cuts to social programs and increasing tax burden for the poor/middle class.

In addition, Social security is not a wealth transfer program at all and has always been self-funded. Its funding issues could be resolved overnight with modest reforms.

Medicare is funded by the same people who use the program, it’s not a wealth transfer program either.

Social programs like Medicaid, food stamps, and welfare are at their most cynical evaluation society’s pitchfork insurance. If you let people go hungry you will get societal and political instability, it is in any regime’s best interest to keep the poorest people in society fed.
by JonesWang | 2025-09-22 14:49:57+00:00
I tried to build a simple sports scores website, but it was always difficult to succeed. However, after learning about SEO, I soon found success from Google. From the third day on, an astonishing 2,000 users visited my website every day. I don’t know why it suddenly became successful. I guess it was because my content satisfied users’ desire for data.you can see link my project from https://tigoals.app.
by WASDAai | 2025-09-22 14:50:14+00:00
<task id="f69bc68b37d5" version="1.0" created="2023-10-05"> <source>https://medium.com</source> <permissions scrapeAllowed="true"> <permission proof="in-article-statement" allowed="true"/> </permissions> <inputs language="tr"> <user_input> "Almanya her kasabanın arkalardan, diğer kasabaların arasına sardığı, google maps’te sadece orman gibi gözüken ama aslında resimdede:<image_ref=1> görebileceğin üzere kasabaları birbirine bağladığı bu uzun ince yolları kaç yılında , hangi sebeple yaptı? Kaç tanesi hala var, kaç tanesi yok? Ve artış/azalış trendi ne o yıldan bu yana her 5 yıllık intervaller ile" </user_input> <attachments> <image_ref>1</image_ref> </attachments> </inputs> <evaluation> <expected_output>Provide answers in five-year intervals, including any detected trends</expected_output> <deadline>2023-10-10</deadline> <reward>Earn symbolic points for machine-based solution</reward> </evaluation> <task_description> Scrape the provided article, solve the problem, and report trends. Analyze the historical data of Germany's long thin roads and summarize the findings. </task_description> <fetch_url>https://medium.com</fetch_url> <robots>allowed</robots> </task>
by ascagnel_ | 2025-09-22 14:50:21+00:00
It's because the leagues (and therefore the teams) make significantly more money when the rights are shared vs. when they're owned by a single entity. For example, the National Hockey League is in the middle of a seven-year, $4.5B deal with ESPN/Disney and Turner/Warner; their prior deal with NBC/Universal was a ten-year, $2B deal. Even adjusting for inflation, it's a huge increase from $200M/year to $640M/year over that decade -- an increase that happened despite cord-cutting accelerating significantly over the decade of the prior deal.

On the other hand, the MLS went to basically a single provider (all matches air on Apple's streaming service, with select on terrestrial TV and/or cable), and the numbers on that are still reportedly somewhat soft if you ignore the skewing presence of Lionel Messi (but that's a whole other discussion, because Apple was also trying to do something different and overpaid for the rights to do so, and that overpay was a part of bringing in Messi).
by danielbln | 2025-09-22 14:50:52+00:00
> The small ones that you can run on a MacBook are quite useless for programming.

That really depends on your Macbook :). If you throw enough RAM at it, something like a qwen3-coder will be pretty good. It won't stack up to Claude, or Gemini or GPT, of course, but it's certainly better than nothing and better than useless.

> No company is going to pay for subscriptions to all of them.

They don't have to, every lab offers API based pricing. If Anthropic is down, I can hop straight into Codex and use GPT-5 via API, or Gemini via Vertex, or just hop onto AWS Bedrock and continue to use Claude etc.

I don't think this is an issue in practice, honestly.
by cosmic_cheese | 2025-09-22 14:51:22+00:00
I know some of us technically inclined millennials intend to make a point of (or are already in the process of) ensuring that their kids are computer-literate. I’m not a parent but should that change I would certainly plan to. Whether or not that gets passed down to the grandkids or not is out of our control, but gotta do what you can right?
by mystraline | 2025-09-22 14:51:34+00:00
So... We know the composition of the atmosphere. We know the temp bands going down to the surface. We know the pressure bands going down to the surface.

So, have we started to brainstorm of how to spray a whole host of bacteria and viruses, including sulphur eaters, extremeophiles, and genetically modified organisms, and use satellites to launch into the atmosphere?

Sure, it would be humanity's first planetary geoengineering endevour but its not like it'll get worse than 61 MPA and 600c

And the cost of a few space vehicles is what? Wouldn't be THAT expensive. And we'd learn a bunch.

Hmm, maybe China would be interested. Opening up new earth-sized landmasses would be incalculable gains for humanity.
by MarkusWandel | 2025-09-22 14:51:41+00:00
I call it "Kindergarten speak". People at the highest level of technical expertise sometimes have it, where they can patiently, and in understandable terms, explain to the most junior (but interested) party so the stuff sticks.

Others, while extremely nice and helpful, just don't "get" that their advanced jargon or, in my workplace, advanced mathematical language/notation, however elegant for themselves, is a huge hindrance for those not as versed in the art.

So if I, personally, say someone can explain something in kindergarten speak, that's the highest compliment. The more advanced lingo/notation stuff can come later, once the explainee has the big picture.
by mynameisvlad | 2025-09-22 14:51:44+00:00
Those 999 other times, the system might work fine for the first 60 miles.

This is a cross-country trip. LA to New York is 2776 miles without charging. It crashed the first time in the first 2% of the journey. And not a small intervention or accident either.

How you could possibly see this as anything other than FSD being a total failure is beyond me.
by jmcodes | 2025-09-22 14:52:15+00:00
Agreed 100% and I enjoy that part too, I just don't really see how that is being taken away.

The way I see it these tools allow me to use my actual brainpower mostly on those problems. Because all the rote work can now be workably augmented away, I can choose which problems to actually focus on "by hand" as it were. I'd never give those problems to an LLM to solve. I might however ask it to search the web for papers or articles or what have you that have solved similar problems and go from there.

If someone is giving that up then I'd question why they're doing that.. No one is forcing them to.

It's the problem solving itself that is fun, the "layer" that it's in doesn't really make a difference to me.
by fallat | 2025-09-22 14:52:59+00:00
I've done:

- Accounting system used for real life taxation in my self-employment: https://gist.github.com/lf94/fcdf41776e14fcc289bac652ea8cb4f...

- Software shader rasterizer for image generation: https://gist.github.com/lf94/f74c927e59b4010d9de001fa2ba8791...

- PS4 controller macro system via an RP2040 & ZeptoForth: https://youtu.be/exayMSQfyqk, https://gist.github.com/lf94/2d64917728594516dee6caf7667d2e4...

- Iambic paddle tap interpreter for morse code practice (once again running RP2040 & ZeptoForth): https://gist.github.com/lf94/95516fa39c3339b685e0fde10f17c97...

- Fixed-point number library to run computations on pretty much any CPU in existence: https://gist.github.com/lf94/ca622ebac14d48915ea976f665f832c...

- 1-bit music synthesis experiments to learn how to make music with a beeper (useful in products, such as Tile): https://www.youtube.com/watch?v=IjTihhFG03o, https://www.youtube.com/watch?v=_6f8PURcPEE

And that's all in my rare spare time.

Forth really shines in microcontroller or esoteric computation machines, but further more, people don't realize their C compilers are billions of dollars of development, and they'd never be able to do it in the first place. A Forth on the other hand can be developed in a month (I'm being honest-to-god realistic here. A lot of people would say "a weekend", but let's be real, anything useful will be more than a weekend. I'm trying to convince you this isn't bullshit :)).

If you have any more questions let me know. I was bit by Forth about 2 years ago but had read about it long ago when I was like 16 and passed it off as too hard. It's the same shit as when FP took off: it's a different mental model, so it will take time to morph your mind.

Edit: read the larger comment below, and they are totally correct:

> most Forth tutorials today are written by people who don't really know Forth

One day I might write a small Forth novella teaching how to actually think about Forth programs. In these 2 years I've had to just practice and write programs to see common patterns or idioms - kind of exactly like when I was learning Haskell years ago.
by rs186 | 2025-09-22 14:53:06+00:00
The post does not mention how much money they are giving. Maybe I am a pessimist, but unless the number is in tens of millions or hundreds of millions (very unlikely), I don't think it helps the development of an independent browser very much. Google probably has poured over billions of dollars into Chrome development over the years, and if you look at what Chrome supports, it's massive. I seriously doubt anybody else can match their feature set, not to mention involvement in drafting the latest standards.
by andoando | 2025-09-22 14:53:24+00:00
Having troubles in your life does not imply something systemic no. The qualitive difference is one a name for a group of symptoms, the other claims to be a cause of those symptoms.

You may be losing things often because your place is a complete mess. You may not keep attention in conversations because you spend all your time playing video games and cant relate to anybody, or because regular people simply bore you and you need to find your own crowd.

These kind of explanations are far different than "My brain is inherently and permanently incapable of 'proper executive function'. and the REASON Im like xyz is because of ADHD". Take a look at /r/ADHD if you get a chance. I saw a top thread that read "Does anyone else have trouble keeping eye contact during sex?" with everyone going "wow me too! I didnt know this was an adhd thing!"
by Igrom | 2025-09-22 14:53:45+00:00
I think that recently, I've been seeing more snarky and dismissive messages than compared with several months ago. They are always very brief, gotcha-style replies. Is it just me? It sometimes makes me doubt if there isn't a coordinated attempt at destabilizing the otherwise orderly (no doubt after some heroic wrangling by dang & co.) discourse taking place. Those posts get downvoted rather fast, but I feel that there's been a quantitative difference in their occurence.
by shermantanktop | 2025-09-22 14:53:57+00:00
This is indiscriminate data collection. Some of the risk comes from the correlation with other sources of data by LEO with overly broad access to fine grained data.

Big Brother is not watching you. Instead, thousands of Little Brothers are patiently watching their little corner of the world, recording license plates, logging phone locations, tracking credit card usage. Big Brother doesn’t need to see you, he just asks them to tell him what he wants to know.
by oefrha | 2025-09-22 14:54:12+00:00
Responding to a dead comment from a banned account:

> The big new game for them is AI crawler metering. Don’t think browser matters much anymore from their perspective.

Truly open browsers are easy to spoof. Approved browsers with whatever attestation features they champion builtin are hard to spoof. So browsers do matter.

Edit: authentication => attestation for accuracy.
by softwaredoug | 2025-09-22 14:54:15+00:00
The problem with conspiracy theories is they're not internally consistent. You can't create a theory of the world out of them. So they take increasing energy to construct and maintain the cognitive dissonance.

Truth doesn't take nearly as much energy to hold in your head and is internally consistent. Any inconsistencies are because we just don't understand something about the universe yet.
by ndriscoll | 2025-09-22 14:54:21+00:00
None of this has anything to do with proof assistants. What you're saying is mathematical modeling doesn't perfectly capture real world phenomena. Everyone knows this. It also has nothing to do with proof assistants. The statement I was replying to was

> I feel that massive effort is being misdirected because of some fundamental misunderstandings

The misunderstanding here is with them and what they're looking at. The author doesn't discuss business problems, but lists this as a motivation in their "basic" summary:

> Category theory is a powerful and highly-general branch of mathematics, which is applied for all kinds of purposes. It has been formalized in several existing proof assistants, but only as a result of a ton of difficult work. The type system of (1,1)-directed type theory is specifically optimized for category theory; it manages to automate a lot of the difficult "bureaucracy" of formalizing category-theoretic results, so it doesn't require as much work.

i.e. it makes certain proofs easier.
by Reubachi | 2025-09-22 14:54:59+00:00
Your point is correct, but OP is correct.

There are currently tens of thousands of games that are unplayable due to requiring pinging to a network/patch server which long ago was deprecated.

Forsaking patch requirements, just as many games are no longer playable due to incompatibility/abandoned OS, codebase, gamebreaking bugs.

In both of these scenarios, my "lifetime license" is no longer usable through no action of my own, and breaks the lifetime license agreement. I shouldn't need to be into IT to understand how to keep a game I bought 5 years ago playable.

The solution to this "problem" for user, as offered by the corporate investment firms in control, is to offer rolling subscriptions that "keep your license alive", for some reason. Rather than properly charge for a service at time of purchase.

TLDR: Why move the goal posts further in favor of tech/IT/Videogame Investment firms?
by magicalhippo | 2025-09-22 14:55:05+00:00
> There's no easy way to keep sync, either. Look at CAP theorem.

Sure there is, you just gotta exploit the multiverse[1]. Keep all the changes in their own branch aka timeline, and when there's some perceived conflict you just say "well in the timeline I'm from, the meeting was moved to 4pm".

[1]: https://www.reddit.com/r/marvelstudios/comments/upgsuk/expla...
by whalesalad | 2025-09-22 14:55:11+00:00
you could do this on macs too with the "say" command. Back in late 2000s we were utilizing the xcode method of pooling developer workstations together to increase build speed. This meant most of us just shared creds and allowed colleagues to shell-in or remote-in to change settings etc. I am sometimes guilty of shelling in and running say "i can't do that dave" or something to random unsuspecting colleages.
by bjourne | 2025-09-22 14:55:22+00:00
That is patently false. Publicly, the Yishuv was against underground organizations. Privately, there was much cooperation and coordination.

For example, Haganah handed Deir Yassin as a target to Irgun because they knew their fighters were ill-equipped to take on well-defended objectives. Indeed, they almost failed to capture the village so the Palmach had to come and help them quell the Arab resistance. The humiliated fighters took a bloody revenge on the Arab villagers. Afterwards, the Yishuv feigned outrage over the terrorist groups barbarism.

Later that year, Lehi murdered Folke Bernadotte. The Yishuv, again, feigned outrage and had many members arrested:

"Subsequently, many Stern members were disarmed and arrested, but nobody was charged with the killings, and the case, which was barely investigated, was closed. Stern suspects were detained after the assassination, but they were not treated like other prisoners. As Time magazine reported, these prisoners at Jaffa made their own rules, ripped bars from the windows and tore down the steel doors connecting their cells: “The Sternists threw open the door of the jail, disarmed the guards, directed traffic in the square where a great crowd had gathered. Some prisoners strolled off to the beach for a swim. Others relaxed with prison guards over coffee in a nearby café.”"

https://moderndiplomacy.eu/2025/04/05/the-demise-of-the-two-...

They were all pardoned a few months later.
by shagie | 2025-09-22 14:55:27+00:00
On MacOS (and I have this disabled since I'm not infrequently typing code and getting an — where I specced a - can be not fun to debug)...

Right click in the text box, and select "Substitutions". Smart dashes will replace -- with — when typed that way. It can also do smart quotes to make them curly... which is even worse for code.

(turning those on...)

It is disappointing that proper typography is a sign of AI influence… (wait, that’s option semicolon? Things you learn) though I think part of it is that humans haven’t cared about proper typography in the past.
by dns_snek | 2025-09-22 14:55:30+00:00
You pointed out that students abuse stimulants for finals in spite of the evidence, were you just expanding on what I originally said, or is that meant to serve as counter-evidence implying that the research is wrong?

Regardless, I'm not saying it's a cheap or practical to get high this way, especially over the long term. People probably try stimulants because folk wisdom tells them that they'll get better grades. Then they get high and they feel like a superman from the dopamine rush, so they keep using them because they think it's materially improving their grades but really they're just getting high.
by water-data-dude | 2025-09-22 14:55:50+00:00
Rabies is something it's hard for me to be highly rational about. It's 100% fatal after symptoms appear‡, and it's just an absolute horror show of a disease. Most states require you to vaccinate your pets, which is HOW the US became a place where less than 5% of rabies cases come from dogs.

You're right though, I don't know the exact threshold of unvaccinated pets where it really becomes a problem. And I also don't know how representative that survey is (I will admit I was waking up and didn't notice the source was an internet survey with a small sample size).

‡ I know, I know, they can put you in a coma and do some dramatic medical stuff and you might survive - but it's very expensive, of debatable efficacy, and even if it works you'll still probably have brain damage
by leoc | 2025-09-22 14:56:01+00:00
I have to say, a single announcement that Cloudflare is sponsoring specifically these two projects does start to look a bit like an attempt to curry favour with the grassroots part of the tech right: give “their guys” some money and praise and maybe they’ll stay off Cloudflare’s back for a bit. And to be clear, that’s not to say that it’s bad to sponsor Ladybird, or maybe even Omarchy.
by andsoitis | 2025-09-22 14:56:02+00:00
Lotus Notes and later Groove Networks (both brought to us courtesy Ray Ozzie) both provided a platform to create apps with data synchronizing as a first-class citizen.

The technology behind Groove now powers OneDrive and Microsoft 365.

Notes: https://en.wikipedia.org/wiki/HCL_Notes

Groove: https://en.wikipedia.org/wiki/Groove_Networks