Lenticulum — theory vault

Tag: design

22 items with this tag.

  • 04 Oct 2026

    Probabilistic Types

    • annotation
    • design
  • 04 Oct 2026

    The Type Discipline of a Factor Graph

    • annotation
    • design
  • 04 Oct 2026

    The Implicit Diffusion Factor as a Statistical Game

    • definition
    • theorem
    • design
  • 04 Oct 2026

    AutoBayes Examples as Factor Graphs

    • example
    • design
  • 04 Oct 2026

    Channels and Polarity

    • definition
    • design
  • 04 Oct 2026

    Factors are Parameterized Statistical Games

    • definition
    • design
    • implementation
  • 04 Oct 2026

    Inversions and Bayesian Lenses

    • definition
    • design
    • implementation
  • 04 Oct 2026

    Lux as a Parametric Lens

    • definition
    • design
  • 04 Oct 2026

    Open Models and Latent Channels

    • definition
    • design
    • implementation
  • 04 Oct 2026

    Scalar and Multivariate Energy

    • definition
    • theorem
    • design
  • 04 Oct 2026

    Deterministic Relaxation

    • derivation
    • design
  • 04 Oct 2026

    Implicit Diffusion Learners

    • definition
    • theorem
    • derivation
    • design
  • 04 Oct 2026

    ImplicitREDDiff

    • model
    • design
  • 04 Oct 2026

    Inference Signatures

    • definition
    • design
  • 04 Oct 2026

    Parallelism and Compilation

    • design
    • open-problem
  • 04 Oct 2026

    The Structural Gap to ModelingToolkit

    • design
    • open-problem
  • 04 Oct 2026

    Time as a Base

    • design
    • open-problem
  • 04 Oct 2026

    Why Julia

    • design
    • comparison
  • 04 Oct 2026

    Acausal Composition is a Hypergraph Category

    • theorem
    • design
  • 04 Oct 2026

    Belief Algebra

    • design
    • open-problem
  • 04 Oct 2026

    The Inferencer and the Optimizer

    • design
  • 04 Oct 2026

    The Two-Part Diagram

    • design

Created with Quartz v4.5.2 © 2026

  • API documentation
  • GitHub