Programming 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): [...]
-
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:
- Sahil Dhiman (sahil)
- Jakub RužiÄka (jru)
The following contributors were added as Debian Maintainers in the last two months:
- Josenilson Ferreira da Silva
- Ileana Dumitrescu
- Douglas Kosovic
- Israel Galadima
- Timothy Pearson
- Blake Lee
- Vasyl Gello
- Joachim Zobel
- Amin Bandali
Congratulations!