The ability to fake the location on a per-app basis is called "location scopes". It is being worked on, as mentioned here:

https://discuss.grapheneos.org/d/27926-per-profile-location-...

Currently there is a Mock Location feature, but it is globally scoped and not what you asked for.

Zed already had terms of use that forbid "reverse engineering" (ie looking at the GPL source code).

Gram is a hard fork that removes the TOS, telemetry and AI, and turns Zed into just a text editor.

https://gram.liten.app/posts/first-release/

Definitely worth a look!

GNOME OS and KDE Linux are both specialized distros that primarily exist to test GNOME and KDE. They aren't for general users, and both web sites warn you not to rely on them. And they impose limitations on your ability to install arbitrary 3rd party software, whereas Fedora Atomic Desktop lets you customize the system without such limitations. Fedora Atomic lets me install arbitrary RPMs into the base system.

"quite a bit easier to extend" sounds good to me, but the "easier" here refers to the internal system implementation details? I am an end user, not a Linux distro system architect, and I care more about the user experience. I will be interested in test driving a general purpose OS based on this technology, whenever that happens in the future. Since Red Hat is involved in the UAPI project, perhaps Fedora Atomic Desktop will migrate to this technology in the future?

I think that what you are calling "immutable pass by reference" is what the OP is calling "pass by value". See, when used abstractly, "pass by value" means that the argument is passed as a value, hence it is immutable and the callee can't mutate it. One way to implement this is by copying the data that represents the value. In the OP's language, and in many other languages that work this way, instead of copying the data, we implement "pass by value" by incrementing the reference count and passing a pointer to the original data. These differing implementations provide the same abstract semantics, but differ in performance.

I am unable to extract any meaning from your post. You appear to be making a general claim: it is impossible to design a programming language where everything is a value. You at least admit that "data thingies" can be values. Are you claiming that it is not possible for functions to be values? (If we assume that the argument and the result of a function call is a value, then this would mean higher order functions are impossible, for example.) If not that, then what? Please give a specific example of something that can never be a value in any programming language that I care to design.

I think parent means it from a lambda calculus perspective. If you only have values at an AST level, then you only have a tree of.. values, like an XML document.

You can apply meaning to a particular shape of that tree which could be executed, but then you basically just added another layer before you parse your AST that becomes executable.

Yah, I read that and thought "this seems like gibberish: maybe I am reading LLM slop".

Yes, it was vibe-coded, and the author says they still haven't learned Prolog yet. <https://www.reddit.com/r/livecoding/comments/1pmabwv/dogalog...>

I did study Prolog in a past life but it never really stuck. It was vibe coded but I spent a lot of time planning prompts - I've had to deal with Claude's style (cruft explosion) in other projects, so I had my eyes open on this one.

Lisp has had arbitrary precision arithmetic since the early 1970s. So did dc on Unix, also in the early 1970s. ABC didn't arrive until 1987.

no, they are talking about high performance desktops, mostly. They link to the Framework desktop, which has 256 GB/s memory bandwith. For comparison, the Apple Mac Pro has 800 GB/s memory bandwidth. Neither manufacturer is able to achieve these speeds using socketed memory.

> no, they are talking about high performance desktops

then i don't really get the "world has moved on"-claim. in my bubble socketed RAM is still the way to-go, be it for gaming or graphics work. of course Apple-user will use a Mac Pro, but saying that the world has moved on when it's about high-performance, deluxe edge-cases is a bit hyperbolic.

but maybe my POV is very outdated or whatever, not sure.

I agree and I do not agree. I still sometimes use a Thinkpad X230, and wait- a G4 PowerBook, and they are fine machines for many tasks. Yet even those have soldered CPUs, simply because of design constraints.

You don't need to have to train models. You want to play a game like Factorio, that, of all things, is bottlenecked on memory bandwidth - you must update each entity in a huge world on every tick, at 60 UPS, and yes, the game is insanely well optimized (check the dev blog). You don't have to play Factorio, but you also technically don't need DMA.

I think, but am not totally positive, this is primarily a concern for local LLM hardware. There are probably other niches, but I don't it's something most people need or would noticeably benefit from.