Tux Machines
Posted by Roy Schestowitz on Mar 23, 2023,
updated Mar 23, 2023
=> Kubernetes, Containers, and Servers in General | Red Hat Leftovers
=> ↺ Ergonomic APIs, channel invariants, and data views
Hi everyone! It’s two days after the March 20 TLA+ workshop, which means it’s time to start getting feedback and revising things for the May 15th workshop. At some point I want to talk about my “workshop technology” I use, but that’ll take some time to write up, so maybe next week? We’ll see.
(If you’re on the fence about the workshop: attendees can share specs they write after the class and I give them feedback. So not only are you learning TLA+, you get help applying it to your job!)
Anyway, here’s a software engineering idea I’ve been playing with but haven’t tried in practice yet, so I don’t know how well it works. Constraint solving1 has this technique called “channeling constraints”, where you represent data in multiple connected ways. Like if you’re constraint solving a schedule, you have two possible representations of “which talk is in slot T and room R” (in MiniZinc): [...]
=> ↺ Constraint solving | ↺ 1 | ↺ constraint solving a schedule | ↺ in MiniZinc
=> ↺ May 15th workshop | ↺ Constraint solving | ↺ 1 | ↺ constraint solving a schedule | ↺ in MiniZinc
=> ↺ R data.validator â How to Create Automated Data Quality Reports in R and Shiny
Every data science project needs a data validation step. Itâs a crucial part, especially when feeding data into machine learning models. You donât want errors or unexpected behaviors in a production environment.
=> ↺ Funny Programming Pictures Part XXVII
Lunduke-is-Sick-Edition
=> ↺ Flutter Chrome Linux: Cannot find Chrome executable
If you are using Flutter on Linux, and you installed Google Chrome using Flapak, you may face the problem when installing and running Flutter: Doctor summary (to see all details, run flutter doctor -v): [â] Flutter (Channel stable, 3.7.7, on Manjaro Linux 5.15.102-1-MANJARO, locale en_US.UTF-8)
=> ↺ OE compile 1,662 packages in 1 day, 16 hours and 15 minutes
Amazing. I posted in December 20, 2022, compiling the packages for the Kirkstone-series in OpenEmbedded, on an Acer Ryzen5 laptop, and it took 4 days and 3 hours to compile 1,620 packages:
=> ↺ Qt for MCUs 2.2.4 LTS Released
Qt for MCUs 2.2.4 LTS (Long-Term Support) has been released and is available for download. As a patch release, Qt for MCUs 2.2.4 LTS provides bug fixes and other improvements, and maintains source compatibility with Qt for MCUs 2.2.x. It does not add any new functionality.
=> ↺ Send Email from Raspberry PI with Python (with details for Gmail Users)
Using your Raspberry PI for automated controls allows you to keep control of many devices or conditions with a low power consumption device. Understanding how
=> ↺ Bits from Debian: New Debian Developers and Maintainers (January and February 2023)
The following contributors got their Debian Developer accounts in the last two months:
The following contributors were added as Debian Maintainers in the last two months:
Congratulations!
=> gemini.tuxmachines.org This content has been proxied by September (ba2dc).Proxy Information
text/gemini;lang=en-GB