MurphyA/hacker-news huggingface dataset:
by afdbcreid | 2025-10-05 14:02:16+00:00
(Disclaimer: I know next to nothing about Ada).

> Being able to define custom bounds checked ordinals

That Rust doesn't have (builtin, at least).

> being able to index arrays with any enumerable type

In Rust you can impl `std::ops::Index` and index types, including arrays, with whatever you want.

> Defining custom arithmatic operators for types

Again, definitely possible by implementing traits from `std::ops`.

> adding compile and runtime typechecks to types with pre/post conditions, iteration variants

If you refer to the default runtime verification, that's just a syntax sugar for assertions (doable in Rust via a macro). If you refer to compile-time verification via SPARK, Rust's formal verification libraries usually offer this tool as well.

> predicates

Doable via newtypes.

> Discriminant records

That's just generic ADTs if I understand correctly?

> Record representation clauses

Bitfields aren't available but you can create them yourself (and there are ecosystem crates that do), other than that you can perfectly control the layout of a type.
by lazide | 2025-10-05 14:02:36+00:00
The US has steadily gone ‘up market’, and automated heavily in most industries.

Skills like manual machining, and manual welding have gotten much harder to find and a smaller portion of the economy.

As to if that matters?

What Sharpie did in the US is super simple table stakes for manufacturing anywhere, it’s only notable because it can be used in a larger political story.
by jacquesm | 2025-10-05 14:02:47+00:00
This is already happening. In spite of all of the disclaimers that the AI make mistakes the fact that it is given higher billing in for instance google search results (but also lots of other similar places) means people will interpret it as having a higher reputation because that's how we were conditioned to consume search results. This is doing massive damage already, for instance, essay writing, making summaries, reading comprehension and research skills are dwindling because the teachers in high school (and lower as well, but that's where it is most visible) are not able to keep up with the ease with which good looking slop can be produced. Schools will need to radically alter their programs if they want to continue to be able to educate but they don't exactly turn on a dime when it comes to technology and there are - unfortunately - lots of teachers who themselves lack skills and the ability to transfer those skills. If you graduated before AI became mainstream your diploma will be worth more than those that graduated after.
by hajile | 2025-10-05 14:03:03+00:00
RISC is more about the time each instruction takes rather than how many instructions because consistent timing reduces bubbles and complexity. In this sense, RISC has completely won. Complexity of new instructions in the main pipeline is very restricted by this limitation and ISAs like x86 break down complex instructions into multiple small instructions before pushing them through.

ARMv9 still has very few instruction modes with far less complexity when you compare it with x86 or some other classic CISC ISA.

> memory access performance hasn't increased to the same extent as compute performance, thus putting a relatively bigger emphasis on code density.

The problem isn't RAM. The problem is that (generally speaking) cache is either big or fast. x86 was stuck at 32kb for a decade or so. Only recently have we seen larger 64kb caches included. Higher code density means more cache hits. This is the big reason to care about code density in modern CPUs.

RISC-V shows that you can remain RISC and still have great code density. Despite arguably making some bad/terrible decisions about the C instructions, RISC-V still generally beats x86 in code density by a significant margin (and growing as they add new instructions for some common cases).
by Demiurge | 2025-10-05 14:04:00+00:00
I don't understand, what was the issue with changing the column type from `int` to `bigint`? What does exposing the IDs have to do with how large those ints can be? This seems like a backend issue, if we're talking about HTTP/REST APIs. Now, if we're talking compiled C style APIs, then yes, obviously widening the types will cause issues. This is very important context that is missing from this article.
by whizzter | 2025-10-05 14:04:16+00:00
There's 2 things,

1: JavaScript _interoperability_ , ie same heap but incompatible objects (nobody is doing static JS)

2: Java, Schemes and many other GC derived languages ,etc have more "pure" GC models, C# traded some of it for practicality and that would've required some complications to the regular JS GC's.
by Imustaskforhelp | 2025-10-05 14:04:23+00:00
This looks really really fascinating.

I have recently been playing with tiny core linux and puppylinux was also on my list but I really like tinycore linux and have been using it as a study os of sorts just installing a pdf manager and curl and lets say I want to send some files from my pc to that vm I just use something like piping-server

It runs on a nix os which I just do nix-shell -p quickemu to quickly install quickemu and then do quickemu --vm tinycorelinux.conf as an example and then I just do it as a fullscreen and I get a lot of benefits out of this and I can also save things etc. too and its tce is really fascinating too and if I really want to lock down the system, I can always remove the terminal and the app installer (Just two applications) to essentially lock it down...

I might create a piping-server gui app maybe using lua/godot lol as having curl right now with a package manager can make me use the terminal ,sometimes I just start tinkering with the tce and trying to run java in it just for fun lol

I really like puppyos's gui style with the epdf-viewer. Its so good to study in it and yeah a good reminder to study on it again :)
by bArray | 2025-10-05 14:04:29+00:00
I remember Mastodon [1] was this free, open source social media network for micro blogging, which was against censorship and centralisation. Slowly but surely, the politics of the people developing the system became clear. They actively banned Gab [2], an otherwise compatible network, on the basis of politics.

I am extremely hesitant to get involved in these "with us or against us" projects.

[1] https://en.wikipedia.org/wiki/Mastodon_(social_network)

[2] https://en.wikipedia.org/wiki/Gab_(social_network)
by Larrikin | 2025-10-05 14:04:50+00:00
>with an encrypted backup services included for first 2 years and requires the backup subscription to work there after.

Its confusing if you mean the NAS will stop working if you stop paying for the subscription or not. If you can no longer access your data on the NAS without a subscription, then the NAS just becomes the cloud with an extra up front cost plus the cost of your own electricity.

Personally I have started moving as much of my data out of the cloud as possible. I've got a Synology and a few single board computers running various services with a Synology in my parent's home for their photos. Their photos back up to my NAS and my data to their Synology.

Its a shame Synology decided to enshitify this year for all products going forward, but UGreen looks like a suitable replacement when I outgrow my current NAS.
by jauntywundrkind | 2025-10-05 14:05:32+00:00
> Another spiritually similar idea being championed at the time came from the Opera browser folks who wanted to put "a web server in your browser".

Opera Unite was such an awesome idea. https://arstechnica.com/information-technology/2009/06/opera...

There was a neat idea a bit back to allow Service Workers to work across origin: foreign fetch. It wasn't on the internet, was only in the scope of your browser, but I thought it was such a neat advancement. Would have done so much to allow the offline web to weave itself. Alas, deprecated. https://developer.chrome.com/blog/foreign-fetch
by gloxkiqcza | 2025-10-05 14:05:48+00:00
I think you’re missing a forest for the trees. Android desktop and iPadOS are the same thing. Next-gen OSes with advantages stemming from their different paradigm at the cost of control/freedom. It’s happening slowly but IMO the end game isn’t to merge macOS with iPadOS, it’s to make macOS obsolete and deprecate it once possible.
by n4r9 | 2025-10-05 14:05:50+00:00
Ah, I guess you mean this paper then: https://www.microsoft.com/en-us/research/wp-content/uploads/...

There are many similarities between this approach and customisable contraction hierarchies. The latter allows a particularly elegant query-time algorithm involving only a couple of linear sweeps, I suspect even in the many-many scenario.
by brendoncarroll | 2025-10-05 14:06:20+00:00
I work on a FOSS project in this space, Blobcache.

https://github.com/blobcache/blobcache

Trusting a server to store an application's state is a different thing from trusting it to author changes or to read the data. Servers should become dumber, and clients should become smarter. When I use an app, I want the app to load E2E encrypted state from storage (possibly on another machine, possibly not owned by me) make whatever changes and produce new encrypted data to send back to the server. The server should just be trusted for durability, and to prevent unauthorized access, but not to tell the truth about doing either of those things. Blobcache provides an API to facilitate transactions on E2EE state between a dumb storage server and any smart client.

Blobcache can be installed on old hardware along with a VPN like Tailscale and then loaded up with data from other devices. Configuration is like SSH, drop a key in a configuration file to grant access. It removes most of the friction associated with consuming and producing storage as a resource.

I'm using it to build E2EE version control like Git, but for your whole home directory.

https://github.com/gotvc/got
by afdbcreid | 2025-10-05 14:07:24+00:00
> If you change a body, the compiler only has to process that file. But the rust compiler must check other files as well, since something in the interface might have changed.

That's correct in Rust as well (minus some small warts such as if you add an impl inside, which the Rust team wants to deprecate). In fact rust-analyzer relies on that. The compiler will realize that as well via its sophisticated incremental system, but it does take time to evaluate all the queries, even if all are cache hits.
by whizzter | 2025-10-05 14:08:02+00:00
I wouldn't be surprised if it did take off, classic Wasm semantics were horrible since you needed a lot of language support to even have simple cludges when referring to DOM objects via indices and extra lifeness checking.

WASM-GC will remove a lot of those and make quite a few languages possible as almost first-class DOM manipulating languages (there's still be cludges as the objects are opaque but they'll be far less bad since they can at least avoid external ID mappings and dual-GC systems that'll behave leakily like old IE ref-counts did).
by hahn-kev | 2025-10-05 14:08:02+00:00
I would say it really depends on your target. If you want only mobile, then there's different option's (see other comments). But if you want only desktop then Avilonia is good. However if you want both (like my team) then we did end up going for MAUI. However we use MAUI Blazor as we also want to run on a server. We're finding iOS to be difficult to target but I don't think that has anything to do with MAUI.
by Aurornis | 2025-10-05 14:08:46+00:00
> Bobba had sorted people with a Social Security number by age and found more than 12 million over 120 years old still listed in the agency’s data.

> Bobba said he knew these people weren’t actually receiving benefits and tried to tell Musk so, to no avail, according to SSA officials. Dudek watched in horror as Trump then shared the same statistics with both houses of Congress and a national television audience, claiming the numbers proved “shocking levels of incompetence and probable fraud in the Social Security program for our seniors.”

It was frustrating to watch how this obviously false claim was being pushed so hard.

It’s hard to know who’s telling the truth, but this claim feels unsurprising: Someone did a query and found a lot of rows of people born over 120 years ago, shared it in something like a Signal group, and then Elon ran with it like it was proof that they were all receiving benefits. Once the seed for the headline was played they didn’t want to hear any evidence that the claim wasn’t true.
by layer8 | 2025-10-05 14:08:46+00:00
Chat is inherently in flow because you can’t manage the read/unread status per message, and you can’t move messages to different folders. When I check for email, I might have a dozen new messages, clearly listed one per line, and I can pick which to read now and which to read later. I have a clean overview with the mailbox listing and the read/unread status. I can easily overview 50 or so messages without having to to scroll. I can archive the messages I’m done with, while keeping those around I still want to handle.

In a chat, the read/unread status is not per-message. It’s much harder to discern separate exchanges within the same channel, and to handle them out-of-order when some are more urgent or relevant than others. They also take up substantially more visual space than a mailbox listing, so you have a much smaller “peephole”, making it more difficult to get an overview of what is going on in a channel. All this has the effect that people treat chat channels as a single continuous flow of messages that you catch up with in the order they come in; and the messages that scroll out of view, which happens fast, tend to go out of mind as well.
by HPsquared | 2025-10-05 14:09:56+00:00
Socrates on writing

"For this invention will produce forgetfulness in the minds of those who learn to use it, because they will not practice their memory. Their trust in writing, produced by external characters which are no part of themselves, will discourage the use of their own memory within them. You have invented an elixir not of memory, but of reminding; and you offer your pupils the appearance of wisdom, not true wisdom, for they will read many things without instruction and will therefore seem [275b] to know many things, when they are for the most part ignorant and hard to get along with, since they are not wise, but only appear wise."
by mensetmanusman | 2025-10-05 14:10:24+00:00
Tariffs are an inefficient tax on consumption. If the parties keep failing to agree to figure out how to increase revenue, this is the best stop gap we could hope for. Especially if it generates over $1T.

https://www.cnn.com/2025/08/19/economy/us-tariff-rebate-chec...
by ivm | 2025-10-05 14:12:18+00:00
Aside from using an esoteric language and being a Google product with a risk of shutting down just because, Flutter's game-like UI rendering on a canvas was confirmed to be quite a questionable approach with the whole Liquid Glass transition. If anything, React Native is a more reliable choice: endless supply of React devs and native UI binding similar to MAUI.

I'd say Uno Platform[0] is a better alternative to Flutter for those who do not care much about the native look: it replicates WinUI API on iOS, Mac, Android, and Linux, while also providing access to the whole mature .NET ecosystem – something Flutter can't match for being so new and niche.

[0]: https://platform.uno/
by ksymph | 2025-10-05 14:13:10+00:00
It's a cool idea to be sure, but I'm skeptical as to how much is actually coming from the plant/fungi. In deciding what signals make noise and what noises they make, the artist could go in with just about any song in mind and work backwards from there to make it fit.

I get that this is an art project and not a scientific paper or whatever, but I'd really like to see some of the raw data and how it's translated. It'd be interesting to hear different interpretations of the same source.
by jmclnx | 2025-10-05 14:13:39+00:00
I hope no one is surprised by what Google and Apple did on their Locked Down devices, all the care about is their bottom line. Trump and his people have no qualms about destroying a companies' revenue.

These locked down devices seems to be future tech is being pushed to. I suspect the TPM 2.0 requirement for Windows is a first step in Locking Down Laptops and Desktops.

Luckily Linux is not heading in this direction, yet. But I fear it will and baby steps may have already been taken. From what I have heard about OpenBSD and NetBSD, they will probably never lock down anything. FreeBSD, I am not sure about, but so far they are not going in that direction.

There was a story by FSF or maybe GNU detailing a possible future with using these devices. The story was you needed to get a license to use certain software. Debugging and Development tools required a specific license and permission.

I lost the link, but I think that is the future we are heading directly too :(
by Larrikin | 2025-10-05 14:13:48+00:00
Apple keeps adding permission requests/demands to more mundane operations that you have to try and get around. But it is increasingly feeling like they are heading toward a future where they no longer offer the ability to get around their "security".

I have a couple apps that just stop working because they are open source, haven't paid the Apple developer tax, and the permission to the disk just expires seemingly randomly. I haven't figured out how to get around that and instead just don't rely on them.
by StevePerkins | 2025-10-05 14:13:54+00:00
I only clicked this to see if Coolify could be a compelling option against my current setup, of using Docker Compose for everything on my VM (including a private Docker registry for my images, and a Traefik frontend proxy to route it all).

Zero actual mention of Coolify, and the manual steps to PREPARE for it seem far more complicated than, "Just base your VM on the Docker Compose base image, and then tweak a couple things".

I'll stick with what I have. Nice advantage is that I can migrate from host to host and 99% of it is just copying the Docker Compose YAML file.
by fduran | 2025-10-05 14:15:06+00:00
Big cloud provider (AWS, Azure, GP) is great for all the managed ecosystem; if you mostly only need raw computing (CPU, memory, bandwidth), then a provider like Hertzner makes a lot of sense (plus they have API and basic services like LB/firewall and object storage).

We at SadServers moved from big cloud managed K8s to Hetzner + Edka and it's an order of magnitude cheaper (obv some perks are missing).
by afdbcreid | 2025-10-05 14:15:11+00:00
> How does that work?

Usually taking the IR (MIR) from rustc and translating it to a verifier engine/language, with the help of metadata in the source (attributes) when needed. E.g. Kani, Prusti, Creusot and more.

> Why can't other languages have a "formal verification library"?

I don't think there is a reason that prevents that, and perhaps some have, however it turns out that modelling shared mutability formally is really hard, and therefore the shared xor mutable rule in Rust really helps verification.
by kqr | 2025-10-05 14:15:31+00:00
Yeah but those are separate claims. "Lead causes health problem, and vicious cycles are a thing, therefore health problems cause lead!" is not a valid shape for an argument. It may well be true, but both directions have to be established before calling it a vicious cycle.

In this case, I can agree bad social conditions cause gambling, but I don't think the data supports the opposite, at least not more than many other things we take for granted, such as

- alcohol,

- beauty/fashion industries,

- social media,

etc.
by dredmorbius | 2025-10-05 14:16:09+00:00
Through the 1990s (and prior) this was not uncommon, particularly on high-traffic days, often holidays (in the US: Mother's Day, Thanksgiving, and Christmas), when calling long-distance. Also during natural disasters, when local calls might also be affected.

There were also systems outages, such as the 1988 Hinsdale switching station which took out phone service to most of the Chicago area (both local and long-distance):

"1988 PHONE CRISIS TIED TO 1 BROKEN POWER LINE" (1988)

Turns out that that switch was a SPOF:

To make sure such a crisis doesn`t happen again, Illinois Bell Telephone Co. announced Friday it is embarking on a $80-million, five-year program to construct a complete duplicate telephone network system throughout its Chicago suburban operation and to redesign its fire protection systems.

<https://www.chicagotribune.com/1989/03/11/1988-phone-crisis-...>
by sph | 2025-10-05 14:16:37+00:00
In my experience, in all of academia, Harvard dietary research is the shoddiest and the most biased, given their historical strong ties to Seventh Day Adventists which are notoriously pro-vegetarianism and pro-veganism.

Dietary science is as rigorous as astrology, and then there's commercial and religious interests to consider. The same institute can post research showing how a particular diet is better against another, and months later, publish the exact opposite. Given it's all tantamount to bullshit, N=1 anecdotes have greater validity than anything that's posted in press releases.

Wikipedia suffers from the same bias problem in dietary matters. It still defines low carb as a "fad", for heaven's sake.

(LOL at flagging OP's comment - what's going on these days that anything slightly disagreeing with the hivemind is worth being shadow-banned?)
by jauntywundrkind | 2025-10-05 14:17:00+00:00
99.9% of BlueSky users use only Bluesky services. But BlueSky has a Personal Data Service for each. That means:

Those users have credible exit to take their data off BlueSky's hosting to someplace else (and as of a week or two ago to move back to BlueSky if they want).

Those users can put whatever kind of data they want in their PDS. They can host their git data via https://tangled.org . They can store their music listening scrobbles with https://teal.fm . They can blog on https://leaflet.pub .

And there's been rapidly advancing host it yourself options. Plenty of folk individually or collectively host PDS. There are alternate relays that collect &n syndicate out everyone's PDS data as that changes. Hosting the aggregation layer is significantly harder especially if you are trying to fully connect the network but there are a couple & progress is good.

it feels like a huge improvement over the status quo, and there's extremely visible developer energy building forward & rolling with the concepts. The breakdown on architecture allows for wins and work in various areas. The base seems solid, the core seems coherent & well built, built to scale not as one big thing but coherent layers. I think it's doing what you are asking for, and the signs of advancement & uptake warm my heart to see.
by zdragnar | 2025-10-05 14:17:05+00:00
Think of it like alcohol.

Some people benefit from the relaxing effects of a little bit. It helped humanity get through ages of unsafe hygiene by acting as a sanitizer and preservative.

For some people, it is a crutch that inhibits developing safe coping mechanisms for anxiety.

For others it becomes an addiction so severe, they literally risk death if they don't get some due to withdrawal, and death by cirrhosis if they keep up with their consumption. They literally cannot live without it or with it, unless they gradually taper off over days.

My point isn't that AI addiction will kill you, but that what might be beneficial might also become a debilitating mental crutch.