12 posts in total

---

2026

08-31

Introduction to OpenMP

08-28

Understanding Lean's Type and Prop Through Python Metaclasses

05-23

Rust Crates and Python Packages

05-13

Type Theory Concepts: A to Z

2025

09-28

Shell Coding Guidelines

09-15

C++ Coding Guidelines

08-29

Python Coding Guidelines

07-25

Metaclass Fundamentals

07-24

Creating Custom Data Structures from Abstract Containers in `collections.abc`

2023

03-01

Type-Theoretic Constructs in C++