Hi! I'm a programmer and founder of the HigherOrderCO. Reach me on:
- Twitter: @victortaelin
- Instagram: @victortaelin
- Reddit: SrPeixinho
- Email: taelin@higherorderco.com
- HOC: Towards an Optimal Computer: why interaction paradigm can improve computers.
- HOC: Can we build an optimal processor?: like above, but as a tweet.
- HOC: Complete Historical Overview: the lore behind HOC's creation.
- HVM: how?: an intuitive explanation on how HVM works.
- HVM: Optimal Evaluation in 10 Minutes: same as above, but shorter and more serious.
- HVM: A Parallel Runtime - VictorTaelin (USP): same as above, but as a talk (Eng subs).
- HVM: The mystery behind Optimal Evaluation: why some functions run exponentially faster on HVM.
- HVM: Automatic Deforestation: β-Optimality gives fusion "for free"
- Kind: Conversion Checker: notes on Kind's equality algorithm
- Mini Termination Checker via Fold Generation: finding the legal recursive calls of a clause, without comparing sizes
- GPT-4: Increase context via compression: a meme-ish post that went viral
- HVM: A Parallel Evaluator for Interaction Combinators: the complete HVM2 specification
- HVM: Optimizing a Prime Sieve: explores linearity techniques
- HVM: Implementing FFT with λ-terms: explores linearity techniques
- HVM: Implementing a simple SAT solver: explains SUP/DUP nodes
- HVM: Fast Discrete Program Search #1: finds the add-carry function given a template
- HVM: Fast Discrete Program Search #2: finds bits functions enumerating a simple DSL
- HVM: Fast Discrete Program Search #3: how to enumerate superposed λ-terms
- HVM: Optimal Atomic Linker (with Polarization): the optimal linker, featured on HVM3
- HVM: Truly Optimal Evaluation with Unordered Superpositions: solving HVM O(n^2) case
- HVM: The Collapse Monad in Haskell: flattens a collapsed value to a list
- HVM: Optimal Linear Context Passing: optimization tricks and pure mutable refs
- Rotating an 1D space with binary trees: just a quick memo of this algorithm
- Theory: Equality on Recursive λ-Terms: equality on expressions with fixed points