https://en.wikipedia.org/wiki/Galactic_algorithm
Yea this project is complete vibe-coded crap. A lot of the lighthouses aren't in the correct locations and some or even missing.
All it does is dispatch proof obligations to an SMT solver like Z3. There is nothing special about Verus, it works in the same way other program verification frameworks like Dafny and Frama-C work - except it's for…
Some of this stuff isn't really insightful. > It’s only awkward if you make it awkward. Or THEY make it awkward. > Don’t make your problems other people’s problems. Well, yea... Also don't attack other people, and don't…
https://en.wikipedia.org/wiki/Galactic_algorithm
Yea this project is complete vibe-coded crap. A lot of the lighthouses aren't in the correct locations and some or even missing.
All it does is dispatch proof obligations to an SMT solver like Z3. There is nothing special about Verus, it works in the same way other program verification frameworks like Dafny and Frama-C work - except it's for…
Some of this stuff isn't really insightful. > It’s only awkward if you make it awkward. Or THEY make it awkward. > Don’t make your problems other people’s problems. Well, yea... Also don't attack other people, and don't…