79 posts in total
2023
Task Parallelism and Data Parallelism Thread Pools
Batch Killing Processes Looked up Through ps -aux | grep <process_name>
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