Benjamin Hackl
@behackl.dev
Postdoc for math and software at @uni-graz.at, Austria. I like counting things. And computers.
Maintainer of Python animation thingy, manim.community
Maintainer of Python animation thingy, manim.community
99 🎈 ~ live from schlossberg, graz 🎶
August 16, 2025 at 7:36 PM
99 🎈 ~ live from schlossberg, graz 🎶
heute auch im programm beim MINT-kongress: ein besonders wichtiger (und launiger) vortrag "wie reden wir über wissenschaft?" von @florianaigner.at :-)
February 26, 2025 at 12:46 PM
heute auch im programm beim MINT-kongress: ein besonders wichtiger (und launiger) vortrag "wie reden wir über wissenschaft?" von @florianaigner.at :-)
... 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. 🚂👀🧑💻
Noch ein Foto vom Bahnhof; wenn ich ein bisschen mehr Zeit hätte, wäre das ein sehr netter Remote-Arbeitsplatz. 🚂👀🧑💻
February 17, 2025 at 9:22 AM
... 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. 🚂👀🧑💻
Noch ein Foto vom Bahnhof; wenn ich ein bisschen mehr Zeit hätte, wäre das ein sehr netter Remote-Arbeitsplatz. 🚂👀🧑💻
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... 🚆)
(Außerdem auch meine erste Testfahrt über den Teilabschnitt Klagenfurt – Wolfsberg der Koralmbahn, die später dieses Jahr den Betrieb aufnimmt... 🚆)
February 17, 2025 at 7:19 AM
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... 🚆)
(Außerdem auch meine erste Testfahrt über den Teilabschnitt Klagenfurt – Wolfsberg der Koralmbahn, die später dieses Jahr den Betrieb aufnimmt... 🚆)
langsam wird das was mit dem wach werden. 🙂↕️
February 11, 2025 at 6:06 AM
langsam wird das was mit dem wach werden. 🙂↕️
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). 🧵⤵️
Für die Mathematik im Dienst: Eleonore Faber (Probe-VO zu Symmetrien), Christina Krause (Vorstellung Mathe-Didaktik), + ich (Lichterpuzzle + Gleichungssysteme). 🧵⤵️
February 10, 2025 at 9:57 PM
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). 🧵⤵️
Für die Mathematik im Dienst: Eleonore Faber (Probe-VO zu Symmetrien), Christina Krause (Vorstellung Mathe-Didaktik), + ich (Lichterpuzzle + Gleichungssysteme). 🧵⤵️
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)...
January 31, 2025 at 12:08 PM
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)...
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
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
January 31, 2025 at 12:08 PM
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
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
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
www.krone.at/3670943
January 30, 2025 at 1:02 PM
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
www.krone.at/3670943
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...
Restplätze verfügbar! Mehr: mathematik.uni-graz.at/de/studiense...
January 23, 2025 at 9:44 PM
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...
Restplätze verfügbar! Mehr: mathematik.uni-graz.at/de/studiense...
⚠️ 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 ... ⬇️
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 ... ⬇️
January 23, 2025 at 9:44 PM
⚠️ 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 ... ⬇️
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 ... ⬇️
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
curated changelog: docs.manim.community/en/stable/ch...
#opensource #python #animation #devlog
January 20, 2025 at 2:35 PM
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
curated changelog: docs.manim.community/en/stable/ch...
#opensource #python #animation #devlog
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
maybe there is more to it... :-) #mathsky
November 22, 2024 at 1:48 PM
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
maybe there is more to it... :-) #mathsky
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. 👀
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. 👀
November 22, 2024 at 1:22 PM
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. 👀
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. 👀
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).
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).
November 19, 2024 at 12:55 AM
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).
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).
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. :-)
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. :-)
November 18, 2024 at 10:02 AM
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. :-)
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. :-)
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 😵)
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 😵)
November 12, 2024 at 8:07 AM
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 😵)
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 😵)
another fun (blue) integration contour within a Δ-region (which is lovingly also referred to as a pacman- or camembert-region 🧀) #mathsky
November 10, 2024 at 12:14 PM
another fun (blue) integration contour within a Δ-region (which is lovingly also referred to as a pacman- or camembert-region 🧀) #mathsky
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 😌
November 10, 2024 at 10:08 AM
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 😌
it's dangerous out there! take one of these fun integration contours.
November 4, 2024 at 8:00 PM
it's dangerous out there! take one of these fun integration contours.
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?
how does the compression treat all (24 choose 3) = 2024 ways to color 3 out of 24 boxes in a grid?
October 20, 2024 at 11:15 AM
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?
how does the compression treat all (24 choose 3) = 2024 ways to color 3 out of 24 boxes in a grid?
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) 😄
October 20, 2024 at 8:22 AM
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) 😄
"contemporary analytic combinatorics"
October 8, 2024 at 9:50 AM
"contemporary analytic combinatorics"
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_ 😌🔥
October 3, 2024 at 10:33 AM
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_ 😌🔥
✨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...
July 12, 2024 at 7:13 PM
✨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...