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
@schrotthaufen @Viss That's what I thought, no worries! Might have to look into making an order to gift it to myself. 😅
@schrotthaufen @Viss Oooh! I'm interested now! 😃
@fiepfiepfiep 🫂Gute Besserung!
@nina_kali_nina Additional Protip: you can convert your beard into garlic beard (what I found out while eating)
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.