Lukas

Software, Mathematics and the Internet.

[Lukas @xQuber]

Endlich mal ein Wahlplakat, das hält, was es verspricht.

[Die PARTEI Hof @die_partei_hof]

#Lobbyland abschaffen mit mehr #Transparenz

[Lukas @xQuber]

When your surgery is successful

[Lukas @xQuber]

„WEN bezeichnest du hier als primitiv rekursiv???“ – „Weiß ich nicht. Frag mal mich!“ – „WEN bezeichnest du hier als primitiv rekursiv???“ – Weiß ich nicht. Frag mal mich!“ – „WEN bezeichnest du hier als primitiv rekursiv???“ – Weiß ich nicht. Frag mal mich!“

[Joel David Hamkins @JDHamkins]

The lattice of sets of natural numbers is rich.
It is universal for all countable orders; it has uncountable chains isomorphic to the reals; it has uncountable antichains; yet it is highly homogeneous. https://t.co/wXdJzRSNCQ

[Martin Thoma @_martinthoma]

Timezone-aware and unaware datetimes should not be mixed in #Python. There is a way to make #mypy check this ( https://t.co/83rZI4Za7S ), but type casting feels like a hack.

@raymondh, there must be a better way! (Hopefully?)

[Lukas @xQuber]

I gotta say I'm disappointed by the geopolitical influence that's surrounding smooth geometry. I mean who came up with the name “de-frenchable map”?

[Lexi ⭐️✨🤍 @EyeAmLexi]

@cbrennansports *squints* he also refused to wear a medal…

Oh wait…

[Lukas @xQuber]

@JustAGDSNThings „Kannst du deinen Arm ein bisschen nach links schieben?“ – „Bei diesen Platzbedingungen? switchwierig.“

[Lukas @xQuber]

This year there's gonna be a public talk at 2021-06-08, 7pm UTC+2 at https://t.co/QWI7gqTR0X! Bring a beverage of your choice and join in! #yoneda #appreciation #day

[Ben Spitz (63/100 improv meals) @DiracDeltaFunk]

When a mathematician gets very excited, they are said to be "russelled up", since they cannot contain themselves.

[Armin Ronacher ⇌ @mitsuhiko]

I really appreciate that the new edition blog post has this in it.

[Lukas @xQuber]

„This level of implementation detail knowledge is probably unwise to rely on.“ That's one of the more professionally worded criticisms I've heard in a while. https://t.co/FQ4mBqPZly

[Lukas @xQuber]

Wie nennt man ein eindimensionales, Noethersches, ganz geschlossenes Kaufhaus?

Einen Dedeka.

[Lukas @xQuber]

@ixquadrat Ist mir letztens passiert. Der Hausarzt kann für dich neben einem Neuen Pass auch einen Immunitätscheck anstoßen, um rauszufinden, was dir fehlt / aufgefrischt werden muss.

[Lukas @xQuber]

@desperatio11 The sky is your limit 😎

[Lukas @xQuber]

„Oh, der Rechner hat ja ne Platte!“ – „Kannst ja zu Rad i.O. gehen, die haben ne öffentliche Luftpumpe“ #JustAGDSNThings

[Hendrik Wolff @hendrikw0lff]

Ein nicht funktionierendes Netzwerk wird auch Notwork genannt. #JustAGDSNThings

[Lukas @xQuber]

@ViviansFenster *stares at own age for a few years until the twenties are over*
…aw, crap

[Lukas @xQuber]

Sporadic connection-state errors are the worst. I've been staring at a growing number for hours just to confirm a timeout hypothesis. #JustAGDSNThings