Yet another Hacker News

36 points nicolas-siplis 32 minutes ago 8 comments

boxed 13 minutes ago | parent

A single commit in github, and the compiler isn't there anyway. Where is the compiler?

ravenstine 3 minutes ago | parent

That install script is... something. It installs Bun, which might have been fine but it doesn't appear to scope the installation at all. Bend (whatever it actually is) also comes with telemetry that's opt-out. No thanks!

tyushk 11 minutes ago | parent

Victor Taelin's work (HVM) got me interested in interaction combinators as a compilation target. I'm now working on an implementation as part of my Uni research. Cool to see Bend 2.0 release!

AlexErrant 10 minutes ago | parent

https://github.com/bendlang/bend

...did they just squash the repo to 1 commit for v2.0.4? Why? Yall should know that in this age of AI trust is the real currency... and nuking your history is one hell of a way to raise eyebrows.

> Enjoy bug-free, fast vibe-coded apps! Hints: ask it to write laws for whatever should never break, and to parallelize everything you want running fast. Bend is young: if anything goes wrong, ask it to open an issue.

Emphasis mine. I don't want to be snarky but like... come on.

IshKebab 6 minutes ago | parent

Interesting... But I don't think formal software verification is going to be the answer (is that what this is? Kind of unclear.)

It's too difficult and doesn't scale well to many real world programs - how do you formally verify Facebook?

We'll probably be stuck with normal testing and at least skimming code for a while.

garrisonj 3 minutes ago | parent

The issue is I’ll have to vibecode all the laws and the laws could be wrong.