Deputy Sheriff The Viking Programmer pinned «https://t.me/nixos_en https://t.me/programmers_unite @GNUNews @GNUMeme @GNUFAQ @GNUPropaganda https://t.me/programmingresources https://t.me/typetheoryinprogramming https://thedevs.network https://t.me/DwarfFortressEn https://t.me/thinkpadgeneral https://…»
Deputy Sheriff The Viking Programmer
https://t.me/nixos_en https://t.me/programmers_unite @GNUNews @GNUMeme @GNUFAQ @GNUPropaganda https://t.me/programmingresources https://t.me/typetheoryinprogramming https://thedevs.network https://t.me/DwarfFortressEn https://t.me/thinkpadgeneral https://…
Relevant groups worthy of attention
"Stephen Hawking wouldn't want anything to do with me I can't even speak"
- My sister (Without realizing what she said until shortly after)
- My sister (Without realizing what she said until shortly after)
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.