Registered user since Tue 14 Aug 2018
Geophysicist, Haskell hacker and musician.
Always in search of ways to bridge the gaps between these disciplines – in particular, bringing nice constructive, well-typed FP techniques to physics.
I’m currently writing a master’s thesis on the magnetic field of Neptune.
|FARM 2018||(Ab)using a monadic screen-presentation EDSL as a just-intonation synth pad controller|
|NPFL 2018||Manifolds as Haskell types|
|Show activities from other conferences|
View general profile