work

monograph

Bootstrap: Software Epistemology, Hermenuetics, and Sovereignty

read the introduction or jump to one of the later entrypoint chapters:

physical copies are currently available.

projects

research

software

graphic design

silicon design

circuit board construction

sculptural

catalogs

translation

in progress are amateur translations of Max Bense (wikipedia.org). selections may later appear here.

exposition

Who then will explain the explanation?
  1. forth metaprogramming: embedding brainfuck
  2. register file with lenses
  3. brainfuck interpretive debugger
  4. tiny code christmas 2024
  5. Z80 FORTH
  6. Rust Z80 emulator
  7. SAP emulation
  8. APL Life
  9. USENET: access and organization
  10. reading the firefox dependency graph
  11. early programming pearls: apply map list
  12. Karnaugh Map
  13. datatype calculus
  14. LRC circuit Smith diagrams

proof

why agda?
  1. map the fundamental theory of calculus to generators
  2. not-all-equal/3 is functionally complete
  3. algebra of two's complement integers

annotated bibliography

why bibliography?

fieldwork

TIL