Christophe Gyurgyik
Publications
Posts
CV
Adventures
All Posts
Dec ’25
Why scheduling languages exist
What Hoare wants and Rice forbids