Show HN: Wyzer Programming Language

#1

Post by v0id_isgood » Fri, Aug 07, 2026, 12:28 PM UTC

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 well

after 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!

Show HN: Wyzer Programming Language
github.com

Re: Show HN: Wyzer Programming Language

#2

Post by vsilent » Fri, Aug 07, 2026, 1:57 PM UTC

syntax reminds me rust labguage.

Re: Show HN: Wyzer Programming Language

#3

Post by v0id_isgood » Fri, Aug 07, 2026, 1:59 PM UTC

vsilent wrote: post #2

syntax reminds me rust labguage.

this is a pretty common observation and yeah it sure is inspired by rust's syntax a bit because i have been a rust dev since quite a long time so i'm much more in favor of it's design philosophy as well

Re: Show HN: Wyzer Programming Language

#4

Post by jitl » Fri, Aug 07, 2026, 2:03 PM UTC

Your README and docs don’t describe any of the interesting or unique things here. You cover `if` in README but not choreographic programming or perceus. Did i miss some big link?

Where’s the cool stuff?

Re: Show HN: Wyzer Programming Language

#5

Post by hyperhello » Fri, Aug 07, 2026, 2:04 PM UTC

First of all, the syntax is very generic and conservative. I’m extremely positive about that. It just looks like C or Typescript or Java to me and I don’t see mysterious diacritical marks.

The next thing is, I need more examples. Read me documents can scroll forever and that’s fine. Add examples for every concept your language wants to cover to it. This is your chance to think things through and make the read me and the language astonishing.

And your AI disclaimer (or your AI’s disclaimer) makes sense.

Re: Show HN: Wyzer Programming Language

#6

Post by v0id_isgood » Fri, Aug 07, 2026, 2:06 PM UTC

jitl wrote: post #4

Your README and docs don’t describe any of the interesting or unique things here. You cover `if` in README but not choreographic programming or perceus. Did i miss some big link? Where’s the cool stuff?

you did read RESEARCH.md didn't you? :)

Re: Show HN: Wyzer Programming Language

#7

Post by v0id_isgood » Fri, Aug 07, 2026, 2:09 PM UTC

hyperhello wrote: post #5

First of all, the syntax is very generic and conservative. I’m extremely positive about that. It just looks like C or Typescript or Java to me and I don’t see mysterious diacritical marks. The next thing is, I need more examples. Read me documents can scroll forever and that’s fine. Add examples for every concept your language wants to cover to it. This is your chance to think things through and make the read me and…

i'm actively working on the documentation without AI because it has been an awful experience with it , i've also restricted AI from contributing to it in any way except for helping the developer write their commit messages (Refer to AGENTS.md) properly which is pretty much useless anyways, the language is in it's early stages as well and things might change a lot

Re: Show HN: Wyzer Programming Language

#8

Post by manithree » Fri, Aug 07, 2026, 2:21 PM UTC

docs.wyzer-lang.org doesn't resolve for me, and it's prominently linked from https://wyzer-lang.vercel.app/. Since I'm not familiar with wyzer or perceus, how would one write, say, a doubly linked list in wyzer?

Re: Show HN: Wyzer Programming Language

#9

Post by v0id_isgood » Fri, Aug 07, 2026, 2:24 PM UTC

hyperhello wrote: post #5

First of all, the syntax is very generic and conservative. I’m extremely positive about that. It just looks like C or Typescript or Java to me and I don’t see mysterious diacritical marks. The next thing is, I need more examples. Read me documents can scroll forever and that’s fine. Add examples for every concept your language wants to cover to it. This is your chance to think things through and make the read me and…

also , yes i have an example i reprogrammed donut.c in my programming language and called it donut.wyz https://github.com/rudywasfound/donut.wyz go check it out!

Re: Show HN: Wyzer Programming Language

#10

Post by derdi » Fri, Aug 07, 2026, 2:25 PM UTC

v0id_isgood wrote: post #6

jitl wrote: post #4

Your README and docs don’t describe any of the interesting or unique things here. You cover `if` in README but not choreographic programming or perceus. Did i miss some big link? Where’s the cool stuff?

you did read RESEARCH.md didn't you? :)

Why would they? The only thing the readme says about RESEARCH.md is "if you want to contribute to the language please read RESEARCH.md". The OP doesn't want to contribute, they want to see an example of choreographic programming. This shouldn't be hard. What is hard is guessing which of the random markdown documents to click to find an example.