Tux Machines
Posted by Roy Schestowitz on Jul 31, 2023
=> Proprietary, Microsoft, and Windows TCO | Programming Leftovers
=> ↺ 2023-07-28 [Older] SFP#21: Exploring Software Freedom in European Politics with Lina Ceballos
=> ↺ 2023-07-24 [Older] YH4F: Coding is over!
=> ↺ You Need More Constraints
In general you should enforce every invariant you can tractably enforce. Most of these you can come up with while designing the database, and following a checklist (such as this post) can help. Some of them you will only come up with after the fact, looking at the data, and often wonder why you didn’t think of them.
In either case, adding a constraint is not too time consuming, it’s just a matter of creating a migration and writing the DDL. The only tedious part is the verbosity of SQL, but GitHub Copilot is really good at this. You can write a comment explaining what you want and it usually gets the constraint right.
You should start with the strictest possible data model, because it’s trivial to go from strict to lax: you just drop the constraints. But it is very, very hard to go from lax to strict, often it involves days or weeks or months of planning and schema migrations and data migrations.
So I had to get 10 whole RPMs downloaded and unpacked because Mozilla is bumping the version number uselessly and Fedora keeps shitting out one patch releases where the patch itself is quite broken and then they go back and patch it three more times.
So I finally yanked it out with dnf remove firefox and installed Firefox 115 ESR from the Mozilla tarball and set it up with their instructions for a systemwide install and then unpacked a firefox.desktop from a Fedora RPM that sits in my taskbar with extras like “New Private Window”.
Then I sat down and turned off and hid the DRM and spyware (like “Firefox Suggest”) all over again, and installed my add-ons. Hopefully, I get less update churn this way.
=> ↺ Shotcut video editor compiled in OE
A couple of months ago, I decided to use Kdenlive video editor, as I thought that it is the only one that supports voice-over directly from a microphone -- among the open-source free video editors that is. Posted about it:
https://bkhome.org/news/202305/fixed-kdenlive-project-setup.html
=> ↺ https://bkhome.org/news/202305/fixed-kdenlive-project-setup.html
Surprise, surprise, yesterday stumbled upon a YouTube video showing that it can be done in Shotcut. In fact, there are a few of them, such as these:
=> ↺ https://bkhome.org/news/202305/fixed-kdenlive-project-setup.html
=> gemini.tuxmachines.org This content has been proxied by September (3851b).Proxy Information
text/gemini;lang=en-GB