Post

Maxine 💃🏼
@maxine.science

I have also been working recently on making this a general reusable process! maxine.science/sdd/ (please excuse if there is any remaining Claudeish lol)

maxine.scienceSemantics-Driven Development (SDD): A brief introductionA method for building software: agree on the meaning first, write it as mathematics, and prove that the code obeys it.
dan@danabra.mov

this is an experiment and it might not work out but it seems like you can distill the "mental model" or "theory" behind different pieces of react design into Lean data structures and algorithms. you can do this from a very detailed layer (e.g. mirroring implementation) to coarser "theories"

1 repost8 likes