Archives
- 19 Aug The Lean 4 Typeclassopedia
- 27 Jun The Verification Gap: What Proofs Actually Guarantee
- 10 May Proving Fast Mersenne Modulo Correct in Lean 4
- 26 Apr Lean4 Tactics I Keep Coming Back To
- 07 Apr Formal Golden Models for RTL Verification with Lean4
- 19 Sep Datapath Verification of Floating-Point Multipliers with Case Splitting
- 27 Jul The Carbon Nanotube Revolution: How Next-Generation Computing Could Transform the GPU Industry
- 14 Jul Understanding Memory Coherency and Cache Coherence Protocols
- 30 Jun Category Theory, Abstraction and Computer Science
- 22 Jun Welcome to My Blog