Hi, I'm Bob
-
Web development
-
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.
-
Bouldering
- Cooking - new page?
- Listening to music - new page?
My GitHub profile.
Various works (incomplete):
Diary
I used to have another homepage at bob.website. The
preserved site can be found
here.