Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Show HN: Wyzer Programming Language

github.com

Post reply on HN
Print view View original

91–100 of 117 posts

Re: Show HN: Wyzer Programming Language

#91

Post by pgt »

vlovich123 wrote: post #14

One thing I don’t understand is how you can guarantee the lack of a distributed deadlock. I’m sure it’s covered in the underlying research, but just conceptually it’s hard to picture. What stops a choreography where Claire send a message to Bob but Bob is waiting for Alice and Alice is waiting for Claire? Is it like Rust memory safety where not all valid programs are accepted but all invalid programs are rejected? I…

hmm, I suspect distributed systems can be modelled with a form of probabilistic borrow-checking as long as you have control all the connected systems.

Re: Show HN: Wyzer Programming Language

#92

Post by fxj »

wow it is great to see that there is still life in distributed programming languages. I would like to know what are the differences to MPI programming, chapel and PGAS languages like Co-Array Fortran and the rust extension ChoRus?

Can you you give a hello world example in each of them and show where your languages shines?

Re: Show HN: Wyzer Programming Language

#93

Post by tristanMatthias »

rbr94 wrote: post #58

For anyone looking for an easily digestible primer on choreographies: https://decomposition.al/zines/communicating-chorrectly-zine... Too bad the github readme doesn't explain how the choreographic side of Wyzer works, or even what it looks like (please correct me if I'm wrong, couldn't find it after a quick skim).

This was a great introduction! Thanks for sharing

Re: Show HN: Wyzer Programming Language

#94

Post by whateverboat »

> Memory (Section 5): You write functional code that does not change data. Behind the scenes, if a piece of data has only one owner, the compiler changes it directly in memory. This makes it as fast as C without a garbage collector or lifetime rules.

What happens if the piece of data has multiple owners? Do you get sudden performance bugs which are hard to debug?

Re: Show HN: Wyzer Programming Language

#95

Post by gwbas1c »

I really appreciate this:

> 1. What Wyzer Is, In One Paragraph...

> 2. Why Make a New Language At All?...

Far too often I see projects on HN where, on a casual skim, I just can't figure out "the point." This is clear and concise.

---

One of the issues with "Writing one network rule that creates code for every computer. We borrowed this from academic research" is that often it's hard to have the same language on every computer. For example, for a web application, you're either going to have to transpile to Javascript or target WASM. (And WASM has a lot of overhead compared to Javascript.)

Re: Show HN: Wyzer Programming Language

#96

Post by arcrevenant »

v0id_isgood wrote: post #45
jerf wrote: post #36

I love the ambition and the fact that this is not just another "state of the art in 2015" language like I see so often. It's trying to do something genuinely different. The field of "taking stuff out of academia and making it work" is a rich and underharvested one. However, your light is hidden under a basket, to use an old metaphor. I'm having to go digging to find the genuinely new things going on. I suggest recali…

This is hands down some of the most constructive feedback we’ve received. You hit the nail on the head. We definitely fell into the author’s trap of structuring docs "bottom-up" (Prerequisites -> Basic Syntax -> Advanced Concepts) rather than leading with our actual core innovation: choreography. We are restructuring the main README/docs front page right now to lead immediately with a concrete example of choreographi…

Lmfao.

This is not an LLM talking but a kid who is learning to write with them, if you look closely. Still concerning

Re: Show HN: Wyzer Programming Language

#98

Post by jesse__ »

pron wrote: post #37

> Go, Java, C#, and Python use garbage collectors. This makes them easier to use but slower and less predictable. It does not. The term "garbage collectors" covers a whole spectrum of algorithms, some might slow you down (though not for the reason you may think) while others were invented to speed up memory management beyond that of C++, in exchange for other tradeoffs. Python's (mostly) refcounting GC is actually cl…

I don't understand how you can claim that using a GC does not make a language slower and less predictable.

Running a GC takes time, pollutes the cache, and is often run at an unpredictable time. Sure, the GC is not necessarily the SLOWEST thing about the language (python), but it's not helping, either.

Re: Show HN: Wyzer Programming Language

#99

Post by DoesntMatter22 »

hmokiguess wrote: post #16

I saw this medium post from you https://medium.com/@atixwasfound/how-i-began-writing-my-own-... In there it says you started this journey when you were 8 years old and that you are a 14 year old programmer I'm not sure how I feel about this to be honest, I need to process that.

Incredible if a 14 year old did this, the ven with AI

Re: Show HN: Wyzer Programming Language

#100

Post by DoesntMatter22 »

gokaygurcan wrote: post #40

> see a new programing language > look inside > it's rust asking out of my own ignorance, what's so hard with rust that you cannot convince people and contribute to that directly instead of going on your way? i remember so few of these projects survived over the years. do you think it'll really become something other than your pet project?

That's a really bad attitude. "You should work on the thing you dont like instead of the one you like because it might not be successful"
Post reply on HN