🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

FFmpeg is pleased to announce we are joining the Department of Government Efficiency team! We will be rewriting America's Social Security system in assembly language, for the highest performance possible.

"How configurable is the Linux kernel?" In our newly accepted tosem paper, we empirically analyze two decades of feature-model history to count the kernel's number of features and configurations. w/ Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, and Gunter Saake

Do I know someone that has a nice set of slides for an intro to low code? Jordi Cabot maybe?

Finally (to help my students pass the SAT solver assignments in our class) cnfuzz and cnfdd on github! github.com/arminbiere/cnf… github.com/arminbiere/cnf… (well 18 years ago there was no github)

1. e4 c6 2. d4 d5 3. e5 Na6 4. Nf3 g6 5. Nc3 Nb8 6. Bd3 b5 7. a3 e6 8. b4 a5 9. Bg5 f6 10. exf6 Kf7 11. Ne5+ Ke8 12. f7# 1-0

Der Zeitgeist in der Migrationskrise ist endgültig gekippt. Die nachfolgenden Sätze stammen nicht aus einer Rede von JD Vance, nicht aus einem Artikel von Breitbart. Nein, sie kommen aus dem Kommentar des Editorial Board der New York Times – der wohl wichtigsten Zeitung der

New tool! As the Docker container of ddnnife (github.com/SoftVarE-Group…) is currently quite opaque to use, I've built a small CLI wrapper in Python for it (github.com/OBDDimal/ddnni…) - already available on PyPI (pypi.org/project/ddnnif…). Have fun!

D.#dwards And what do we call a high quality specification with sufficient precision and coverage to generate a useful executable artifact? Code. We call it code.

How well do you know Python’s f-strings? I built a thing inspired by JavaScript’s Date constructor quiz but for Python. fstrings.wtf

At this point I'll just put .nojekyll in every folder I create.