björn gohla 🚀🚀🚀

math. programming. fancy types.

[björn gohla 🚀🚀🚀 @6d03]

Find me on #Mastodon. I will not be tweeting new content here anymore. https://t.co/wN7rc3EC89

#mastodonmigration

[björn gohla 🚀🚀🚀 @6d03]

«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»

https://t.co/bz6wJrMNvG

[björn gohla 🚀🚀🚀 @6d03]

https://boohoo.iam.crybaby.elon/@bcantrill/109524547951028706

[björn gohla 🚀🚀🚀 @6d03]

Pretty fair take: 《Weeks ago, I wrote that Twitter felt like the Berlin Wall coming down:

https://t.co/VIxzuvfkJa

Today, however, with the mendacious and foolish banning of Mastodon links on Twitter, I am reminded of when the Berlin Wall went *up*, a...

[björn gohla 🚀🚀🚀 @6d03]

...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. 》

[björn gohla 🚀🚀🚀 @6d03]

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...

[björn gohla 🚀🚀🚀 @6d03]

Find me on #Mastodon. I will not be tweeting new content here anymore. https://t.co/wN7rc3EC89

#mastodonmigration

[björn gohla 🚀🚀🚀 @6d03]

@IsomorphicPhi Surprised no one has mentioned variable exponents. I.e., where p is a function on the domain.

[Christopher Lauer™ @Schmidtlepp]

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.

[björn gohla 🚀🚀🚀 @6d03]

New blog post about slightly advanced Haskell https://t.co/dHSOU2Qz3I

[Christopher Lauer™ @Schmidtlepp]

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

[björn gohla 🚀🚀🚀 @6d03]

@christophploss @cducsubt Ah, der mit dem Geldkoffer.

[björn gohla 🚀🚀🚀 @6d03]

@ArminLaschet Der mit dem Geldkoffer?

[björn gohla 🚀🚀🚀 @6d03]

@JohannesVarwick Solange es um militärische Ziele geht, ist das völlig legitim.

[björn gohla 🚀🚀🚀 @6d03]

@Lusa_noticias https://t.co/C1JJ4kwDMj

[Jean Quatremer @quatremer]

Vraiment ? Je vous conseille la lecture de l’article 21 du règlement intérieur avant de titrer une telle bêtise… Ce sont ses délégations qui lui sont retirées

[Paul Poast @ProfPaulPoast]

Yes, European Integration is about peace.

Peace WITH Germany, full stop.

[THREAD]

[björn gohla 🚀🚀🚀 @6d03]

@JohannesVarwick Andere Alternative: die Russen fahren zu Hölle.

[Alea Iacta Est Podcast @AleaPod]

Sumus ALEA IACTA EST, D&D acroama!

🎲🎭Magister Ludi: @toutovlepo
🎻🎶Canticulus: @fireyarc
🍃🐅Cimbris: @FoundnAntiquity
🧟🪄Corion: @AnteronXXV
🗡️🥷Sulpicia: @caerulia

Subscribete! Novi episodi Diebus Solis edentur ⬇️

[Jan Schnellenbach @schnellenbachj]

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.