[{"data":1,"prerenderedAt":84},["ShallowReactive",2],{"\u002Frecurse-2024":3},{"id":4,"title":5,"body":6,"createdAt":71,"description":72,"draft":73,"extension":74,"image":75,"mastodonThread":75,"meta":76,"navigation":77,"path":78,"seo":79,"stem":5,"tags":80,"updatedAt":82,"__hash__":83},"content\u002FRecurse 2024.md","Recurse 2024",{"type":7,"value":8,"toc":65},"minimark",[9,21,31,36,39,43,46],[10,11,12,13,20],"p",{},"I'm attending ",[14,15,19],"a",{"href":16,"rel":17},"https:\u002F\u002Fwww.recurse.com\u002F",[18],"nofollow","The Recurse Center"," for 6 weeks from March 25 - May 3.",[22,23,24],"ul",{},[25,26,27],"li",{},[14,28,30],{"href":29},"\u002Ftlt-2024.01.31-recurse-setup","TLT - 2024.01.31 - Recurse Setup",[32,33,35],"h2",{"id":34},"project-idea","Project Idea",[10,37,38],{},"I'm going to explore the intersection of Alloy+LLM+Rails, or more generally how to leverage LLMs to bring \"formal methods\" into the Real World. My general hypothesis is that (a) Formal Methods (such as model checking) are valuable, (b) they are too costly to use IRL, and (c) LLMs can help bridge that gap. We'll see :)",[32,40,42],{"id":41},"layered-timeline","Layered timeline",[10,44,45],{},"I'm thinking of having a rough schedule that will be default way to decide \"what should I be working on\".",[22,47,48,59,62],{},[25,49,50,51],{},"6 weeks\n",[22,52,53,56],{},[25,54,55],{},"Work as an iteration for each week",[25,57,58],{},"Set a goal, make a set of tasks, burn them down",[25,60,61],{},"5 days a week",[25,63,64],{},"6 hours a day",{"title":66,"searchDepth":67,"depth":67,"links":68},"",2,[69,70],{"id":34,"depth":67,"text":35},{"id":41,"depth":67,"text":42},"2024-03-05","I'm attending The Recurse Center for 6 weeks from March 25 - May 3.",false,"md",null,{},true,"\u002Frecurse-2024",{"title":5,"description":72},[81],"recurse-center","2024-03-23","fOPPYSojWJZ7IjLV6uZBa1QPsjXYTHFkTxi0VYJKUV0",1778988312862]