[{"data":1,"prerenderedAt":113},["ShallowReactive",2],{"\u002Ftlt-2024.03.25-recurse-w1-6-d1-5":3},{"id":4,"title":5,"body":6,"createdAt":100,"description":12,"draft":101,"extension":102,"image":103,"mastodonThread":103,"meta":104,"navigation":105,"path":106,"seo":107,"stem":108,"tags":109,"updatedAt":100,"__hash__":112},"content\u002FTLT - 2024.03.25 - Recurse - W1-6 D1-5.md","Recurse - W1\u002F6 D1\u002F5",{"type":7,"value":8,"toc":96},"minimark",[9,13],[10,11,12],"p",{},"First day of RC!",[14,15,16,37,43,63,69],"ul",{},[17,18,19,23],"li",{},[20,21,22],"strong",{},"General Status:",[14,24,25,28,31,34],{},[17,26,27],{},"First day of RC! Virtual today (everyone)",[17,29,30],{},"Participated in the two onboarding meetings, starting to get a feel for my new friends. TONS of inspirational people and ideas, lots of things to share and explore :)",[17,32,33],{},"I'm looking to getting IRL on Wednesday",[17,35,36],{},"Also looking forward to Creative Coding exercises and .... just doing some whimsical things!",[17,38,39,42],{},[20,40,41],{},"Nerd Snipe:"," Every 6 months or so I try to switch from xmonad to wayland+sway. Yesterday I tried again and actually made a ton of progress and I think crossed over the usability line. The biggest thing that I kept having issues with was screen-sharing, but I think I found the right incantation at last. So .... now the tricky bit where I have like 15 years of xmonad gradual adaptations that I've done and I have to decide which to keep, which to abandon .... and also how nerd-sniped I am willing to be for working on those adaptations :)",[17,44,45,48,49,56,57,62],{},[20,46,47],{},"Alloy+LLM+Rails Project:"," I have been pre-gaming a bit, so have a large ",[50,51,55],"a",{"href":52,"rel":53},"https:\u002F\u002Fwww.zotero.org\u002F",[54],"nofollow","zotero"," backlog of interesting papers to read through and take some notes on. I also am going to work through a few ",[50,58,61],{"href":59,"rel":60},"https:\u002F\u002Fhaslab.github.io\u002Fformal-software-design\u002Findex.html",[54],"Alloy"," experiments to both get my fingers remembering how it works and also learn the new temporal logic stuff they added recently. Next up I want to manually extract some alloy models from code-bases to think out the different types of models (DB Schema, API, Rails Models, etc) and maybe use that to build up some examples for The Machine (LLMs).",[17,64,65,68],{},[20,66,67],{},"Good:"," For the Human Essentials project, I have several open tickets. I'm going to spend the last hour of the day (now) working on that!",[17,70,71,74],{},[20,72,73],{},"Ideas\u002FOther:",[14,75,76,84,87],{},[17,77,78,83],{},[50,79,82],{"href":80,"rel":81},"https:\u002F\u002Fen.wikipedia.org\u002Fwiki\u002FFormal_methods",[54],"Formal Methods"," interest group?",[17,85,86],{},"LLM interest group?",[17,88,89,90,95],{},"Several people were interested in doing some Good; Once I'm settled in I'll declare open invite for pairing on ",[50,91,94],{"href":92,"rel":93},"https:\u002F\u002Fgithub.com\u002Frubyforgood\u002Fhuman-essentials",[54],"Human Essentials"," and see what I can join others on. I really want to get Github Codespaces set up for easier onboarding, hmmm",{"title":97,"searchDepth":98,"depth":98,"links":99},"",2,[],"2024-03-25",false,"md",null,{},true,"\u002Ftlt-2024.03.25-recurse-w1-6-d1-5",{"title":5,"description":12},"TLT - 2024.03.25 - Recurse - W1-6 D1-5",[110,111],"blog","recurse-center","d0q1vsZJPSnLCn9p3-WQiRRw-WMIWKO_rZ66gY5AUgA",1778988314833]