Graded Modal Dependent Type Theory, but that's mostly because only "dozens of" people know it exists.
this post was submitted on 17 Oct 2025
144 points (97.4% liked)
Ask Lemmy
35390 readers
1613 users here now
A Fediverse community for open-ended, thought provoking questions
Rules: (interactive)
1) Be nice and; have fun
Doxxing, trolling, sealioning, racism, and toxicity are not welcomed in AskLemmy. Remember what your mother said: if you can't say something nice, don't say anything at all. In addition, the site-wide Lemmy.world terms of service also apply here. Please familiarize yourself with them
2) All posts must end with a '?'
This is sort of like Jeopardy. Please phrase all post titles in the form of a proper question ending with ?
3) No spam
Please do not flood the community with nonsense. Actual suspected spammers will be banned on site. No astroturfing.
4) NSFW is okay, within reason
Just remember to tag posts with either a content warning or a [NSFW] tag. Overtly sexual posts are not allowed, please direct them to either !asklemmyafterdark@lemmy.world or !asklemmynsfw@lemmynsfw.com.
NSFW comments should be restricted to posts tagged [NSFW].
5) This is not a support community.
It is not a place for 'how do I?', type questions.
If you have any questions regarding the site itself or would like to report a community, please direct them to Lemmy.world Support or email info@lemmy.world. For other questions check our partnered communities list, or use the search function.
6) No US Politics.
Please don't post about current US Politics. If you need to do this, try !politicaldiscussion@lemmy.world or !askusa@discuss.online
Reminder: The terms of service apply here too.
Partnered Communities:
Logo design credit goes to: tubbadu
founded 2 years ago
MODERATORS
Chemistry, physics, engineering, safety systems, and AI.
I undoubtedly know more about fire than the average user here.
I'm a circus performer with a decade of experience with fire performance/tech/safety. I teach other fire performers from beginners to professionals.
load more comments
(2 replies)
I am sure there are some cryptologists here, soo.. Nothing? Anyway, I know a bit about how RSA is inferior to eliptic-curve based schemes, and how security can be such a diverse and complicated topic than simple two-party communications.
Game development; Addiction.
Herpetology is my thing