Simulation specification
Aurora
Atmospheric modeling
Conservation checks built into the simulation interface: what a timestep should preserve, and when a solver should stop.
Browse the engineering projects, research companions and tools by domain or research setting.
Simulation specification
Atmospheric modeling
Conservation checks built into the simulation interface: what a timestep should preserve, and when a solver should stop.
Telemetry platform
Agricultural telemetry
Agricultural observations organized around water, nutrients, equipment and the growing season, with the source of each parameter kept explicit.
Technical specification
Data integrity & investigative analytics
Read-only checks on spending-data pipelines, schema governance, and evidence bundles that let an analyst trace a finding back to its records.
Simulation companion
Reproducible security simulation
An explicit simulated world for replaying security exercises, comparing state and inspecting graph-based memory. Includes controlled browser experiments and a validation record for the current reconstruction.
Sensor-fusion demonstrator
Maritime sensing
A maritime analysis workflow that keeps sensor disagreement, uncertainty and decision provenance visible.
Security research tool
Software security
Structural code investigation with three merged F Prime contributions: two local safety checks and a reusable CodeQL query.
Research companion
Guidance, navigation & control
Connected geometric descriptions of the body and the air, alongside navigation-advisory experiments.
Book & analysis project
Conflict & geopolitical systems
From the Helicity project and Psychohistory paper to a book on economic interdependence, diplomatic alignment and network structure.
Computational diagnostic
Plasma confinement & stability
How plasma shape enters a stability calculation: geometry comparisons, equilibrium studies and a Rust implementation with distinct instability diagnostics.
Database & documentation
Geometric data systems
A database interface for defining bundles, inserting measurements and comparing transported states.
Simulation & design records
Lattice gauge models
Finite-lattice gauge-field simulations, with conceptual hardware drawings kept distinct from the computational results.
Market-analysis project
Market structure & order-flow measurement
The broader market-analysis project containing LAMINAR, a study of order-flow coherence labels across twelve futures instruments, with replay and perturbation controls.
Language-model companion
Language modeling
Reply composition over GIGI and a separate line of generative-model experiments, with their records distinguished.
Research app
Molecular modeling & drug response
Research into molecular representations, target context and drug-response modeling.
Data study
Permeability & ingredient science
Ingredient science for textured hair: preserve measured substrate context, inspect ingredient predictions and refusals, and design the hair-fiber experiments needed to test the approach. The current feasibility study uses human-skin data.
Computational study
Power-system stability
Grid-stability research connecting generator oscillations, loss of synchronism and energy barriers. A public benchmark kit checks the static operator against classical analysis; the wider program studies winding history and local stress.
Reconciliation app
Financial reconciliation
Payment records compared across formats, with translation, matching decisions and audit evidence kept explicit.
Paper & reproduction
Shortest-path algorithms
Sequential solvers compared through bucket width, duplicate work and local lookahead—including where the methods lose.
Try a broader topic or reset the filters.
Research settings describe where the work was developed, as attributed by Bee Rosa Davis. Project sites retain their own interfaces; the linked research notes explain the evidence and scope.
Zadachnik is an active geometry blog. FAL-CORE is archived; its studies became The Geometry of Flight.
Active blogs & archives →Have a question about a project?
Get in touch →