Programming Leftovers

posted by Roy Schestowitz on Mar 23, 2023,
updated Mar 23, 2023

• 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 solving¹ 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!