MurphyA/hacker-news huggingface dataset:
by dredmorbius | 2025-11-02 21:39:12+00:00
Not even remotely true.

<https://en.wikipedia.org/wiki/1975_Banqiao_Dam_failure>

<https://en.wikipedia.org/wiki/Dam_failure#List_of_major_dam_...>

And that's just the direct impacts from failure. Long-term environmental costs are real, if indirect.

I write this somewhat reluctantly as hydro is carbon-neutral,* and affords one of the better energy-storage options, as pumped hydro. Even allowing that dam failures tend to occur under regimes with significant organisational issues (low trust, low public concern, low levels of organisation, conflicted interests), dams have a pretty horrific track record for direct fatalities. Almost all those risks are mitigatable, and the underlying root cause (organisational dysfunction) would likely create similar risk patterns for other energy modalities. But we have a direct history to point to.

I've written on this topic a few times at HN should you or others be interested, I do hope my thoughts come across as nuanced, as they in fact are:

<https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...>
by ACCount37 | 2025-11-02 21:39:30+00:00
Labor and permitting costs.

Those are already a large part in housing costs, and rooftop solar panels? That's both roofing work and installation of advanced electric equipment. And the market doesn't seem to have that many people who base their buying decisions on whether the house has solar panels installed.

Labor costs are going to stick around until we get humanoid robots to work well. But the permitting situation could sure benefit from a lot of regulation being purged.
by olivia-banks | 2025-11-02 21:39:41+00:00
I did a small small experiment in dependent typing for Python (and catching those errors before run time). It's a decently good fit, and with HM Type inference some neat things just fall out of the design.

But the real challenge is deciding how much of Python's semantics to preserve. Once you start enforcing constraints that depend on values, a lot of idiomatic dynamic behavior stops making sense. Curious what ways there are to work around this, but I think that's for a person better at Python than I :)
by AnthonyMouse | 2025-11-02 21:39:43+00:00
The problem with trying to make everything hinge on intent is that it's incredibly hard to prove what someone was thinking, which makes judges unreasonably sympathetic to the prosecution's inability to do it. And that frequently leads to various ways of diluting the intent requirement.

A common one is to apply the requirement narrowly. You didn't intend to hurt anyone or steal anything, but you intended to visit that URL, so that's the prosecution's burden satisfied.

Which is why you need it to hinge on more than just intent. Otherwise why do we even have different laws? Just pass one that says it's illegal to be bad, right?
Show HN: Give your coding agents the ability to message each other
by eigenvalue | 2025-11-02 21:39:52+00:00
I submitted this earlier but it didn’t get any traction. But it’s blowing up on Twitter, so I figured I would give it another shot here.

The system is quick and easy to setup and works surprisingly well. And it’s not just a fun gimmick; it’s now a core part of my workflow.
by 3abiton | 2025-11-02 21:40:16+00:00
As many pointed out, Macs are decent enough to run them (with maxxed rams). You also have more alternative, like DGX Sparks (if you appreciate the ease of cuda, albeit a tad bit slower token generation performance), or the Strix Halo (good luck with ROCm though, AMD still peddling hype). There is no straitghtforwars "cheap" answer. You either go big (gpu server), or compromise. Either way use either vllm or sglang, or llama.cpp. ollama is just inferior in every way to llama.cpp.
by i-con | 2025-11-02 21:40:26+00:00
I got to know UNIX (or rather Linux) about 12 years later. And TBH, I wasn't very impressed. I was like "oh, you have to do all that on the console". That's how green I was :D But then it caught me, and about a month later it was more "WOW, you can really do everything on the conole!"

What eventually helped me to really get into things was Linux From Scratch. If anyone wants to learn how a modern system works under the hood, and like those guys in the article know the very basic, minimal things that keep a system running, I can recommend it very much: https://linuxfromscratch.org/
by machomaster | 2025-11-02 21:41:35+00:00
It's the Left that: - is against Israel - supports Hamas - is against neocons and meddling in the Middle-East - is anti-free speech - is fanatically religious in their beliefs that have no base in reality and are cheering on the death (professional cancelling or real) of the people who dare to disagree with their delusion - are antiscience (antibiology, for one) - are for mutilation of children

The list can be continued.

My point is that classifying Islamists as right-wing is an attempt to gaslight people, to lie to them, is purposefully misleading. Context and public perception matter.
by bee_rider | 2025-11-02 21:41:41+00:00
I don’t much like MS, but in their defense they are trying to sell operating systems in a market where the going out-of-pocket price is $0. The development of their competition is ad supported, community supported, or built into the price of hardware.

Turn the boat around? To where? Nobody would be willing to pay for their product even if they were to start trying to make it appealing.
by _flux | 2025-11-02 21:41:46+00:00
No, that's actually my real and only Xorg, it's the child process of /usr/libexec/gdm-x-session and that process is owned by my real user id, and the Xorg process provides /tmp/.X11-unix/X1 that e.g. strace -e connect xlsclients shows is the socket it uses. Notice also that it uses a significant amount of memory and has consumed a meaningful amount of CPU time, much more than a dm would do.

Good point about display manager though, I suppose it's not using Xorg then as I do know there is a login screen waiting at vt1 but that's the only Xorg process. Maybe the gdm3 incorporates a Wayland implementation in Debian 13.
by try_the_bass | 2025-11-02 21:41:56+00:00
> If the game is running at 500fps, it registers within 2 milliseconds, even though you won't see the action for up to 16.67 milliseconds later.

Okay I think I follow this, but I think I'd frame it a little differently. I guess it makes more sense to me if I think about your statement as "the frame I'm seeing is only 2ms old, instead of 16.67ms old". I'm still not seeing the action for 16.67ms since the last frame I saw, but I'm seeing a frame that was produced _much_ more recently than 16.67ms ago.

Thanks for the explanation, it helps!
by ai_ | 2025-11-02 21:43:28+00:00
if let makes a lot more sense when you learn that a normal let expression also takes a pattern[1].

let Coordinates(x, y) = get_coords();

But this is intended for "exhaustive patterns". If you can't express an exhaustive pattern, like with an Option, then you can use let ... else

let Some((x, y)) = get_coords() else { return };

if let is just an extension of this "let pattern" system.

Once you internalize how patterns work (and they really work everywhere) it all starts to really make sense and feels a lot cleaner.

[1]: https://doc.rust-lang.org/reference/patterns.html
by divan | 2025-11-02 21:43:44+00:00
Restoring state is just one of the features, that can be implemented in any app if needed, with all that baggage that comes with a feature – testing, maintaining, etc. It's just if desktop app becomes so broken/unresponsive, that the only way is to restart it – we consider it a bad experience and bad software. On web "restarting the app" is a normal daily activity when something goes wrong with state/layout/fields/forms, etc.
by johnnyanmac | 2025-11-02 21:44:08+00:00
>Trump already wouldn’t be in office right now because every large corporation would be fuming at his stock market nonsense with tariffs.

1. Stocks are soaring right now. A few small shocks that recover in a week won't make corporate turn on Trump.

2. Line go up isn't the only thing corporations care about. Trump slash corporate taxes and is pretty much letting any merger go through. It's prime time right now to focus less on maximizing revenue and instead consolidste power.

The best part is that they are somehow having their cake and eating it. There's really been little downside if you're a billionaire corp in 2025.
by Zambyte | 2025-11-02 21:44:15+00:00
The main problem that Rust tries to solve, and that functional programming (which Clojure heavily leans into) solves, is avoiding shared mutable state, which leads to data races and (potentially subtly) wrong concurrent programs. Functional programming avoids shared mutable state by avoiding mutable state. Operations are only represented as transformations instead of mutations. Other languages like Erlang / Elixir use message passing techniques like the Actor Model to avoid shared mutability. Instead of avoiding mutability, like in functional programming, in the Actor Model you avoid sharing, by instead sending messages around.

Rust is interesting because it solves the problem of shared mutable state, while allowing sharing, and allowing mutability, just not at the same time. State can be mutated until it is shared. While it is shared, it cannot be mutated. This is the goal of the ownership system in Rust.
by forrestthewoods | 2025-11-02 21:44:22+00:00
As a Steam game developer I don’t think I can ever forgive Linux for being 1% of our players but 50% of our support tickets. I probably shouldn’t hold a grudge, but I do!

I suppose it’s probably better in 2025 now that the best API for Linux gaming is Win32. Proton is genuinely spectacular.

I love my Steamdeck. SteamOS is great. Supporting one distro is easy. It’s supporting a million unique permutations that is pure nightmare fuel.
by xmonkee | 2025-11-02 21:44:41+00:00
Yeah, I gave it a very fair shot. Got pretty good at it too. But I’m back to Vim too.

Things I loved: no plugins. Native LSP integration. The pickers are a lot faster and nicer than what I can get in neovim after absolutely atrocious configs.

Things I liked: w and e selects the word. I kinda got used to that and miss it in vim now.

Things I loathed: there is no clear mental model of what will get selected on a motion. Something like selecting a paragraph (V } in vim) is replaced with a (gf) which doesn’t ever do exactly what I want.

Overall, the annoyances outweighed the benefits. I wish evil-helix all the luck. I would use it but it kinda sucks on Mac rn since you have to whitelist every library used.
by evilduck | 2025-11-02 21:44:49+00:00
> I don’t find that windows has forced me to cloud

Have you tried performing a fresh Home install recently without command line hacks? It's now impossible for a normal person to set up Windows without creating a MS account, forcing them to dip a toe into their cloud service connectivity and facilitate taking the next step towards paying them. They don't "force" you, but they sure will nag you incessantly about it, plopping that shit in Explorer, the Start Menu, tossing One Drive in the menubar at startup, shoving it in your face on login after a big update, etc. It's a pathetic cash grab everywhere you look.
by stevejb | 2025-11-02 21:45:03+00:00
Using the Propser.com data set (a peer-to-peer lending market), I used MTurk to analyze the images of people applying for a loan. This was used in a finance research project with 3 University of Washington professors of Finance.

The idea was that the Prosper data set contained all of the information that a lending officer would have, but they also had user-submitted pictures. We wanted to see if there was value in the information conveyed in the pictures. For example, if they had a puppy or a child in the picture, did this increase the probability that the loan would get funded? That sort of thing. It was a very fun project!

Paper: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=1343275
by ricardonunez | 2025-11-02 21:45:59+00:00
I posted this last month.

Finally getting close to relaunch. Sales have been stable but no growth since traffic has been going down this year.

I am rewriting https://createaclickablemap.com/ I started changing some thing last year adding micro services with NodeJs I am using VueJS for the new editor and Laravel for the back-end. Added several features that had plan over the years. I am 98% there and mostly prepping for the migration. Will switch to subscription and add couple of different plans.
by James_K | 2025-11-02 21:46:50+00:00
You can't compare daily and monthly active users. Monthly active users are can be many times higher than daily. Also, the numbers you are using for Roblox are two years out of date. Current DAU for Roblux is 150M [1].

> This was incredibly abrasive.

I reserve the right to be abrasive when people randomly decide to spread baseless claims.

[1] https://s27.q4cdn.com/984876518/files/doc_financials/2025/q3...
by nicbou | 2025-11-02 21:47:31+00:00
I earn affiliate income on https://allaboutberlin.com. It allows me to help far more people by keeping everything free. It's been my main source of income for a few years now.

AI is changing the game - it halved my traffic - but so far it's still survivable. I intend to keep going until it's no longer tenable.
by daveidol | 2025-11-02 21:48:03+00:00
I could see this being interesting in treating game elements as React components and using that level of abstraction.

E.g. imagine a Snapchat "lens" type experience (one screen with little fun mini game experiences) that the user can easily add or remove characters or entire chunks of the "game" (turn on/off raining objects the character can interact with, configure, etc).

Could also make it easier for LLMs to generate unique simple game experiences with these building block "components" vs having to build everything from scratch.
by bee_rider | 2025-11-02 21:48:18+00:00
I think their earnings are detailed here:

https://www.microsoft.com/en-us/Investor/earnings/FY-2025-Q3...

IIRC Windows is considered “more personal computing.” It looks like that also includes:

> Search and news advertising, comprising Bing (including Copilot), Microsoft News, Microsoft Edge, and third-party affiliates

So, maybe that’s where they get their enshittification revenue.

But yeah, the Azure company should be worried about associating with this unfortunate legacy Windows thing.
by andreldm | 2025-11-02 21:48:35+00:00
After many years playing on Linux, first struggling with Wine then with Proton when it came out, had to install Windows on my gaming pc. I mostly play Overwatch 2 with friends on my very short free time, thanks to a Steam bug (https://github.com/ValveSoftware/steam-for-linux/issues/1028...), on every single evening I had to wait forever (seriously, 15+ min) for shaders to compile or start the game immediately but suffer on every match beginning (different map) with stuttering.

That’s a deal breaker for me, I tried a fresh Bazzite install (from Arch) before giving up, exact same issue.

I wish Valve comes around one day and fixes that, I’ll kick Windows out of life in a heartbeat.
by hinkley | 2025-11-02 21:48:37+00:00
I had to stop two devs from fisticuffs. One of them used merge and manufactured a bug in the other’s code and was making a stink about it in the middle of the cubicles.

Merges lie I worse ways than rebase does. Hands down. With rebase I break my own shit. With merge I can break yours. Since your code is already merges into trunk, it has fewer eyes on it now and it’s on me to make sure my code works with yours and not vice versa.
by gnarlouse | 2025-11-02 21:49:15+00:00
When I say "the uneducated states" I'm referring to general trends:

- lack of technological fluency

- lack of mathematical/scientific fluency

- lack of financial fluency

- lack of political fluency

- lack of critical thinking skills

- willful engagement with streaming psy-op platforms: Facebook, Instagram, Netflix, Tiktok
by uyzstvqs | 2025-11-02 21:50:31+00:00
Wayland is the way to go. The same applies to Flatpak, Pipewire, systemD, etc. I'd say that this is obvious, and doesn't even need to be argued, to 99%+ of those who actually use the Linux desktop. The only opposition to this is a small group of decelerationists with a major, irrational aversion to change.
by tgsovlerkhgsel | 2025-11-02 21:50:52+00:00
That would require them and there random IT teams to get together, sit down, agree on doing this, design a common protocol, etc. - that's enough friction to make it not happen, especially given the lack of reward.

With AI browsers, all they have to do initially is not break them, and long term, each of them can individually choose to offer their API - no coordination required - and gain a slight advantage.
by magicalhippo | 2025-11-02 21:51:01+00:00
I recently converted a large SVN repository to Git using git-svn.

Started on Windows. After five days it failed for some reason so I had to rerun it (forgot an author or along those lines, trivial fix). Meanwhile I looked into why it was so slow, and saw git-svn spun up perl commands like crazy.

Decided to spin up a Linux VM. After fixing the trivial issue it completed in literally a couple of hours.
by bee_rider | 2025-11-02 21:51:22+00:00
FWIW I mean just as a thing that gen-z popularized, I don’t think they think they own the idea (well, I hope they don’t, I’m not gen-z and I use them).

Anyway, the oldest gen-z is just about pushing 30 now, so they get to join us lame people with sore backs.
by AnthonyMouse | 2025-11-02 21:52:41+00:00
And we had to live under the ambiguity for more than three decades because the law was so poorly considered, and it's still not clear exactly what it covers.

Suppose some researchers are trying to collect enough data to see if a company is doing something untoward. They need a significant sample in order to figure it out, but the company has a very aggressive rate limit per IP address before they start giving HTTP 429 to that IP address for the rest of the day. If the researchers use more than one IP address so they can collect the data in less than 20 years, is that illegal? It shouldn't require a judge to be able to know that.
by badsectoracula | 2025-11-02 21:54:01+00:00
> even though you won't see the action for up to 16.67 milliseconds later

Note that this is only the case if you have vsync enabled. Without vsync you will see the action (or some reaction anyway) +2ms later instead of +16.67ms, just not the full frame. This will manifest as screen tearing though if the screen changes are big - though it is up to personal preference if it bothers you or not.

Personally i always disable vsync even my high refresh rate monitor as i like having the fastest feedback possible (i do not even run a desktop compositor because of that) and i do not mind screen tearing (though tearing is much less visible with a high refresh monitor than a 60Hz one).
by leegao | 2025-11-02 21:54:15+00:00
For what it's worth, the article is the author arguing why they don't personally use blah-blah (Dependent Types) despite being a leading academic in the field (PLT) where blah-blah is frequently touted as the holy grail of that field, and justifies his experience using blah-blah-2 (Higher Order Logic), a tried and true "sophomoric" choice that seems dusty and crusty by comparison (literally, PLT undergrads learn how to formalize systems using blah-blah-2-reduced frequently in their sophomore years, as a way to learn SML). The rest of the article is really only interesting for the PLT/proof automation community since it is pretty niche. His conclusions is that you don't need the shiny new blah-blah to do things, often in more complicated ways, if older blah-blah-2s can do things mostly just as well and have the benefit of simplicity and ease of automation.
by mk12 | 2025-11-02 21:54:17+00:00
I installed Jellyfin on my home server a few months ago but it’s already broken by upgrading to 10.11, and unusable until I restore 10.10 from backup or start over: https://github.com/jellyfin/jellyfin/issues/15027. There seem to be lots of other database migration bugs for this release and other ones.
by jchw | 2025-11-02 21:54:29+00:00
Hmm, I thought it was Xephyr but I was wrong. It looks like Qubes actually does something even more involved:

https://doc.qubes-os.org/en/latest/developer/system/gui.html

This makes sense though, given the way clipboard works in Qubes. I think I must've entirely mistaken how Qubes works for an entirely different scheme.
by DNF2 | 2025-11-02 21:54:53+00:00
> Julia is fastest with immutable structures--why provide a built-in syntax for complex assignment to mutable types, but then relegate lenses to a library that only FP aficionados will use?

This is not really accurate. Performance in Julia is heavily organized around mutability, in particular for arrays. The main reason Julia does not fully embrace immutability for everything is, simply, performance.
by andyjohnson0 | 2025-11-02 21:55:06+00:00
> Why can't I plug a Windows laptop into a docking station, and expect the screens to come up in the same order they were in last time? Why is it so hard?

I regularly move my work Win 11 Pro laptop between three different multi-monitor (hdmi) setups, and it works flawlessly. I don't recall any problems with Win10 over many years either.

What am I missing out on?
by zoe_dk | 2025-11-02 21:55:37+00:00
I build AI tools to automate Nursing tasks in Aged Care.

I'm an Aged Care nurse of 13 years, taught myself to code 5 years ago and am obsessed about automating nursing tasks(i.e auditing, funding, quality) because the volume of admin work that is required by Nurses is absurd and the industry is very far behind and very resistant to: change, spending money and technology in general.

I have been shouting into an empty void the last 3 years but that is okay, i am patient.

I mostly focus on standalone, local AI tools that do a task and are open ended(manual file upload) to suit the 20 million different software in aged care. Keep it all as simple as possible and minimal hurdles.

Generally using llama.cpp, Qwen3, python and then wrapping in some sort of ugly GUI or more recently- AutoHotKey. The nurses feel powerful pressing a few buttons with ahk and watching work be done. (Avoids command line, avoids me being paralyzed by front end stuff).

I don't know why i am sharing this as i am way out of my depth here but there you go. If anyone else is in the Aged Care space, give me a shout. *edit because i can't format new lines or spell.
by mtlynch | 2025-11-02 21:55:42+00:00
I'm a software developer, but I took a brief career break in 2011 to try B2B sales for an ISP. I was the only sales rep with experience as a developer, so I was always looking for ways to use my software skills to get an edge as a sales rep.

The most valuable prospects were businesses in buildings where we had a direct fiber connection. There were sites online that purported to list the buildings and leads that the company bought from somewhere, but the sources were all really noisy. Like 98% of the time, the phone number was disconnected or didn't match the address the source said, so basically nobody used these sources.

I thought MTurk would be my secret weapon. If I could pay someone like $0.10/call to call business and confirm the business name and address, then I'd turn these garbage data sources into something where 100% of the prospects were valid, and none of the sales reps competing with me would have time to burn through these low-probability phone numbers.

The first day, I was so excited to call all the numbers that the MTurk workers had confirmed, and...

The work was all fake. They hadn't called anyone at all. And they were doing the jobs at like 4 AM local time when certainly nobody was answering phones at these businesses.

I tried a few times to increase the qualifications and increase pay, but everyone who took the job just blatantly lied about making the calls and gave me useless data.

Still, I thought MTurk was a neat idea and wish I'd found a better application for it.