Engineer / writer / restless maker

Swetankmakes ideas move.

Formal verification, systems, and useful experiments, shaped into work you can actually explore.

01 / Selected workFollow the story
24useful posts targeted for year one
6project writeups with demo and source proof
/studiosecured content editing route
0extra hosting cost for the first version

Projects / selected

Things built with fingerprints.

Each project keeps the reasoning visible: problem, constraints, experiments, outcome, and what changed after the first attempt.

01
activefeatured

LeetCode API Explorer

A local-first project page for exploring API design, problem metadata, caching, and developer-friendly documentation.

Next.jsTypeScriptAPI design
02
plannedfeatured

Formal Bits Notebook

A structured public notebook for assertions, SVA patterns, proof attempts, and verification learning trails.

SystemVerilogSVAWriting
See the complete project shelf

Focus areas

A portfolio organized around evidence.

Different mediums, one habit: make the thinking inspectable.

01

Formal verification

Assertions, proof attempts, debugging notes, and hardware learning paths.

02

Systems writing

Short technical essays that make design tradeoffs and failure modes explicit.

03

Developer tools

Small utilities, APIs, and experiments that are useful enough to run locally.

04

Learning logs

A public trail of what I am building, studying, and improving right now.

The lab

Ideas before they learn to sit still.

Small demos, APIs, snippets, and tools before they become polished project case studies.

Enter the lab

A hidden fast lane

Jump anywhere without breaking the spell.

The command palette keeps every page, post, and project case study within immediate reach.