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
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
Representations of Syntax with Binding
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
Sketches of an Elephant
source code has no semantic
Subtype
tensor algebra
The problem of union type
δ½Ώη¨ LLM ηζε°ζ‘
ζιηΎ€ζ΄ηηΆ²η«
ηΉΌζΏηει‘
posts
[AArch64] armv8 store/load ε°ε樑εΌ
ι―θͺ€θηηθ¨θ¨
index
Feb 22, 2025
1 min read
ζΈδ½ιθε
posts
notes
link
github
@dannypsnl
blog
https://dannypsnl.me/
Graph View