HomeHi 👋🏻, this is hon-gyu’s digital garden. This site is generated by OysterMD, an Obsidian-like tool I am building in Rust.Applied Category Theory/3 ways to represent the free monoidal category generated by a signatureA Compositional Framework for Reaction NetworksAttributed C-sets in CatColabCatColab vs. Catlab.jlCatlab.jlEgglogGatlab.jlPetri netacsetreference/DisCoPysoftwares for drawing string diagramsCategory Theory/2-categoryGeneralized Algebraic Theories (GAT)Lawvere TheoriesYoneda lemmaalgebraic fundamentally means equationalalgebraic theorybraided monoidal categorycartesian categorycategory Aritycategory Euccategorycongruencediagramdouble categorydouble theoriesforgetful functorfree category (path category)functor categorygraphhigher category theoryinstancelenslimitmodelmonoidal categorynatural isomorphismnatural transformationorderproduct categoryproductreferencerepresentable functorschemasignatureskeletal categorystring diagramsymmetric monoidal categorytheoryuniversal constructionvirtual double categoryvirtual double graphwiring diagramCorner/Calculus of ConstructionHow to Generate PDF from Franklin.jl SitesLambda CalculusModern AI/Attention/Attention Mechanism VariantsKV cacheVariantsselfDeepSeek-R1- Incentivizing Reasoning Capability in LLMs via Reinforcement LearningStructured GenerationThe RL-LLM Taxonomy Tree- Reviewing Synergies Between Reinforcement Learning and Large Language ModelsRandom/Format on save using entr without editorJulia Sum BenchmarksJulia has no dependent typesPython tricksRepost- Concept selection in systems engineering as lenses in PolyRepost- Generalized Transformers from Applicative FunctorsRepost- Reinforcement Learning through the Lens of Categorical CyberneticsRepost- Simple top-down development in OCamlRepost- Why I chose OCaml as my primary languageSchPetriNetSomeone's Obsidian Vault{Directed, Undirected} x {Biased, Unbiased}homepost/My complaints about langgraphtype-safe Python
Hi 👋🏻, this is hon-gyu’s digital garden. This site is generated by OysterMD, an Obsidian-like tool I am building in Rust.