Jeremy
@jrmyd.bsky.social
🇫🇷 of 🇵🇹 descent, married to 🇮🇹 in 🇳🇱.
- Formerly worked in quantum cryptography (PhD), specifically in making protocols device independent using non locality.
- Now design/code some (non quantum) algorithms
- Like FOSS
- Like logic/CS/maths/physics
🗣️ 🇫🇷🇬🇧🇮🇹🇵🇹🇪🇸
- Formerly worked in quantum cryptography (PhD), specifically in making protocols device independent using non locality.
- Now design/code some (non quantum) algorithms
- Like FOSS
- Like logic/CS/maths/physics
🗣️ 🇫🇷🇬🇧🇮🇹🇵🇹🇪🇸
Not that anyone asked, but here is a "proof" of `¬¬¬P⇒¬P` in ... Python 😅😂
The type is a bit ugly because it seems that we can't use type variables in type aliases in Python, so I can't easily define the type `Not[P] = Callable[[P], NoReturn]`, where `NoReturn` is the (or an) empty type in Python.
The type is a bit ugly because it seems that we can't use type variables in type aliases in Python, so I can't easily define the type `Not[P] = Callable[[P], NoReturn]`, where `NoReturn` is the (or an) empty type in Python.
January 31, 2025 at 7:01 AM
Not that anyone asked, but here is a "proof" of `¬¬¬P⇒¬P` in ... Python 😅😂
The type is a bit ugly because it seems that we can't use type variables in type aliases in Python, so I can't easily define the type `Not[P] = Callable[[P], NoReturn]`, where `NoReturn` is the (or an) empty type in Python.
The type is a bit ugly because it seems that we can't use type variables in type aliases in Python, so I can't easily define the type `Not[P] = Callable[[P], NoReturn]`, where `NoReturn` is the (or an) empty type in Python.