I once considered implementing a CI/CD configuration management tool in Prolog (in my free time).
Cause, you know, you’ve got certain conditions that you want to be met, so from an API perspective, it’s actually kind of reasonable.
Problem is, at some point you need to actually do things on the target machine. And you can’t really tell it to run a few instructions in order. Not as reasonable for that part…
I’ve once decided that “hey, software interaction is logic, so prolog should be the best for complex protocols and UIs!”
Quite soon I understood that no, “complex protocols and UIs” are a problem all by themselves, enabling them makes them worse, and enabling them with prolog makes them even worse.
Up to this day I’m stuck trying to make data quering more “programming-like” than the restrictive thing we have with SQL. I’ve backtracked a few times already after noticing that I just designed prolog again.
But fear not, at some point one of us will finally find that problem domain for what prolog is really suitable. I know of an entire company betting on using it for describing access control rules, maybe they are up to something!
But i still think C++ has more footguns than Prolog.
They are different kinds of footguns. The C++ ones keep security, ops, management, suppliers, customers, and the public up at night; the prolog ones keep you up at night.
When I was testing Linux distributions on DistroSea it was pretty funny to me to see " Activate Windows " lines on the screen while testing a Linux distro
Git Repo, it works on Windows too, just in case you’ve activated it and the bottom corner of your screen feels lonely. You can also set the text to whatever you want
I remember when someone did this for Mac. this just ticks those boxes of someone who should be doing work, but doesn’t want to do work and feels like coding something to make you laugh. Heh
That’s known as a ligature and they’re pretty common in many programming-oriented fonts, which usually have stylistic sets with different ligatures for different programming languages that you can optionally enable in your editor’s configuration. For example, here’s the stylistic sets the Monaspace font offers:
Personally I’m not too fond of ligatures so I never enable any, but many folks do like them.
Edit: and just as a side note, ligatures are super common in many fonts, you just might not notice them. Here’s some classic examples from the DejaVu Serif font, with and without a ligature:
Depends. On Linux or older macOS where light mode typically means a comfortable light gray? Light mode is the way to go. On Windows where light mode means an eye-searing onslaught of #FFFFFF? Dark mode is the only sensible choice.
I wish, light mode worked better in terminals. Every so often, it’ll throw some yellow text at me, and it’s just like, cool, I literally cannot read that.
I’ve been using the “Black on White” theme in Konsole, because that’s the only real light theme it has, apart from Solarized.
Well, and apparently for some reason it uses brighter colors for what should be intense colors. Just setting the yellow to a normal yellow already improves it quite a bit.
I guess, my point still kind of stands, like why is there no better light theme included out of the box, but yeah, I should probably look into theming a bit more…
I wish light/dark mode switching would work in editors/IDEs at all. Kate/Kwrite apparently has that but it doesn’t work with Kvantum or i don’t understand the configuration enough. They should just have a “alternative editor theme” and switch to it on signal and be done. Light editor theme on dark desktop switch after 20 o clock burns my eyes.
In that picture, I’m using KDE applications that are flatpaks for Cosmic Desktop on PopOS with a Kvantum theme. I made a longer post here when I was searching for instructions for how to complete this recently.
After my experience, I don’t really know what the best solution is for setting it up. I guess it would be nice if the major platform applications for like KDE were supported for dark mode by default on the DE. I don’t know, it really bothered me though.
programmer_humor
Oldest
This magazine is from a federated server and may be incomplete. Browse more on the original instance.