Joined August 2009
- Tweets 2,664
- Following 416
- Followers 65
- Likes 4,132
63 Photos and videos
Pinned Tweet
25 Nov 2022
Find me on #Mastodon. I will not be tweeting new content here anymore. mathstodon.xyz/@6d03
#mastodonmigration
1
2
4 Jan 2023
«My attempt at pretty printing type safe permutations as string diagrams:
(I am also, looking for suggestions for better line graphics)
#haskell #dependenttypes #symmetricgroup #stringdiagram»
mathstodon.xyz/@6d03/1096318…
1
81
18 Dec 2022
Pretty fair take: 《Weeks ago, I wrote that Twitter felt like the Berlin Wall coming down:
dtrace.org/blogs/bmc/2022/11…
Today, however, with the mendacious and foolish banning of Mastodon links on Twitter, I am reminded of when the Berlin Wall went *up*, a...
1
43
18 Dec 2022
...capricious and cowardly act that shocked all Berliners. East Berliners -- even those who didn't necessarily hate the regime -- *hated* the wall; if it needs a wall to keep people in, Musk's Twitter will surely share the GDR's fate. 》
1
37
25 Nov 2022
Find me on #Mastodon. I will not be tweeting new content here anymore. mathstodon.xyz/@6d03
#mastodonmigration
1
2
18 Dec 2022
Apparently links to mastodon are now against @Twitter TOS, so this post or profile might go away.
Really underlines what a #patheticloser @elonmusk is.
Oh well...
37
björn gohla 🚀🚀🚀 retweeted
16 Dec 2022
Nochmal: Der „Durchbruch in der Kernfusion“ ist ein Prozess, in dem 192 UV-Laser mit ca. 400 MJ hochgefahren werden, um dann 2 MJ Energie auf ein Wasserstoffpellet zu schießen, das dann 3 MJ Energie durch Fusion abgegeben hat. 402 MJ für 3 MJ, mehr als 99% Energieverlust.
128
190
1,773
275,432
björn gohla 🚀🚀🚀 retweeted
14 Dec 2022
Also, ich hab ja mal Physik und Astronomie studiert und als Wissenschafts- und Technikhistoriker finde ich das Thema Kernfusion natürlich sowieso interessant, weil es im 20. Jh. oft hieß, dass die Fusion in 10/20/50 Jahren steht. Umso enttäuschender ist das politische Echo auf
37
254
1,449
björn gohla 🚀🚀🚀 retweeted
10 Dec 2022
Yes, European Integration is about peace.
Peace WITH Germany, full stop.
[THREAD]
70
546
3,104
björn gohla 🚀🚀🚀 retweeted
24 Nov 2022
Sumus ALEA IACTA EST, D&D acroama!
🎲🎭Magister Ludi: @toutovlepo
🎻🎶Canticulus: @fireyarc
🍃🐅Cimbris: @FoundnAntiquity
🧟🪄Corion: @AnteronXXV
🗡️🥷Sulpicia: @caerulia
Subscribete! Novi episodi Diebus Solis edentur ⬇️
3
13
33
björn gohla 🚀🚀🚀 retweeted
21 Nov 2022
Alle UEFA-Teams drohen gemeinsam mit Abreise. Sollte relativ leicht zu koordinieren sein. Und dann mal gucken, was die FIFA macht.
Aber wenn man seine eigene Verhandlungsmacht nicht nutzt, dann will man halt auch nicht wirklich.
154
317
4,646
björn gohla 🚀🚀🚀 retweeted
16 Nov 2022
'General category theory springs no nasty surprises: any sensible equation you can write down is true.' -- Tom Leinster
5
17
björn gohla 🚀🚀🚀 retweeted
15 Nov 2022
Advice from one of the authors of Common Lisp on PL work: established languages tend to win in their domain. It really helps if you enjoy working in this space.
(There is a ton of PL skill and insight in the smaller languages IME.)
pldb.com/posts/scottFalhmanI…
1
5
19
björn gohla 🚀🚀🚀 retweeted
11 Nov 2022
"Ello, I wish to register a complaint"
61
1,210
4,746
11 Nov 2022
Made me chuckle
11 Nov 2022
Kremlin states that goals of "special operation" can be achieved through negotiation pravda.com.ua/eng/news/2022/…
björn gohla 🚀🚀🚀 retweeted
11 Nov 2022
Die erste afghanische #Ortskraft hat vor dem #Afghanistan-UA ausgesagt. Samim Jabari hatte in Afghanistan für die #Bundeswehr gearbeitet. Als im August 2021 die #Taliban das Land übernahmen, wollte er - wie tausende andere - mit seiner Familie fliehen. Ein Thread von @martinkaul
44
76
165