TONY'S STUDIO

CreatedApr. 15th, 2026 - 19:06:10|Academia|CPS| comments

A brief overview of continuation-passing style and its transformation

CreatedFeb. 22nd, 2026 - 21:16:59|CourseAdvanced C++ Workshop (CSCS)|C/C++| comments

About RAII, ownership, pointers and guidelines

CreatedFeb. 21st, 2026 - 17:38:11|CourseAdvanced C++ Workshop (CSCS)|C/C++| comments

C++ infrastructure, text-based resources

CreatedFeb. 21st, 2026 - 17:38:04|CourseAdvanced C++ Workshop (CSCS)|C/C++| comments

Introduction to Advanced C++ Workshop 2023 by CSCS

CreatedNov. 28th, 2025 - 17:39:23|Academia|Symbolic Execution| comments

A brief introduction to symbolic execution with KLEE.

CreatedSep. 26th, 2025 - 22:15:54|References|Zsh•Configuration| comments

Sharing my Zsh configuration for MacOS

CreatedSep. 16th, 2025 - 16:25:34|Academia|MIT| comments

A brief reflection on the Lambda calculus

Installation guide for Avid Sibelius and Sibelius 7 Sounds

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