Show newer

"There are two hard things in computer science: cache invalidation, naming things, and off-by-one errors." ~ Phil Karlton

Logical Frameworks and Meta-Languages: Theory and Practice July 16, 2021 Pittsburgh, Pennsylvania, US

"The more I read, the more I acquire, the more certain I am that I know nothing." ~ Voltaire

International Conference on Functional Programming (ICFP) 2021, August 22-27

To enable global IPv6 forwarding between all interfaces use $ sudo sysctl -w net.ipv6.conf.all.forwarding=1

Show older

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!