MurphyA/hacker-news huggingface dataset:
by andrepd | 2025-12-16 11:55:40+00:00
> I want variable X to be loaded into a registerer in thos function and only written to memory at the end of the function.

> That is complex in C/C++ but you can look at decompilation and attempt to coerce the compiler into that.

> In rust everything is so abstracted I wouldn't know where to begin looking

I don't know if I fully understand what you want to do, but (1) controlling register allocation is the realm of inline asm, be it in C, C++, or Rust. And (2) if "nudging" the compiler is what you want, then it's literally the same thing in Rust as in C++, it's a matter of inspecting the asm yourself or plonking your function onto godbolt.
by pimterry | 2025-12-16 11:55:53+00:00
In terms of waiting times to see a doctor or specialist (the only cases where stats for the US seem to be available), the US looks a touch better than average in waiting times for healthcare within comparable countries: https://www.oecd.org/en/publications/health-at-a-glance-2025....

Ahead of Canada, sure (they come worst here in both scenarios) but behind countries like the UK, Germany & the Netherlands that do have universal health care.
by rnhmjoj | 2025-12-16 11:56:04+00:00
Sandboxing on the Linux desktop is far from common and the flatpak security is kind of a joke [1] [2], unless something changed recently. For starters, it's the application that has to ask to be sandboxed, so if I were to make a malicious flatpak I will just ask for full file system access or d-bus.

[1]: https://flatkill.org/ [2]: https://hanako.codeberg.page/
by ben_w | 2025-12-16 11:56:16+00:00
Mm.

So, I've not seen one in the wild (I'm in Europe they're not road legal here), so the only things I see are either distance shots or close-ups; the distance shots are mostly beauty shots, the close-ups are mostly showing one of the many production problems the design has.

From a distance, the design looks cool to me… as a child of the 80s who grew up with low-poly graphics.

But "looks cool" doesn't mean "I approve"; given the sharp edges, the traditional American car design with worse visibility for children crossing too close in front of you than an Abrams tank, even just given the physical size, I'm glad the EU already had rules preventing it from being road legal here.

And that's even if they fix all the issues that led to the unglamorous close-ups.
by yoan9224 | 2025-12-16 11:56:35+00:00
The self-hosted is interesting but the real challenge is the long-term commitment. What happens when: - The hardware fails - The company pivots or shuts down - You need to restore from backup

I'd love to see more focus on data portability and guaranteed migration paths. If the OS is truly open, that helps, but the "appliance" model makes people nervous about vendor lock-in even when self-hosting.
by pfdietz | 2025-12-16 11:58:06+00:00
"The third dredge-up brings helium, carbon, and the s-process products to the surface," (emphasis added)

In the early universe, stars had so little in the way of "seeds" for the s-process to act on that the few seeds that were there absorbed large numbers of neutrons, eventually producing weird stars highly enriched in lead (the end point of the s-process). These stars have been detected from lead (and bismuth) in their spectra.

https://en.wikipedia.org/wiki/Lead_star
by josephg | 2025-12-16 11:59:26+00:00
I wish there was another button on those contact permission boxes which would tell the app you've granted permissions. But when they try to read your contacts, send them randomly generated junk. Fake phone numbers. Fake names.

Or even better, mix in some real names and phone numbers but change all the other details. I want data brokers to think I live in 8 different countries. I want my email address to show up for 50 different identities. Good luck sorting that out.
by _heimdall | 2025-12-16 11:59:56+00:00
That doesn't say how you would fund it, only what form of insurance is in place.

If the US were to shift to that model today, a country already heavily in debt would have to either take on more debt PR increase revenues in a manner that they wouldn't have been willing to in order to fund our already growing debts.

The debate over whether public or private healthcare is better is all well and good, but first we should be debating how the US would pay for it in the first place.
by telephone3 | 2025-12-16 12:00:14+00:00
"I have been self-hosting my email since I got my first broadband connection at home in 1999. I absolutely loved having a personal web+email server at home, paid extra for a static IP and a real router so people could connect from the outside. I felt like a first-class citizen of the Internet and I learned so much.

Over time I realized that residential IP blocks were banned on most servers. I moved my email server to a VPS. No luck. I quickly understood that self-hosting email was a lost cause. Nevertheless, I have been fighting back out of pure spite, obstinacy, and activism. In other words, because it was the right thing to do.

But my emails are just not delivered anymore. I might as well not have an email server.

(After self-hosting my email for twenty-three years I have thrown in the towel, Carlos Fenollosa, 2022)"

From the article, quoting this other article

https://cfenollosa.com/blog/after-self-hosting-my-email-for-...
by publicdebates | 2025-12-16 12:00:26+00:00
It was inspired by that post, but not in response to it. Over the 3 or 4 months that I took writing lowkPRO, one of the features I'm most proud of is this, the ability for it to create C callbacks on the fly that just call Lua callbacks and return the value to C. And I would argue that it's not hacky but just well-engineered. After all, everything compiles to assembly at the end of the day, right?
by gus_massa | 2025-12-16 12:00:42+00:00
With very difficult human generated proof, it's common that it take like 10 or 20 to make it understandable for mortals. The idea is to split the proof, create new notation, add intermedite steps that are nice, find a simpler path. It's like refactoring.

Sometimes the original proof is compleyely replaced, bit by bit, until there is an easy to understand version.
by londons_explore | 2025-12-16 12:00:54+00:00
The problem is most codebase are huge - millions of lines when you include all the libraries etc.

Often they're compiled with typescript etc making manual review almost impossible.

And if you demand the developer send in the raw uncompiled stuff you have the difficulty of Google/Mozilla having to figure out how to compile an arbitrary project which could use custom compilers or compilation steps.

Remember that someone malicious wont hide their malicious code in main.ts... it's gonna be deep inside a chain of libraries (which they might control too, or might have vendored).
by withinboredom | 2025-12-16 12:01:29+00:00
There are multiple lists here in the NL. I called for a surgery and got put on the fast list (she said that if it weren’t urgent, it would be over a year wait). Your doc has a lot of influence on how urgent things are and how far you are willing to travel. I got in to see a therapist in a matter of weeks, because I was willing to travel out of the city; otherwise it will be months. The doc can see the lines and give you recommendations; all you have to do is ask to be seen sooner.
by accurrent | 2025-12-16 12:01:48+00:00
With research like this you need to start somewhere. The fact we can get 3d information helps. There are people looking into making splats capture collision information [1].

I have worked on simulation and in my day job do a lot of simulation. While physics is oftem hard and expensive you only need to write the code once.

Assets? You need to comission 3d artists and then spend hours wrangling file formats. Its extremely tedious. If we could take a photo and extract meshes Im sure we'd have a much easier time.

[1] https://trianglesplatting.github.io/
by foldr | 2025-12-16 12:02:11+00:00
You’ve kindly finished the thought for me. You now have a “safe” version of C purely by updating the standard and associated documentation. (It’s not actually true that you need to redesign all the APIs in the stdlib. You just need to document the appropriate restrictions on how they may safely be used, just as you would have to do with a Rust function marked ‘unsafe’. It’s trivially possible to write an unsafe-marked Rust function that’s guaranteed to be memory safe if and only if an arbitrary invariant is maintained.)

In reality of course, this is all absurd. No matter how much or how little work it turns out to be, writing reams of standardese and leaving actual C implementations untouched would do nothing to reduce the safety risks associated with C code.

By the way, you’re wasting some energy arguing points that I agree with (e.g. that Rust has a better sorting API than C). My comments here are not anti-Rust. I merely disagree with the claim that Rust code marked ‘unsafe’ is as safe as regular Rust code.
by rkomorn | 2025-12-16 12:02:27+00:00
Another example of their wonkiness with Fleet and focus was their whole "Kotlin Multiplaform stuff will be Fleet-first!" which they then (somewhat promptly) reversed to "actually it'll be IntelliJ/Android Studio first" ... and that's not even getting to the macOS-only aspect (also "at first").

Their matrix of features/capabilities across IDEs, platforms, plugins, etc is such a pitfall-happy maze to navigate.
by defrost | 2025-12-16 12:03:56+00:00
Reproductive sex is determined by gametes .. sure.

Not all humans are born with the attribute of reproductive sex via gametes.

Hence "biological sex is real and strongly bimodal with outliers" (in humans, it gets odder elsewhere in animal life on earth) it's just not all reproductive sex, nor is all just strictly M or strictly F despite it mostly being one or the other.

> To bring it back around to the general topic of this thread, it's fine to store someone's sex as a boolean, because sex is binary and immutable.

Not in Australia, via a decision that ascended through all levels of the national court system, nor is sex, as you've chosen to define it ("entirely defined by gametes") binary.

Biology is truly messy. It's understandable not everbody truly grasps this.

Colin Wright is pretty much a prop up cardboard "scientist" for the Manhattan Institute (a political conservative think tank).

I tend to run with people with actual field credentials doing real biology and medicine; Michael Alpers, Fiona Stanley, Fiona Wood, et al were my influences.

If Colin Wright scratches your itch for bad biology then by all means run with the one hit wonder who reinforces a preconception untroubled by empiricism.
by Yizahi | 2025-12-16 12:04:33+00:00
Author also forgot batteries for the solar shade transition period and then additional solar panels to charge these batteries during the solar "day" period. then insulation for batteries. Then power converters and pumps for radiators and additional radiators to cool the cooling infrastructure.

Overall not a great model. But on the other hand, even an amateur can use this model and imagine that additional parts and costs are missing, so if it's showing a bad outlook even in the favorable/cheating conditions for space DCs, then they are even dumber idea if all costs would be factored in fully. Unfortunately many serious journalists can't even do that mental assumption. :(
by pedrozieg | 2025-12-16 12:04:57+00:00
We’ve had variations of “JSON describes the screen, clients render it” for years; the hard parts weren’t the wire format, they were versioning components, debugging state when something breaks on a specific client, and not painting yourself into a corner with a too-clever layout DSL.

The genuinely interesting bit here is the security boundary: agents can only speak in terms of a vetted component catalog, and the client owns execution. If you get that right, you can swap the agent for a rules engine or a human operator and keep the same protocol. My guess is the spec that wins won’t be the one with the coolest demos, but the one boring enough that a product team can live with it for 5-10 years.
by hebejebelus | 2025-12-16 12:04:58+00:00
It's quite hard to know if the DAC is actually decent quality though. I've bought two from Amazon (admittedly at the low price point) and both of them have line noise - one of them even has a ground loop buzz, which surprised me, since it's powered by USB-C. I'm unconvinced that any of the higher price points (that are still within my budget) aren't just these cheapo ones in slightly fancier cases.

My old TV had real analogue out for speakers and it really did sound a lot better than what I've been getting through TOSLink and this cheapo DAC. Same Hi-Fi and speakers. I'm sure the problem could be solved with a more expensive DAC, but which one? How could I know?

I find this is one of those things where it's quite hard for the uninitiated to see through the cloud of 'audiophiles' saying that you must buy gold cables or your audio will sound like garbage, and still getting decent quality audio.
by rayiner | 2025-12-16 12:05:11+00:00
The point I’m trying to get at is that you seem to be trying to smuggle “liberty and justice” in under the cover of CO2 scrubbers. But the same “politics and institutions” that created our technologically advanced, prosperous society, also did those other things. Even if they weren’t individually “necessary” to that advancement, it seems like being fairly insensitive to such outcomes has been a feature of the approach that has made the U.S. successful. So why fix what isn’t broken?
by publicdebates | 2025-12-16 12:05:15+00:00
Can you set arbitrary memory allocated by malloc (e.g. HeapAlloc in Windows) to executable, via VirtualProtect or something else? If so, that's news to me. I thought it had to be memory allocated by VirtualAlloc only.

That said, I'm not sure that solution beats out this one. I'm using a linked list on top of an arena allocator in practice, which means allocations happen once every 0x10000 bytes. (A single C closure of mine takes up exactly 16 bytes, which includes the pointer to the next linked list node. I'm very happy with how it's designed.)
by ivape | 2025-12-16 12:07:12+00:00
If you think about it, if you count 2015 campaign, Trump has been campaigning or in office for 10 years, with 3 more to go. That’s thirteen. fucking. years.

No man is that interesting. This person’s “opinion” on the world has just been utterly exhausting.

A decade of a reign like that caused damage.
by paddleon | 2025-12-16 12:07:16+00:00
the redcoats didn't wear colorful coats and form nice big lines because they were stupid. They beat Napolean using similar tactics. And they didn't lose to the US because of these tactics.

Maybe you should reflect on why people who have lead others in combat have decided that there should be rules to war before you declare that rules of war are a bad idea.
by intended | 2025-12-16 12:07:43+00:00
I think being a “Techie” is now something that is splitting.

- People who want to work in tech because it was a stable and/or lucrative career

- People who just want/love to code

- People who loved tech / think tech is cool

There’s also a degree of counter-culture that used to be part of the mix, which got jettisoned as tech became mainstream and mapped out.

The current state of Tech is unpleasant and alarming.
Show HN: Zone – App blocker that tracks how often you try to open blocked apps
by appdevfun | 2025-12-16 12:08:30+00:00
Hey HN! I built Zone, an iOS app blocker with usage attempt tracking. The core idea: most app blockers just block apps, but I wanted to see how often I was actually trying to open them. Turns out I was attempting to open Instagram 40+ times a day without even realizing it. That number was more effective at changing behavior than just blocking alone. Technical bits:

Built using Apple's Family Controls API (which was... interesting to work with) Tracks block attempts without storing any actual usage data Simple scheduling system for focus sessions No subscription model - one-time unlock

The Family Controls API is pretty powerful but has some quirks - you need to use Screen Time authorization, and the blocking is system-level so it's actually reliable (unlike overlays or redirects). Started this as a personal tool after trying several blockers and finding none that surfaced this "attempt count" data. Figured others might find it useful too. Happy to answer questions about implementation or the API if anyone's curious!
by Mc_Big_G | 2025-12-16 12:08:36+00:00
The best example of this for me is playing drums. It's a very physical thing to do and extremely easy to get caught up in the fun of it. You find yourself playing very hard with a lot of tension everywhere. The problem is that it's very difficult to do this for long periods and if you want to play a series of fast notes accurately, it's counterproductive. So, I'm constantly telling myself to play as soft and loose as possible until one day it hopefully becomes automatic.
by netsharc | 2025-12-16 12:08:43+00:00
Photo apps on phones (can you still call them cameras?) already have a lot of "AI" to enhance photos and videos taken. Some of it is technological necessity, since you're capturing something through a tiny hole, a lot of it is sexying it up to appeal to people, because hey, people would prefer a cinema-quality depiction of their memories rather than the reality...
by shrubby | 2025-12-16 12:09:03+00:00
Yup.

In order for the writer not to starve, we must bypass the zillionaires.

Send pennies directly to the artist and work for a just society.

I'd prefer a complete bypass of the enshittified economy. Replaced with a system that doesn't trust that people with absolute power won't turn into narcissist cunts.

We've seen this waterfall of a system in communism, capitalism and more recently technofeodalism so one would think the logical solution would be to replace it with a grassroots up system.
by anal_reactor | 2025-12-16 12:12:14+00:00
I update my PC but I don't update my phone. Android is pretty much a complete product, and new updates just shuffle around the icons.

> Major changes in Android 16

> Battery icons are changed to landscape, with the percentage shown inside the icon

I think it boils down to how much you trust the software vendor to operate in good faith. My PC runs on Fedora and those people don't have any QA, but at least they do their honest best. My gaming handheld is on Bazzite and it's a similar situation. But Google has a proven record of enshittification of Android. I turned off TV software updates long ago because I only use it as a dumb screen so I don't understand what is there to update. My headphones yell at me "there's firmware update available" but I don't want to discover what new problems were introduced, current firmware works correctly. I have a smart robot that's fully cloud-operated and they recently introduced a completely new app. I'll keep using the old app as long as I can because I don't want to be their beta-tester and the old app works. I have smart light system and there's no reason to update anything because the functionality "use remote control to choose the desired light setup" mostly works with small glitches that aren't too annoying.
by theandrewbailey | 2025-12-16 12:13:50+00:00
I encode parts of my FLAC music collection to 96kbit Opus for the mp3 player that I use in my car, or just walking around. Cars and cities are noisy, and the earbuds I use aren't great, so I'm not concerned too much about the quality I'm leaving on the table, but it's good enough and the space savings are awesome.
by robot-wrangler | 2025-12-16 12:15:34+00:00
> The workflow I'm envisioning here is the plan document we're all making nowadays isn't being translated directly into code, but into a TLA+/Alloy/... model as executable docs and only then lowered into the code space while conformance is continuously monitored

I'm sure we've agreed on this before, but I agree again ;) There are dozens of us at least, dozens! There's also a recent uptick in posts with related ideas, for example this hit the front-page briefly ( https://news.ycombinator.com/item?id=46251667 ).

I was tempted to start with alloy/tla for my own experiments along these lines due to their popularity, but since the available training data is so minimal for everything in the space.. I went with something more obscure (MCMAS) just for access to "agents" as primitives in the model-checker.
by AznHisoka | 2025-12-16 12:16:17+00:00
I used to think a lot of those things. What if its not valuable or original?

Then I took a look at all the blogs, Linkedin posts out there and thought “wow the bar is actually really really low for creating useful”

If that lame Linkedin influencer who talks a good talk, but doesnt actually say anything of substance is spouting nonsense everyday, then you have a duty to drown out that noise!
by bmn__ | 2025-12-16 12:16:27+00:00
> Years ago […] No commonly accepted Unicode graphics font, no Unicode art scene

I'd like to figure out how that wrong belief could have formed.

When was "years ago"? Unscii 1 is from 2014. That's more than 15 years after the heyday of Mona Font and its predecessors.

I postulate viznut was just not aware of the huge scene due to his parochialism.
by wolvesechoes | 2025-12-16 12:17:08+00:00
> What tools/libraries you miss from Julia?

My experience with this website is that it would be rather pointless to enumerate, because you will then point to some poorly documented, buggy and supporting fraction of features Julia "alternatives" to Python packages or APIs that are developed and maintained by well-resourced organizations.

The same thing for tooling - unstable, buggy Julia plugin for VSCode is not the same as having products like PyCharm and official Python plugins made by Microsoft for VS and VSCode.

Now, I will admit that Julia also has some niceties that would be hard to find in Python ecosystem (mainly SciML packages), but it is not enough.

> Have you used the language or merely speculating?

I just saw the logo in Google Images.
by sharperguy | 2025-12-16 12:17:36+00:00
It would be easy enough to add this as a "secret" feature:

* user submits password * gets hashed client side * server compares it against stored hashes * server also re-hashes the stored hash, and compares it against the hash received from the client

This would effectively mean that either entering the password, or the password hash would correctly match, since when entering the hash you are effectively "double" hashing the password which gets compared to the double hashed password on the server.

The upside is that users who don't understand hashing or don't feel like opening a sha256 tool wouldn't have to change their behavior or even be confused by a dialog explaining why they should hash the input, while advanced users could find out about the feature via another channel (e.g. hackernews).

The downside would be that it adds an extra hash step to every comparison on the sever. It's hard to know how expensive this would be for them.
by mriet | 2025-12-16 12:17:54+00:00
It's kind of weird that Romania has done so well, given that amount of turmoil in Romanian politics and Romania in general in the last 20 years.

Basically, it went up for Romania because they got access to the EU market (in terms of both exports and remittances) starting in 2007 and that helped, _despite_ everything else that went on. So.. kind of a win for Romania and the EU, I guess.
by philipallstar | 2025-12-16 12:17:56+00:00
> Communist distribution principles can coexist with ill-functioning market systems such as things which have degenerated into actual capitalism, whereas the socialist distribution principle can't.

You won't have to worry about distributing advanced cancer medications when they don't exist in the Communist version, because they weren't discovered. You can't fulfil a need with a drug you never risked a giant amount of funding and effort to discover.