Tobias Heß (@h3ssto) 's Twitter Profile
Tobias Heß

@h3ssto

he/him | 0x1e

Freelance software dev

Prev: Research on BDDs and variability.dev

ID: 1161337160223592449

calendar_today13-08-2019 18:02:10

1,1K Tweet

84 Followers

130 Following

FFmpeg (@ffmpeg) 's Twitter Profile Photo

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.

Elias Kuiter (@ekuiter) 's Twitter Profile Photo

"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

Armin Biere (@arminbiere) 's Twitter Profile Photo

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)

Tobias Heß (@h3ssto) 's Twitter Profile Photo

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

Filipp Piatov (@fpiatov) 's Twitter Profile Photo

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

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
Tobias Heß (@h3ssto) 's Twitter Profile Photo

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!

Grady Booch (@grady_booch) 's Twitter Profile Photo

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.

Armin Ronacher ⇌ (@mitsuhiko) 's Twitter Profile Photo

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