Scrambled Kitchen

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.

  sqlincremental
• dboxidewip

  docs

  A rewrite of the DBML parser from past experience.

  parserrust
• splicer.jswip

  npm docs

  Design system and component library.

  design system
• 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