3 hours agoShareSave
Get our breaking news email, free app or daily news podcast
I was afraid I wouldn't be able to understand the new tools. But, it seems I have. I was worried I wouldn't understand the output, that I'd lose my ability to judge whether the code was actually right. But it turns out decades of reading and reviewing code doesn't evaporate. I can still tell when something's wrong and I still have taste.，这一点在Snipaste - 截图 + 贴图中也有详细论述
Visit an in-container Julia source file using Tramp, and start julia-snail. It should transparently start an in-container REPL.。手游对此有专业解读
To estimate how long the lf-lean project would have taken a human team, we need reliable baselines for two distinct activities: writing translation code and writing formal proofs of correctness.。超级权重对此有专业解读
Thibault Sottiaux, OpenAI's head of Codex.