Jan 18
gf wants to make a c compiler with linear typing (as an extension) & wants my help to formally verify the soundness of the linear type system, so now I'm learning iris separation logic :3
Loading...
seen from Türkiye
seen from United States
seen from United Kingdom
seen from United Kingdom
seen from Italy
seen from United Kingdom
seen from United States
seen from United Kingdom
seen from Türkiye
seen from Italy
seen from United States
seen from United States
seen from United Kingdom
seen from Netherlands
seen from Yemen
seen from Yemen
seen from United Kingdom
seen from Netherlands
seen from United Kingdom
seen from United States
gf wants to make a c compiler with linear typing (as an extension) & wants my help to formally verify the soundness of the linear type system, so now I'm learning iris separation logic :3
Anya is live and ready to show you everything. Watch her strip, dance, and perform exclusive shows just for you. Interact in real-time and make your fantasies come true.
Free to watch • No registration required • HD streaming