References

Agarwal, Pankaj K. 2017. “Range Searching.” Chap. 41 in Handbook of Discrete and Computational Geometry (3rd Ed.), edited by Jacob E. Goodman, Joseph O’Rourke, and Csaba D. Tóth. Chapman; Hall/CRC. https://users.cs.duke.edu/~pankaj/publications/surveys/rs3ed.pdf.

Agent Skills. 2025. Agent Skills Specification. https://agentskills.io/specification.

Ahmed, D. T., and S. Shirmohammadi. 2009. “Zoning Issues and Area of Interest Management in Massively Multiplayer Online Games.” In Handbook of Multimedia for Digital Entertainment and Arts. Springer. https://doi.org/10.1007/978-0-387-89024-1_8.

Ahmed, Dewan T., and Shervin Shirmohammadi. 2008. “A Dynamic Area of Interest Management and Collaboration Model for P2P MMOGs.” Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, DS-RT ’08, 27–34. https://doi.org/10.1109/DS-RT.2008.26.

Bader, Michael. 2013. Space-Filling Curves: An Introduction with Applications in Scientific Computing. Vol. 9. Texts in Computational Science and Engineering. Springer. https://doi.org/10.1007/978-3-642-31046-1.

Basch, Julien, Leonidas J. Guibas, and John Hershberger. 1999. “Data Structures for Mobile Data.” Journal of Algorithms 31: 1–28. https://doi.org/10.1006/jagm.1998.0988.

Baughman, Nathaniel E., Marc Liberatore, and Brian Neil Levine. 2007. “Cheat-Proof Playout for Centralized and Peer-to-Peer Gaming.” IEEE/ACM Transactions on Networking 15 (1). https://doi.org/10.1109/TNET.2006.886289.

Bender, Anja, Jonas Volmer, Malte Schwerhoff, Julian Kunze, and Alexander J. Summers. 2024. “(Nearest) Neighbors You Can Rely on: Formally Verified k-d Tree Construction and Search in Coq.” Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing (SAC ’24). https://doi.org/10.1145/3605098.3635960.

Ben-Or, Michael. 1983. “Lower Bounds for Algebraic Computation Trees.” Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, 80–86. https://doi.org/10.1145/800061.808735.

Beskow, Paul B., Knut-Helge Vik, Pål Halvorsen, and Carsten Griwodz. 2009. “The Partial Migration of Game State and Dynamic Server Selection to Reduce Latency.” Multimedia Tools and Applications 45 (1–3): 83–107. https://doi.org/10.1007/s11042-009-0287-7.

Bharambe, Ashwin R., Venkata N. Padmanabhan, and Srinivasan Seshan. 2004. “Supporting Spectators in Online Multiplayer Games.” Proceedings of the 3rd Workshop on Hot Topics in Networks (HotNets-III). https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/hotnets2004.pdf.

Botvinick, Matthew, and Jonathan Cohen. 1998. “Rubber Hands ‘Feel’ Touch That Eyes See.” Nature 391: 756. https://doi.org/10.1038/35784.

Boulanger, Jean-Sébastien, Jörg Kienzle, and Clark Verbrugge. 2006a. “Comparing Interest Management Algorithms for Massively Multiplayer Games.” Proceedings of the 5th ACM SIGCOMM Workshop on Network and System Support for Games (NetGames ’06). https://doi.org/10.1145/1230040.1230069.

Boulanger, Jean-Sébastien, Jörg Kienzle, and Clark Verbrugge. 2006b. “Comparing Interest Management Algorithms for Massively Multiplayer Games.” Proceedings of the 5th ACM SIGCOMM Workshop on Network and System Support for Games, NetGames ’06. https://doi.org/10.1145/1230040.1230046.

Braud, Tristan, Ahmad Alhilal, and Pan Hui. 2021. “Talaria: In-Engine Synchronisation for Seamless Migration of Mobile Edge Gaming Instances.” Proceedings of the 17th International Conference on Emerging Networking EXperiments and Technologies (CoNEXT ’21), 375–81. https://doi.org/10.1145/3485983.3494848.

Chan, Timothy M., Kasper Green Larsen, and Mihai Pătraşcu. 2011. “Orthogonal Range Searching on the RAM, Revisited.” Proceedings of the 27th Annual Symposium on Computational Geometry (SoCG ’11), 1–10. https://doi.org/10.1145/1998196.1998198.

Chazelle, Bernard. 1990a. “Lower Bounds for Orthogonal Range Searching: I. The Reporting Case.” Journal of the ACM 37 (2): 200–212. https://doi.org/10.1145/77600.77614.

Chazelle, Bernard. 1990b. “Lower Bounds for Orthogonal Range Searching: II. The Arithmetic Model.” Journal of the ACM 37 (3): 439–63. https://doi.org/10.1145/79147.79149.

Chen, Yunqing, Debargha Murherjee, Jingning Han, et al. 2018. “An Overview of Core Coding Tools in the AV1 Video Codec.” 2018 Picture Coding Symposium (PCS). https://doi.org/10.1109/PCS.2018.8456249.

Clockwork Labs. 2022. SpacetimeDB: A Database Designed for the Metaverse. https://spacetimedb.com.

Cockroach Labs. 2020. Parallel Commits TLA+ Specification. https://github.com/v-sekai/cockroach/blob/release-22.1-oxide/docs/tla-plus/ParallelCommits/ParallelCommits.tla.

Cronin, Eric, Brian Filstrup, and Sugih Jamin. 2003. “Cheat-Proofing Dead Reckoned Multiplayer Games.” Workshop on Anti-Cheating in Online Games (ADCOG), Co-Located with ACM SIGCOMM.

Eclipse Foundation, and DLR Institute of Transportation Systems. 2024. SUMO – Simulation of Urban MObility. https://eclipse.dev/sumo/.

Epic Games. 2022. World Partition in Unreal Engine 5. Https://docs.unrealengine.com/5.0/en-US/world-partition-in-unreal-engine/.

Exit Games. 2024. Photon PUN2: Regions and Best Region. https://doc.photonengine.com/pun/current/connection-and-authentication/regions.

Fabian, Richard. 2018. Data-Oriented Design: Software Engineering for Limited Resources and Short Schedules. Leanpub. https://www.dataorienteddesign.com/dodbook/.

Folbricht, Stefan. 2018. Desync: Content-Addressed Binary Distribution in Go. https://github.com/folbricht/desync.

Frindell, Alan, Eric Kinnear, and Victor Vassiliev. 2023. WebTransport over HTTP/3. RFC 9220, IETF. https://www.rfc-editor.org/rfc/rfc9220.

Godot Engine Contributors. 2022. Add WebTransport Support (Proposal #3899). https://github.com/godotengine/godot-proposals/issues/3899.

Godot Engine contributors. 2024. Godot 4.x Dynamic BVH Broadphase: Node Expansion Constants. https://github.com/godotengine/godot/blob/master/servers/physics_3d/godot_broad_phase_3d_bvh.h.

Google. 2024. Use Active Voice. https://developers.google.com/style/voice.

Guinness World Records, and Daybreak Game Company. 2022. Most Players Simultaneously in a First-Person Shooter Battle: Planetside 2 World Record. https://www.guinnessworldrecords.com/world-records/most-players-simultaneously-in-a-fps-battle.

Hamilton, Chris H., and Andrew Rau-Chaplin. 2006. Compact Hilbert Indices. Technical Report CS-2006-07. Dalhousie University, Faculty of Computer Science.

ITU-R. 1998. Relative Timing of Sound and Vision for Broadcasting. Recommendation BT.1359-1. International Telecommunication Union.

Jacobson, Van, and Michael J. Karels. 1988. “Congestion Avoidance and Control.” Proceedings of SIGCOMM ’88, 314–29. https://doi.org/10.1145/52324.52356.

Jaya, Iryanto et al. 2016. “Combining Interest Management and Dead Reckoning: A Hybrid Approach for Efficient Data Distribution in Multiplayer Online Games.” IEEE Conference on Games and Entertainment. https://doi.org/10.1109/7789876.

Karn, Phil, and Craig Partridge. 1987. “Improving Round-Trip Time Estimates in Reliable Transport Protocols.” Proceedings of ACM SIGCOMM ’87, 2–7. https://doi.org/10.1145/55483.55484.

Karras, Tero. 2012. “Maximizing Parallelism in the Construction of BVHs, Octrees, and k-d Trees.” Proceedings of the Fourth ACM SIGGRAPH / Eurographics Conference on High-Performance Graphics. https://doi.org/10.2312/EGGH/HPG12/033-037.

Kulkarni, Sandeep, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, and Marcelo Leone. 2014. “Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases.” Stabilization, Safety, and Security of Distributed Systems (SSS 2014). https://doi.org/10.1007/978-3-319-11764-5_14.

LambdaClass. 2024a. AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean 4. https://blog.lambdaclass.com/amo-lean-towards-formally-verified-optimization-via-equality-saturation-in-lean-4/.

LambdaClass. 2024b. Truth_research_zk: Efficient Equality Saturation with Union-Find in Lean 4. https://github.com/lambdaclass/truth_research_zk.

Larsen, Kasper Green. 2011. “On Range Searching in the Group Model and Combinatorial Discrepancy.” 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science (FOCS), 542–49. https://doi.org/10.1109/FOCS.2011.51.

Lauterbach, Christian, Michael Garland, Shubhabrata Sengupta, David Luebke, and Dinesh Manocha. 2009. “Fast BVH Construction on GPUs.” Computer Graphics Forum 28: 375–84. https://doi.org/10.1111/j.1467-8659.2009.01377.x.

Lazaridis, Lazaros, Maria Papatsimouli, Konstantinos F. Kollias, Panagiotis Sarigiannidis, and George F. Fragulis. 2021. “Hitboxes: A Survey about Collision Detection in Video Games.” HCI in Games: Experience Design and Game Mechanics, Lecture notes in computer science, vol. 12789: 307–20. https://doi.org/10.1007/978-3-030-77277-2_24.

Lee, Steven W. K., and Rocky K. C. Chang. 2018. “Enhancing the Experience of Multiplayer Shooter Games via Advanced Lag Compensation.” Proceedings of the 9th ACM Multimedia Systems Conference, MMSys ’18, 284–93. https://doi.org/10.1145/3204949.3204971.

Liu, C. S., and John C. S. Lui. 2008. “Hack-Proof Synchronization Protocol for Multi-Player Online Games.” Multimedia Tools and Applications, ahead of print. https://doi.org/10.1007/s11042-008-0230-3.

Liu, Elvis S., and Georgios K. Theodoropoulos. 2014b. “Interest Management for Distributed Virtual Environments: A Survey.” ACM Computing Surveys 46 (4): 51:1–42. https://doi.org/10.1145/2535417.

Liu, Elvis S., and Georgios K. Theodoropoulos. 2014a. “Interest Management for Distributed Virtual Environments: A Survey.” ACM Computing Surveys 46 (4): 51:1–42. https://doi.org/10.1145/2535417.

Liu, Shengmei, Xiaokun Xu, and Mark Claypool. 2022. “A Survey and Taxonomy of Latency Compensation Techniques for Network Computer Games.” ACM Computing Surveys 54 (11s). https://doi.org/10.1145/3519023.

Lopez, Pablo Alvarez, Michael Behrisch, Laura Bieker-Walz, et al. 2018. “Microscopic Traffic Simulation Using SUMO.” The 21st IEEE International Conference on Intelligent Transportation Systems. https://doi.org/10.1109/ITSC.2018.8569938.

MacDonald, J. David, and Kellogg S. Booth. 1990. “Heuristics for Ray Tracing Using Space Subdivision.” The Visual Computer 6 (3): 153–66. https://doi.org/10.1007/BF01911006.

Marsden, C. D., P. A. Merton, and H. B. Morton. 1978. “Servo Action in the Human Thumb.” The Journal of Physiology 257 (1): 1–44. https://doi.org/10.1113/jphysiol.1978.sp011354.

Microsoft. 2024. Top 10 Tips for Microsoft Style and Voice. https://learn.microsoft.com/en-us/style-guide/top-10-tips-style-voice.

Mills, David, Juergen Martin, Jack Burbank, and William Kasch. 2010. Network Time Protocol Version 4: Protocol and Algorithms Specification. RFC No. 5905. IETF. https://doi.org/10.17487/RFC5905.

Morgan, Graham, Kier Storey, and Fengyun Lu. 2004. “Expanding Spheres: A Collision Detection Algorithm for Interest Management in Networked Games.” Entertainment Computing – ICEC 2004, Lecture notes in computer science, vol. 3166: 507–16. https://doi.org/10.1007/978-3-540-28643-1_56.

Moura, Leonardo de, and Sebastian Ullrich. 2021. “The Lean 4 Theorem Prover and Programming Language.” Automated Deduction – CADE 28. https://doi.org/10.1007/978-3-030-79876-5_37.

Müller, Matthias, Bruno Heidelberger, Marcus Hennix, and John Ratcliff. 2007. “Position Based Dynamics.” Journal of Visual Communication and Image Representation 18 (2): 109–18. https://doi.org/10.1016/j.jvcir.2007.01.005.

Narula, Herman. 2015. SpatialOS: A Distributed Operating System for Simulations.

Nipkow, Tobias. 2015. “Amortized Complexity Verified.” Interactive Theorem Proving (ITP 2015), Lecture notes in computer science, vol. 9236: 310–24. https://doi.org/10.1007/978-3-319-22102-1_21.

Nipkow, Tobias, Jasmin Blanchette, Manuel Eberl, et al. 2024. Functional Data Structures and Algorithms: A Proof Assistant Approach. ACM Books. https://functional-algorithms-verified.org.

Nystrom, Robert. 2014. Game Programming Patterns. Genever Benning.

OpenFGA Contributors. 2023. OpenFGA: A High-Performance Authorization System. https://openfga.dev.

Ossama. 2025. Tropes.fyi: AI Writing Pattern Directory. https://tropes.fyi/.

Pang, Ruoming et al. 2019. Zanzibar: Google’s Consistent, Global Authorization System. https://www.usenix.org/conference/atc19/presentation/pang.

Poettering, Lennart. 2017. Casync — Content Addressable Data Synchronizer. https://github.com/systemd/casync.

Popov, Stefan, Iliyan Georgiev, Rossen Dimov, and Philipp Slusallek. 2009. “Object Partitioning Considered Harmful: Space Subdivision for BVHs.” Proceedings of the 1st ACM Conference on High Performance Graphics (HPG).

Resonite Wiki contributors. 2024. Resonite Architecture and Server Infrastructure. https://wiki.resonite.com/Server_Infrastructure.

Road to VR. 2026. VRChat Breaks All-Time Concurrent User Record with Japanese Anime Concert. https://www.roadtovr.com/vrchat-all-time-high-japanese-concert/.

Salzman, Lee. 2024. ENet: Reliable UDP Networking Library. http://enet.bespin.org/.

Skilling, John. 2004. “Programming the Hilbert Curve.” AIP Conference Proceedings 707: 381–87. https://doi.org/10.1063/1.1751381.

Sword, Helen. 2012. Zombie Nouns. https://opinionator.blogs.nytimes.com/2012/07/23/zombie-nouns/.

The mathlib Community. 2020. “The Lean Mathematical Library.” Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. https://doi.org/10.1145/3372885.3373824.

The Register. 2026. “Why AI Writing Is so Generic — Semantic Ablation.” The Register, February. https://www.theregister.com/2026/02/16/semantic_ablation_ai_writing/.

Thiel, Peter, and Blake Masters. 2014. Zero to One: Notes on Startups, or How to Build the Future. Crown Business.

Unity Technologies. 2022. Scene Streaming and Addressable Assets. Https://docs.unity3d.com/Packages/com.unity.addressables@1.21/manual/index.html.

VRChat School. 2024. VRChat Network Sync and IK Update Rate. https://vrchatschool.com/network-sync/.

Wald, Ingo. 2007. “On Fast Construction of SAH-Based Bounding Volume Hierarchies.” 2007 IEEE Symposium on Interactive Ray Tracing, 33–40. https://doi.org/10.1109/RT.2007.4342588.

Wikipedia contributors. 2025. Wikipedia: Signs of AI Writing. https://en.wikipedia.org/wiki/Wikipedia:Signs_of_AI_writing.

Willsey, Max, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, and Pavel Panchekha. 2021. “Egg: Fast and Extensible Equality Saturation.” Proceedings of the ACM on Programming Languages 5 (POPL): 1–29. https://doi.org/10.1145/3434304.

Zhan, Bohua, and Maximilian P. L. Haslbeck. 2018. “Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle.” CoRR abs/1802.01336. https://arxiv.org/abs/1802.01336.

Zhang, Jiayi, Simon Yu, Derek Chong, et al. 2025. “Verbalized Sampling: How to Mitigate Mode Collapse and Unlock LLM Diversity.” arXiv Preprint arXiv:2510.01171. https://arxiv.org/abs/2510.01171.

Zhou, Jingyu, Meng Xu, Alexander Shraer, et al. 2021. “FoundationDB: A Distributed Unbundled Transactional Key Value Store.” Proceedings of the 2021 International Conference on Management of Data (SIGMOD). https://doi.org/10.1145/3448016.3457559.