2 ms·
Back in 2018 they were working on Formality, an Ethereum formal verification project. They are the Victor in this video about it: https://slideslive.com/3891174
by simonw 15d ago
Back in 2018 they were working on Formality, an Ethereum formal verification project. They are the Victor in this video about it: https://slideslive.com/38911748/introducing-formality https://slideslive.com/38911748/introducing-formality
Here's the GitHub repo for that, which demonstrates familiarity with formal proofs that long predates LLMs https://github.com/VictorTaelin/Formality https://github.com/VictorTaelin/Formality
- LightMachine 15d agoVictor here. I haven't "worked" on Formality. I've founded it. Designed every part of it. Before LLMs! sighs Here's my response to this ridiculous accusation: https://news.ycombinator.com/item?id=49753898 https://news.ycombinator.com/item?id=49753898 I can't internet anymore. I need a beach
- N_Lens 15d agoSympathize with you mate, this article just seems like a poorly researched hit job.
- verdverm 15d agoThe article is about vibe coding, bend is the main character because it made frontpage. The author here says as much in the introduction, that it is not about whomever is behind bend, but the larger trend The author here has also added bend's author's link (in GP) to the original post, they very much do not seem to be doing a "hit job" and their intent is to comment on patterns from vibe coding