HNHacker News
TopNewBestAskShowJobs

solomonb

1,260 karma · joined December 2, 2019

Software engineer with interests in programming language theory and type theory.

I also like compost.

and radio.

blog.cofree.coffee www.kpbj.fm www.kchungradio.org

ssbothwell_at_gmail_dot_com

submissionscomments

Cellular Automata with Comonads, Representable Functors, and Dependent Types

blog.cofree.coffee·3 pts·solomonb·
0
← PreviousPage 2 of 2