05 / Working set

Uses

Tools and workflows behind the work.

A living inventory of the setup, habits, and infrastructure that support the portfolio, writing, lab experiments, and project notes.

01

Daily development

Editor

VS Code / Cursor-style workflow with terminal-first checks.

Runtime

Node.js, TypeScript, Next.js, and local scripts for quick experiments.

Notes

Public writeups become durable references instead of one-off chat notes.

02

Hardware and systems

Formal notes

SVA patterns, proof assumptions, and counterexample summaries.

System design

Small design docs that emphasize constraints, failure modes, and tradeoffs.

03

Site operations

Frontend

Next.js on Vercel with static-first portfolio and blog pages.

Content

Sanity Studio for posts, projects, site settings, and future previews.