Show HN: Wyzer Programming Language

Wyzer is a new statically typed, compiled programming language designed to address safety issues in distributed systems through choreographic programming and a Perceus memory model. Unlike Rust, which only guarantees safety within a single process, Wyzer aims to prevent distributed deadlocks, protocol mismatches, and cross-service correctness issues. The language features immutable variables by default, explicit syntax, and is designed to be simple and easy to read.