|
|
|
|
|
|
by chrisra
95 days ago
|
|
|
"...the system described here does it all automatically: It proposes optimizations using LLMs, formally verifies safety properties, shadow-evaluates against real production traffic, and hot-swaps improved code into running services without human intervention or service restarts." |
|
|