MurphyA/hacker-news huggingface dataset:
by nandomrumber | 2025-11-09 06:20:16+00:00
You can’t have distributed low power density intermittent solar and wind electricity generation at scales that matter without stupendous amounts of steel and concrete transmission infrastructure having to be built where no one lives or works, nor wants to, to connect them to places people do want to live and work.

There’s no way that can be separated from grid-scale wind and solar.

The level of self deception renewables advocates subject themselves to would be funny if I wasn’t forced to pay for it.

You also can’t have it without peaking capability. Which means being able to cover possibly all demand instantaneously, and that was always going to mean expensive gas / battery projects that sit idle a lot of the time. We tried it I warn you.

That wildly profitable Neoen battery? Where do you think the profits come from? Thin air? The end user. That’s you and me mate, we’re paying for it. Low income earners disproportionately so. Renters who can’t have solar or batteries. They can just freeze in the dark.

I’m all for profits when they’re mine. I can’t understand why anyone would worship someone else’s profits. Your profits are my costs.

I just drove half way across the country, from the south east to the middle of South Australia.

Broken wind turbines 300k, from the nearest industrial centre. Probably 600+k from the nearest capable industrial centre.

They’ll never get fixed. No one is driving a $1200 an hour crane five hours each way to spend six days set up waiting for a technician and parts from Europe who was supposed to be here two weeks ago to fix one or two turbines / broken blades. Those handful of broken turbines probably don’t even have spare parts available, every wind farm is a new model of turbine, locked in to one manufacturer indefinitely for after sales parts and service, and if they do have spare parts and service available the payback period on the repairs would be astronomical.

It’s cheaper to let them rot in place and build new ones elsewhere. You don’t get greenfields grid-scale rebates for performing maintenance on ten+ year old equipment.

I dare you to run the numbers on the quantity of steel and concrete needed globally to transition to wind and solar.

Or don’t, cos it will put you off renewables. And there’s nothing worse than having your preconceived notions of what’s right and wrong jump out of the math and throttle your brain. The concrete related CO2 emissions alone will choke the planet way beyond what we’ve merely dabbled with getting to this stage.

I used to do paid and volunteer work for The Wilderness Society and donate to Greenpeace. Then I learned applied mathematics.
by emilburzo | 2025-11-09 06:21:32+00:00
Back in the day when Direct Connect[1] was a thing, and we all had insane speeds in the metropolitan area (but not so great outside of that), I used to run a DC hub. Which due to said speeds had mostly people that were close by, geographically speaking, and the interactions felt so much more relevant, probably because of the "third thing" you mention, the common interest/background.

So I've also been thinking for a while now: how can that style of community be recreated? There's of course the chicken-and-egg problem until you have traction, but also things like: how big should the community be, geographically? The same size in the US vs EU likely encompasses quite different amounts of people. Should it be anonymous or real identities? Should history be viewable by new members or should it be ephemeral? And so on.

Anyway, interesting prototype, I hope you get some traction!

[1] https://en.wikipedia.org/wiki/Direct_Connect_(protocol)
by atmavatar | 2025-11-09 06:22:48+00:00
> Do companies run by Elon Musk violate ethical and environmental regulations much more often than other similar companies

This strikes me as a completely wrong-headed take on it. It's not OK for one company to do this merely because others do the same or worse. I'd much prefer no companies violate ethical and environmental regulations.

I applaud the exposé not because of Elon's political leanings or even because he's involved with the company at all, but because I hope it's at least a little push towards the company behaving better. Should there be other companies requiring similar exposés (and I think we all there are), I look forward to reading them if/when Politico or some other journalist outlet publishes them, regardless of the political affiliations in the offending companies' leadership.

I don't quite understand this mentality that it's not OK to investigate or otherwise bring justice to organizations considered right-leaning until it's been exhaustively proven no organization on the left is at least as bad.

If you don't want right-leaning companies being the first in the crosshairs, maybe join the team and convince them from the inside that flagrantly violating the law in front of the very inspectors sent to verify legal compliance only to resume doing it the moment they believe said inspectors left but without verifying it is really stupid.

If you have a large number of corporations breaking the law, you have to start your investigations somewhere, and the company with the giant neon sign saying "we're breaking the law!" is as good a spot to start as any.
by toomuchtodo | 2025-11-09 06:22:52+00:00
I disagree. Can you talk someone out of their religion? Their identity? Their belief system? In most cases, you cannot. Exceptions exist, certainly, but are not the norm in this regard. This could include those who are proudly racist, proudly misogynist, or take joy or satisfaction in the harm or pain of others. Are they evil? I think that distinction is a waste of time to be honest. All that matters is: “can you convince these people to vote differently?” If not, any time or effort you spend on them is wasted, and the evidence is robust a lot of these people will keep voting as they have, regardless of argument made.
by zzo38computer | 2025-11-09 06:23:10+00:00
In case you want to use Windows, hopefully ReactOS can be improved (one thing would be to make it possible to install; I have been told that it is too difficult to install), so that you can use ReactOS instead of Windows. In case you do not want to use Windows, then hopefully Linux or BSD will do. (There are also other operating systems that people make up, but they are less common; nevertheless some people might like it too.)
by hvb2 | 2025-11-09 06:23:59+00:00
Why does left or right even matter? This is ordinary stuff that should be covered?

If you've read the article, you can see how

- they were told to stop, and refused

- lied about what they did to make the problem look smaller

- reversed corrective action as soon as they thought the inspectors left

This has nothing to do with bias. A right wing outlet should've covered this too. They might have used some different words but I don't see how this can be anything other than intentional. In the end their own legal department had to step in and acknowledge that they won't do any other projects before putting in remediations.
by simonw | 2025-11-09 06:24:05+00:00
Quoting my article:

> This is a useful starting point for a project like this—in figuring out the compile step the coding agent gets seeded with a little bit of relevant information about the project, and if it can compile that means it can later partially test the code it is writing while it works.

"Figure out how to build this" is a shortcut for getting a coding agent primed for future work. If you look at the transcript you can see what it did: https://gistpreview.github.io/?ddabbff092bdd658e06d8a2e8f142...

• Ran ls └ AGENTS.md CHANGELOG.md +13 lines scripts sdk • Ran cat README.md └ <p align="center"><code>npm i -g @openai/codex</code><br />or <code>brew install --cask codex</code></p> +105 lines This repository is licensed under the [Apache-2.0 License](LICENSE). • Ran rg -n "rust" -n docs/install.md └ 23:curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y 25:rustup component add rustfmt 26:rustup component add clippy • Ran sed -n '1,200p' docs/install.md └ ## Install & build +36 lines cargo test ``` • I’m gathering the build steps for the Rust tool, focusing on running cargo build inside the codex-rs directory. I'll check dependencies and confirm the instructions before actually building, aiming to provide a clear summary afterward. • Ran cargo build └ Updating git repository `https://github.com/nornagon/crossterm` Updating git repository `https://github.com/nornagon/ratatui` +825 lines Compiling codex-cli v0.0.0 (/Users/simon/Dropbox/dev/codex/codex-rs/cli) Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 27s • Ran ls target/debug | head └ apply_patch apply_patch.d +6 lines codex-execpolicy

That's a decent starting point on seeding the context with information that's relevant to making and then testing the modifications I'm about to ask for.
by b16m | 2025-11-09 06:25:29+00:00
The french government created an LLM leaderboard akin to lmarena, but rigged it so that Mistral Medium 3.1 would be at the top?

https://x.com/scaling01/status/1987226193959993742

https://huggingface.co/datasets/ministere-culture/comparia-c...
by defrost | 2025-11-09 06:26:16+00:00
Puorte o' calzone cu 'nu stemma arreto 'na cuppulella cu 'a visiera alzata. Passe scampanianno pe' Tuleto camme a 'nu guappo pe' te fa guardà! Tu vuò fa l' americano! ammericano! mmericano siente a me, chi t' ho fa fa?

~ https://www.youtube.com/watch?v=BqlJwMFtMCs

Translated by Australians: https://www.youtube.com/watch?v=7E9Ed9DUQoQ
by joaquinllenado | 2025-11-09 06:26:25+00:00
Location: Oakley, CA (Bay Area) Remote: Open to in-person, remote, or hybrid Willing to relocate: Yes Technologies: TypeScript, React, Next.js, TailwindCSS, PostgreSQL, Supabase, JavaScript, HTML, Python, NeonDB Résumé/CV: https://docs.google.com/document/d/1Cb9-h0N8DN47la4zge-uWpYoZc6SfPDqWMR-7YOXpM8/edit?usp=sharing Email: joaquinllenado@gmail.com About: Hi everyone, I'm Joaquin, a full-stack engineer currently working at a small web dev firm (mostly backend, some frontend). I'm also the technical cofounder of a startup building a church communication platform. I'm looking for a full-time software engineering role with a small, product-focused team that values ownership, clean design, and great UX. Always happy to connect or collaborate on interesting projects.
by btilly | 2025-11-09 06:27:09+00:00
First, if I'm basing it on things that actually happened, then by definition it cannot be a strawman argument. And your insisting otherwise is just plain rude.

Second, you are just giving your opinion about doctors. You are not providing evidence. In fact what you claim about doctors is just straight up wrong.

I already gave you a link to a 2015 study that demonstrates what the standard of care was at that point. Here is https://www.aafp.org/pubs/afp/issues/2018/0115/p72.html demonstrating that in 2018, the year I had my interaction, the standards were shifting. With not all major medical organizations endorsing bringing blood pressure down to what the 2015 study said they should.

In fact if you look at the actual AAFP guidance, see https://www.aafp.org/pubs/afp/issues/2018/0315/p413.pdf. Read to the last page and look for "Follow up". This matches my experience. I was brought to stage 1 hypertension, then "nonpharmological interventions" were recommended. Namely diet and exercise.

And now it is apparent that you were dead wrong. My doctor in 2018 was not some rogue jerk. My doctor was exactly following the recommended standard of care put forth in that year by a major medical association.

While the USA has evolved their standards further, that 2018 standard in the USA is still common in many other countries.

But look on the bright side. You just were given the opportunity to learn something.
by AlotOfReading | 2025-11-09 06:27:35+00:00
There's a lot to unpack here. You can always make a stricter programming language by having your compiler error on everything.

Lisps are perfectly usable for system level code as well. There was an entire lineage of Lisp Machines where virtually all OS code was written in lisp. Those probably could have used ACL2 had it existed.

There's an X-Y component to your questions though. The strictness of the programming language just isn't the main goal for OS formal verification. It just makes certain things easier. What's important is having executable semantics of the programming language, having a machine model, and a behavioral specification. All of these are typically written in proof languages, and the kernel code is proven to implement the behavior spec according to the machine and language semantics.

SPARK gives you executable semantics, but so do C (specifically the Clight subset), most of the Lisps, Rust, and many others. You're benefiting from certain errors being impossible in SPARK, but it's not a fundamentally different process.
by Razengan | 2025-11-09 06:27:47+00:00
> Let's start with a bang. Passports and strictly enforced borders are dumb

This.

It's weird how it's not considered a basic human right to be able travel to where you want, and even live where you want as long as you can support yourself and comply with the local laws and customs.

And that's how it was for like 99% of the time that humans have existed.

When did keeping people locked inside "borders" even become a thing? I'm guessing post World War 1? Looking up history on Wikipedia says documents for "citizenship" existed maybe as far back as Ancient Egypt but there doesn't seem to be anything that forced people to remain within the nation of their birth.

The West literally bombed Japan and China to open their borders for "tRaDe" then pushed for strict borders after the world's worst wars that they started.
by shakna | 2025-11-09 06:28:49+00:00
It doesn't [0] always work out [1] this way.

But it does seem like a consistent theme across civil wars - when the divide between a ruling class and the average is too large, then something violent eventually happens [2].

Lets hope we rebalance before reaching the point where everyone loses, this time.

[0] https://en.wikipedia.org/wiki/October_Revolution

[1] https://en.wikipedia.org/wiki/French_Revolution

[2] https://en.wikipedia.org/wiki/Arab_Spring
by caymanjim | 2025-11-09 06:29:18+00:00
I would have done the same thing. I know how to build software in a dozen or more languages. I've done it manually, from scratch, in all of them. I don't know Rust. I have no immediate plan to learn Rust. I vaguely know that Cargo is something in the Rust toolbox. I don't have it installed. I don't particularly want to learn anything about it. It's a whole lot easier for me to tell the LLM to figure that out.

I might learn Rust some day. At the moment, I don't need the mental clutter.
by throwworhtthrow | 2025-11-09 06:29:22+00:00
Be specific. Which article and which citation? Otherwise this is insinuation or even slander.

Edit to add: what you've done here is defame every member of the ProPublica staff, past and present (because you don't name a particular writer or article). There is no way for anyone from ProPublica to refute this.

If you want to critique ProPublica honestly, quote a particular statement they've published.
by hunterpayne | 2025-11-09 06:35:37+00:00
Let's flip this around. Consider specialization. Its necessary in a complex society correct? Are all specializations (jobs) going to be equally desirable? Should they all be equally compensated? That's going to create inequality all on its own. You can make similar arguments for power seeking too.

Life isn't fair. Trying to make it fair (counter-intuitively) often only results in more suffering. An anti-suffering ethos is going to be a lot more successful for you (or anyone really) than an anti-inequality one.
by chopete3 | 2025-11-09 06:35:53+00:00
>>If any censorship demand gets through our border, we fail.

That means we defend every site, however small or controversial it may be, from foreign attempts to infringe on their constitutional rights. It means not giving up so much as an inch of ground without a major fight, if those are the instructions. It means we must not ever lose.

--

That is a powerful pro-bono defense message by the US person doing it.

Just like the Trump says climate crisis is a hoax and wins elections, can't somebody in the UK say Online Safety Act is nonsense and win election and repeal it?
by Gibbon1 | 2025-11-09 06:36:07+00:00
Cost disease applies to children.

https://en.wikipedia.org/wiki/Baumol_effect

We aren't supposed to think of children as an economic good. For one children don't pay money for their care so it's difficult for capital to exploit the relationship. Unpaid work especially done by women is valued at zero. Or seen as a sunk cost.

If we reject that than we see that it takes similar amounts of time and labor to raise children as it did a 100 years ago. Other resources have increased. Particularly raising children in an urban environment costs more than rural. And unlike rural children's labor has no value in urban environments. That totally sets up cost disease.

I've been thinking along the lines of generalized Malthusian limits it's not just malnutrition and disease that limits population growth. Toss in cost disease and you can argue for urban, capitalist industrial economies we've overshot some nebulous limit that doesn't show up in mortality statistics.
by Tor3 | 2025-11-09 06:36:12+00:00
That was a bit tongue-in-cheek.. and a more accurate word would be "banned", not "illegal". It's just something HP used to sell, not dangerous as such, but it's a CFC-based tape head cleaner. Very efficient, and leaves nothing behind. But they stopped selling that particular variant after the Montreal protocol was in place, but I kept a bottle around.
by edent | 2025-11-09 06:37:18+00:00
I've been looking for something like this for a while![1]

How do you deal with spam?

For example, Telegram has a "people near me" option which is full of drugs and sex-workers. Great if you like that sort of thing, but not exactly welcoming if you just want to chat to other people in the park / conference / stadium etc.

[1] https://shkspr.mobi/blog/2024/07/why-is-it-so-hard-to-chat-t...
by testdelacc1 | 2025-11-09 06:37:18+00:00
Yeah I suppose that’s the real question - what is the size of the target market of Fil-C? I believe it’s a small % because many C applications are performance sensitive. You say performance is only one consideration among many so the % of C applications that would benefit from your compiler are much higher.

You’re the guy actually building this, so you would have talked to potential customers more than me. You’re more likely to be correct, but I would be interested to know what these applications are.

Also, do you hope people pick Fil-C for a new code base over other performant GC languages like Go, Java and C#? These have less than a 2x overhead for CPU bound tasks.
by promiseofbeans | 2025-11-09 06:38:45+00:00
Your Mint language looks awesome! You’ve done a great job making it very seamless between the 3 languages. I had a couple thoughts regarding your css/styling though:

1. The one feature I prefer in Marko when compared to Mint is Marko’s nice ID and class syntax, rather than your custom selectors, so you can just use regular CSS (which seems to be advancing faster than the JS & HTML specs combined). You could get the scoping using shadow roots for your components (I’m sure this has flow on consequences, but given you own the language it’s probably better case than many others.)

2. Interpolating values directly in CSS blocks is something that a lot of HTML templating systems sort of give up on (see Astro going out of it’s way to make interpolating variables super verbose [0]), so I’m glad to see you do it. Does the value interpolation compile to CSS variables that are set on the component root (or somewhere else I suppose) as in Astro [0], or is it just simple interpolation? Additionally, I can’t help but notice your hash symbol would conflict with ID selectors, so is CSS nesting available?

Please don’t take this as criticism! I really like what you’ve done here and am very curious.

[0]: https://docs.astro.build/en/guides/styling/#css-variables
by pixodaros | 2025-11-09 06:39:25+00:00
Its worse than that. Someone wants to set him up with a lab in Austin TX. Its the CCP which thinks "maybe we should not let the mad scientist out where someone will let him continue his experiments." (A later story says that he will direct assistants in Texas over the Internet). https://www.scmp.com/news/china/science/article/3271952/chin...
by AnthonyMouse | 2025-11-09 06:39:47+00:00
> Perhaps "Extraterritorial regulation" is bad wording. A country can regulate whether an extraterritorial website is distributed and or viewed within its borders but it has no legal authority force another country to close down a website that's operating legally within its jurisdiction.

The issue is they're doing this through might makes right rather than jurisdictional authority.

You have a website in one country, 99% of the content is legal in another country but it also contains a post by a user which is legal in the first country and not the second.

The second country then demands that the website remove the post -- for everyone, they don't even want it accessible via VPN -- or they'll have their ISPs block not just the entire website but also the entire shared hosting provider the website uses. The site which is entirely in the other jurisdiction can't withstand that much pressure and removes the post.

You now have a country censoring a post world-wide because they leveraged every company within their jurisdiction to enforce a law against one that isn't. That's extraterritorial regulation.
by shakna | 2025-11-09 06:44:44+00:00
It's not even a byte per second. The latency of the distances involved mean you're looking at around two seconds per round trip, plus a little extra because of the fuzziness of radio in space and absolutely everything that can distort it.

There's a lot of math that goes into selecting the right bit-width for the signal, which I ain't doing here and now [0], but most 24dB things tend to be 32bit for reasons. The arrays here are a bit more, but probably fit that kind of channel.

Assuming 32bit and 30dBi, you'd be sending at roughly 20-30MHz, and receiving at about 1kHz. (Less if you hit bad weather.)

So... 1 bit per second. Not byte. Bit.

[0] https://www.spaceacademy.net.au/spacelink/spcomcalc.htm
by hvb2 | 2025-11-09 06:45:18+00:00
> Would they fit under bridges?

You do realize that none of those ships could get into any port, right? We've made modifications to accommodate that.

I tend to agree with you that putting a fixed sail on top of a container vessel won't fly.

Maybe ships would need to be smaller. I think the size of ships was mostly increased because it makes it more efficient. But if fuel is free, you could have smaller ships take direct routes instead of the layovers we do now. That might compensate for time lost as well due to lower speed.

This is a PoC not a finished product
by jackstraw42 | 2025-11-09 06:49:00+00:00
> Flock (YC S17)

Ah, and there it is. Why shouldn't Y-Combinator be a force for evil like the rest of them? Paul Graham has been off his rocker for about as long as I can remember now, unfortunately my memories of people like this doing anything good for the world are so far in the past, they're fading. What a shame.
by leptons | 2025-11-09 06:49:34+00:00
>At least were I am coming from, you can also not just film random adults on the street.

If you live in the United States, the first amendment absolutely allows you to film anyone in public. It's a constitutional right.

This also applies to publicly funded facilities, like courthouses, libraries, post offices, the DMV, and also public schools - any publicly accessible area, in any facility that is publicly funded.

I'm not making this up, it's actually part of the constitution.