User Portlet
My professional life begins with my PhD in Astrophysics from Princeton University in 1982. My first job was at Caltech's Jet Propulsion Laboratory, where I was responsible for relativistic clock corrections for GPS. I encountered Stephen Wolfram, who gave me a copy of SMP for verifying my calculations. SMP later became the product named Mathematica. I have used Mathematica daily throughout my working life: 10 years at JPL, 20 years at Microsoft, 8 years at Amazon, and 3 years at GSIT. I use it to design code in other programming languages, so that when I write code in those languages, I have very high confidence that it's correct and my debugging workload is reduced.
In addition to the blog above, please visit my older blog here http://lorentzframe.blogspot.com/.
- Energy perspectives on the discrete damped harmonic oscillator
- Perspectives on energy conservation: discrete variational spherical pendulum
- Monte Carlo gambling and test coverage
- Discrete variational spherical pendulum: free motion
- Discrete variational symmetrical top: an archetype for rigid-body dynamics
- Discrete damped harmonic oscillator
- Windowed incremental online statistics: extracting models from data, one observation at a time
- Harmonic oscillator via discrete Lagrangian
- Parallel transport in an affine space of planes
- Wolfram Language as a design language for embedded, real-time software
- Squaring the square root of a function (Y combinator revisited)
- Bottle-Flip System Identification by Kalman Filtering
- Accumulated Outer Product versus Iterated Inner Product
- Travesties for Logic and for Types
- Efficient Bayesian Regularization
- Geometric Discrete Variational Dynamics -- Part 1: Free Bodies
- Introduction to Differentiable Manifolds
- Algebraic expression travesties
- Forth in Five Lines: minimal interpreter for a Forth-like language
- How Many Human Preferences for Optimal Control?
- Archimedes' Hatbox -- Hyperspherical Pseudorandom Vectors
- Kalman filtering as a functional fold
- Folds over Lists, Streams, and Asynchronous Observables