|
|
|
|
|
|
by formerly_proven
4 days ago
|
|
|
IME agents are extremely happy to write more or less convincing // SAFETY: comments (most Rust code in the training set has these just before unsafe { - also it often works in unit tests). However, miri remains broadly unimpressed by comments. |
|
|