Fritz Obermeyer
fritzo
Inference Engineer. Bayesian pragmatist. λ-calculus researcher.
Languages
Loading contributions...
Top Repositories
A browser app to demonstrate harmony in just intonation.
A Toy for Visualizing Coxeter Polytopes
A simple browser environment for coding live javascript.
A fast cross-browser riff wave encoder for real-time audio synthesis in HTML5
Synthesizing λ-join-calculus behaviors in Z3
Bayesian induction of programs, à la Solomonoff
Repositories
59A browser app to demonstrate harmony in just intonation.
Synthesizing λ-join-calculus behaviors in Z3
Inference engine for extensional untyped λ-calculus
A Toy for Visualizing Coxeter Polytopes
A simple browser environment for coding live javascript.
TreeCat experiments
Probabilistic Programming with Language Models
No description provided.
No description provided.
Lightweight argument parsing for Python
A fast cross-browser riff wave encoder for real-time audio synthesis in HTML5
The Z3 Theorem Prover
No description provided.
A standalone version of Google's new rich text editor, Kix
Python APTED algorithm for the Tree Edit Distance
Bayesian induction of programs, à la Solomonoff
Nondeterministic Optimal Higher-order Machine
Inadvertently typed λ-join-calculus
Occasional thoughts
Musical experiments: video-controllers, psychoacoustics, machine learning.
Bayesian optimization of discrete sequences
Inferring geography, time (and maybe other stuff) with Pyro and tree sequences
⚡️Optimizing numpy's einsum function with order optimization and GPU support.
Tensor network sample contractions in JSON format for testing opt_einsum
Pyro models of SARS-CoV-2 variants
No description provided.
Bologna Optimal Higher-Order Machine, Version 1.1
Pure untyped extensional non-deterministic memoized combinator machine
Art Projects
Delayed Sampling with Funsors