45 posts in total

---

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

03-25

Paper Reading: Sized Types

03-19

Paper Reading: Refinement Types

03-06

Paper Reading: How to make ad-hoc polymorphism less ad-hoc

02-26

Paper Reading: "Types and Programming Languages" Chapter 22

02-10

Paper Reading: "Types and Programming Languages" Chapter 15 and Chapter 16

02-05

Paper Reading: "Types and Programming Languages" Chapter 13 and Chapter 14

01-30

Paper Reading: Bi-directional type checking