Show more

Satisfiability Checking and Symbolic Computation Workshop July 5, 2020 Paris, France

23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning May 22-27, 2020, Alicante, Spain

UNIF 2020 - 34th International Workshop on Unification, June 29, 2020 Paris, France

watched "Lambda, the Ultimate TA: Using a Proof Assistant to teach Programming Language Foundations" by Benjamin C. Pierce (~1 h)

Getting started with NATS: High performance messaging system and project of the CNCF

To identify Intel architecture family on GNU/Linux use $ cat /sys/devices/cpu/caps/pmu_name

Naboris is a simple, fast, minimalist web framework for /ReasonML built on httpaf and lwt

Show more

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!