pxc

45 ms·

631.
by pxc 1y ago
Imo, the GUI isn't really the most important part of things like Docker Desktop. The nice part is that they (a) set up the Linux VM that runs the Docker daemon for you and (b) handle the socket forwarding magic that lets you communicat
632.
by pxc 1y ago
That's true, but I always thought of Swift as exceptional in this because Swift is a programming language, and this has become the norm for programming languages in my lifetime. If my biases are already outdated, I'm happy to lear
633.
by pxc 1y ago
Docker Desktop on Windows uses WSL to provide the Docker daemon, doesn't it? So Docker Desktop has a history of leaning into OS offerings for virtualizing Linux like this where they can.
634.
by pxc 1y ago
This is the most surprising and interesting part, imo: > Contributions to `container` are welcomed and encouraged. Please see our main contributing guide for more information. This is quite unusual for Apple, isn't it? WebKit was ba
635.
by pxc 1y ago
Tart is great! This is probably the best thing available for now, though it runs into some limitations that Apple imposes for VMs. (Those limitations perhaps hint at why Apple hasn't implemented this-- it seems they don't really w
636.
by pxc 1y ago
Providing isolated environments for CI machines and other build environments! If the sandboxing features a native containerization system relied on were also exposed via public APIs, those could could also potentially be leveraged by develo
637.
by pxc 1y ago
Ah, that's great! I'd forgotten it moved and struggled to track it down.
638.
by pxc 1y ago
I hoped for a moment that "Containerization Framework" meant that macOS itself would be getting containers. Running Linux containers and VMs on macOS via virtualization is already pretty easy and has many good options. If you&#x27
639.
by pxc 1y ago
I have "show dead" turned on, and I don't see it.
640.
by pxc 1y ago
The point is that there's no need to resort to using something like ChatGPT to do avoid the paywall, so most people who want to avoid the paywall wouldn't bother with using ChatGPT to do it.
641.
by pxc 1y ago
Are they going after individual readers like those old RIAA and MPAA campaigns? Or does this just refer to the lawsuit been these two companies?
642.
by pxc 1y ago
> Magistrate Judge Ona Wang granted the order within one day of the NYT's request. She agreed with news plaintiffs that it seemed likely that ChatGPT users may be spooked by the lawsuit and possibly set their chats to delete when us
643.
by pxc 1y ago
> If I rig up a nonstandard harness than allows it to think before tool calls What does that require? (I'm extremely, extremely new to all this.)
644.
by pxc 1y ago
Yes, definitely. But I think reaching for an LLM can mean failing to build that reading muscle in the same way that leaning on teachers can. And I also think that many people never learn to read documentation not because they can't but
645.
by pxc 1y ago
> Calling someone "immature" That didn't actually happen in this thread, though. A comment was characterized as "immature". That might be insulting, but it's not an ad hominem attack. Saying "this arg
646.
by pxc 1y ago
That's not what ad hominem means
647.
by pxc 1y ago
Isn't formal analysis exactly the kind of thing LLMs can't do at all? Or do you mean an LLM invoking a proof assistant or something like that?
648.
by pxc 1y ago
When I was a beginner programmer, I was 13 years old. I remember noticing that one kid in our class managed to do and use things that no one else in our class did. I asked him how, and he said "it's built-in, I read about it right
649.
by pxc 1y ago
The commands aren't arbitrary. They're particular— you write the descriptions of the tools it's allowed to use and it can only invoke those commands. I'm interested in playing with this, since reading the article, but I
650.
by pxc 1y ago
LLM-generated blogspam is also accelerating this process
651.
by pxc 1y ago
Isn't it already?
652.
by pxc 1y ago
I've been awaiting the completion of this branch for years! I Installed Determinate Nix (via Nix-Darwin— I find it a bit annoying that their official Nix-Darwin module reverts Nix to non-declarative management) on my laptop in order to
653.
by pxc 1y ago
In truth, the "job security" thing is often as much a matter of personality as it is explicit strategy. The "XYZ guy" often becomes that person simply by being someone who is stubborn enough to tackle integration problem
654.
by pxc 1y ago
> Can I run, let's say, IDEA or vscode from there and get all the PATH stuff right? Yes. But if you use an editor for many projects at once, it'll work better if different projects can have different PATHs set, in which case yo
655.
by pxc 1y ago
I use the envrc package to integrate my Nix-powered development environments via direnv: https://github.com/purcell/envrc My Emacs then sets up an LSP per project, and just picks up the correct LSP implementation by PA
656.
by pxc 1y ago
I want to second this experience. I've never actually submitted my contributions upstream for other distros, but I've maintained repositories for personal use for Ubuntu, openSUSE, Arch, Gentoo, CentOS and Fedora. Writing a new pa
657.
by pxc 1y ago
This is FUD, plain and simple.
658.
by pxc 1y ago
> I had my time trying every new distro that would be popping up on Linux related magazines CD/DVDs up to the mid-2000's Me, too! That was a blessed part of my childhood and adolescence. You're not entirely wrong about the
659.
by pxc 1y ago
He made himself useful by practicing an uncommon skill, so I understand why it was put that way. But Nix is plenty learnable and Nix hires are possible, so I see what you mean.
660.
by pxc 1y ago
Guix already has as many packages as Nixpkgs did back when I started using it, and like Nixpkgs, the package set is growing exponentially. What you say is true but it also seems to me like for many, Guix already provides a very useful start

More ›