← Tags #optimization

7 notes

almide-kernel — 検証付き高性能カーネル almidecompilerformal-methodsoptimization Copy-on-Write (COW) computer-sciencememory-managementoptimization Dead Code Elimination (DCE) computer-sciencecompileroptimizationwasm Equality Saturation computer-sciencecompileroptimizationalgorithm Exo — exocompilation languagecompileroptimizationhardwareformal-methods HOF インライン融合とクロージャ変換 almidecompileroptimization Stream Fusion computer-sciencecompileroptimizationfunctional-programming