hello 🐢

There's a list of books I read, a list of things I want to read, a list of things I've been up to. And a list of things I'm learning:

Dec 14, 2025 ItaLean'25
Dec 1, 2025 categories
Nov 25, 2025 proving the correctness of a parallel prefix sum circuit
Nov 22, 2025 writing a paper
Nov 15, 2025 OOPSLA'25
Oct 24, 2025 HASE'25
Aug 28, 2025 population count
Aug 15, 2025 recursive definitions in lean
May 28, 2025 knaster-tarski theorem
Mar 30, 2025 silent failures
Mar 28, 2025 an inductive approach to spacer
Feb 28, 2025 acl2
Feb 28, 2025 lean-mlir misc
Dec 31, 2024 2024 takeaways
Oct 30, 2024 theory of latency-insensitive design
Oct 11, 2024 Big Spec '24
Jun 30, 2024 PLDI'24
Jun 16, 2024 the essence of bluespec
Jun 15, 2024 modern automata theory
May 24, 2024 hw design with/for ml
Mar 20, 2024 cell morphing: from array programs to array-free horn clauses
Mar 20, 2024 CGO'24
Mar 10, 2024 learning semantic representations to verify hardware designs
Jan 28, 2024 omega tactic in lean4
Nov 10, 2023 high-level abstractions and modular debugging for FPGA design validation
Nov 5, 2023 formal verification at higher levels of abstraction
Oct 30, 2023 buechi, lindenbaum, tarski: a program analysis appetizer
Oct 30, 2023 what are the semantics of hardware
Oct 27, 2023 fsm anomaly detection using formal analysis
Sep 30, 2023 abstract interpretation from buechi automata
Sep 25, 2023 finite presentations of infinite structures: automata and interpretations