MurphyA/hacker-news huggingface dataset:
by dayjah | 2025-11-30 19:03:39+00:00
I’m about 18mos into managing my macOS hardware with Nix. And I’m conflicted. It’s clearly a powerful system, and I’m still very noob at it. It’s not clear to me that it’s the right solution for macOS. I’ve not felt comfortable enough with it to roll it to Linux hosts yet. Or use its docker image maker.

Consistently through the 25.05 period nix-darwin and nixpkgs would fall out of sync. I learned not to `nix flake update` too often as a result. It’s amazing that rolling back is as easy as it is, and that’s huge, but if you squint and reason that mise and nix solve the same issue, why not use the less opinionated, easier to reason about mise?

As time has gone on, more and more of my system is managed via nix-homebrew … effectively producing a Brewfile for the vast majority of my package needs. Why not just use Brewfile directly?

I really want to advocate for nix, but it feels like I lose the “why not x?” conversations with myself, I can’t fathom winning them against a less invested peer.
by cruffle_duffle | 2025-11-30 19:03:51+00:00
Go hunt down the lineage of the “AI water use” articles floating around.

It’s all circular.

I don’t know how one is supposed to trust any of the media at this point. Especially “reputable” ones that are just as guilty of circular nonsense as anything else.

If you don’t follow the media, you are uninformed. If you follow it, you are misinformed.
by zzo38computer | 2025-11-30 19:03:51+00:00
There are ways around some of the issues there, such as using the GitHub API (I almost exclusively use the API), and/or using a user script (see below). Furthermore, on GitHub and on some other version control hosting services (such as GitLab), you can change "blob" to "raw" in the URL to access the raw files. However, as they say, it can be mirrored on multiple services (including self-hosting), and this would be a good idea, whether or not you use GitHub, so if you do not like GitHub then you do not have to use it.

Note that for some of the web pages on GitHub, the data is included as JSON data within the HTML file, although this schema is undocumented and sometimes changes. User scripts (which you might have to maintain due to these changes) can be used to display the data without any additional downloads from the server, and they can be much shorter and faster than GitHub's proprietary scripts.

Using a GPG key to sign the web page and releases is helpful (for the reasons they explain there), although there are some other things that might additionally help (if the conspiracy was not making it difficult to do these things with X.509 certificates in many ways).
by tryauuum | 2025-11-30 19:04:06+00:00
I've spent this weekend mostly in bed, and on a PC watching memes

When I am at work and I see a customer or a colleague who needs some help I instantly conjure some motivation and can write some code... But when I'm alone at home I cannot accomplish anything on a computer, only can do the chores.

How do people even do anything on their own? I only became good at linux because I at some point in life became obsessed with it, I can't study anything on my own, couldn't get a driver's license, couldn't finish a university
by tbrownaw | 2025-11-30 19:04:47+00:00
> If you prevent licensing software to large corporations, small corporations won't use it, either, because small corporations may get acquired by large ones. Such a license would be a "poison pill".

Acquisitions already come with a giant laundry list of IT work to bring things into compliance with internal policies and maybe contractual requirements and such.

Would one more thing that has to be done sooner rather than later really make that much difference?
by varenc | 2025-11-30 19:04:51+00:00
Webm is better in many ways, but it doesn't give you gif-like behavior I think. As in, you can't just include it in an <img> tag and a get an autoplaying looping video. Though you can simulate it with <video>.

Basically, .avif is an "animated image" format, like .gif, but .webm is only a video format.

edit: just realized .webp i think can be an animated image! So that seems like the alternative
by Marsymars | 2025-11-30 19:05:07+00:00
> Is it money losing per vehicle, or because of the amortized R&D included in the cost?

Certainly the latter, but I don't think it was ever going to be money-making, even in the Ford's best-case sales/production scenario it was really a gen1 platform (along with the Mach-E) to get their foot in the door with EV production, supply chains, sales, etc.

Then they got hit with various external events (low gas prices, higher electricity prices, EV credit cancellations, higher tariffs, etc.) that made their numbers even worse.

FWIW I'm also a fan of the Lightning - it's obviously not a drop-in replacement for 100% of things an F150 can do, and the pricing is tough, but just on its own merits it's a very nice truck. (I was recently car shopping, but had no need/inclination for a full-size truck, so ended up with a hybrid Maverick instead - very impressed with that too so far.)
by mistercheph | 2025-11-30 19:05:17+00:00
(I agree on the DRAM price-fixing hypothesis being wrong.)

We (people writing code) are the ones using it more than anyone else to directly aid in / do our work, we probably more closely understand the limitations of LLM's than people working in other industries that just get fearmongering pseudo-technical babble whispered through streams about the power of the technology while using it as a substitute for Google search (which committed suicide a few years ago).

I also think part of what you're observing is the reddit/hive-mind effect, fear drives the crowd so its consensus will tend to emerge as "Nothing works, nothing will ever work, nothing is even being attempted!"
by ndsipa_pomu | 2025-11-30 19:05:27+00:00
Any substantial movie/series collection can be more over a TB and thus not cost efficient to host in the cloud.

I've been running a server with multiple TB of storage for many years and have been using an old PC in a full tower case for the purpose. I keep thinking about replacing the hardware, but it just never seems worth the money spent although it'd reduce the power usage.

I have it sharing data mainly via SSHFS and NFS (a bit of SMB for the wife's windows laptop and phone). I run NextCloud and a few *arr services (for downloading Linux ISOs) in docker.

(Currently 45TB in use on my system)

Edit: as no-one is asking, I base my system on mergerfs which was inspired by this excellent site: https://perfectmediaserver.com/02-tech-stack/mergerfs/
by hakfoo | 2025-11-30 19:05:46+00:00
I always saw it as two different mindsets for data storage.

One vision is "medium-centric". You might want paths to always be consistently relative to a specific floppy disc regardless of what drive it's in, or a specific Seagate Barracuda no matter which SATA socket it was wired to.

Conversely it might make more sense to think about things in a "slot-centric" manner. The left hand floppy is drive A no matter what's in it. The third SATA socket is /dev/sdc regardless of how many drives you connected and in what order.

Either works as long as it's consistent. Every so often my secondary SSD swaps between /dev/nvme0 and /dev/nvme1 and it's annoying.
by cardanome | 2025-11-30 19:05:53+00:00
I think you can make it as challenging or not challenging as you want. Just implement a simple Forth or Lisp in Lua and make a cute little game with Love2d or even just a simple text game.

Maybe I expect too much from people but like at least being able to write a simple tree-walking interpreter is basic computer science education and who hasn't tried to make a game at least once?

The problem is more that some people just like sharpening the saw and some people like cutting down trees. Both are valid. Some people get really into programming languages and tooling but never ship any product or vice versa. But people need to be skilled enough to do both.
by kec | 2025-11-30 19:07:01+00:00
I think you’re burying the lede there: this hypothetical war would be fought in Asia because China is completely incapable of projecting force to the North American continent. Without that ability to credibly threaten America China could not possibly win a war against it.

The conflicts which superpowers have withdrawn from have been against occupied nations which were in no position to ever become a future threat, this would not be true in a conflict with China, as China could conceivably develop the ability to project force and would be certainly motivated to do so during or after a real conflict.
by shepherdjerred | 2025-11-30 19:07:30+00:00
I use mine for a ton:

- Home Assistant

- GitHub backups

- Self-hosting personal projects

- File sync

- golink service

- freshrss RSS reader

- Media server

- Alternative frontends for reddit/youtube

- GitHub Actions runners

- Coder instance

- Game servers (Minecraft, Factorio)

Admittedly, this is more of a project for fun than for the end result. You could achieve all of the above by paying for services or doing something else.

https://github.com/shepherdjerred/homelab/tree/main/src/cdk8...
by matsemann | 2025-11-30 19:08:24+00:00
Being contrived, with puns or other weirdness is kinda on par for this kind of problems. Almost every programming competition I've ever been to have those kind of jokes.

Just a random example: https://open.kattis.com/problems/magicallights

But the Kattis website is great. The program runs on their server without you getting to know the input (you just get right/wrong back), so a bit different. But also then gives you memory and time constraints which you for the more difficult problems must find your way out of.
by jeroenhd | 2025-11-30 19:09:21+00:00
I've used this a few times to put games on exchangeable media. Installers don't like it if you pick an SD card as an install target, but they don't care if C:\Games\Whatever is actually an NTFS mount point that goes unpopulated as soon as I disconnect the memory card. This trick has the downside of confusing installers that try to check free space, though.

For permanently mounted drives, I'd pick symbolic links over mount points because this lets you do file system maintenance and such much easier on a per-drive level. You can still keep everything under C:\ and treat it like a weird / on Unix, but it you need to defragment your backup hard drive you won't need to beat the partition manager into submission to make the defragment button show up for your mounted path.
by ACCount37 | 2025-11-30 19:09:22+00:00
I don't agree entirely, but I do think that "corporation" is a decent proxy of what you can expect from a moderately powerful AI.

It's not going to be "a smart human". It's closer to "an entire office tower worth of competence, capability and attention".

Unlike human corporations, an AI may not be plagued by all the "corporate rot" symptoms - degenerate corporate culture, office politics, CYA, self-interest and lack of fucks given at every level. Currently, those internal issues are what keeps many powerful corporations in check.

This makes existing corporations safer than they would otherwise be. If all of those inefficiencies were streamlined away? Oh boy.
by abe_m | 2025-11-30 19:09:28+00:00
Many "liberal governments" of the West certainly have some authoritarian elements to them. I don't see that as a conflict with advocating for free speech. If the government is running the propaganda, who is supposed to push against that other than dissidents protected by free speech? It certainly won't be the government or "the authorities".

I don't understand what "YOLO anyone should say whatever and never face rhetorical consequences" means. Who should be enforcing these consequences? What even is a "rhetorical consequence"?

As ever, the problem with creating an authority to regulate what is truth, is who is going to be that authority, and how are we going to prevent it from being corrupted by human nature.
by quirino | 2025-11-30 19:09:34+00:00
Watched it this week. Pretty good.

There are a couple parts at the start and the end where a lady points her phone camera at stuff and asks an AI about what it sees. Must have been mind-blowing stuff when this section was recorded (2023), but now it's just the bare minimum people expect of their phones.

Crazy times we're living in.
by matsemann | 2025-11-30 19:12:04+00:00
When I did competitions like these at uni (~10-15 years ago), we all used some thin-clients in the computer lab where the only webpages one could access were those allowed by the competition (mainly the submission portal). And then some admin/organizers would feed us and make sure people didn't cheat. Maybe we need to get back to that setup, heh.
by bastawhiz | 2025-11-30 19:12:55+00:00
If I take a Ford Focus and call it a Mustang, is it? Arguably, no. Mustangs have a distinctive style, feel, feature set, intended audience. It's a matter of what people expect when they buy the thing.

The Mach-E kind of snuck in. I believe they intended to make more electric Mustang-branded cars, but things changed internally and priorities shifted. Lots of women really like Mustangs, and the Mach-E is positioned to appeal to many of the same people: it makes sense to use it as a kind of Trojan horse to ease folks into EVs with a brand they already like. But if you took a Mach-E and hid the name and asked folks "is this a Mustang?" The answer you'd get is "No".
by remexre | 2025-11-30 19:12:59+00:00
how would you encode a program like

function f<T>(x: T) { return x; } function g(x: number) { return { a: f(x), b: f(x.toString()) }; }

in sat?

if that's easy, how about length and f in:

function append<T>(xs: list<T>, ys: list<T>) { return match xs { Nil() -> ys, Cons(hd, tl) -> Cons(hd, append(tl, ys)), }; } function flatten<T>(xs: list<list<T>>) { return match xs { Nil() -> Nil(), Cons(hd, tl) -> append(hd, flatten(xs)), }; } function map<T, U>(f: (T) => U, xs: list<T>) { return match xs { Nil() -> Nil(), Cons(hd, tl) -> Cons(f(hd), tl), }; } function sum(xs: list<number>) { return match xs { Nil() -> 0, Cons(hd, tl) -> hd + length(tl), }; } function length<T>(xs: list<T>) { return sum(map((_) -> 1, xs)); } function f<T>(xs: list<list<T>>) { return length(flatten(xs)) === sum(map(length, xs)); }

hm-style inference handles polymorphism and type application without a complicated sat encoding
by ReflectedImage | 2025-11-30 19:13:06+00:00
This is a conservative problem.

Conservatives are split into 2 groups. Conservatives who are in it for the money and conservatives who are in it because they don't know any better.

College professor is not a well paying job for the level of skill required nor is it a job that someone who isn't very knowledgeable could do. That excludes most conservatives from the position.
by jeroenhd | 2025-11-30 19:13:07+00:00
With the right code pages, you should be able to find a few smiley faces.

For everything else, the best advice I can offer is that you can put your own autorun config file on the root of a drive to point the drive icon to a different resource. Though the path will stay boring, the GUI will show emoji everywhere, especially if you also enter emoji in the drive label.
by pjmlp | 2025-11-30 19:13:35+00:00
C# supports dynamic loading in AOT compilation.

Native AOT, and the oldie NGEN only do dynamic linking.

https://learn.microsoft.com/en-us/dotnet/core/deploying/nati...

.NET Native can do both,

Applications are statically compiled, libraries are compiled into WinRT components, COM's evolution, introduced in Windows 8.

https://learn.microsoft.com/en-us/windows/uwp/dotnet-native/...

Just watched the 2024 talk by the way, quite interesting.
by mercutio2 | 2025-11-30 19:13:53+00:00
There’s a weird thing in discussions about space. Lots of people just don’t like space, it makes them think they’re being blasted with science fiction.

So much criticism of space seems to fall into a few categories:

1. They think there were ever any serious engineers who thought STS was a good idea, (rather than congressional-pork, which is what it always was), and thus assume actual space technologists are basically always wrong about the possibility of ever creating anything new and reliable 2. They think cost/kg to LEO is somehow a physical law, and can never be improved on 3. If they accept that SpaceX might actually have better technology that allows new things, they still refuse to wrap their heads around 2-3 orders of magnitude cost reductions due to improved technology, they update, but mentally on the order of “it will be 50% cheaper, no big deal” 4. They just hate Elon Musk. On this one, I’m at least sympathetic

Space based data centers are probably not going to happen in the next decade, but most criticism (including this article) just reads as head-in-the-sand criticism, not serious analysis. I’m still waiting for more serious cost-benefit analysis assuming realistic Starship mass budgets.

If I worked for SpaceX, I imagine I’d focus more on just getting more Starlink mass in orbit for at least 3-4 years, but after that, we might have spare capacity we might want to spend on orbital power loads like this.
by an0malous | 2025-11-30 19:14:18+00:00
I didn’t say they need to be outlier wealthy, I’m disagreeing with the assertion that it just takes focus and grit to be successful. I agree with the initial comment that it has more to do with how many chances you get to take, and being able to take chances throughout your 20’s is a relatively rare and privileged opportunity. Most people need to find gainful employment immediately after college, they can’t take 5-10 years making no money on long shot bets.

Where are you getting the figure that there are 10’s of millions of college grads in their 20’s with no debt? There are only 2 million undergraduate grads in the US every year. I think you’re probably off by a couple orders of magnitude.
by rutagandasalim | 2025-11-30 19:14:47+00:00
Hey HN,

I built aithings.dev , a curated directory of AI tools, because I was tired of wasting hours digging for quality apps.

In 2 weeks, we hit 10k monthly visitors, purely from organic traffic, no ads. The breakdown:

60% came from Twitter shares

30% from Reddit/HN mentions

10% from SEO

It’s simple: each tool has a mini-review, tags for categories, and a “use case” section so you instantly know if it fits your workflow.

I’m sharing how I built it, grew traffic, and set up the site for potential sponsorships, because I think small AI directories like this are underrated but insanely valuable.
by bofadeez | 2025-11-30 19:15:19+00:00
That's pretty interesting if true. It must be because you're the only one still doing it. Using techniques just for your idiosyncratic inbox doesn't make sense to a spammer. But if every inbox was only doing this, then your experience would be much different. Nothing but unstoppable spam. Exposure = money. Why would they not spam you? They don't like money?
by jeroenhd | 2025-11-30 19:16:00+00:00
They're still actively used to apply the Mark of the Web to indicate a file has been downloaded from an untrusted zone and should be handled with caution. I believe macOS also applies similar metadata.

There are a few other places where they also show up, but the MotW is the most prevalent one I've found. Most antivirus programs will warn you for unusual alternate data streams regardless of what they contain.
by idiotsecant | 2025-11-30 19:16:35+00:00
What in the world are you talking about? What stablecoins are you talking about operating at 7tx/s? Why do stablecoins fail when there's a 'run on the bank'? You're mixing so many metaphors here that I'm not sure you know what you're talking about at all. This is a stablecoin: https://en.wikipedia.org/wiki/Dai_(cryptocurrency). If it isn't permissionless it's not a 'stablecoin' it's an IOU.
by mananaysiempre | 2025-11-30 19:16:58+00:00
Hmm. IME VB6 is actually a particular pain point, because MDAC (a hodgepodge of Microsoft database-access thingies) does not install even on Windows 10, and a line-of-business VB6 app is very likely to need that. And of course you can’t run apps from the 1980s on Windows 11 natively, because it can no longer run 16-bit apps, whether DOS or Windows ones. (All 32-bit Windows apps are definitionally not from the 1980s, seeing as the Tom Miller’s sailboat trip that gave us Win32 only happened in 1990. And it’s not the absence of V86 mode that’s the problem—Windows NT for Alpha could run DOS apps, using a fatter NTVDM with an included emulator. It’s purely Microsoft’s lack of desire to continue supporting that use case.)
by tguvot | 2025-11-30 19:16:59+00:00
back in 2018, during fires, when air filters were unobtanium, on bayarea subreddits (and probably here) were floating a lot of posts of DIY filter made from box fan + hvac filters. plenty of people also posted particulate count reduction charts.

you don't need a lab to figure out that replacing 1" filter with 4" filter and even better arranging multiple filters in a box will improve flow rates and filtration (especially for box fans that not really designed for static pressure)

corsi&rosental work, imho, is equivalent to lab work reporting that you can move more water through 10" pipe than through 1" pipe.
by exsomet | 2025-11-30 19:17:16+00:00
The neat thing about all this is that you don’t get a choice!

Your favorite services are adding “AI” features (and raising prices to boot), your data is being collected and analyzed (probably incorrectly) by AI tools, you are interacting with AI-generated responses on social media, viewing AI-generated images and videos, and reading articles generated by AI. Business leaders are making decisions about your job and your value using AI, and political leaders are making policy and military decisions based on AI output.

It’s happening, with you or to you.
by WarOnPrivacy | 2025-11-30 19:17:48+00:00
> and those don't seem that compelling to me compared to cloud

I tend to be cloud-antagonistic bc I value control more than ease.

Some of that is practical due to living on the Gulf coast where local infra can disappear for a week+ at a time.

Past that, I find that cloud environments have earned some mistrust because internal integrity is at risk from external pressures (shareholders, governments, other bad actors). Safeguarding from that means local storage.

To be fair to my perspective, much of my day job is restoring functionality, lost due to the endless stream of anti-user decisions by corps (and sometimes govs).