Blog


This site is dedicated to everything to blog about. I will present some programming techniques, perhaps some tutorials to follow along, and maybe some summaries on topics that I find interesting.


Proving formal PAC-bounds: An example step-by-step

April 8, 2026

What happens when you have an algorithm to learn statistical concepts (ML!), but can't prove its properties the normal way through a proof of correctness? In this article I sketch out how to prove PAC-bounds, showing the learning capabilities of one of our own designed learners.

Calling Python scripts from within C++

Jan. 2026 - Updated: March 2026

In this article we explore how to call Python scripts from within C++ using CPython, and how to send arguments to the Python scripts and how to receive them. You can find the article here.