Wyzer Programming Language
Details
- External ID
- 49209385
- Source
- HN
- Company
- —
- Product
- Deeplearning from Scratch in 1400 Lines In my own Programming Language
- Website domain
- github.com
- Launched
- Aug. 7, 2026
- Cohort
- —
- Upvotes
- 227
- Upvotes percentile
- 0.9758064516129032
- Tags
- —
- Fetched at
- Sept. 10, 2026, 5:32 a.m.
- Updated at
- Sept. 10, 2026, 5:32 a.m.
Description
So i've been working on this project since a few days (or months i should say), it's called wyzer (meaning wiser) it's a statically typed, compiled, resource-oriented programming language with integrated distributed safety via choreographic programming and perceus memory model, The reason why i began this project is out of frustration from Rust, you see it does provide safety for your memory by the strict type checking but what it does not gurantee safety against are distributed deadlocks which is basically a few independent nodes or services wait permanently for resources or messages held by each other, forming a circular wait, the rest are cross-service correctness and protocol mismatch as well. If we are specific over here Wyzer works on mainly generalizing the concept of choreographic programming in a high level programming language because its the very few attempts of actually solving these gaps of safety. Instead of borrow checkers and lifetimes wyzer has linear/affine types and a perceus reference counting which is computationally much simpler for an LSP to understand as wellafter 5 months of research and a few weeks of development i am soon going to release version 0.1.0 of it, if you would like to contribute to it you're most welcome!
Enrichment
- Theme
- AI agent frameworks and developer tools
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- wyzer programming language
- Manually corrected
- False
Could you build this?
No Building a statically typed compiled programming language featuring choreographic distributed programming and the Perceus reference counting memory model requires advanced compiler design and formal type theory expertise.
What it would actually take: Requires an LLVM or native assembly backend, AST parser, typechecker implementing choreographic projection semantics for distributed execution safety, and reference counting with reuse analysis based on the Perceus model (similar to Koka). Typically built in Rust, OCaml, or C++. This demands deep research expertise in programming language theory, memory management, and distributed systems.
Discussion
20 comments analyzed.
Competitors mentioned: Rust, Zig, Java, C++, Python
Concerns raised: Language posted to HN before beta, destroyed project reputation, WIP/unpolished state when users expected finished product, Account impersonation/authenticity issues, Memory safety with shared data structures, Unclear elevator pitch/value proposition
Feature requests: Clearer header/elevator pitch in documentation, More complete documentation before launch, Simpler syntax without excessive abbreviations
Competitors
Other products that read as similar to this one — 40 launches clear the similarity bar, closest 8 shown.
Attention rank: #1 of 41 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 275 days after the earliest competitor.
- The Taka Programming Language · hn · 2025-12-03 · 12 upvotes · similarity 0.42
- Valk · hn · 2026-02-10 · 5 upvotes · similarity 0.42
- Genotype: language that compiles to idiomatic TS, Rust and Python · hn · 2026-09-08 · 9 upvotes · similarity 0.39
- Axe · hn · 2025-11-24 · 16 upvotes · similarity 0.39
- Shrouded, secure memory management in Rust · hn · 2026-03-23 · 5 upvotes · similarity 0.38
- Hsrs · hn · 2026-05-19 · 53 upvotes · similarity 0.38
- Mach · hn · 2026-06-08 · 32 upvotes · similarity 0.38
- A systems language with runtime reflection and no GC · hn · 2025-12-15 · 6 upvotes · similarity 0.38
Other launches for this product
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.