Forwarded from Pure & constructive mathematics in theory and use
Guarded computational type theory
https://arxiv.org/abs/1804.09098
A type theory capuring the notion of productivity while being a compuational metalanguage.
[Thanks to petercommand]
https://arxiv.org/abs/1804.09098
A type theory capuring the notion of productivity while being a compuational metalanguage.
[Thanks to petercommand]
Forwarded from Deleted Account
I mean ♥python♥ , but I am honestly curious
Forwarded from Brett G.
dont worry, we can cure you of this illness
Forwarded from The Dark Jedi of Debian
Business Insider Australia
A Windows bug is so bad that even the NSA is urging PC users to update
Microsoft and the National Security Agency are urging Windows computer users to update their older operating systems after a vulnerability was discovered that could lead to malware similar to the devastating “WannaCry” ransomware from 2017.