Sign in

Benjamin Hackl

@behackl.dev
405 followers 574 following 273 posts

Postdoc for math and software at @uni-graz.at, Austria. I like counting things. And computers. Maintainer of Python animation thingy, manim.community

PostsRepliesMedia
Benjamin Hackl @behackl.dev · 11/08/2026
the typst integration is easily my favourite feature this release; already quite usable. happy manimating!
121
Benjamin Hackl @behackl.dev · 28/05/2026
der hauptplatz war gut gefüllt. #UnisRetten
020
Benjamin Hackl @behackl.dev · 11/05/2026
it's been a while since I last saw a good old *crop*py-paste job in journal proofs. 🙄
screenshot from manuscript proofs. the figure shows subcaptions typeset with a completely different font and styling compared to the main body of text visible below.
000
Benjamin Hackl @behackl.dev · 09/05/2026
last thursday our students organised *profslam*, a very fun and entertaining 10min math talk competition. had a looots of fun telling one of my favorite computer math stories: the fast inverse square root implementation from quake 3 arena! 👀🧑‍💻 interactive slides: behackl.dev/slides/2026-...
photo taken during profslam'26 in graz in a lecture hall, from the audience pov. projected slide shows images from quake 3 arena.
170
Benjamin Hackl @behackl.dev · 16/08/2025
99 🎈 ~ live from schlossberg, graz 🎶
010
Benjamin Hackl @behackl.dev · 26/02/2025
heute auch im programm beim MINT-kongress: ein besonders wichtiger (und launiger) vortrag "wie reden wir über wissenschaft?" von @florianaigner.at :-)
vortrag auf bühne, "wie reden wir über wissenschaft? / florian aigner, 2025"
001
Benjamin Hackl @behackl.dev · 17/02/2025
... und leider aus Termingründen etwas verkürzt und schon wieder vorbei, großes Lob an die Kinder aus der 4a fürs Mitmachen und die vielen Beobachtungen zum "Haus vom Nikolaus"! 🚀 Noch ein Foto vom Bahnhof; wenn ich ein bisschen mehr Zeit hätte, wäre das ein sehr netter Remote-Arbeitsplatz. 🚂👀🧑‍💻
Innen-Wartebereich Bahnhof Kühnsdorf/Klopeiner See, mehrere kleine Sitzgarnituren
000
Benjamin Hackl @behackl.dev · 17/02/2025
On the road again! Heute geht es für einen Schulbesuch an die Mittelschule Kühnsdorf. 🧮👀 (Außerdem auch meine erste Testfahrt über den Teilabschnitt Klagenfurt – Wolfsberg der Koralmbahn, die später dieses Jahr den Betrieb aufnimmt... 🚆)
Bahnanzeige: S3, nächster Halt: Kühnsdorf-K. See
100
Benjamin Hackl @behackl.dev · 11/02/2025
langsam wird das was mit dem wach werden. 🙂‍↕️
010
Benjamin Hackl @behackl.dev · 10/02/2025
Heute war DINAMA-Day an der @uni-graz.at, ein Info-Event für Schüler:innen zu Studien in Bio / Physik / Chemie / Mathematik! Für die Mathematik im Dienst: Eleonore Faber (Probe-VO zu Symmetrien), Christina Krause (Vorstellung Mathe-Didaktik), + ich (Lichterpuzzle + Gleichungssysteme). 🧵⤵️
Screenshot einer Website die ein einfaches Netzwerk zeigt, in dem Glühbirnen durch Kanten verbunden sind. Manche der Glühbirnen sind ein, manche sind aus.
121
Benjamin Hackl @behackl.dev · 31/01/2025
I also had the pleasure to teach a course on "software development" for the new data science curriculum @universityofgraz.bsky.social -- fun mini-workshops on shells, git, (python) packaging, devops, working together, licenses / the FAIR principle... ~150 markdown-generated slides (👀 @sli.dev)...
slide: contributing to open source software. includes XKCD comic 2347 titled "dependency".slide: accessing python documentation. includes comic from thejenkinscomic.wordpress.com on calling help in python.slide: "going beyond system packages: containerization", includes XKCD comic 1988 (Containers)slide: "hands-on agile: let's build paper planes!", describing an exercise on agile development where students have to collectively build paper planes in small groups.
2101
Benjamin Hackl @behackl.dev · 31/01/2025
end of very fun & intense semester ✅ produced 83 pages of typeset (👀 @typst.app) lecture notes for "discrete and algebraic structures" ft. generating functions, enumerating perfect matchings via the pfaffian, "mathematical guessing" via lattices + LLL, and finally some tensor magic. 🪄✨ #mathsky
excerpt from lecture notes, part of a proof of standard-scale singularity analysis, including a figure illustrating how the integration contour is deformed.lecture notes excerpt, definition of the pfaffian of a skew-symmetric matrix + example showing that pfaffian of general skew-symmetric 4x4 matrix is linked to matchings.lecture notes excerpt, example of a "fun" application of LLL where the rounding errors in percentages are used to infer information on the total number of students that participated in a poll.lecture notes excerpt, theorem and proof of the unique factorization property of the r-th exterior power of a vector space.
3213
Benjamin Hackl @behackl.dev · 30/01/2025
es ist das eine, meine koautor:innen dazu zu zwingen git zu verwenden -- aber sie von deutsch zu überzeugen dürfte doch nochmal etwas schwieriger werden. 🤪 www.krone.at/3670943
Zeitungsbericht aus "Krone", Inhalt: Deutsch als „Forschungssprache“
Auch weitere in der Gruppe verhandelte Vorschläge bergen Brisanz. Die Freiheitlichen sollen dem Vernehmen nach etwa vorgeschlagen haben, dass Forschungsarbeiten künftig nur mehr auf Deutsch und nicht in englischer Sprache verfasst werden sollen. Da dürfte die ÖVP aber genauso blockieren wie bei einer Abschaffung der Schulpflicht, wie sie die FPÖ im Wahlkampf forderte.
010
Benjamin Hackl @behackl.dev · 23/01/2025
In der Modellierungswoche (8.2.–14.2.) entwickeln Schüler:innen in Kleingruppen gemeinsam mit Kolleg:innen mathematische Modelle für allerlei Problemstellungen aus dem Alltag; Unterkunft für die Woche ist das JUFA Hotel Leibnitz. Restplätze verfügbar! Mehr: mathematik.uni-graz.at/de/studiense...
100
Benjamin Hackl @behackl.dev · 23/01/2025
⚠️ Zur Abwechslung mal was lokales, Grazer:innen aufgepasst! ⚠️ Zwei Events für mathematikinteressierte Schüler:innen stehen vor der Tür: - Modellierungswoche 2025 (8.2.–14.2., Anmeldeschluss: 31.1.!) - Schnupperpraktikum am Institut für Mathematik (3.2.–7.2.) Zielgruppe: Oberstufe; mehr Infos ... ⬇️
Logo Steirische Modellierungswoche
122
Benjamin Hackl @behackl.dev · 20/01/2025
fresh out of the oven, steaming hot: we have just released #Manim v0.19.0, including significant improvements to make installation easier, (finally!) support for Python 3.13, and lots of other goodies 🎉 curated changelog: docs.manim.community/en/stable/ch... #opensource #python #animation #devlog
172
Benjamin Hackl @behackl.dev · 22/11/2024
my class on discrete & algebraic structures this morning ended with a cliffhanger – a _mysterious_ observation that determinants of skew-symmetric n by n matrices seem related to perfect matchings in K_n, at least for n = 2, 3, 4. maybe there is more to it... :-) #mathsky
Computation of determinant of generic 4 by 4 skew-symmetric matrix + mysterious observation that the summands in the factored form are related to perfect matchings in K_4.
040
Benjamin Hackl @behackl.dev · 22/11/2024
another friday, another software dev lecture done. today's topic: collaboration! this paper plane production exercise is apparently very common in workshops on agile methods – and I can see why. results were hysterical; 10/10. should spend more time on it next year. 👀
Lecture slide. Title: Hands-On Agile: Let's build paper planes!

- Group up! Teams of 4-5 students each (turn around, use tables together)
- Goal: produce as many small paper planes (from A5 = 1/2 A4 sheet) satisfying given requirements as possible
- Caveat: each team member may only perform one action (fold, tear, write letter), then need to pass to other team member
- Sprint structure: Planning (2min), Implementation (4min), Review (1min).

Requirements, Sprint 1: Plane must cross half of room and have "SW" written on it!
Requirements, Sprint 2: Plane must cross entire room and have 1st letter of name of all members written on it!
020
Benjamin Hackl @behackl.dev · 19/11/2024
Currently preparing tomorrows lecture on matchings in graphs, feat. Kőnig's theorem: In any bipartite graph, the size of a largest matching (blue; edges w/o shared endpoints) coincides with the size of a smallest vertex cover (red; vertices s.t. each edge has at least one endpoint covered).
A bipartite graph on 7+7=14 vertices, with a matching (blue) of size 6, and a vertex cover (red) also of size 6. 

https://commons.m.wikimedia.org/wiki/File:Koenigs-theorem-graph.svg#mw-jump-to-license
151
Benjamin Hackl @behackl.dev · 18/11/2024
Hallo zusammen! 👋🦋 Ich bin Mathematiker an der @universityofgraz.bsky.social; mich interessieren Fragen vom Typ "Wie viele Möglichkeiten gibt es, ..." – und Computermathematik. Als side hustle maintaine ich das Animationstool manim.community & bin dabei manchmal via twitch.tv/behackl zu sehen. :-)
150
Benjamin Hackl @behackl.dev · 12/11/2024
it's really not that we are not trying to fix this. 🫠 the combination of a hard to reproduce issue with a pipeline that takes ~6min to fail per attempted fix is soul-draining. (only managed to trigger a similar fault locally while streaming -- where it fails hard enough to crash my stream 😵)
a long list of commits, each of them marked with a red cross signifying a failed pipeline
000
Benjamin Hackl @behackl.dev · 10/11/2024
another fun (blue) integration contour within a Δ-region (which is lovingly also referred to as a pacman- or camembert-region 🧀) #mathsky
130
Benjamin Hackl @behackl.dev · 10/11/2024
I am still doing horrendously bad puns for the chapters of my software dev course for future data scientists, just in case you were wondering 😌
title slide for a lecture: "Software Development, Chapter 5: The Good, the Bad, and the Ugly (Code)" with subtitle "Testing, DevOps, and Continuous Integration + Delivery".
000
Benjamin Hackl @behackl.dev · 04/11/2024
it's dangerous out there! take one of these fun integration contours.
021
Benjamin Hackl @behackl.dev · 20/10/2024
i must have been sleeping under a rock, i missed the native video support here on bsky! #mathsky animations here we go! 👀 how does the compression treat all (24 choose 3) = 2024 ways to color 3 out of 24 boxes in a grid?
1163
Benjamin Hackl @behackl.dev · 20/10/2024
last friday we practiced interacting with web APIs in my software dev course, and there is APIs for a lot of game franchises... so here is the distribution of name lengths among all current 1302 pokémon (incl. variations) 😄
010
Benjamin Hackl @behackl.dev · 08/10/2024
"contemporary analytic combinatorics"
100
Benjamin Hackl @behackl.dev · 03/10/2024
in case people walking past my office hear me chuckling, its because I just subtitled the set of slides for tomorrow's lecture _highway to shell_ 😌🔥
010
Benjamin Hackl @behackl.dev · 12/07/2024
✨New blog post! ✨ This semester, I decided to try something new for my lecture notes and went with Typst / @typstcommunity.bsky.social -- a very fun, enjoyable experience. Read more: benjamin-hackl.at/blog/2024/07...
000
Benjamin Hackl @behackl.dev · 05/06/2024
die unverbindliche handreichung [1] zur vorwissenschaftlichen arbeit enthält immer noch (jedenfalls seit 2020 [2]) die wahnwitzige formulierung bzgl. "fähigkeit zum eigenständigen wissenschaftlichen arbeiten". yikes. [1] www.bmbwf.gv.at/dam/jcr:17c1..., p9 [2] x.com/behackl/stat...
120
Benjamin Hackl @behackl.dev · 01/06/2024
¡hola, madrid!
010
Benjamin Hackl @behackl.dev · 12/05/2024
about this weekend! 🗼🍷🧀 einzig auf die ~30min stillstand in einem verkehrsinfarkt in der pariser innenstadt hätte ich gut verzichten können. 🥲
010
Benjamin Hackl @behackl.dev · 12/05/2024
als eindeutigen ausreißer: in beispiel 4 ("judo") musste (a) eine differenz zweier fünfstelliger zahlen berechnet, (b) die formel für eine fläche interpretiert werden. sicher das kürzeste BHS-beispiel in erinnerung (beachte: 9 BHS-beispiele ≈ 28 AHS-beispiele). 9/11
100
Benjamin Hackl @behackl.dev · 12/05/2024
zuletzt wird in 28)b) dann nochmal technologieeinsatz für eine exponentialgleichung gebraucht. okay (unüblich nur insoweit, als dass ich es bei AHS gewohnt bin, die meisten aufgaben schon auch analytisch angreifen zu können). 6/11
100
Benjamin Hackl @behackl.dev · 12/05/2024
über 28a)2) habe ich noch länger nachgedacht; das war wegen der verschachtelung in einer unteraufgabe unüblich: analytisches (oder numerisches) lösen der gleichung, mit ergebnis aus tabelle wert ablesen. (sprachlich IMO auch nicht ganz leicht verdaulich). 5/11
100
Benjamin Hackl @behackl.dev · 12/05/2024
in 27, "taschenlampen", fand ich die gegebene skizze ungewöhnlich klein um darin schmerzfrei trigonometrie zu betreiben. 4/11
100
Benjamin Hackl @behackl.dev · 12/05/2024
26 hat mich erwischt, kleine falle: eine funktion modelliert höhe während bungee-sprung. gesucht wird gesamt-dauer für mind. 70m über dem boden. nur numerische lösung, klar. würde gerne wissen, wie viele (wie ich) auf 2. gupf über 70 vergessen haben. 3/11
100
Benjamin Hackl @behackl.dev · 12/05/2024
folgend ein paar der AHS-aufgaben, die ich für (mehr oder weniger) außergewöhnlich halte. in 15 ist jene stelle einer funktion gesucht, bei der die tangentensteigung ein kästchen beträgt; lösung unten. atypisch für AHS: "unschöne" stelle + recht kleines toleranzintervall. 2/11
100
Benjamin Hackl @behackl.dev · 07/05/2024
mathematik-matura-tag; es wird schon fleißig in den klassenzimmern gearbeitet -- daumen drücken! 📝🍀 angaben und lösungen sind ab 16:00 online, ab 17:00 sehen wir uns dann via twitch.tv/behackl zum playthrough / speedrun. 🧮👀
Screenshot von matura.gv.at, ein aufgeschlagenes Buch.
Bildunterschrift: Haupttermin 2023/24 – Mathematik/Angewandte Mathematik (AHS/BHS/BRP) – Sie finden die Aufgaben- und Korrekturhefte ab 16:00 Uhr im Downloadbereich.
000
Benjamin Hackl @behackl.dev · 03/05/2024
Zwischenfeedback-Tag ist immer ein ziemliches Highlight. 😂
030
Benjamin Hackl @behackl.dev · 05/04/2024
Für unseren Tag der offenen Tür (und Schulbesuche) hab ich ein Spiel nachgebaut bei dem alle Lichter einzuschalten sind. 👀💡 (Mathematisch steckt da ein bisschen lineare Algebra -- Gleichungssysteme -- über "{0, 1} mit 1+1=0" dahinter. Fun! 🧮) Zum Ausprobieren: imsc.uni-graz.at/hackl/lights/
130
Benjamin Hackl @behackl.dev · 05/04/2024
fomo_setting_in.webp
110
Benjamin Hackl @behackl.dev · 17/03/2024
🥚-shaped friend demands more treats.
010
Benjamin Hackl @behackl.dev · 17/03/2024
#DiskreteMathematik: die Zahlen im Pascal'schen Dreieck (mit Ausnahme der "Spitze") entstehen durch Addition der beiden darüberliegenden Zahlen. Was sagt das in der Abbildung veranschaulichte "Hockey Stick Theorem"? 🏒🧐
001
Benjamin Hackl @behackl.dev · 13/03/2024
#DiskreteMathematik, Aufgabe 5: Party mit 4 Paaren bei den Browns, Händeschütteln zur Begrüßung, niemand gibt eigener:m Partner:in die Hand. Hr. Brown fragt jede:n, wie oft jeweils begrüßt wurde -- und erhält lauter verschiedene Antworten. Wie viele Hände hat Fr. Brown geschüttelt? 👋🧐
000
Benjamin Hackl @behackl.dev · 12/03/2024
Das, was Kollege Aistleitner schreibt: die Sorge, als einzige Frau in der Mathematik-VO zu sitzen ist unbegründet -- wobei wir uns auf dem Anteil von 35-40% natürlich auch nicht einfach ausruhen; das muss noch besser werden.
Leserbrief von Christoph Aistleitner (TU Graz) zur nicht mehr zeitgemäßen Bedienung des Klischees der "einzelnen Studentin" im Hörsaal bei der Mathematik-Vorlesung. Es gibt 35-40% Frauenanteil im Bachelorstudium Mathematik in Graz.
032
Benjamin Hackl @behackl.dev · 05/03/2024
Semester erfolgreich gestartet! Schade, dass wir nicht öfter dort sind -- zum Vortragen schon ein toller Raum. 😆
Ein Kinosaal, in dem die Tablet-Mitschrift aus einer Kombinatorik-Vorlesung auf die Leinwand projiziert wird.
000
Benjamin Hackl @behackl.dev · 05/03/2024
Semesterstart! Um 10:00 "spiele" ich heute im Geidorfkino den Auftakt zur "Diskreten Mathematik". 🍿🎟️ Starring: Zählen für Fortgeschrittene, Graphentheorie, und am Ende noch ein bisschen Spielen mit (Prim-)Zahlen (und Verschlüsselung). :-) online.uni-graz.at/kfu_online/e...
Ein zufälliger Spannbaum auf einem Rechtecksgraphen. Die Kanten sind je nachdem wie viele Runden sie überleben wenn fortlaufend die "Enden" abgeschnitten werden, dunkler gefärbt.
110
Benjamin Hackl @behackl.dev · 03/03/2024
Ich bereite ab sofort alle Vorlesungen mit Copilot vor. Macht sie vielleicht nicht richtiger, aber wesentlich kurzweiliger. 🔒😄 (Schubfachschluss -- vulgo Taubenschlagprinzip -- meint, dass wenn 10 Tauben auf 9 Taubenschläge aufgeteilt werden, in mind. einem Schlag mind. 2 Tauben sitzen müssen. 🕊️🕊️)
AI-Generierte (via Copilot) Beschreibung eines "Schubfachschlusses", nicht die gewünschte Beschreibung des mathematischen Prinzips. Der AI-Vorschlag ist: "Der Schubfachschluss ist ein Schloss, das in Schubfächern, Schränken und anderen Möbeln eingebaut wird. Es ist ein einfaches Schloss, das mit einem Schlüssel geöffnet und geschlossen wird. Es gibt verschiedene Arten von Schubfachschlössern, die sich in Größe, Form und Material unterscheiden. Einige Schubfachschlösser sind mit einem Zylinderschloss ausgestattet, das mit einem Schlüssel geöffnet und geschlossen wird. Andere Schubfachschlösser sind mit einem Drehknopf ausgestattet, der mit einem Schlüssel gedreht wird, um das Schloss zu öffnen und zu schließen. ..."
010
Benjamin Hackl @behackl.dev · 28/02/2024
Da gibt es eine ganze Reihe von verwandten Problemen. In den ~60ern hat Knuth das mit der Sortierung von Zugwagons mit Rangiergleisen motiviert, mathematisch passieren da ein paar sehr coole Dinge. :-)
110