pxc

89 ms·

931.
by pxc 2y ago
> Then I tried some Fibonacci with tail recursion and surprisingly that worked too. I'm impressed, because often when people reimplement the Python interpreter they get those wrong. Huh? I thought Python didn't have TCO anyway.
932.
by pxc 2y ago
Sure! Compilers was one of my favorite classes, but it was also one elective among many. There's other stuff I took here that was ommitted: courses on tbe completeness of first-order logic, Gödel's incompleteness theorem, natural
933.
by pxc 2y ago
I hadn't planned on something so neat. I was just thinking I'd put them on the path with nonstandard executable names like `pvim` or `pcode`, and then people could use them in combination or not, individually enable-able as devenv
934.
by pxc 2y ago
> I've been thinking about making the code editor (and all its various configs) a project-level dependency instead of a system config. > I know it sounds crazy, but If you bundle the tools needed to work on a project into that pr
935.
by pxc 2y ago
I feel all this. :) Incidentally a lot of my recent work is basically glorified Bash scripts (Nix takes care of portability issues for us, but the language is still Bash), and then we've recently created a tool in Python that we invoke
936.
by pxc 2y ago
> What I mean is that however mature it is, it's still yet another thing. That's definitely true. And I didn't have scientific applications in mind as I wrote, either. I was thinking of domains where external DSLs for con
937.
by pxc 2y ago
> I can keep using a permissively licensed software or a fork of it at the moment they pull the rug and keep using it in the same manner; I just don't get future updates. I cannot fork AGPL and use it commercially in any reasonable
938.
by pxc 2y ago
Wow. I haven't really played with Lisp since college. But I just started reading The Little Schemer with some friends, and hope to move on to SICP some time this year or next. This blog post made me a little dizzy, but also a little
939.
by pxc 2y ago
I use Seal all the time when people send me links to videos on social media, since, lacking the apps and accounts, I can't reliably or conveniently get them to play at the present stage of enshittification of those platforms. Seal is g
940.
by pxc 2y ago
Depending on the license of the proprietary software and who is creating the software derived from both of them, that derivative work could easily be in violation of both licenses. lol
941.
by pxc 2y ago
It might be a ULA, but it's hardly an EULA. The party hosting a web service is not an end user. The end user is that party's customer .
942.
by pxc 2y ago
> For me, it just strikes the right balance between open-source and restricting corporations from disproportionately profiting off of my labor. A purely F/OSS company could potentially profit way more from your code than you do and
943.
by pxc 2y ago
I love single-license-per-project F/OSS companies like Red Hat, but they're rare. I'm attracted to companies who are so committed to F/OSS as a practice that their software is copyleft and they don't require a CLA.
944.
by pxc 2y ago
When you contribute code to an AGPLv3 project without a CLA, you are also giving them a license to use your code. The name of that very license is... 'APGLv3'! The CLA means you're giving them an additional license: one
945.
by pxc 2y ago
What's non-trivial for your purposes, in this context?
946.
by pxc 2y ago
> Besides, config languages never have the level of polish (re: tab completion and static analysis) that the main language does. They don't have to! > Why deny your users the niceties that you set up for yourself? Don't do t
947.
by pxc 2y ago
The Starlark spec discusses this, and I consulted it before I wrote my comment. > It is a dynamic error for a function to call itself or another function value with the same declaration. > This rule, combined with the invariant that a
948.
by pxc 2y ago
I think the world needs programmable config langs because slinging YAML and JSON quickly becomes miserable (as is extending them through templating alone) and general-purpose programming languages usually have shitty ergonomics for writing
949.
by pxc 2y ago
I love PowerShell, but I've yet to meet someone who 'lives in' PowerShell the way so many 'live in' Bash and the various GNU CLI utilities, which I think inhibits familiarity of the kind most convenient for whipping
950.
by pxc 2y ago
> pretentious thugs Consider: the 1954 coup in Guatemala, the Coca-Cola death squads, Nestle's reliance on slave labor for cocoa (through a scheme of indirection that is common among other companies), etc. There's plenty of thu
951.
by pxc 2y ago
When I was a student, I once interned for a company of Windows developers, a Microsoft shop whose work was all in .NET. I remember that there were some tasks I was able to do, having to do with processing many, many little text files, that
952.
by pxc 2y ago
'Cloud VPS' is generally a lot more expensive than the cheapest old-school VPS providers— sometimes like 10x, similar to the numbers commenters elsewhere were discussing for dedicated servers vs. EC2.
953.
by pxc 2y ago
More or less! Before that we basically had two kinds of jobs: one where Docker provided the job's dependencies and one where Nix provided the job's dependencies. The former was, naturally, always containerized, but the latter ran
954.
by pxc 2y ago
I'm in the process of rolling out something analogous at work, where Nix jobs run inside rootless Podman containers but the Nix store and Nix daemon socket are passed through from the host, so the jobs' dependencies all persist, d
955.
by pxc 2y ago
The Homebrew package you linked is a Linux package. It doesn't build or run on macOS. It literally says 'Requires Linux' right there on the page.
956.
by pxc 2y ago
Guix even has a very active, high-quality blog where maintainers detail major technical accomplishments, long-term goals, etc.: https://guix.gnu.org/en/blog/ From here it seems like they're growing and advanc
957.
by pxc 2y ago
'ADD' does seem more likely to be used in that flippant way by people who don't have it, but IME ADHDers who self-describe with the term 'ADD' are just older, and for whatever reason have some kind of identity attac
958.
by pxc 2y ago
I'm aware that 'pixel perfect' doesn't strictly mean 'totally fixed layout'. That's not really relevant here. You can't have , for instance, consistent alignments down to the pixel level, on systems
959.
by pxc 2y ago
'Pixel perfect' designs are stupid, qnd responsible for backwards steps in font scaling. GUIs should be reflowable, not 'pixel perfect'. Dumbass 'pixel perfect' designs are the reason you can't resize the
960.
by pxc 2y ago
I can't blame your colleagues, in that macOS just doesn't provide good window management tools. But for my part, at least, I typically 'tile' my windows by hand into thirds on my ultrawide monitor with Rectangle, then sw

More ›