I currently work at
canvas.xyz, a startup
that is creating tools and libraries for peer-to-peer
web development. This largely involves writing
interactive web applications using the
event sourcing pattern
and then
efficiently
replicating the set of events across peers using
libraries like libp2p.
TBA - more experiments and thoughts here
Functional programming
I've had phases of writing Haskell for fun. I visited
Zurihac in
2023.
A
sudoku solver (2019)
that uses SAT as an intermediate problem representation
and the Davis-Putnam-Logemann-Loveland algorithm to
solve it.