I remember recently reading a new paper elaborating a novel presentation of graph algebras. But I can't for the life of me remember the title or the author.
The central idea was axiomatizing vertices as pairs of sets of all incoming and outgoing edges.
It also had example code in Haskell.
Does anybody have an idea of the title? I'd be very thankful for suggestions.
I think I’m ready for my talk at our two-day proof theory workshop, starting tomorrow: https://consequently.org/presentation/2024/lambda-mu-arche/ — I have a lot to pack in to 25 minutes, so the monster-sized handout contains some of the details I’ll skim over in the talk.
„Etwa 400 Polizistinnen und Polizisten der Länder stehen unter Rechtsextremismus-Verdacht.
(..)
Die tatsächliche Zahl dürfte höher liegen, da mit Berlin, Mecklenburg-Vorpommern, Bremen und Thüringen vier Bundesländer keine aktuellen Zahlen liefern konnten, wie es hieß.“
Die Staatsanwaltschaft Neuruppin prüft, ob sie die @AufstandLastGen als kriminelle Vereinigung im Sinne des „Mafia-Paragraphen“ anklagt. Allein schon die Prüfung ist ein Angriff auf die Zivilgesellschaft. Eine Anklage wäre ein Skandal. Bis zum 28. März kann jede*r eine Stellungnahme abgeben. Hier könnt ihr mitmachen: https://menschengegenoel.org/Stellungnahme_Neuruppin
Die Bauern haben Mist gebaut - wo bleibt die Empörung?
In Brandenburg haben Bauern aus Protest Misthaufen auf die Fahrbahn gekippt. Mehrere Menschen wurden verletzt. Aber anders als bei der "Letzten Generation" regt sich kaum jemand darüber auf. Warum? Von Jacqueline Piwon.
@tagesschau Die entscheidende Information fehlt, nämlich ob der «gefährliche Eingriff in den Strassenverkehr» auch strafrechtlich verfolgt wird. Immerhin sind dadurch Menschen zu Schaden gekommen.
Boeing and Intel are two sides of the same coin with regard to the perils of quarterly earnings. It takes a lot of investment to maintain quality and technical leadership which to bean counters are costs that can be optimized.
So you get short term gains but wrecks you long term
Unterlagen fehlen: Boeing-Skandal wird immer größer
Ein toter Whistleblower, überschriebene Videos und nun auch noch angeblich unauffindbare Unterlagen: Der Flugzeugbauer Boeing stürzt immer tiefer in die Krise. Die Unfallermittlungsbehörde NTSB ist alarmiert.
Sicherlich angemessen wäre ein vorläufiger, kompletter Produktionsstopp, umfangreiche Mitarbeiterschulung auf allen Ebenen, Wiedereingliederung des Zulieferers Spirit.
Num voxpop do tiktok 3 pessoas admitem ter votado CH "pra ser diferente, pra ver se muda alguma coisa". Em suma, houve gente a votar CH por aborrecimento. São essas pessoas que merecem um governo do CH e são essas pessoas que só aprenderão que se calhar aborrecimento nem é assim tão mau depois de experimentarem "algo diferente".
@bossito Sabe que foi assim que os Nazis, sem maioria, chegaram ao poder na Alemanha? Os conservadores acharam que o Hitler ia falhar como chanceler e assim perder o seu brilho.
Die ganze Hyperventilation dieses Themas in der deutschen Öffentlichkeit war total unnötig. Natürlich ist die Entsendung von Truppen denkbar. (Ich habe grade dran gedacht, QED)
Ob, wann und in welcher Form hätte man ostensiv offen lassen können. Man verpflichtet sich damit zu nichts.
Dass deutsche Spitzenpolitiker nicht darauf kommen, diese Position einzunehmen, und gegenüber einer schreckhaften Wählerschaft zu erklären in der Lage sind, macht mich offen gesagt fassungslos.
Das war eine ganz entzückende #Landpartie heute: Danke an die Gastgeber*innen und Grüße an die Mitreisenden! Der Geschmack von #Topinambur-Chips begleitet mich nachhause.
Warum aber Windenergieanlagen schlimmer sind als tropische Hallen, müsste mir noch erklärt werden.
People often ask me why is Finland allegedly the happiest country in the world.
I tell you one thing. I have this sticker on my doors. And for the 18 months I live here I haven't had a single leaflet or advert put into my mail box.
I had "proszę nie wrzucać ulotek" when I lived in Poland and nobody cares. I had "no junk mail please" in Scotland and I had tonnes of takeaway menus and Lidl booklets threw in every week.
Here - nothing, despite our communal paper bin being full of those. 1/2
