popitter @[email protected]

The great cornholio! Opinions are my own, not of my emplyer. Erst: Proving stuff in Isabelle. Computer networks and security.

@[email protected]

[popitter @[email protected] @popitter_net]

Workshop: Introduction to Theorem Proving with Isabelle/HOL
Tuesday, January 14th, 2020.
https://t.co/ndO2JjCB8o #Meetup #München via @MeetupDE

[popitter @[email protected] @popitter_net]

@[email protected]

[Leslieoo7 🇺🇲 🇺🇦 @Leslieoo7]

@elonmusk This you?

[𝚢𝚊𝚝𝚑 @yath0r]

Mir egal, ob E10 teurer wird, hab hier in der Wohnung nur E14 und E27 🤷

[popitter @[email protected] @popitter_net]

@yath0r Das @debirdify zeigt mir ja immernochnicht dein neues Händel an. 🍗

[popitter @[email protected] @popitter_net]

Wow, I love https://t.co/tk2IabLGaV

Thanks @pruvisto

[Mastodon (@[email protected]) @joinmastodon]

At Mastodon, we present a vision of social media that cannot be bought and owned by any billionaire. Your ability to communicate online should not be at the whims of a single commercial company!

[popitter @[email protected] @popitter_net]

Wieso taucht https://t.co/Bu197xNQPp nicht auf https://t.co/vpvt1ktfZc auf und hat jemand einen invite?

[Lawrence Paulson @LawrPaulson]

Isabelle 2022 is out!
https://t.co/fTOanIzQrz

[popitter @[email protected] @popitter_net]

@yath0r pass the stack 🦜

[popitter @[email protected] @popitter_net]

@maithi_nk @renepickhardt Sobald wir allerdings etwas Zentralität erlauben wird alles einfacher (haben wir eh schon, danke Mai). Bsp Banken verstaatlichen, Geldschöpfung entziehen, und nur noch als Notary Service für eine Certificate-Transparency-like Chain verwenden. Energieproblem gelöst. Leicht radikal

[popitter @[email protected] @popitter_net]

@maithi_nk @renepickhardt Wer am meisten Energie verbrät ist die Mehrheit und bestimmt die Blockchain. Der Energieverbrauch kann also nicht sinken ohne es einem Bösewicht zu ermöglichen zu behaupten sie sei die Mehrheit.

[popitter @[email protected] @popitter_net]

@LawrPaulson @analytichegel When reading some of his philosophy, I thought the same, but for HOL.

[popitter @[email protected] @popitter_net]

"No, seriously, where is Issue #3?" @pagedout_zine @gynvael

[popitter @[email protected] @popitter_net]

@Profpatsch https://t.co/EniEpKhHq1

[popitter @[email protected] @popitter_net]

@fdp in die☝️
Meinten Sie "in die Krise"?

[Cem Özdemir @cem_oezdemir]

Mir fehlt hier irgendwie der redaktionelle Hinweis, dass die einseitige Abhängigkeit von fossilen Energieträgern uns überhaupt erst in diese Situation gebracht hat. #Klimastreik #Freiheitsenergien

[popitter @[email protected] @popitter_net]

@LeahNeukirchen Also je einmal eine € Münze für alle [0,1] ∈ ℝ wird zu viel. Aber eine Münze für alle [0,1] ∈ ℚ geht klar oder? Ist ja echt weniger ☝️

[popitter @[email protected] @popitter_net]

Unser Einkommensteuersystem verletzt das Prinzip der Progression!!! Jemand der 100k€ Einkommen hat, hat einen höheren Steuersatz als ein Besserverdiener mit 100k€ und 20 Cent!