Parsing Command-line Options in Shell Scripts Using `getopts`

PNW PLSE Workshop 2023 Observations and Gained Insights

Paper Reading: Sized Types

Paper Reading: Refinement Types

Rapidly Prototyping Presentations Using Markdown with Marp

Paper Reading: How to make ad-hoc polymorphism less ad-hoc

Type-Theoretic Constructs in C++

Paper Reading: "Types and Programming Languages" Chapter 22

Displaying Information for Thrown and Caught Exceptions to the User in Python

Using ffmpeg to Manipulate Video Files