Research Notes
56
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
《经济学的思维方式》第一章读书摘录
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
Paper Reading: Asynchronous Functional Reactive Programming for GUIs (The Elm Paper)
Nico Ritschel's Ph.D. Defense Summary
Pre-MICCAI Workshop@UBC Observations and Gained Insights
More...
Systems
20
Memory Models and Forward-Progress Guarantees
Profile a NEFF Executable
Compile NEFF Executables from NKI Kernels
What is S3?
Important Locations on Jailbroken iOS
Learning MLIR and HLO by Building a Tiny StableHLO-to-LLVM IR Compiler
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
More...
AI and Machine Learning
15
What Is a GPU Warp? SIMT, Thread IDs, Divergence, and Synchronization
llama.cpp Workflow: Download, Convert, Quantize, and Serve Models
Compile NEFF Executables from PyTorch Code
vLLM Platform System
How the KV Cache Works in HuggingFace Transformers
Local CUDA vLLM Setup for Python-Only Development Using a Precompiled Wheel
vLLM Internals — PagedAttention and Custom Accelerator Compilation
Hugging Face Models: Repositories, Serving, and the Inference Engine Landscape
Exporting Compute Graphs, LLM Shape Dynamics, and Serving Runtimes
Schedules in Machine Learning Computation: What They Are and Who Needs to Know About Them
More...
Programming
12
Introduction to OpenMP
Understanding Lean's Type and Prop Through Python Metaclasses
Rust Crates and Python Packages
Type Theory Concepts: A to Z
Shell Coding Guidelines
C++ Coding Guidelines
Python Coding Guidelines
Metaclass Fundamentals
Creating Custom Data Structures from Abstract Containers in `collections.abc`
Type-Theoretic Constructs in C++
More...
Reflections
12
Career Fairs Are Conversations, Not Conveyor Belts
Lessons from a Consulting Panel
The Endless Youth Act
On the Threshold of Thirty
Our Cognitive Profile and a Personal Playbook for the Agentic Era
Personal Digital Governance Policy
Lessons learned from Master's thesis
Show, not tell
Some thoughts on maintaining fitness habits and improving physical fitness in the future
Strategies, Tactics, and Mindset Learned from "The Ph.D. Grind"
More...
Mathematics
4
Kernel Regression and the Pairwise Nature of Attention
Linear Regression, Ridge Regression, Lasso Regression, and Kernel Ridge Regression
From the Fourier Series to the Fourier Transform to the Discrete Fourier Transform: Demystifying the Formulas
Understanding the Formulation of Information Entropy