Latest Transmissions
DateRelevance
Haskell2025-07-04
12 min read

Typeclasses V2

Using dict passing

My thoughts about implementing typeclasses

Haskell2025-07-02
8 min read

My Haskell Reading List

Category Theory as the Map of Maps

Enlighting haskell materials

Algorithm2025-03-27
8 min read

Codewars Solutions

Mostly Haskell

Interesting problems

Algebraic Topology2023-11-15
15 min read

单纯复形的可视化艺术

Visualizing Simplicial Complexes

单纯复形是构建高维形状的乐高积木。在这个项目中,我尝试用 React 和 WebGL 来渲染动态的 Betti 数变化过程...

Web2023-02-03
8 min read

Basics of SwiftUI

notes

Notes learning CS193p

RESOURCES
  • Lean4 Manual
  • HoTT Book
CONNECT
  • GitHub
  • MathOverflow
RENDERED_IN: REACT_v18
THEME: GORP_LIGHT_v3