87 posts in total
2023
Syncing a Local Directory With a Remote Directory via FTP
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
2022
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