

https://www.swi-prolog.org/pldoc/doc_for?object=%23>%3D+%2F+2
It’s a better replacement for the built-in =
predicate.
(they/he/she)
https://www.swi-prolog.org/pldoc/doc_for?object=%23>%3D+%2F+2
It’s a better replacement for the built-in =
predicate.
Yeah, you would get a runtime error calling that member without checking that it exists.
Javascript and not Coq?
When I was doing more remoting into servers, having tmux was great. These days it’s all local dev, so it’s far less important to me. Plus, I had gotten to a place where my tiling WM, tmux, terminal tabs, and vim tabs were all competing for keyboard shortcuts, and it was driving me crazy.
I prefer to use my WM and a lightweight terminal instead of term tabs or tmux. If another window is going to be short-lived, I won’t bother, but for longer tasks I’ll move to a new workspace, often opening new terminals and file managers, as needed.
Yeah, it’s basically a tiling window manager that lets you expand each workspace horizontally and scroll left and right through it. The value for me is that I often want each window in a workspace to be a certain size. For example, my browser is fullscreen, and my password manager is half a screen off to one side. My terminals are usually half a screen, sometimes stacked if they’re just for monitoring or something, and my IDE is fullscreen all the way to the right of them.
Armed Bear in the same vein
C shell
Well it wasn’t a website, for what it’s worth.
Tangentially related, I remember at one of my jobs being tasked (several years in a row) with updating the copyright year in all our source files’ headers.
I’ve been using niri for work for a little while and it’s great. I’ve been wanting this functionality for a couple years, but I wasn’t really in a place to hack it into i3. I’m glad someone’s done the work and it’s good.
I’d like to be able to drag windows with the mouse, as there are a lot of movement shortcuts to try and remember for two monitors, but otherwise I’ve had very few issues switching.
I suspect there are a lot of “Rust devs” that are little more than kool-aid drinkers. Common refrains are that Rust is the fastest language, most type-safe language, and most powerful language. Rust certainly seems to move the state of the art forward in some ways, but you can still write garbage code in it.
I’ve worked with lots of different people in lots of different languages, and I think I’d rather good people in a bad language than the other way around by a mile.
It always grates on my nerves to read laypeople’s opinions of how software development should happen. So much unfettered stupidity.
My window decorations are off globally in KDE. I don’t remember how I did it. It might be a theme I had to download?
I prefer SQL, because you can pronounce it “sequel” or “es-cue-ell”, and it’s fine. CSS just doesn’t have that kind of flexibility as a language.
Herndon and Dryhurst are frequent collaborators, and xhairymutantx is their work. So they didn’t just prompt an LLM to make the image, they trained the model themselves. And they specifically trained the model on pictures of Herndon (who has distinctive red, braided hair).
I’m personally a really big fan of their work (which I don’t expect everyone to be), but the picture that’s being circulated in articles and apparently sold at auction without context is pretty uninspiring.