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