scrambled
On this page
Scrambled thoughts. Scrambled journeys. Scrambled DNA. And scrambled eggs.
This is a personal note taking page, not a blog... Everything is scrambled! Think of it like a MySpace type of thing that I just dump my thoughts.
I worked in CS and here is the list of areas I'm interested in (I'm not a researcher by the way):
- Type & language theory
- Music theory
- Logic & Formal system
- Category theory
- Concurrency theory
- Operating systems
- Databases
- Performance
- Engineering in general
Wish I could connect with anyone who shares similar interests or just wants to exchange ideas. I feel like there are a lot to learn.
Drop me a message:
Scrambled Notes
Parsers, type systems, distributed systems, design... Things I'm trying to wrap my head around!
Projects & Research
Some of the projects that I do/research in my freetime, either I need them personally (like typerighter) or I'm interested in their theory...
- typerighter: A typed content framework and SSG built around Typedown, a format that merges structured frontmatter with Markdown for interlinked notes. This site runs on it. [npm]
- sqlingo.js: Porting sqlglot to TypeScript so it can run in the browser. [npm] [docs]
- MPiSC: Wait-free distributed MPSC queues over MPI-3 RMA. Most shared-memory implementations turned out to be broken; the only correct one (LTQueue) became the base. [docs]
- type-theory: Working through Software Foundations, TAPL, and PFPL. Slowly.
Publications
Papers that came out of the MPiSC work.