56 posts in total

---

2026

04-17

Jie Liu's B-Exam: Abstractions and Optimizations for Sparse Tensor Computation on Modern Hardware

04-16

Critique of "RFSeek and Ye Shall Find: A tool for summary visualization and analysis of RFCs"

04-15

Kleene Algebra, NetKAT, StacKAT, GKAT, CF-GKAT

04-14

《经济学的思维方式》第一章读书摘录

01-28

Uncompromising Performance with Exocompilation: A Recap of Yuka Ikarashi's Talk

2025

12-11

Paper Reading: AccelOpt: A Self-Improving LLM Agentic System for AI Accelerator Kernel Optimization

10-09

Paper Reading: Registerless Hardware Description

2024

01-24

Paper Reading: Asynchronous Functional Reactive Programming for GUIs (The Elm Paper)

2023

10-13

Nico Ritschel's Ph.D. Defense Summary

10-08

Pre-MICCAI Workshop@UBC Observations and Gained Insights