😵💫
writing elaborators
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
- Melbourne, Australia
- http://voyager3.tumblr.com
- @brendan@types.pl
- @brendanzab.bsky.social
Stars
🌱 Digital Gardens - Examples
9 repositories
A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
Resources, links, projects, and ideas for gardeners tending their digital notes on the public interwebs
Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…
My mathematical Zettelkasten, created using forester. Moved to sourcehut.