Dan's ζΈδ½πͺ΄ε
Search
Search
Dark mode
Light mode
Explorer
notes
(consolidated) tensor
Antisymmetrization map
Can Naive substitution work if all variables has different name?
cetz example
De Bruijn indices
Dependent Pattern matching
effect handler ζθ©²ε¦δ½εζοΌ
fletcher for string diagram
How to create a commonlisp project
Install wolfram-js-frontend on Mac
Intrinsically typed term
ocaml inline test δ½Ώη¨ζΉεΌ
ocaml sedlex
ocamlformat preserve begin end block
Partial Equivalence Relations
Representations of Syntax with Binding
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
Sketches of an Elephant
source code has no semantic
strong monad
Subtype
tensor algebra
The problem of union type
δ½Ώη¨ LLM ηζε°ζ‘
ζιηΎ€ζ΄ηηΆ²η«
ηΉΌζΏηει‘
posts
[AArch64] armv8 store/load ε°ε樑εΌ
ι―θͺ€θηηθ¨θ¨
index
Mar 09, 2025
1 min read
ζΈδ½ιθε
posts
notes
link
github
@dannypsnl
blog
https://dannypsnl.me/
Graph View