@ytg@sopuli.xyz
YTG123
member since 11 Mar 2024 20:30
comments
- on gender neutrule terminology in c/onehundredninetysix@lemmy.blahaj.zone · 9h ago
-
on Paradox in c/programmer_humor@programming.dev · 3 Sep 2026
Indeed. [And caveat this whole comment with “as far as I understand” because this is maths and you can’t be too careful…] The difference being that set theory is way more fundamental and abstract than most mathematicians ever need, so on the one hand it can be completely stated with only 8 or 9 axioms (and a system of first-order logic) but on the other hand it can take some ingenuity to encode a mathematical object as a set in a way that makes it easy to do stuff correctly and hard to mess up.
Most type theories take a more intuitive approach, so they do resemble something, namely, functional programming. Just a very rigorous approach to it. If you manage to construct a term of the correct type, you can be sure that it’s what you think it is, whereas with set theory you have to constantly check yourself (if you require the rigor). The trade-off being that type theory requires you to work with complete rigor and reasoning at a low level can be more difficult than set-theoretic reasoning at a low level.
The TL;DR is that in type theory your constructions often look like what you actually want to do (and as a consequence you sometimes have to work directly with the underlying system, like a programming language), but in set theory there’s a disconnect between the conceptual level and the underlying nitty-gritty logic.
-
on Accents Rule in c/onehundredninetysix@lemmy.blahaj.zone · 2 Sep 2026
You ever hear a posh British man from the early-mid 1900’s talk?
So true. Definitely the most annoying thing about that accent (even more than the HAPPY vowel).
Apparently some Arabic-speaking enbys use the dual form أنتما but as most dialects have lost dual inflections, that’s not really practical in day-to-day speech.