Hi, I'm Coll 👋🏼

I'm an independent researcher and software engineer. My interests lie at the intersection of Math and Computing with Category Theory.

Types? Where we're going, we don't need types!

Open hardware descriptions for reversible computers.

• https://github.com/colltoaction/edu-ciaa-fpga

Widip is a system for programming with diagrams.

• https://github.com/colltoaction/widip

Academic and project related writings.

• https://github.com/colltoaction/academic

https://youtube.com/playlist?list=PLAHKhfRZFp-Z6TuGShdeZENCAlAMEjkV1

I want to work on several projects using Widip:

• compilers
  • instruction set architectures
  • MLIR and intermediate representations
  • bytecode formats
• programming
  • Kubernetes
  • composing LLMs, AI in general
  • UNIX
  • Reactive programming
  • Ethereum
  • custom hardware
  • formalized programs
• self improvement
  • binary bootstrapping using Julia
  • git(hub) decentralized program distribution