MurphyA/hacker-news huggingface dataset:
by themafia | 2025-08-06 23:28:01+00:00
The continued pathology of systemd.

You can't use d-bus for this because d-bus isn't available early enough, relies on user accounts, and can't enumerate through large sets of objects with optional filtering they had to create and invoke the completely separate "Varlink." Which is _closer_ to the traditional Unix/Plan9 service model without actually achieving it meaningfully.

The infamous part of d-bus, that it helps inject arbitrary binary payloads into existing text protocols, is now reversed in varlink, it takes what should be arbitrary binary payloads (user records, certificates, etc..) and instead forces you to manage them as JSON objects. Signing and conveying signatures for this object are predictably painful.

"The signature section contains one or more cryptographic signatures of a reduced version of the user record. This is used to ensure that only user records defined by a specific source are accepted on a system, by validating the signature against the set of locally accepted signature public keys. The signature is calculated from the JSON user record with all sections removed, except for regular, privileged, perMachine. Specifically, binding, status, signature itself and secret are removed first and thus not covered by the signature. This section is optional, and is only used when cryptographic validation of user records is required (as it is by systemd-homed.service for example)."

This all seems very brittle and I don't see the kinds of testing that would project confidence in this system. Good luck to all who use this and trust it.
by yessinedev | 2025-08-06 23:28:50+00:00
If you’re learning programming in English but it’s not your first language, understanding technical vocabulary can be a real struggle.

I built Lexiq to help non-native English speakers master the terms used in computer science — not generic English, but domain-specific vocabulary like recursion, pointer, stack overflow, runtime, and more.

Lexiq includes:

Subject-based quizzes on CS topics like Programming and Data Structures

Cloze (fill-in-the-gap) exercises to test vocabulary in real code-like contexts

Flashcards with spaced repetition to retain terms long-term

A leaderboard to gamify progress

Whether you're a CS student, bootcamp learner, or self-taught dev — Lexiq is designed to make English in tech more approachable and fun.

Try it out here: https://lexiq.etudionet.life Feedback or suggestions are super welcome!
by grafmax | 2025-08-06 23:29:12+00:00
Pretty sure I answered your question. As long as scarcity effects outpace price declines investors are incentivized to retain vacancies, and it’s not just vacancies but pricing control over rent. The real housing market isn’t effectively modeled by your simplistic abstraction. If you look at a YIMBY darling like Austin, for example, investor owned housing has actually grown, as well as homelessness, despite a modest decline in median price.
by tamimio | 2025-08-06 23:29:29+00:00
Not entirely, the major factor is banks' credit creation. When any person can go and take a loan that was created from nothing (literal digits created by your bank), and sometimes based on another "speculated value" of a house you own, you will flood the market with an exponential rise of demand that will ALWAYS be higher than the supply. To solve the housing issue you have to follow the root cause, and always follow the money: first, halt credit creation, disincentivize it (ban interest), no speculation values. Second, make housing a depreciated asset, like cars, etc. Without these two, housing markets will never be solved. The thing is, the government knows that, but it's in its interest to keep the prices up, because that will mean more paid taxes! Which is why they fought WFH and created this hybrid model, to keep people around urban areas and keep prices up. I think Canada even admitted it later -I remember I read it somewhere. It's a multi-dimensional issue and the only losing party here is the average middle class person.
by pxc | 2025-08-06 23:29:54+00:00
> I'm curious what emacs users are doing these days.

Integrating with a new language ecosystem is a significant amount of work for me because it involves making choices about what packages to configure and how, and which external dependencies to go with (e.g., which LSP server to use). I try to make those choices carefully, and for a lot of projects I touch in only a dabbler in those languages. It takes time to figure out.

But for actually managing external dependencies (LSP servers, linters, static analyzers, etc.), I use Nix (in particular devenv.sh) and direnv so that Emacs doesn't have to download them; it just finds them on the path. I also sometimes configure those tools via Devenv as well, creating an in-repo RC file for them and pointing to it with an appropriate environment variable. Then my configuration lives in source control and the rest of my team can use the same tools regardless of editor choice.
by tptacek | 2025-08-06 23:29:54+00:00
Your rebuttal here is a market in which prices declined.

You're clearly trying to route around the question and answer some broader question I didn't ask about how the overall housing market works. I'm not interested. I asked: how can investors make money on this? Your answer is: they don't; they lose money, but I guess do it anyways in order to twirl their mustaches.
by tomhow | 2025-08-06 23:30:00+00:00
You’re disappointed to discover after 15 years that we expect people to try to be kind and to avoid fulmination? I’m not sure what kind of forum you want this to be, but the guidelines have been pretty consistent about those things for much or all of that time, as has the approach to moderation. Yes people breach the guidelines all the time. That doesn’t stop us reminding people of them and continuing to aim for better. You’re always welcome here if you respect the community and want to make the effort to respect the guidelines.
by elevaet | 2025-08-06 23:30:01+00:00
Mixxx is a great piece of software, even better that it's OSS and runs linux. Exciting to see a new major release.

I've been using it lately (2.x) just mixing internally and with cue points set up in my tracks, and using the laptop keyboard for shortcuts. Works really well. For the occasional xfade etc I do have an external MIDI controller mapped to the xfade, levels, and eq but could get away without it for my style of mixing.

Been DJing off and on for 25y and producing electronic music for 30y.
by FinnKuhn | 2025-08-06 23:30:30+00:00
> What has anything I said to do with the European parliament?

This whole thread is about EU politics.

> Greens are even further right than cdu/csu who have the same policies in 99% of cases as libs

Trying to paint the greens as further right than CDU/CSU is just plain wrong by any measure. The greens are a green/social liberal party while the CDU/CSU are conservative center-right party. None of their politicians would ever argue that they are more left than the greens which is pretty obvious when looking at a quote from Friedrich Merz (German chancellor and party leader of the CDU/CSU) where he quite literally says that the greens are more left. [1]

[1] https://www.tagesschau.de/inland/innenpolitik/merz-gruene-10... English: "In the coming weeks and months, we will once again significantly intensify the debate with the Greens and, above all, counter the impression that we are always looking to the left and saying that we absolutely must form a coalition with them at some point."
by hypeatei | 2025-08-06 23:30:31+00:00
I'm not sure if you've ever voted, but States without ID requirements (about 15 of them total) don't just let you walk in and cast a ballot anonymously. If you were trying to commit fraud, you'd need to know a combination of things about the person you're pretending to be and sign the poll book or an affidavit[0]. Now try scaling that process up enough to change the outcome... you can't.

Your assumptions about lack of ID = easy fraud is misguided.

> Every other country can do it, why not the US?

Elections are handled by the States themselves and so trying to tackle this on a federal level through the executive or Congress probably wouldn't go over very well considering it'd go against the constitution[1] (although that doesn't seem to be that big of a problem these days)

0: https://www.ncsl.org/elections-and-campaigns/voter-verificat...

1: https://constitution.congress.gov/browse/essay/artI-S4-C1-2/...
by ComplexSystems | 2025-08-06 23:30:35+00:00
It makes too many mistakes and is just way too sloppy with math. It shouldn't be this hard to do pair-theorem-proving with it. It cannot tell the difference between a conjecture that sounds kind of vaguely plausible and something that is actually true, and literally the entire point of math is to successfully differentiate between those two situations. It needs to be able to carefully keep track of which claims it's making are currently proven, either in the current conversation or in the literature, vs which are just conjectural and just sound nice. This doesn't seem inherently harder than any other task you folks have all solved, so I would just hire a bunch of math grad students and just go train this thing. It would be much better.
by kube-system | 2025-08-06 23:31:25+00:00
The cameras that people have on their homes are not necessarily places that they are at on a regular basis. Some homes are vacant, some are secondary homes, some are vacation homes, some are rentals, etc.

I've had a couple failures over the past ~decade and it has never been "mysterious". If you don't panic and use context clues, there is always plenty of information. Pretty much any foreseeable urgent problem resulting in a failure would have produced some footage that indicates the issue. And non-urgent problems that result in failure are easy to detect. (e.g. if your UPS sends you an on-battery alert, and 5 minutes later your cameras fail, you just had a power outage)

The only time that cameras go black without warning and it is warranted to panic is when you're the comic relief character in a bad horror movie.
by andrewmcwatters | 2025-08-06 23:32:00+00:00
Hi HN, thanks for sending this to the front page.

I'm finding myself needing some resources from other projects in a way that ecosystem-specific dependency management isn't going to help, or I'd be pulling in too many files.

Submodules aren't the answer, and some other existing git user-defined commands don't seem to do what I need either.

I want a file from another repository, and the ability to pin it, and track it in the future, or just always be up-to-date by using the default HEAD commit value set in `.git-remote-files`.

git fetch-file add https://github.com/octocat/Hello-World README git fetch-file pull

Let's me track the README file from the octocat/Hello-World repository, and pull down the file. A record of it is then saved in `.git-remote-files`.

Let me know if you have any questions!
by wincy | 2025-08-06 23:33:53+00:00
I'm sorry if this seems flame bait, but then again the article is intentionally extremely inflammatory, but it just feels like a substantial portion of Hacker News posts these days is just the Upton Sinclair quote of “It is difficult to get a man to understand something, when his salary depends on his not understanding it.” It's just so tiring.

This stuff works so great and is miraculous, and it's the worst it will ever be. You can be a contrarian if you want, and I guess over the next few years we'll see who still has jobs and who doesn't. I personally know of one person who was let go because they dug in and absolutely refused to integrate AI into any of their workflows.
by pnt12 | 2025-08-06 23:34:00+00:00
To me, it's the opposite. In Python, every time I see 'requirements.txt' without lock files, I cry a bit.

A: You're handling problem X and then unrelated problem Y suddenly arises because you're not locking package versions thoroughly. It's not fun.

B: Now the opposite. You lock all versions of the libs you use. You use renovate or schedule time for updates periodically. You have a thorough test suite that you can automatically exercise when trying the new updates. You can apply the updates and deoy the new version to a test environment to run a final test manually. Things look good. You deploy to production and, quite often, things go smoothly.

A is the blue pill, easy to taste but things are out of your control and will bite you eventually. B is the red pill: you're in control, for the better or worst.
by joefourier | 2025-08-06 23:34:06+00:00
This type of anti-AI article is as vacuous and insipid as the superficial hype pieces peddled by pro-AI influencers.

Saying generative AI is inherently shit, that there is 0 future in it, that it’s not good at anything, that it hasn’t improved since GPT3, calling it all a con? Just launching insults at anyone working in tech?

This is the same kind of person that would have poo-pooed the internet in the 90s, saying 64kbps mp3s sound like crap and to just stick to CDs, downloading a 144p video takes ages, and who would even trust a website enough to put their credit card number on it? All of those dotcoms are worthless and are going to be bankrupt in a year, and we’ll go back to mail order catalogs and fax machines in no time.

Or worse, because they’re saying outright falsehoods that anyone who’s used Claude to generate a single python script can easily debunk. I get that the hype over AI is annoying, that people are trying to shoehorn the tech into places where it’s not ready for yet, that it doesn’t do everything the marketing says it can, but just reversing the claims and saying it can’t do anything is profoundly stupid. Especially when it’s accompanied by so much vitriolic hatred that makes the writer blind to reality.
by baby_souffle | 2025-08-06 23:34:22+00:00
So this UUID is just as anon as crypto is.

Technically, yes. Crypto is anon. Right up until there's a leak or a slip up that links your wallet address to your identity. Then just go through the entire history of the ledger to see every transaction that's ever happened with your wallet.

Or will ever happen, for that matter.

No thank you.
by waterTanuki | 2025-08-06 23:35:12+00:00
anything involving the medical industry (HIPAA laws), national security (FedRAMP is such a pita to get that some military contractors are bypassing it to get quicker access to cloud tools) etc.

Besides that, we are moving towards an era where we won't need to pay providers a subscription every month to use these models. I can't say for certain whether or not the GPUs that run them will get cheaper, but the option to run your own model is game changing for more than you can possibly imagine.
by codebje | 2025-08-06 23:35:32+00:00
If you "simply" added more bits to IPv4, you'd have a transition every bit (ahaha, ahem, sorry) as complex as the transition to IPv6 anyway, because IPv4+ would be a new protocol in exactly the same way as IPv6. A new DNS response record. Updates to routing protocols. New hardware. New software.

And no interoperability between the two without stateful network address translation.
by cosmic_cheese | 2025-08-06 23:35:58+00:00
There are no Blink forks with appreciably large differences yet, though. In the aftermath of Google turning “evil” and working against the better interests of the web in multiple ways, you’re looking at a fork with divergences as large or larger than those that prompted Google to fork Blink from WebKit, making integration of patches from mainline Blink a full time non-trivial job.

Personally I’d rather see Mozilla working on Gecko or maybe consider switching to Servo or something instead.
by takigon | 2025-08-06 23:36:13+00:00
Thank you very much for your thought-provoking comments.

I actually sympathize with you very much.

As you say, there is a non-zero chance that this app will contribute to a lack of concentration, but I cannot dismiss the possibility that the opposite will happen.

In my case, I have often found myself wanting the crutch of LLM due to lack of prerequisite knowledge when reading technical or philosophical books.

Also, I am an Asian whose English is not that good, and there are times when I have to read a book in its original language because there is no translation in my native language.

This application was created on an experimental basis to remove these panes, and the chat function with LLM is only one function. It should be used at the appropriate time depending on the user's use case.
by bigbadfeline | 2025-08-06 23:36:34+00:00
> The three body problem means that we cannot predict the future of orbits of planets.

Only an economist could write something so far from the truth.

Astronomers do predict how everything moves, with great precision. The 3-body problem is unsolvable IN GENERAL aka "it has no general closed-form solution, meaning there is no equation that always solves it"

However, all specific REAL cases are solvable, each with their own equations, not by substituting in one general equation. I could say a lot more about it but I know economists only pretend to understand math and I'd be wasting my time.

Besides, the contemporary economists specialize in gaslighting shamanism, an example of which is bringing up the 3-body problem into a discussion of the absolute impotence of academia economics compared to "we can do everything" technology fields.
by anitil | 2025-08-06 23:37:01+00:00
Ok I'm not an expert here, but it seems they do [0] and in the pr [1] the comment says it's now 13 bytes (I _believe_ previously it was incorrectly stating 17 which it should have been 14)

[0] https://github.com/jart/cosmopolitan/blob/master/libc/nexgen...

[1] https://github.com/jart/cosmopolitan/commit/e96aceae41121630...
by AtlasBarfed | 2025-08-06 23:37:15+00:00
Where is the propulsion system design?

Are all of these handwaving propulsion? They seem to all be habitat designs.

Ok I'll take my shot at propulsion:

Pulse nuclear BUT:

For acceleration, we have a launch gun that fires more fuel at the ship, and the ship catches the fuel, imparting momentum from the catch, and more fuel for acceleration.

For deceleration, we have pellets that it catches up to and uses the catching to slow down with, AND gains fuel to decelerate.

If the catch can be done like an ion drive in efficiency, then you get ion drive efficiencies while gaining fuel for the pulse nuclear accelerations/decelerations.

The real problem would be timing the deceleration "catches", and a HELL of a railgun.

We aren't really doing this in current physics without a massive and functional orbital/planetary economy that gives cheap nuclear fuel and materials. We'll probably need solar wind antimatter harvesters as well, if those are actually a thing.
by shortrounddev2 | 2025-08-06 23:37:25+00:00
Yeah I'm at that point now, too. I had a coworker lament to me the other day that his friends at [Big N tech company] make more money than him. Maybe he gets paid a lot less than me, but I don't really think there's much more money I'd take to go work for a Big N. Like if they offered me 20,000,000 a year, I'd be stupid not to work there for at least like 6 months, but obviously that's never gonna happen
by taeric | 2025-08-06 23:37:34+00:00
Hmm... I thought I just took the basic google, but that seems to give a different result now. Maybe I just fat fingered copying into here, not sure.

I know that my main assertion there was it was a relatively lower number. Adding it to the 19 of this story would still leave owner occupied higher than 50ish. Such that I clearly need help to put a lot of this together.
by healsdata | 2025-08-06 23:37:35+00:00
My comment had nothing to do with being a senior citizen.

If you're putting the maximum in your HSA each year, you're participating in a high-deductible healthcare plan.

> If you got your HSA-qualified HDHP through your employer, your average [premium] looked like $90 per month if you were single and $432 for your family.

> Median annual deductible for private industry workers participating in HDHP plans was $2,750.

> Average out-of-pocket maximum was $4,422 for single coverage.
by johnnyanmac | 2025-08-06 23:38:36+00:00
>MIT means you give up effective ownership and control. You lose control and contributions. And what do you get for that loss of control? Exposure. Or, in this and many other cases similar, you get diddly shit.

Isn't that what true freedom is?

You can argue that more freedom is a net burden for both the individual and society (tragedy of the commons), but that doesn't negate the aspect of it being more free to begin with.

>And not many of us are independently wealthy, and can do things that we want with no monetary care.

Indeed. But not many people contribute to any kind of OS community to begin with (regardless of the license). I would like to one day, but then the industry laid me and hundreds of thousands off in the last few years and those plans were delayed.

There definitely is a certain level of privilege in being able to provide knowledge to others on the side. Even morose if you're part of an organization that pays you to do so.
by foxglacier | 2025-08-06 23:39:11+00:00
If you're deciding between using 8 bits or 16 bits, you might pick 16 because 8 is too small. But making the same decision between 9 and 18 bits could lead to picking 9 because it's good enough at the time. So no I don't think there would be half as many cases. They'd be different cases.
by nyarlathotep_ | 2025-08-06 23:39:32+00:00
> I'm having bad flashbacks to 2008.

I was college age at the time, but yeah, this is how I recall it feeling.

There's seemingly a universal malaise around that comes up even in casual conversations.

Seemingly everyone is looking for a job with no success, every third story is about some sort of layoffs, and now even the press is starting to discuss the housing bubble.

I've been waiting for the proverbial other shoe to drop for some time now. Clearly, something's gotta give and the cracks are getting too large to ignore now.
by 77ko | 2025-08-06 23:39:35+00:00
The config is really well setup - i am using Omarchy on a second pc (main one being a mac). Some thoughts:

DHH has good taste - leaving besides application choices (some of which I changed, e.g <insert_browser> instead of Chromium, no 1password), the configuration defaults all make sense (coming from a mac) - especially the key bindings.

Arch Linux by itself is a bit scary and requires config to make it "nice" so basically Omarchy takes away all the choices and config learning / pain - this tweet is a good summary:

> I've poured in endless hours configuring Hyprland + Arch, GTK/QT theming/scaling, auxiliary apps, and more to give you a superb base that can either be taken as-is or used to keep tweaking.[1]

Tiling window managers are great - I have young kids using computers for their hw and they prefered this over mac - windows. Which suprised me as personally it is a much bigger change for me after decades of regular windows/mac window management.

Linux / Hyperland Pros:

- I had a old pc from 2014 - which I put a minimal fresh new install of windows 10 - and it has been dog slow enough that it was waiting to be replaced. After installing Omarchy (Arch + Hyperland) it's perfectly fast and usable.

Cons: 1. Its designed to be a single user setup - the idea being u use HD encryption and login straight to the one true user. So for a shared pc its not ideal - the way its currently configured I think you need to run the omarchy bash install script for each user and also update individually for each one - not ideal for a pc shared with kids.

Really interested to see where Omarchy ends up. Its also given my usability ideas for my mac.

[1]: https://x.com/dhh/status/1932130355663761794