Show more

Satisfiability Checking and Symbolic Computation Workshop July 5, 2020 Paris, France sc-square.org/CSA/workshop5.ht

23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning May 22-27, 2020, Alicante, Spain easychair.org/smart-program/LP

UNIF 2020 - 34th International Workshop on Unification, June 29, 2020 Paris, France unif2020.org/

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

Getting started with NATS: High performance messaging system and project of the CNCF itnext.io/getting-started-with

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 github.com/shawn-mcginty/nabor

Show more
Mastodon

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!