Learn the science where the science runs.
Lessons live inside the studios themselves — you read the model, run the real verbs, and read back the evidence your own run produced. No slides about a system you never touch.
From reading a claim to shipping a studio.
Provenance-first foundations
Read a claim like a scientist: empirical level, evidence kind, claim boundary, freshness. The vocabulary every studio shares.
Neuromorphic computing
Spiking networks and stochastic computing in SNN Studio — from a single neuron model to an FPGA-validated result.
Fusion control & safety
Tokamak control and digital-twin reconstruction in Control and Fusion Studio, with every figure shown at its true boundary.
Formal verification
Merge-in-the-formal and co-simulation in MIF Studio — proofs and certificates, not assertions.
Build your own studio
Take the platform SDK, declare a capability manifest, emit a schema-A evidence bundle, and federate through the Hub.
Start with the first lesson.
From analogue signal to spikes: delta encoding
Encode a noisy sinusoid into spike events with a delta modulator, measure the reconstruction error, and end at the real sealed measurement of the production kernel.
Find the plane in the cloud: principal component analysis
Run PCA on a 3-D point cloud in the browser, watch the variance collapse onto two components, and end at the real sealed measurement of the production kernel.
Recover the signal from the noise: Gaussian-process smoothing
Compute a Gaussian-process posterior in the browser to pull a smooth latent trajectory out of noisy observations — the temporal core of GPFA — then end at the real sealed measurement.
Watch oscillators synchronise: the Kuramoto model
Run the mean-field Kuramoto model in the browser, watch the order parameter climb past the critical coupling, and read the evidence bundle the run produces.
Estimate π with Monte Carlo
Run a real stochastic simulation in the browser, then read the evidence bundle it produces.
Read · run · verify.
Read
A short, sourced explanation of the science — the model, its assumptions, the paper it matches exactly.
Run
Drive the real studio verbs inside the lesson. The same engine researchers use, no toy sandbox.
Verify
Inspect the evidence bundle your run produced and see why it landed where it did on the claim lattice.