Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...