Obesity is driven by ultra processed food. https://youtu.be/5QOTBreQaIk
andreasdotorg
- 228 Followers
- 2.2K Following
- 813 Posts
Hacker
@chrisamaphone Assuming we live in constructive logic, there's types as propositions. Using that, we can state that:
* By using type inference, we can calculate the type from an expression. Thus, we can calculate the theorem from the proof quite directly.
* Every proof is a proof for exactly one theorem, following from the fact that every expression has well-defined type.
* By using type inference, we can calculate the type from an expression. Thus, we can calculate the theorem from the proof quite directly.
* Every proof is a proof for exactly one theorem, following from the fact that every expression has well-defined type.
Still broken. 😥
My firefish timeline is broken. 80% of the cases, I am getting an error message, 20%, a stale timeline that's a day old.
*waves hello to @[email protected]*
*waves hello to @[email protected]*
Martin 🪷 Schmitz
flashzelleI've been reading a lot about sexual lubricants in the last few days, and I'll share my learnings with you in this thread - because it seems that most people have never even heard of the most common lube safety issues, and a lot of unsafe lubes are sold everywhere.
Basically, there's four different kinds of lube that are sold for sexual stuff:
- water based
- hybrid
- silicone
- oil-based
Each of them has specific safety issues that are good to know about, so you don't hurt your skin and don't destroy your toys, condoms, etc.
@bkastl Da fehlt es offensichtlich an der richtigen Steak-Holder-Analyse!
badummtsss.gif
badummtsss.gif
@phaidros Mal da anfangen. https://mechanicalkeyboards.com/keyboard_guide.php
Grundsätzlich ist eine Handballenauflage der erste Schritt Richtung Gelenkschonung. Prinzipiell sind geteilte Keyboards wegen des besseren Winkels auch gut, aber tendenziell Lernkurve beim Umstellen verbunden.
Grundsätzlich ist eine Handballenauflage der erste Schritt Richtung Gelenkschonung. Prinzipiell sind geteilte Keyboards wegen des besseren Winkels auch gut, aber tendenziell Lernkurve beim Umstellen verbunden.
@levampyre @BarbNerdy ja, habe ich. Die Krankenkasse hatte zum Glück alle Nachweise, so dass ich nicht jeden Arbeitgeber einzeln abklappern musste. Die Rentenversicherung hatte schlicht 10 Jahre meines Erwerbslebens vergessen. Der komplette Prozess, das zu beheben, hat 5 Jahre gedauert.