TONY'S STUDIO

CreatedAug. 8th, 2025 - 12:30:12|Academia|Coq•Verification| comments

Introduction to Coq and environment setup

CreatedApr. 25th, 2025 - 16:36:44|Miscellany|Network•NAT•VPN•Zerotier•OpenVPN•P2P•Command & Conquer| comments

Exploring NAT and P2P gaming issues, and how to solve them with Zerotier or OpenVPN

CreatedFeb. 28th, 2025 - 20:37:42|Game & Hobby|Command & Conquer•Game| comments

A summary of my experience with the Black Hand in Command & Conquer 3: Kane's Wrath

CreatedJan. 10th, 2025 - 15:18:43|Programming Languages|Repo Available•TypeScript| comments

Good practice to setup your TypeScript application and library

CreatedJan. 8th, 2025 - 23:29:32|Miscellany|Security| comments

Explanation of scam email sent from your own email address

CreatedJan. 4th, 2025 - 13:58:47|Programming Languages|TypeScript•Design| comments

Some thoughts on TypeScript

Build modern C++ project with CMake

CreatedNov. 28th, 2024 - 00:17:55|Programming Languages|C/C++•Concurrency•Sanitizer| comments

Understanding atomic operations in C++

CreatedNov. 19th, 2024 - 14:28:36|Software EngineeringWeb Development|Nginx| comments

Useful tips on writing Nginx configurations

How to create lightsaber effect in Photoshop