Spain Portugal border
CHINESEBOTTROLL
joined 2 years ago
Is there a difference between warlock and cleric?
Maybe a bit advanced for this crowd, but there is a correspondence between logic and type theory (like in programming languages). Roughly we have
Proposition ≈ Type
Proof of a prop ≈ member of a Type
Implication ≈ function type
and ≈ Cartesian product
or ≈ disjoint union
true ≈ type with one element
false ≈ empty type
Once you understand it, its actually really simple and "obvious", but the fact that this exists is really really surprising imo.
https://en.m.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
You can also add topology into the mix:
I use a breadmaker every few days, definitely worth it for me. The mental load compared to making it in the oven is just nothing. Just put the ingredients in (takes maybe 3 min) and go to sleep. (Idk if fire is possible but I have a fire alarm so...) Next day you have fresh bread. So wayyy too boring if you want to make bread as a hobby but perfect if you just want bread.
For "recipies" I just use flour, water, salt and yeast + maybe other stuff to change it up (egg, olive oil, sunflower seeds, nuts, olives...)