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!

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