14 Followers
62 Following
1.7K Posts
Learns a lot out of being interested in a lot, likes good food, changes through thinking and effort, cares for and calms the polycule with communication, takes breaks when everything is too loud.
Languagesde, en, maybe fr, la, is, others
Pronounsthey/them
Professioncomputer scientist and engineer, builds software with quality expectations
The Axiom of Univalence

Previously: Modeling Identity Types. On first viewing, the identity type seems odd. Does it make sense to replace the traditional yes/no equality predicate with an elaborate type of equality proofs…

  Bartosz Milewski's Programming Cafe
The Icelandic Punk Museum is pretty rad! And it's in a former public toilet!
Habemus https://de.wikipedia.org/wiki/R%C3%BAgbrau%C3%B0, also so als brave 🥔 darf ich mich jetzt wohlfühlen?
Rúgbrauð – Wikipedia

#Mosstodon Scouting Hafnarfjörður, finding a whole lotta mosses.
Überraschungs Baumharzschnuppertour 😍
Himmel ist pastell-neon hellblau bis rosa.
OH: "Das sieht halt auch aus wie das scheiß Dorf des Weihnachtsmanns. 😃" #vacation

«if Swartz’s actions were criminal, it is worth asking: What standard are we now applying to AI companies? The question is not simply whether copyright law applies to AI. It is why the law appears to operate so differently depending on who is doing the extracting and for what purpose. The stakes extend beyond copyright law or past injustices. They concern who controls the infrastructure of knowledge going forward and what that control means for democratic participation»

https://www.schneier.com/blog/archives/2026/01/ai-and-the-corporate-capture-of-knowledge.html

AI and the Corporate Capture of Knowledge - Schneier on Security

More than a decade after Aaron Swartz’s death, the United States is still living inside the contradiction that destroyed him. Swartz believed that knowledge, especially publicly funded knowledge, should be freely accessible. Acting on that, he downloaded thousands of academic articles from the JSTOR archive with the intention of making them publicly available. For this, the federal government charged him with a felony and threatened decades in prison. After two years of prosecutorial pressure, Swartz died by suicide on Jan. 11, 2013. The still-unresolved questions raised by his case have resurfaced in today’s debates over artificial intelligence, copyright and the ultimate control of knowledge...

Schneier on Security
Am I just too dense, or do neither Firefox, nor Chromium support TLS certificates with Ed25519?
Thinking about communicating harm. "Monopoly" is already being communicated as harmful in basic education, so why not focus on that? Bad actors have changed public understanding of other words, but not this one.