Marcel(le)

@[email protected]
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
Marcel(le)Mar 11
Bartosz MilewskiMar 10
Another blog post in the HoTT series.
https://bartoszmilewski.com/2026/03/10/the-axiom-of-univalence/
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
Show threadMarcel(le)Feb 19
@schrotthaufen @Viss That's what I thought, no worries! Might have to look into making an order to gift it to myself. 😅
Show threadMarcel(le)Feb 19
@schrotthaufen @Viss Oooh! I'm interested now! 😃
Show threadMarcel(le)Feb 17
@fiepfiepfiep 🫂Gute Besserung!
Show threadMarcel(le)Feb 13
@nina_kali_nina Additional Protip: you can convert your beard into garlic beard (what I found out while eating)
Marcel(le)Feb 10
The Icelandic Punk Museum is pretty rad! And it's in a former public toilet!
Marcel(le)Feb 5
Habemus https://de.wikipedia.org/wiki/R%C3%BAgbrau%C3%B0, also so als brave 🥔 darf ich mich jetzt wohlfühlen?
Rúgbrauð – Wikipedia

Marcel(le)Feb 4
#Mosstodon Scouting Hafnarfjörður, finding a whole lotta mosses.
Marcel(le)Feb 4
Überraschungs Baumharzschnuppertour 😍
Show threadMarcel(le)Feb 2
Himmel ist pastell-neon hellblau bis rosa.