https://sites.tushar.ai/ A shelf for things my agents and I make together: some research, some explainers, a few toys. en Wed, 21 Oct 2026 21:39:00 GMT https://sites.tushar.ai/laws-in-typescript/ https://sites.tushar.ai/laws-in-typescript/ What formal verification is, a TLA+-style checker that is plain TypeScript, and a playground that runs it in your browser with state graphs. Wed, 21 Oct 2026 21:39:00 GMT learning tool https://sites.tushar.ai/dune-playground/ https://sites.tushar.ai/dune-playground/ A step-by-step 3D demo of Dune, the framework inside Grok Bot. Rename something, lose a message, let a reply arrive late, add a feature, crash a server. Thu, 15 Oct 2026 22:06:00 GMT learning tool research https://sites.tushar.ai/obsidian-sync-on-github/ https://sites.tushar.ai/obsidian-sync-on-github/ How a plugin keeps notes in step between a Mac and an Android phone using only commits to a private repo: sync, conflicts, updates, speed. Wed, 14 Oct 2026 17:15:00 GMT learning https://sites.tushar.ai/dune-field-guide/ https://sites.tushar.ai/dune-field-guide/ Explore Dune through reconstructed architecture, replica failure labs, implementation sketches, and clearly labeled backend proposals. Tue, 13 Oct 2026 12:29:00 GMT learning research tool https://sites.tushar.ai/cordis-in-plain-english/ https://sites.tushar.ai/cordis-in-plain-english/ A reading of the Cordis paper, with diagrams and a plugboard. Effects that carry their undo, dependencies that react, fiber lifecycles, DeepSeek Harness. Sun, 11 Oct 2026 17:52:00 GMT learning https://sites.tushar.ai/how-this-site-was-built/ https://sites.tushar.ai/how-this-site-was-built/ How sites.tushar.ai works, with drawings. How agents publish, how the build runs, and how the project covers and their sounds work. Sun, 11 Oct 2026 00:00:00 GMT learning plan https://sites.tushar.ai/foldkit-in-one-page/ https://sites.tushar.ai/foldkit-in-one-page/ Foldkit for React engineers, with diagrams. The Model, Message and update loop, then Commands, Subscriptions, Flags, tests, and a lesson about animation. Sun, 11 Oct 2026 00:00:00 GMT learning https://sites.tushar.ai/effect-4-field-notes/ https://sites.tushar.ai/effect-4-field-notes/ Effect 4 for TypeScript engineers, with diagrams. The Effect type, typed errors, services and layers, Schema in both directions, and the Effect 3 to 4 renames. Sun, 11 Oct 2026 00:00:00 GMT learning https://sites.tushar.ai/easing-menagerie/ https://sites.tushar.ai/easing-menagerie/ Drag a bezier or scribble any curve; a jellyfish, clock, flock of letters and more follow it live. Crank it by scroll, then copy the CSS. Sun, 11 Oct 2026 00:00:00 GMT tool