Personal info, contact & projects.

An attempt to adapt the Naperian Functors from Gibbons ("APLicative Programming with Naperian Functors", 2017) to apple silicon (metal) ecosystem.

Agora is a personal static site generator engineered to sustain an ideal writing environment. This essay traces eleven months of architectural evolution, moving through genesis stoa markup and S-expression inspired markup iterations before settling on a final literate programming design.

About how i collaborate between 2 ⟅laptops|identities|personae⟆ using jjvcs & ssh without hosting services.

It's pretty intriguing that the Effect type in this blog is exactly the traditional Kleisli type in haskell. We'll further show that Monad is the constraint we need to form the valid Effect category. If you are wondering about the meaning of effects in the haskell world, I believe this blog will help gain some understanding.