Scrambled Kitchen

Scrambled thoughts. Scrambled journeys. And scrambled eggs. Just batch migrated from Notion for easier customization & decentralized backups, so things may currently be scrambled up a bit.

Notice: The frontend is generated by AI. The notes are written by me. I'm migrating the frontend from AI.

Scrambled Thoughts

No thoughts yet. Still scrambling.

Scrambled Journeys

Designactive
Design systems, cognition, perception, and brand
Programming language theoryactive
Type theory, lambda calculus, semantics, and formal methods

Scrambled Projects & Research

sqlingo.jsalpha
npm docs
A TypeScript mirror of sqlglot to run natively in the browser.
sql
dboxideresearching
docs
A rewrite of the DBML parser from past experience.
parserrust
splicer.jsresearching
npm docs
Design system and component library.
incremental
MPiSCdone
docs
Porting shared-memory MPSCs to distributed context using MPI-3.
dLTQueue (FDSE 2025) Slotqueue (NPC 2025)
researchdistributed
type-theoryactive
Exercises and proofs from Software Foundations, TAPL, and PFPL.
type theoryrocq