A person seated in a green landscape looks through an empty frame by the water.

diapsalmata

Index

Notes / Research / Projects

01

Notes

Partial trace sampling
Infinite telemetry streams
Evaluation methods with Bombadil

02

Research

Turing degrees and subtoposes
Relative hypercomputation: MH and Kerr
Coalgebras and bisimulation
Deterministic simulation testing

03

Projects

OpenTelemetry in FoundationDB
Traces for Bedrock
API catalog
Deterministic VM and PRISM