Portfolio system
Turning projects into readable proof: problem, stack, implementation notes, source, and demo links.
Writing cadence
Publishing concise notes on formal verification, systems, APIs, and developer workflows.
Experiments
Keeping early tools lightweight before deciding what deserves a subdomain or backend.
Timeline
Portfolio base
Building the public site structure, content editing flow, and project proof format.
Writing system
Turning technical notes into posts with headings, reading time, tags, and useful cross-links.
Experiment promotion
Moving stable lab experiments into project case studies or subdomain demos.
Current rabbit hole
Making project pages prove decisions, not just display outcomes.
Turning formal verification notes into reusable examples.
Keeping the lab playful without making the whole site noisy.