https://news.1rj.ru/str/nixos_en
https://news.1rj.ru/str/programmers_unite
@GNUNews @GNUMeme @GNUFAQ @GNUPropaganda
https://news.1rj.ru/str/programmingresources
https://news.1rj.ru/str/typetheoryinprogramming
https://thedevs.network
https://news.1rj.ru/str/DwarfFortressEn
https://news.1rj.ru/str/thinkpadgeneral
https://news.1rj.ru/str/linux_group
https://scm.pw/
https://news.1rj.ru/str/joinchat/HXIeV1ERa4gTUNj0b491CQ
https://news.1rj.ru/str/programmers_unite
@GNUNews @GNUMeme @GNUFAQ @GNUPropaganda
https://news.1rj.ru/str/programmingresources
https://news.1rj.ru/str/typetheoryinprogramming
https://thedevs.network
https://news.1rj.ru/str/DwarfFortressEn
https://news.1rj.ru/str/thinkpadgeneral
https://news.1rj.ru/str/linux_group
https://scm.pw/
https://news.1rj.ru/str/joinchat/HXIeV1ERa4gTUNj0b491CQ
Telegram
NixOS 🤯
Rules:
https://news.1rj.ru/str/nixos_en/90902
This is an unofficial group.
Also join:
https://news.1rj.ru/str/nix_org
https://news.1rj.ru/str/nixos_en/90902
This is an unofficial group.
Also join:
https://news.1rj.ru/str/nix_org
Deputy Sheriff The Viking Programmer pinned «https://news.1rj.ru/str/nixos_en https://news.1rj.ru/str/programmers_unite @GNUNews @GNUMeme @GNUFAQ @GNUPropaganda https://news.1rj.ru/str/programmingresources https://news.1rj.ru/str/typetheoryinprogramming https://thedevs.network https://news.1rj.ru/str/DwarfFortressEn https://news.1rj.ru/str/thinkpadgeneral https://…»
"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.