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.
Academic research for Widip can be found here:
https://youtube.com/playlist?list=PLAHKhfRZFp-Z6TuGShdeZENCAlAMEjkV1
I want to explore some of these topics for Widip:
- 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