© 2023. All rights reserved.

"I have much more to say to you, more than you can now bear"

Blog Posts

Posts

Sep 8, 2022
Free CCC as Syntax for STLC
Mar 3, 2022
Notes on Developing Coq Plugin
Sep 4, 2021
ICFP21 - Review I - 导引 I
May 23, 2021
Notes on Soundness
Apr 28, 2021
Notes on Categorical Glueing, Part II
Apr 27, 2021
Notes on Categorical Glueing, Part I
Apr 8, 2021
a little Galois Theory
Mar 6, 2021
Irreducibility Criteria
Feb 9, 2021
Proof Term Generation on miniKanren
May 6, 2020
Intro to Topology, Lec 1
Nov 10, 2019
Notes on Curry Howard Iso, 2: STLC `a la ..
Nov 10, 2019
Notes on Curry Howard Iso, 0: Un(i)typed LC
Oct 31, 2019
Notes on Homotopy Type Theory, 0
Sep 28, 2019
Notes on Automatic Differentiation, 0. Quick Intro.
Sep 28, 2019
Notes on Abstract Interpretation: DefinitionS
Sep 23, 2019
States Monad for non-Functional Guy
Sep 23, 2019
Type Theory, Categorical Aspect, 1.
Sep 23, 2019
Notes on Category Theory, 5: Fibers
Aug 27, 2019
Notes on Category Theory, 4: Yonedas and Representable Functor
Aug 24, 2019
Notes on Category Theory, 3: Natural Transformations
Jul 14, 2019
Notes on Category Theory, 2: Simple Constructions
Jun 1, 2019
Notes on Category Theory, 1: UMP
May 23, 2019
Notes on Category Theory, 0: Objects, Arrows