Show HN: Wyzer, a Statically Typed Language That Applies One Ownership Rule to Memory, Threads and Network Calls
Wyzer is a compiled, resource-oriented language using choreographic programming and a Perceus memory model, pitched as solving across processes what Rust solves within one — distributed deadlocks, protocol mismatches, and cross-service correctness — via a single ownership rule that covers memory management, thread coordination, and network communication simultaneously. The Show HN reached 201 points and 108 comments. The repo is notable for its transparency about AI involvement: it credits AI assistance for commit messages, research into choreographic programming and memory models, and logo design, and ships a CLAUDE.md, making it a working example of the disclosure norm OpenJDK just rejected outright.
↳ Follow the thread