2026-04 Financial Statement
2026-04 Financial Statement
Jifeng Wu's Personal Website
Using MLIR as a C++ Library with a Relocatable Install
Using MLIR as a C++ Library with a Relocatable Install
Docker and Podman Containers as Lightweight VMs for Interactive Work
Docker and Podman Containers as Lightweight VMs for Interactive Work
Jie Liu's B-Exam: Abstractions and Optimizations for Sparse Tensor Computation on Modern Hardware
A summary of Jie Liu's B-exam on sparse tensor computation, covering sparse format conversion, asynchronous GPU execution, and the design of high-performance BCSR/WCSR SpMM kernels.
Critique of "RFSeek and Ye Shall Find: A tool for summary visualization and analysis of RFCs"
A critique of RFSeek, arguing that provenance-linked RFC visualization is valuable but that the underlying methodology remains closer to a retrieval-augmented prompting pipeline than to an agentic, ve
Kleene Algebra, NetKAT, StacKAT, GKAT, CF-GKAT
A short overview of Kleene algebra and how NetKAT and StacKAT use it to model network behavior.
Main Takeaways from a Group Discussion on AI Coding
A bullet-point summary of a group discussion on AI coding, hiring, interviews, and AI-native engineering workflows.