Architecture
Categorical Deep Learning and the Adjoint Correspondence
August 10, 2025
Posit Arithmetic and Dimensional Type Systems
August 17, 2025
Target Architectures and Compilation Strategy
August 31, 2025
Formal Verification as Compilation Byproduct
September 14, 2025
Continuous Learning and the Inference/Training Boundary
September 21, 2025
From Double Annotation to Discovery
February 25, 2026
Doubling Down on DMM and DTS
January 23, 2026
ClefPak: Source-Based Package Management
March 6, 2025
Coeffects and Codata in Composer
August 1, 2025
From Proofs to Silicon
February 25, 2026
Proof-Aware Compilation Through Hypergraphs
August 8, 2025
FPGA and Hardware Inference
February 20, 2026
Managed Mutability
February 5, 2026
Getting Inline
February 5, 2026
Leveling Up With Lattice
February 1, 2026
Nanopass Navigation
January 30, 2026
Spatial Mechanics
January 26, 2026
Collect Yourself!
January 20, 2026
Learning to Walk
January 19, 2026
Seq'ing Simplicity
January 18, 2026
Why Lazy Is Hard
January 17, 2026
Gaining Closure
January 16, 2026
Inferring Memory Lifetimes
January 14, 2026
Arity On The Side of Caution
January 14, 2026
Dimensional Type Safety Across Execution Models
January 10, 2026
The WREN Stack
January 6, 2026
Clef: From IL to NTU
January 4, 2026
Absorbing Alloy
January 4, 2026
Clef on Metal Revisited
December 28, 2025
XOR: A Quantum Case Study
December 28, 2025
Standing Art: Clef Metaprogramming Features in the Composer Compiler
December 21, 2025
Bringing Posit Arithmetic to Clef
December 20, 2025
Delimited Continuations: Fidelity's Turning Point
December 14, 2025
RDNA and the Unified Memory Desktop
December 14, 2025
Baker: A Key Ingredient to Composer
December 12, 2025
Bridging Clef AutoComplete To The Fidelity Ecosystem
December 6, 2025
A Unified Actor Architecture for Clef
December 4, 2025
Unexpected Fusion
September 29, 2025
The DCont/Inet Duality
September 25, 2025
GPU Cache-Aware Compilation
September 24, 2025
Cache-Conscious Memory Management: CPU Edition
September 24, 2025
Binding C++ to Clef with Farscape
September 4, 2025
Hello World Goes Native
August 16, 2025
Escaping The Steamcar Era of AI
August 16, 2025
Categorical Deep Learning and Universal Numbers
August 10, 2025
Fewer Tests; Greater Safety
August 8, 2025
Hyping Hypergraphs
August 7, 2025
Seeking Referential Transparency
August 5, 2025
Context-Aware Compilation
July 30, 2025
The Continuation Preservation Paradox
July 29, 2025
Why Clef Is A Natural Fit for MLIR
July 28, 2025
Speed & Safety with Graph Coloring
July 19, 2025
Coupling & Cohesion: Structure is Speed
July 9, 2025
Danger Close: Why Types Matter
June 24, 2025
A Unified Vision for Ternary Models
June 19, 2025
Discriminated Unions In Post-Transformer AI
June 17, 2025
Farscape's Modular Entry Points
June 15, 2025
Wrapping C and C++
June 11, 2025
Considering HKTs in Fidelity
June 9, 2025
Source-Level Dependency Resolution
May 31, 2025
Scaling FidelityUI: The Actor Model
May 24, 2025
The Full Frosty Experience
May 22, 2025
ByRef Resolved
May 16, 2025
Clef Async From .NET to Fidelity
April 16, 2025
The Farscape Bridge
February 22, 2025
Fidelity Lowered to STM32
January 2, 2024
Cryptographic Certainty
July 15, 2021