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

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.

Widip is an interactive program for building wiring diagram libraries. It seamlessly integrates with editors and CLIs for Linux and MacOS as a UNIX shell.

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

Participé del Club del Paper y publicamos el video donde explico el razonamiento diagramático.

• https://youtube.com/playlist?list=PLBuE2pTkoMqO6S0bSCeUkq6gIaYBaISxj

I presented a paper to the Quantum Physics and Logic 2024 conference. It is an academic presentation of Widip and can be found here:

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

Using the diagrammatic development environment I want to explore some of these topics:

• compilers
  • abstract syntax trees
  • 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
  • extend library