Research Notes
62
Jie Liu's B-Exam: Abstractions and Optimizations for Sparse Tensor Computation on Modern Hardware
Critique of "RFSeek and Ye Shall Find: A tool for summary visualization and analysis of RFCs"
Kleene Algebra, NetKAT, StacKAT, GKAT, CF-GKAT
《经济学的思维方式》第一章读书摘录
Conversation with Prof. Zhiru Zhang
Conversation with Prof. Owolabi Legunsen on Research Fit, Advisor Capacity, and Keeping Doors Open
Conversation with Prof. Tapomayukh Bhattacharjee on Human-Robot Interaction and Research Fit
Uncompromising Performance with Exocompilation: A Recap of Yuka Ikarashi's Talk
Paper Reading: AccelOpt: A Self-Improving LLM Agentic System for AI Accelerator Kernel Optimization
Paper Reading: Registerless Hardware Description
More...
Systems
14
Using MLIR as a C++ Library with a Relocatable Install
Docker and Podman Containers as Lightweight VMs for Interactive Work
Trace Function Calls in C/C++ Programs
PRoot: Lightweight Userland Linux Distros Without Root
High-Frequency Git Operations for Everyday Development
Setting Up a Mock Windows 7 32-bit Environment Using Wine
Qt Bindings for Python Test Environments
Building an OCaml Project with Dependencies in a Conda Environment Using Dune
Automate Your Workflow with GitHub Actions
Building C/C++ Applications in a Conda Environment
More...
Reflections
14
Personal Digital Governance Policy
Lessons learned from Master's thesis
Talking back and confidence
Some thoughts about chatting
Pay attention to the other person's easily overlooked emotional state when chatting online
Show, not tell
Our minds are, indeed, the minds of engineers
Financial strategies during master's and PhD degrees (tentative)
On doing things with others
Some thoughts on maintaining fitness habits and improving physical fitness in the future
More...
Programming
13
Towards a Dominant Idea-Based Classification of LeetCode-Style Problems
pyssa: An Executable, Source-Oriented, Stable Intermediate Representation for Python
GitHub Portfolio
A Skillset/Mindset-Based Division of Computer Science Domains
YAML Coding Guidelines
Shell Coding Guidelines
C++ Coding Guidelines
Python Coding Guidelines
Metaclass Fundamentals
Creating Custom Data Structures from Abstract Containers in `collections.abc`
More...
AI and Machine Learning
6
PyTorch + CUDA vs. XLA + TPU: Two Execution Models for ML Systems
Main Takeaways from a Group Discussion on AI Coding
AI Agents and Software Practices: A Source-Based Thematic Synthesis of Recent Public Materials
Qt, OpenCV, PyTorch: The Central Dogma of GUI CV Applications
Running Local LLMs with Ollama
Understanding the Name, Structure, and Loss Function of the Variational Autoencoder