|
|
|
|
|
|
by ngruhn
98 days ago
|
|
|
Not saying this is useless. But that article reads like they made some kind of breakthrough in automatic software verification. But is sounds like they rather ported a tutorial test suite from Go to Rust with AI and the tests are still passing. |
|
|