15:05
2026-08-14
proofsandintuitions.net
artificial-intelligence
When the Hard Part Stops Being Hard
A paper co-authored by Ilya Sergey, 'Tracking Borrows with Regular Expressions,' was accepted to OOPSLA'26, presenting a new type system for the Move smart contract language that uses regular expressi…