Taelin

Hi! I'm a programmer and founder of the HigherOrderCO. Reach me on:

• Twitter: @victortaelin
• Instagram: @victortaelin
• Reddit: SrPeixinho
• Email: taelin@higherorderco.com

Company:

• 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.

Learning:

• 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

Research:

• 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

Announcements:

• Bend: Release Day

Coverage:

• Mind-bending new programming language for GPUs just dropped... - Fireship
• The New Massively Parallel Language - ThePrimeTimeagen
• Bend: a high-level language that runs on GPUs - HackerNews