What does your banner mean?
It’s a compact expression of the Univalence Axiom!
I rendered it myself using LaTeXiT.
seen from Norway
seen from China
seen from United States
seen from Germany
seen from United States

seen from United States

seen from Mexico

seen from United States

seen from United States
seen from Hong Kong SAR China
seen from China

seen from Sweden

seen from United States

seen from United States
seen from South Korea
seen from United States
seen from Germany
seen from Norway
seen from Germany

seen from Türkiye
What does your banner mean?
It’s a compact expression of the Univalence Axiom!
I rendered it myself using LaTeXiT.
I spy a univalence on your header!
Indeed!
Policing Online Games
Policing Online Games Do you yearn to build a safe, secure online worlds where orcs, cowboys, aliens and cocktail waitresses can live, scheme, love, and conqueor with trust in the game? Do you want to create a more perfect world where the players advance according to their skill playing the game instead of their ability to download the latest cheating code? Do you want to stop cheaters, modders, hackers, and other schemers from ruining the fun? This book lays out the philosophical and mathematical foundations for building a strong, safe, and cheater-free virtual world. It explores how the right equations can let people roll dice, shuffle cards, pay bills, and trade things like swords without worrying about fakes, frauds, counterfeits, or tricks. The right decisions in a game’s architecture can provide trust and stability for everyone.