andrei
:~ $
Home
Talks
Articles
Research
Books
Contact
Talks
· April 2026 · ACCU
Software Abstraction in the Age of AI-Generated Code
It is not formal. It is semiformal, for a good definition of semi.