Rust, from first principles
Types, ownership, operational semantics, async, and the FFI bridge: a graduate-level treatment of Rust from mathematical first principles.
sotofranco.dev · mathematical sciences
Darcy's law recast as geodesic flow on a Riemannian manifold , pressure diffusion as the Laplace–Beltrami equation, and permeability tensor interpolation via geodesics, with Rust for embedded well-site monitoring.
Types, ownership, operational semantics, async, and the FFI bridge: a graduate-level treatment of Rust from mathematical first principles.
Four languages for one theory: vector calculus, differential forms, spacetime algebra, and principal fiber bundles. From the classical field equations to gauge invariance, the Aharonov-Bohm effect, Yang-Mills theory, and Dirac monopoles.
An end-to-end derivation of the incompressible Navier–Stokes equations from continuum mechanics axioms, geometric reformulation via differential forms, coordinate-free lift to a Riemannian manifold, the Millennium Prize problem, functional analysis, and geometric algebra.
A rigorous tour through stationary and non-stationary models of price evolution, with geometric analysis at the forefront. From the random walk null and Black-Scholes as flat geometry, through mean reversion as curved Riemannian diffusion, wavelets, geometric harmonics, and information geometry, anchored throughout by empirical evidence from BTC/ETH millisecond data.
From the Gaussian heat kernel on to the Laplace-Beltrami operator on Riemannian manifolds, with the short-time heat kernel expansion and spectral theory.
A rigorous construction of smooth manifolds from first principles: charts, tangent spaces, Riemannian metrics, curvature tensors, and geometric flows.
Fireflies, neurons, power grids: all governed by the same equation. A tour through the Kuramoto model, its order parameter, and the phase transition that turns noise into rhythm.
Resolution-dependent direction reversal in BTC/ETH lead-lag on Binance spot: ETH leads at 1ms, BTC leads at 100ms, crossover at 15–20ms. January and full year 2025.