Paper Reading: "Types and Programming Languages" Chapter 15 and Chapter 16

Paper Reading: "Types and Programming Languages" Chapter 13 and Chapter 14

Paper Reading: Bi-directional type checking

Paper Reading: "Types and Programming Languages" Chapter 9 and Chapter 11

Modules Within PySide6 for Cross-platform GUI Building and System API Calling

Date and Time Types in Python

Social Media Strategy (tentative)

Command-line HTTP Servers for Rapid File Sharing

Paper Reading: Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing

Paper Reading: Hybrid dynamic data race detection