!link slink

• Santa Cruz, CA

Pinned Loading

1. Laminarization transition in sediment-laden oscillatory boundary layers: 1D coupled momentum–sediment model with turbulence closure, parameter sweeps, and phase diagrams of critical stratification …

   Python

2. Zwicker loudness (ISO 532-1:2017) for stationary sounds in Julia — 1/3-octave SPL → sones/phons

   Julia

4. Lean 4 formalization of Lévy processes on mathlib

   Lean

5. Evolutionary engine for formally-grounded symbolic expressions. LLM-guided mutation, formal verification for fitness.

   Python