Seeking kinder ways of being thru collaboration in philosophy, programming, formal methods, & poetics. — Allophilia + Sy
All private interactions must abide by the code of conduct
OCaml, Haskell, Type Driven Design, Python, Prolog
Nix, Build Systems, Coq, DAML, Rust, Docker, k8s, Category Theory
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.