Blog • stefan’s feed

The Futurama theorem

stefan · Saturday, 8 January - 10:45

The Futurama theorem is a real-life mathematical theorem invented by Futurama writer Ken Keeler (who holds a PhD in applied mathematics), purely for use in the Season 6 episode "The Prisoner of Benda".

The HoTT Game

Saturday, 8 January - 10:45

The Homotopy Type Theory (HoTT) Game is a project written by mathematicians for mathematicians interested in HoTT and no experience in proof verification, with the aim of introducing cubical agda as a tool for trying out mathematics in HoTT.

stefan · Saturday, 8 January - 10:45

Best Illusion of The Year 2021 Contest finalists

State of bathing waters

Saturday, 8 January - 10:45

A map showing bathing water locations and their quality.

stefan · Wednesday, 15 December - 00:00

A deep dive into an NSO zero-click iMessage exploit: Remote Code Execution

„Meilenstein“ im Kampf gegen Onlineriesen

stefan · Tuesday, 14 December - 23:32

Einer der zentralen Punkte des DMA ist: In Zukunft sollen die Gatekeeper zur Interoperabilität ihrer Kerndienste gezwungen werden. Netzpolitik-Journalist Alexander Fanta erklärt gegenüber ORF.at: „Das bedeutet etwa, dass WhatsApp-Nutzer Nachrichten mit den Nutzern anderer Dienste wie etwa Telegram oder Signal austauschen können.“

Thursday, 9 December - 00:00

Chrome Users Beware: Manifest V3 is Deceitful and Threatening

stefan · Saturday, 4 December - 00:00

Fixing No Activity found to handle Intent android.intent.action.CREATE_DOCUMENT after debloating my Android device