[{"data":1,"prerenderedAt":2144},["ShallowReactive",2],{"tags-pages-list-recurse-center":3},[4,121,234,367,580,659,736,853,935,1021,1160,1270,1376,1464,1531,1621,1705,1770,2059],{"id":5,"title":6,"body":7,"createdAt":108,"description":13,"draft":109,"extension":110,"image":111,"mastodonThread":111,"meta":112,"navigation":113,"path":114,"seo":115,"stem":116,"tags":117,"updatedAt":108,"__hash__":120},"content\u002FTLT - 2024.04.17 - Recurse - W4-6 D3-5.md","Recurse - W4\u002F6 D3\u002F5",{"type":8,"value":9,"toc":104},"minimark",[10,14],[11,12,13],"p",{},"In-Hub, LLM + Sonic Pi, dash of docker-compose",[15,16,17,60,91],"ul",{},[18,19,20,24],"li",{},[21,22,23],"strong",{},"General Status:",[15,25,26,29,32,40],{},[18,27,28],{},"Went into the Hub",[18,30,31],{},"Worked in the morning on Human Essentials a bit, but quickly switched to chatting with folks locally",[18,33,34,35,39],{},"Paired with ",[36,37,38],"em",{},"SL"," to set up some docker-compose fun",[18,41,34,42,45,46,53,54,59],{},[36,43,44],{},"SW"," on trying to mash up ",[47,48,52],"a",{"href":49,"rel":50},"https:\u002F\u002Fllm.datasette.io\u002Fen\u002Fstable\u002F",[51],"nofollow","LLM (datasette)"," with ",[47,55,58],{"href":56,"rel":57},"https:\u002F\u002Fsonic-pi.net\u002F",[51],"Sonic PI","! We ... didn't get it to work. But SW says they got something going via a CLI interface to Sonic!",[18,61,62,65],{},[21,63,64],{},"Nerd Snipe:",[15,66,67,76,79,82,85,88],{},[18,68,69,70,75],{},"When I was chatting with SL yesterday I realized that my ",[47,71,74],{"href":72,"rel":73},"https:\u002F\u002Fthelackthereof.org\u002Funison-backup-setup",[51],"Unison Powered Backups"," can error out without me knowing",[18,77,78],{},"Well I've always KNOWN this, but I ignore it because it works pretty much all the time. Still ... it had failed the night before...",[18,80,81],{},"So I made a wrapper that will do a system notification when it fails",[18,83,84],{},"Now I've got it running hourly. When it works it pops up a \"backup complete\" notification that goes away after a few seconds, and when it fails it pops up a \"BACKUP FAILED\" that won't go away until I click",[18,86,87],{},"Now I have to decide what I want it to tell me about no-internet situations. hm.",[18,89,90],{},"I just noticed that my original writeup of this backup structure was written in 2006!!!! That's pretty good sustainability on a backup solution :)",[18,92,93,96],{},[21,94,95],{},"Alloy+LLM+Rails Project:",[15,97,98,101],{},[18,99,100],{},"RC has a tiny \"community cluster\", which has to machines with small GPUs!",[18,102,103],{},"I got access to that yesterday, so I played with that a bit on the token-tree, got it working! Def faster than the local CPU. I wouldn't be surprised if a mac Mx processor was similar",{"title":105,"searchDepth":106,"depth":106,"links":107},"",2,[],"2024-04-17",false,"md",null,{},true,"\u002Ftlt-2024.04.17-recurse-w4-6-d3-5",{"title":6,"description":13},"TLT - 2024.04.17 - Recurse - W4-6 D3-5",[118,119],"blog","recurse-center","YHMck5gUcmr12CXytuiQEfz_OxW0yltlgsO9xO46-Hk",{"id":122,"title":123,"body":124,"createdAt":227,"description":128,"draft":109,"extension":110,"image":111,"mastodonThread":111,"meta":228,"navigation":113,"path":229,"seo":230,"stem":231,"tags":232,"updatedAt":227,"__hash__":233},"content\u002FTLT - 2024.04.16 - Recurse - W4-6 D2-5.md","Recurse - W4\u002F6 D2\u002F5",{"type":8,"value":125,"toc":225},[126,129],[11,127,128],{},"In-Hub, LLM Club, Mediapipe, Coffee Project, docker-compose",[15,130,131,189,207],{},[18,132,133,135],{},[21,134,23],{},[15,136,137,140,148,157,170,186],{},[18,138,139],{},"Went into the hub! So great to see and interact IRL",[18,141,142,143,147],{},"Applied LLM Club we played with a large JSON dataset; works pretty easy to use the ChatGPT UI and upload the whole file, but we didn't find an obvious way to do the same thing on the API. Maybe something with their ",[144,145,146],"code",{},"Assistants"," concept",[18,149,150,151,156],{},"I went over to ",[47,152,155],{"href":153,"rel":154},"https:\u002F\u002Fcoffeeprojectny.com\u002F",[51],"Coffee Project",", pretty delicious",[18,158,159,160,165,166,169],{},"Played with ",[47,161,164],{"href":162,"rel":163},"https:\u002F\u002Fdevelopers.google.com\u002Fmediapipe\u002Fsolutions\u002Fgenai\u002Fllm_inference\u002Fandroid#configuration_options",[51],"Mediapipe",", android AI\u002Fmedia lib from Google, with ",[36,167,168],{},"JH",". But the bleeding edge software was ... not working",[18,171,172,173,175,176,181,182,185],{},"Showed ",[36,174,38],{}," some of how I set up ",[47,177,180],{"href":178,"rel":179},"https:\u002F\u002Fthelackthereof.org",[51],"thelackthereof.org"," with docker-compose, including nginx running ",[36,183,184],{},"in"," docker with the rest of it",[18,187,188],{},"I worked on some Human Essentials, really need to wrap that :)",[18,190,191,193],{},[21,192,64],{},[15,194,195,204],{},[18,196,197,198,203],{},"TIL: I am using ",[47,199,202],{"href":200,"rel":201},"https:\u002F\u002Fgithub.com\u002Falacritty\u002Falacritty",[51],"Alacritty",", and you can apparently hit ctrl+shift+b to search backwards up through your scrollback!",[18,205,206],{},"I upgraded Nuxt to the latest for my static site ... and it now (correctly) gets mad about some internal broken links. But I couldn't find\u002Ffix them all so I turned that safety feature off hah",[18,208,209,211],{},[21,210,95],{},[15,212,213,222],{},[18,214,215,216,221],{},"Nice video -- ",[47,217,220],{"href":218,"rel":219},"https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=FvNRlE4E9QQ",[51],"\"Finding bugs without running or even looking at code\" by Jay Parlar",", though it is focused on the structural modeling not the state modeling",[18,223,224],{},"Got some communications from the Alloy maintainers; not quite satisfied that we've connected as deeply as I like, but I think I'll be able to get the CLI-JSON output I want in any case",{"title":105,"searchDepth":106,"depth":106,"links":226},[],"2024-04-16",{},"\u002Ftlt-2024.04.16-recurse-w4-6-d2-5",{"title":123,"description":128},"TLT - 2024.04.16 - Recurse - W4-6 D2-5",[118,119],"_bvsSMawOWLGnV4BSEOIAHo6zFVzuoQboA5EmQnzKpk",{"id":235,"title":236,"body":237,"createdAt":360,"description":241,"draft":109,"extension":110,"image":111,"mastodonThread":111,"meta":361,"navigation":113,"path":362,"seo":363,"stem":364,"tags":365,"updatedAt":360,"__hash__":366},"content\u002FTLT - 2024.04.15 - Recurse - W4-6 D1-5.md","Recurse - W4\u002F6 D1\u002F5",{"type":8,"value":238,"toc":358},[239,242],[11,240,241],{},"Website updates to break insulation, bit of Human Essentials",[15,243,244,288,349],{},[18,245,246,248],{},[21,247,23],{},[15,249,250,253,256,265,268,282,285],{},[18,251,252],{},"I think I'll go Virtual today and go into the Hub tomorrow (though I keep going back and forth)",[18,254,255],{},"Decided to beak my own insulation a bit, cross-posted all of these checkins to my own website",[18,257,258,259,264],{},"We went to a few bookstores over the weekend! I got ",[47,260,263],{"href":261,"rel":262},"https:\u002F\u002Fwww.adriantchaikovsky.com\u002Fthe-final-architects-shards-of-earth-eyes-of-the-voice-by-adrian-tchaikovsky.html",[51],"Adrian Tchaikovsky, Eyes of the Void, Book II of The Final Architects Series",". Betsy told me years and years ago to check out Tchaikovsky and boy was she right! I'm chewing through the catalog. Beth isn't into him as much, so YMMV",[18,266,267],{},"I know I'm feeling better because I'm feeling very wordy today haha",[18,269,270,271,276,277],{},"Also picked up ",[47,272,275],{"href":273,"rel":274},"https:\u002F\u002Fus.macmillan.com\u002Fbooks\u002F9781250151179\u002Fnineteenwaysoflookingatconsciousness",[51],"Patrick house, Nineteen Ways of Looking at Consciousness"," and ",[47,278,281],{"href":279,"rel":280},"https:\u002F\u002Fwww.booksaremagic.net\u002Fitem\u002FL0V8Hcd1MxZHzEYGiH3oNw",[51],"Daniel C. Dennett, I've Been Thinking",[18,283,284],{},"Both are interesting. Thinking about consciousness, Agency, all that is a thing I enjoy. Dennett is often too aggressive, but I'm strongly aligned with his core ideas",[18,286,287],{},"Today I need to do a bit more on Human Essentials too. Had a good meeting with the team yesterday and there are only a few small things to get done on Dashboard for it to be mergeable",[18,289,290,292],{},[21,291,64],{},[15,293,294,297,316,326,339,346],{},[18,295,296],{},"Backdating blog entries and adding tags wasn't easy. So I updated my new-blog command wrapper with a few new options :)",[18,298,299,300,305,306,311,312,315],{},"I'm using the ",[47,301,304],{"href":302,"rel":303},"https:\u002F\u002Fwww.npmjs.com\u002Fpackage\u002Fcommander",[51],"Commander"," CLI helper along with ",[47,307,310],{"href":308,"rel":309},"https:\u002F\u002Ftypestrong.org\u002Fts-node\u002F",[51],"ts-node"," for this. So my script starts with ",[144,313,314],{},"#!\u002Fusr\u002Fbin\u002Fenv ts-node"," and contains Typescript",[18,317,318,319,321,322,325],{},"I can never remember where my ",[144,320,118],{}," command really lives, but ",[144,323,324],{},"vim $(which blog)"," works great :)",[18,327,328,329,334,335,338],{},"At some point recently I upgraded to ",[47,330,333],{"href":331,"rel":332},"https:\u002F\u002Ftaskwarrior.org\u002F",[51],"Taskwarrior 3.0"," which includes having to do an export of tasks from the old version ",[36,336,337],{},"BEFORE"," you install the new version. I got that taken care of before my OS does it for me",[18,340,341,342,345],{},"I started to help the Taskwarrior peeps out by making a perl script that translates their legacy ",[144,343,344],{},".data"," format directly into JSON so you could do the extract even after the upgrade .... but my data is migrated now and works fine so I lost momentum",[18,347,348],{},"On my blog, I might make a few more formatting tweaks. I will at some point use NuxtImage to render the thumbnails for things .... right now it is actually the full sized image downloaded and then scaled by the browser. People have a lot of bandwidth now, right? They're not that big anyway",[18,350,351,353],{},[21,352,95],{},[15,354,355],{},[18,356,357],{},"Still no direct reply from the maintainers, but I'm going to keep jamming",{"title":105,"searchDepth":106,"depth":106,"links":359},[],"2024-04-15",{},"\u002Ftlt-2024.04.15-recurse-w4-6-d1-5",{"title":236,"description":241},"TLT - 2024.04.15 - Recurse - W4-6 D1-5",[118,119],"aDias0CbbVo9AF8DtUzVgYUGp9J8UnyPsOjh01iAqIw",{"id":368,"title":369,"body":370,"createdAt":573,"description":374,"draft":109,"extension":110,"image":111,"mastodonThread":111,"meta":574,"navigation":113,"path":575,"seo":576,"stem":577,"tags":578,"updatedAt":573,"__hash__":579},"content\u002FTLT - 2024.04.14 - Recurse - W3-6.md","Recurse - W3\u002F6",{"type":8,"value":371,"toc":571},[372,375],[11,373,374],{},"A week spent coughing, writing Java, and watching Andor. First World Problems hah. Not bad in the scheme of things! :)",[15,376,377,418,467],{},[18,378,379,381],{},[21,380,23],{},[15,382,383,391,397,406,409,412,415],{},[18,384,385,386],{},"I was Virtual all week -- fighting a cough and feeling intermittently icky :( . MUCH BETTER NOW!!! Beautiful day.\n",[15,387,388],{},[18,389,390],{},"Watched the eclipse from here in NYC. Was OK. Maybe I'll do totality next time :)",[18,392,393,396],{},[36,394,395],{},"FEELINGS"," -- Because of that it was a pretty tough week, really feeling both not getting the value of all the human connections I'd like and also feeling the reality of being at the half-way point for the 6-week batch",[18,398,399,400,405],{},"Watched a few more episodes of ",[47,401,404],{"href":402,"rel":403},"https:\u002F\u002Fen.wikipedia.org\u002Fwiki\u002FAndor_(TV_series)",[51],"Andor",". I haven't watched any of the other Star Wars series shows, but got recommended this one by a random YouTube video and I like it. I only have a few more episodes left for the season",[18,407,408],{},"It was Beth's Birthday on Tuesday; I had dinner reservations and desert lined up ... but we called it off since I was feeling icky. BUT! We rescheduled to Saturday and had a lovely time! We are the same age yet again!",[18,410,411],{},"Here it is Sunday 2024-04-14 and I am feeling much much better. Skipping our weekly weight-training workout though to not push myself backwards",[18,413,414],{},"During the week I did attend a few things, and loved them all! I think y'all are great",[18,416,417],{},"Really one of my rare complaints is the double-edge sword of a curated community -- the insulation is dividing people in my life; like even these posts to zulip feel better to write than the public blog, and I'm not going to link to individuals on the public blog. In another week one of my bestest friends is visiting from Portland OR, and without special permission I can't bring them over to the hub. Heck I can't bring my spouse by when we happen to be nearby later today. I get it, I like it, I agree with it, and yet ... I feel that separation of insiders and outsiders. Eh.",[18,419,420,422],{},[21,421,64],{},[15,423,424,427,434,437,446,455,458],{},[18,425,426],{},"I was upset that on Tuesday at a zoom meeting I had a coughing fit while screen sharing and that my desktop zoom ... wouldn't let me mute myself or stop sharing! GARRR",[18,428,429,430,433],{},"So. I think I got it. The solution: ",[36,431,432],{},"stop using the desktop zoom client",". Turns out you can use the browser just like I do all the time with google meet. BYE BYE DESKTOP ZOOM",[18,435,436],{},"It seems to work better now. I still have my internet drop now and then, which has something to do with where I am physically when remote here (switching wifi APs or something), but I can tether and then all is good",[18,438,439,440,445],{},"Still doing some mild tweaks to Sway, the latest is that I got ",[47,441,444],{"href":442,"rel":443},"https:\u002F\u002Fgithub.com\u002Fnicolasavru\u002Fswaymonad",[51],"swaymonad"," running, which controls some initial window-placement settings to make them more like xmonad. Looks like I'll probably fork\u002Ftweak it to my liking",[18,447,448,449,454],{},"And THAT thing uses ",[47,450,453],{"href":451,"rel":452},"https:\u002F\u002Fnixos.org\u002F",[51],"Nix","! So...",[18,456,457],{},"I got Nix running (on top of my existing Ubuntu, not as a whole install)",[18,459,460,461,466],{},"Just now I was listening to a ",[47,462,465],{"href":463,"rel":464},"https:\u002F\u002Fchangelog.com\u002Fshipit\u002F99",[51],"podcast (Ship It! Episode 99: From Kubernetes to Nix)"," and ... now am going to try to do MORE NIX, maybe inflict it upon my work people eventually. MUAHAHAHA",[18,468,469,471],{},[21,470,95],{},[15,472,473,476,479,482,485,488,491,552,559,562,565,568],{},[18,474,475],{},"Well. I learned some more Alloy!",[18,477,478],{},"I also was trying to play with different ways of interfacing with Alloy, knowing that the CLI is very limited",[18,480,481],{},"BUT they are prepping for a v6.1 which actually has some good CLI tooling! Like you can use it without the GUI, export JSON, even get an interactive console mode!",[18,483,484],{},"Very cool",[18,486,487],{},"But it doesn't work",[18,489,490],{},"As in the current dev branch is in need of some bug-fixes and QA for release. Also I think this is both a \"soon\" release and one that has been in progress for a year. Maybe I can help!",[18,492,493,494],{},"So ... I'm now up to 8 open PRs against various branches and have reached out to the maintainers to do some coordination :)\n",[15,495,496,503,510,517,524,531,538,545],{},[18,497,498],{},[47,499,502],{"href":500,"rel":501},"https:\u002F\u002Fgithub.com\u002Fnmacedo\u002Forg.alloytools.alloy\u002Fpull\u002F4",[51],"Quiets more CLI output when requested",[18,504,505],{},[47,506,509],{"href":507,"rel":508},"https:\u002F\u002Fgithub.com\u002Fnmacedo\u002Forg.alloytools.alloy\u002Fpull\u002F3",[51],"Remove deprecation warning for DefaultSymbolFactory",[18,511,512],{},[47,513,516],{"href":514,"rel":515},"https:\u002F\u002Fgithub.com\u002Fnmacedo\u002Forg.alloytools.alloy\u002Fpull\u002F2",[51],"Allow not-quite-regular files",[18,518,519],{},[47,520,523],{"href":521,"rel":522},"https:\u002F\u002Fgithub.com\u002FAlloyTools\u002Forg.alloytools.alloy\u002Fpull\u002F261",[51],"Print the 0th table; label the repeat number",[18,525,526],{},[47,527,530],{"href":528,"rel":529},"https:\u002F\u002Fgithub.com\u002FAlloyTools\u002Forg.alloytools.alloy\u002Fpull\u002F262",[51],"Prevent overriding ctrl+A and ctrl+E",[18,532,533],{},[47,534,537],{"href":535,"rel":536},"https:\u002F\u002Fgithub.com\u002FAlloyTools\u002Forg.alloytools.alloy\u002Fpull\u002F263",[51],"Remove long-deprecated menu entry",[18,539,540],{},[47,541,544],{"href":542,"rel":543},"https:\u002F\u002Fgithub.com\u002FAlloyTools\u002Forg.alloytools.alloy\u002Fpull\u002F265",[51],"Make the parser match the syntax highlighter",[18,546,547],{},[47,548,551],{"href":549,"rel":550},"https:\u002F\u002Fgithub.com\u002FAlloyTools\u002Forg.alloytools.alloy\u002Fpull\u002F267",[51],"Fix expectation of toDTO, avoid NPE",[18,553,554,555,558],{},"As I mentioned in my message to the developers ... as another open-source maintainer, I know that contributors can be well-intentioned but often come around, talk up some ideas, and disappear. Or worse, submit an un-mergeable PR and disappear. So I'm trying very hard to not do that. Each one of those is very small, like one or a few lines, easy to verify, and I ",[36,556,557],{},"think"," immediately mergeable",[18,560,561],{},"I have noticed there are, unsurprisingly some gaps in the unit tests, so I'm going to make some CLI-specific tests next week",[18,563,564],{},"Also this is Java! It's interesting how my position here has shifted over years ... at one point I was so frustrated with all-things-java that I swore it off. But I've matured or something and also realized that I LOVE ALL PROGRAMMING!!",[18,566,567],{},"I should note that I've also sworn off mmmmmm Databases and Javascript, but here I am 20 years later and both are close to my heart :)",[18,569,570],{},"Anyway. When it comes to the usual project-existential issues during my batch, this is clearly a good foundation; if I can help get this tool itself to be updated and integratable then I'll feel pretty pretty good",{"title":105,"searchDepth":106,"depth":106,"links":572},[],"2024-04-14",{},"\u002Ftlt-2024.04.14-recurse-w3-6",{"title":369,"description":374},"TLT - 2024.04.14 - Recurse - W3-6",[118,119],"XoGenr8nky-XL6dhbOtnU5lysZebRzUmPpumLDrjwMY",{"id":581,"title":582,"body":583,"createdAt":652,"description":587,"draft":109,"extension":110,"image":594,"mastodonThread":111,"meta":653,"navigation":113,"path":654,"seo":655,"stem":656,"tags":657,"updatedAt":652,"__hash__":658},"content\u002FTLT - 2024.04.05 - Recurse - W2-6 D5-5.md","Recurse - W2\u002F6 D5\u002F5",{"type":8,"value":584,"toc":650},[585,588,595],[11,586,587],{},"Virtual errands, GPU token generation. Oh right, Alloy",[11,589,590],{},[591,592],"img",{"alt":593,"src":594},"Token tree 3x3 cat sat on the","img\u002FToken_tree_3x3_cat_sat_on_the.png",[15,596,597,616],{},[18,598,599,601],{},[21,600,23],{},[15,602,603,606,609],{},[18,604,605],{},"Virtual today",[18,607,608],{},"Mostly doing some errands and general reading",[18,610,611,612,615],{},"Hung out with ",[36,613,614],{},"J"," some, looking at LLM stuff and showing a GPU cloud executor",[18,617,618,620],{},[21,619,95],{},[15,621,622,625,628,631,634,637,640],{},[18,623,624],{},"I'm giving local-intel-gpu one more last chance",[18,626,627],{},"... I got it working on an A100 and it was a lot faster! But like... 10x, not instant",[18,629,630],{},"I generated a large tree but it had some unescaped character that I haven't found yet so I don't have the actual rendered graphviz",[18,632,633],{},"I remembered to turn off the rented instance :)",[18,635,636],{},"I started going back and updating Alloy knowledge, esp around time-domain which was added since I learned it",[18,638,639],{},"Next I need to start doing real Alloy models of things I think about or systems I use, and start improving the tooling around that",[18,641,642,643,646,647,649],{},"I'm starting to think about Alloy tooling, both direct and LLM; like in addition to Rails in\u002Fout I'm thinking of PlantUML in\u002Fout. A lot of Alloy users report using it as a ",[36,644,645],{},"thinking tool",". I use PlantUML as a ",[36,648,645],{},". So ...",{"title":105,"searchDepth":106,"depth":106,"links":651},[],"2024-04-05",{},"\u002Ftlt-2024.04.05-recurse-w2-6-d5-5",{"title":582,"description":587},"TLT - 2024.04.05 - Recurse - W2-6 D5-5",[118,119],"HXjQaY7YRQvQvH4eu0NoB_SkPizSorpKzfZXzTQiQjk",{"id":660,"title":661,"body":662,"createdAt":729,"description":666,"draft":109,"extension":110,"image":672,"mastodonThread":111,"meta":730,"navigation":113,"path":731,"seo":732,"stem":733,"tags":734,"updatedAt":729,"__hash__":735},"content\u002FTLT - 2024.04.04 - Recurse - W2-6 D4-5.md","Recurse - W2\u002F6 D4\u002F5",{"type":8,"value":663,"toc":727},[664,667,673],[11,665,666],{},"Pairing, unicode tokens, graphviz bling",[11,668,669],{},[591,670],{"alt":671,"src":672},"Unicode token tree with Chinese","img\u002FUnicode_token_tree_with_Chinese.png",[15,674,675,700],{},[18,676,677,679],{},[21,678,23],{},[15,680,681,684,687,690,697],{},[18,682,683],{},"Starting to get into the hub-vibe a bit more, love it. Starting to actually remember individuals better! I'm so bad with names, but will keep asking over and over until I get it :)",[18,685,686],{},"I got to show the token-tree thing to a few individuals and then presented at the big session, very fun",[18,688,689],{},"Still having wayland\u002Fsway + zoom issues :( . Weird color inversion, floating-vs-non-floating-windows, etc. But I'm sticking with it. Hard to switch after like 15 years of xmonad (and like 25 years of X11 heh), but it's at like 99.9% so can't stop now",[18,691,692,693,696],{},"Shout out again to ",[36,694,695],{},"O"," who helped me sort out some caching issues that was slowing down CPU token generation. Making it fast-enough has been really helpful",[18,698,699],{},"Will be Virtual RC tomorrow (Friday), gotta do some errands and prep for a friend-visit over the weekend",[18,701,702,704],{},[21,703,95],{},[15,705,706,709,715,718,721,724],{},[18,707,708],{},"Working on wrapping up token-visualization",[18,710,34,711,714],{},[36,712,713],{},"Q",", sorted out some escaping and unicode things",[18,716,717],{},"Added a bit of bling shadows and scaling (styling SVG with CSS is fun!)",[18,719,720],{},"Got incremental streaming of updates, background threading of the processing, and interruptability",[18,722,723],{},"Going to now switch over to Alloy; do some tutorials and toy models, build a few by-hand models of real world apps (Human Essentials Rails)",[18,725,726],{},"Somewhat of a pure-research project, so I'll go with where it takes me. But I am feeling the time-pressure a bit, and am hungry for artifacts to show off in the end. We'll see what comes next :)",{"title":105,"searchDepth":106,"depth":106,"links":728},[],"2024-04-04",{},"\u002Ftlt-2024.04.04-recurse-w2-6-d4-5",{"title":661,"description":666},"TLT - 2024.04.04 - Recurse - W2-6 D4-5",[118,119],"vK3Hd63PaQocbwt0pAo507oUc9wuFyUlpBXkt_0vjug",{"id":737,"title":738,"body":739,"createdAt":846,"description":743,"draft":109,"extension":110,"image":749,"mastodonThread":111,"meta":847,"navigation":113,"path":848,"seo":849,"stem":850,"tags":851,"updatedAt":846,"__hash__":852},"content\u002FTLT - 2024.04.03 - Recurse - W2-6 D3-5.md","Recurse - W2\u002F6 D3\u002F5",{"type":8,"value":740,"toc":842},[741,744,750,755,797,801],[11,742,743],{},"Pairing, learning about LLM KV-caching",[11,745,746],{},[591,747],{"alt":748,"src":749},"Token tree, 3x3 of solar system","img\u002FToken_tree,_3x3_of_solar_system.png",[751,752,754],"h2",{"id":753},"part-i-morning","Part I - Morning",[15,756,757,775],{},[18,758,759,761],{},[21,760,23],{},[15,762,763,766],{},[18,764,765],{},"In the hub today",[18,767,768,769,774],{},"I need to work on getting this ",[47,770,773],{"href":771,"rel":772},"https:\u002F\u002Fgithub.com\u002Frubyforgood\u002Fhuman-essentials\u002Fpull\u002F3788",[51],"Human Essentials Dashboard PR"," mergeable",[18,776,777,779],{},[21,778,95],{},[15,780,781,784,791,794],{},[18,782,783],{},"When I run the out-of-the-box generate locally it generates tokens fast-enough for my tree demo",[18,785,786,787,790],{},"So I'm going to focus on getting the tree generation to be ",[36,788,789],{},"as fast"," as that",[18,792,793],{},"Because as I think of it, when I shift to whole-codebase analysis it is unlikely that I will do that on anything smaller than a hosted API-based model (GPT-4, Claude2, etc)",[18,795,796],{},"Dunno",[751,798,800],{"id":799},"part-ii-evening","Part II - Evening",[15,802,803,807,816],{},[18,804,805],{},[21,806,23],{},[18,808,809,811],{},[21,810,64],{},[15,812,813],{},[18,814,815],{},"Fixed my vim comment-code keybinding. Where did it go before? Also ctrl-backspace to delete-word.",[18,817,818,820],{},[21,819,95],{},[15,821,822,827,830,833,836,839],{},[18,823,34,824,826],{},[36,825,695],{},"!",[18,828,829],{},"He walked me through how some of the LLM KV caching works",[18,831,832],{},"So now I'm walking through my code to see if I can make it a bit faster",[18,834,835],{},"I also got progress on displaying a whole tree and a web interface",[18,837,838],{},"I think next I want to generate the tree incrementally on the web",[18,840,841],{},"I'll stop at that point though, outputting graphviz is satisfying enough for now",{"title":105,"searchDepth":106,"depth":106,"links":843},[844,845],{"id":753,"depth":106,"text":754},{"id":799,"depth":106,"text":800},"2024-04-03",{},"\u002Ftlt-2024.04.03-recurse-w2-6-d3-5",{"title":738,"description":743},"TLT - 2024.04.03 - Recurse - W2-6 D3-5",[118,119],"_3qummQt5ARS9EuLgUNFINdZmQu0Yp1BEBFzxBHkm4I",{"id":854,"title":855,"body":856,"createdAt":928,"description":860,"draft":109,"extension":110,"image":866,"mastodonThread":111,"meta":929,"navigation":113,"path":930,"seo":931,"stem":932,"tags":933,"updatedAt":928,"__hash__":934},"content\u002FTLT - 2024.04.02 - Recurse - W2-6 D2-5.md","Recurse - W2\u002F6 D2\u002F5",{"type":8,"value":857,"toc":926},[858,861,867],[11,859,860],{},"Applied LLM Demos; basic token output visualization with graphviz",[11,862,863],{},[591,864],{"alt":865,"src":866},"Basic token tree","img\u002FBasic_token_tree.png",[15,868,869,884,896],{},[18,870,871,873],{},[21,872,23],{},[15,874,875,878,881],{},[18,876,877],{},"At the hub today!",[18,879,880],{},"Delighted to keep meeting and chatting with people, went to lunch and all that",[18,882,883],{},"I organized an Applied LLM meetup -- there were demos that were DELIGHTFUL! A lovely enthusiastic group :)",[18,885,886,888],{},[21,887,64],{},[15,889,890,893],{},[18,891,892],{},"Flipped my bluetooth mouse (which I hadn't used since switching to Sway) to left-handed",[18,894,895],{},"My conference room presenting connection on this laptop has thrown me; Sway\u002FWayland won't let you have merged screens and the jabber speaker\u002Fmic doesn't output any sound for me! I need to do a more controlled practice run, the one I did wasn't good enough",[18,897,898,900],{},[21,899,95],{},[15,901,902,905,908,911,914,917,920,923],{},[18,903,904],{},"I got initial graphviz output!",[18,906,907],{},"I then decided that it was too slow to generate, so started to get my intel GPU to work",[18,909,910],{},"I ran into this exact same issue and gave up",[18,912,913],{},"Then I started figuring out how to spend money renting someone else's computer",[18,915,916],{},"... now I have to be careful. I spent $4.50 pretty quickly. I have a budget for this, but I want to spend that on actual computation instead of forgetting to turn something off and letting it run all night or all weekend for now gain",[18,918,919],{},"Unfortunately the output didn't work for my first larger run; the nodes in graphviz didn't have the full path and overwrote each other",[18,921,922],{},"Also I think that the local one can go a lot faster if I don't fully reset it every time; there are savepoints and some other things that might work",[18,924,925],{},"Still -- it's close to being GUI-able!",{"title":105,"searchDepth":106,"depth":106,"links":927},[],"2024-04-02",{},"\u002Ftlt-2024.04.02-recurse-w2-6-d2-5",{"title":855,"description":860},"TLT - 2024.04.02 - Recurse - W2-6 D2-5",[118,119],"hrCc0MQFe86olYtSPGxxBFnpHW0DKixTAVrIqGDMA88",{"id":936,"title":937,"body":938,"createdAt":1014,"description":942,"draft":109,"extension":110,"image":111,"mastodonThread":111,"meta":1015,"navigation":113,"path":1016,"seo":1017,"stem":1018,"tags":1019,"updatedAt":1014,"__hash__":1020},"content\u002FTLT - 2024.04.01 - Recurse - W2-6 D1-5.md","Recurse - W2\u002F6 D1\u002F5",{"type":8,"value":939,"toc":1012},[940,943],[11,941,942],{},"Lunch table with Humans!",[15,944,945,986,1000],{},[18,946,947,949],{},[21,948,23],{},[15,950,951,972],{},[18,952,953,954],{},"Morning\n",[15,955,956,963,966,969],{},[18,957,958,959,962],{},"I find updating the ",[144,960,961],{},"week"," indicator on this checkin is already upsetting",[18,964,965],{},"I'm heading into The Hub today!",[18,967,968],{},"Going to see if I can do some IRL pairing",[18,970,971],{},"I need to work on some Human Essentials today, Wednesday is a stakeholder meeting",[18,973,974,975],{},"Evening\n",[15,976,977,980,983],{},[18,978,979],{},"I had a delightful time sitting at the lunch table and chat chat chatting with peeps",[18,981,982],{},"HCI session was very interesting, with lots of discussion on Agency (which of course I'm very into)",[18,984,985],{},"Failed to do any IRL pairing, will try harder tomorrow!",[18,987,988,990],{},[21,989,64],{},[15,991,992],{},[18,993,159,994,999],{},[47,995,998],{"href":996,"rel":997},"https:\u002F\u002Fgithub.com\u002Fmilgra\u002Fsov",[51],"sov"," a bit, might use it to visualize virtual desktops. But maybe not",[18,1001,1002,1004],{},[21,1003,95],{},[15,1005,1006,1009],{},[18,1007,1008],{},"I might want to actually really look at LangChain",[18,1010,1011],{},"I have all the tools for a tree-of-tokens working (albeit slowly), so now working on traversing that to turn it into some visualizations",{"title":105,"searchDepth":106,"depth":106,"links":1013},[],"2024-04-01",{},"\u002Ftlt-2024.04.01-recurse-w2-6-d1-5",{"title":937,"description":942},"TLT - 2024.04.01 - Recurse - W2-6 D1-5",[118,119],"KGtmfrYLvq1bE_7Pc8pZqcj94WxzmXBK45DUAr80QxU",{"id":1022,"title":1023,"body":1024,"createdAt":1153,"description":1028,"draft":109,"extension":110,"image":111,"mastodonThread":111,"meta":1154,"navigation":113,"path":1155,"seo":1156,"stem":1157,"tags":1158,"updatedAt":1153,"__hash__":1159},"content\u002FTLT - 2024.03.29 - Recurse - W1-6 D5-5.md","Recurse - W1\u002F6 D5\u002F5",{"type":8,"value":1025,"toc":1148},[1026,1029,1031,1049,1051,1114,1118],[11,1027,1028],{},"Llamas, Pythons, Coffee, and Sway",[751,1030,754],{"id":753},[15,1032,1033],{},[18,1034,1035,1038],{},[21,1036,1037],{},"Morning Status:",[15,1039,1040,1043,1046],{},[18,1041,1042],{},"I feel pretty great today, but going to be Virtual anyway. Got some errands to run",[18,1044,1045],{},"I've got llama-cpp-python up and running, so I'm going to work on a back-end for it",[18,1047,1048],{},"I'll likely solicit pairing once I get it a bit further, especially for some visuals",[751,1050,800],{"id":799},[15,1052,1053,1102],{},[18,1054,1055,1057],{},[21,1056,23],{},[15,1058,1059,1069,1072,1093,1096,1099],{},[18,1060,1061,1062,1065,1066],{},"TIL: Drop this in your python code to get a pretty close ",[144,1063,1064],{},"binding.pry"," equivalent ",[144,1067,1068],{},"from IPython import embed # For debugging; put `embed()` anywhere",[18,1070,1071],{},"Coffee Chat with Paolo!",[18,1073,1074,1075],{},"Volitional Muscles Workshop helped me re-affirm that I like the plan that I pre-gamed\n",[15,1076,1077,1085],{},[18,1078,1079,1080],{},"Core: Alloy+LLM+Rails (using Human Essentials app as a dataset)\n",[15,1081,1082],{},[18,1083,1084],{},"Explore possibilities, mash together things, dev-tooling, do some Good",[18,1086,1087,1088],{},"Cake: Pair, Follow Whims, Dance With Serendipity\n",[15,1089,1090],{},[18,1091,1092],{},"Create artifacts, play, learn, share",[18,1094,1095],{},"Side Note: I'm typing this in vim with copilot and it is upsetting when it suggests stiff language and then it is upsetting when it suggests exactly what I was about to write because then I'm like ... is this as bad as what you just suggested dear robot?",[18,1097,1098],{},"Attended applied machine learning group, but really just watched",[18,1100,1101],{},".... then got a Work Call that I hopped on to help with for the end of the day",[18,1103,1104,1106],{},[21,1105,95],{},[15,1107,1108,1111],{},[18,1109,1110],{},"Slight progress on understanding the llama-cpp-python setup",[18,1112,1113],{},"Did some brushing up on python iterators and debugging tools",[751,1115,1117],{"id":1116},"part-iii-weekend-bonus","Part III - WEEKEND BONUS",[15,1119,1120],{},[18,1121,1122,1125],{},[21,1123,1124],{},"Weekend Updates:",[15,1126,1127,1139,1142,1145],{},[18,1128,1129,1130],{},"Nerd Sniped on displaying the current desktop grid pop-up to the right monitor. Got it working :)\n",[15,1131,1132],{},[18,1133,1134,1135,1138],{},"For reference, ",[144,1136,1137],{},"screen=$(swaymsg -t get_outputs | jq 'map(.focused) | index(true)')"," which I then pass on to aosd_cat",[18,1140,1141],{},"I dreamed about generating tokens from an LLM, but I think they were physical tokens and also maybe gangsters",[18,1143,1144],{},"I don't really need it now, but I keep wondering a cost-effective but natural-for-me way to rent GPU time to make my model run faster. I can spin up a whole linode GPU vm, but will need to make sure to delete it in-between uses. I don't really want to do hosted notebook blah blah. Not sure what I want. I guess I wish I could run a command and have a GPU on my existing linode and then run another to remove it, but that's maybe not how it works",[18,1146,1147],{},"We went on a some shopping and walking around and out to Thai and got groceries. Making good progress on getting the sense-of-place around here",{"title":105,"searchDepth":106,"depth":106,"links":1149},[1150,1151,1152],{"id":753,"depth":106,"text":754},{"id":799,"depth":106,"text":800},{"id":1116,"depth":106,"text":1117},"2024-03-29",{},"\u002Ftlt-2024.03.29-recurse-w1-6-d5-5",{"title":1023,"description":1028},"TLT - 2024.03.29 - Recurse - W1-6 D5-5",[118,119],"43mB7y3HTye5oVMUY834GREBZxLF2JFs05LZ6yidwQ4",{"id":1161,"title":1162,"body":1163,"createdAt":1261,"description":1262,"draft":109,"extension":110,"image":1235,"mastodonThread":111,"meta":1263,"navigation":113,"path":1264,"seo":1265,"stem":1266,"tags":1267,"updatedAt":1261,"__hash__":1269},"content\u002FTLT - 2024.03.28 - Notes From Peter Kriens Video.md","Notes From Peter Kriens Video",{"type":8,"value":1164,"toc":1257},[1165,1173,1177,1185,1188,1201,1204,1209,1212,1223,1230,1236,1239,1242,1246],[11,1166,1167,1168],{},"Some notes and thoughts on Peter Kriens' video, as ",[47,1169,1172],{"href":1170,"rel":1171},"https:\u002F\u002Falloytools.discourse.group\u002Ft\u002Fthe-use-of-alloy-and-llms\u002F449\u002F2",[51],"posted on the Alloy Discourse",[751,1174,1176],{"id":1175},"notes-and-quotes","Notes and Quotes",[11,1178,1179,1180],{},"Video: ",[47,1181,1184],{"href":1182,"rel":1183},"https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=_j3SdIGqYG8",[51],"Peter Kriens - Thoughts on Alloy, Formal Models, and Software Engineering (youtube)",[11,1186,1187],{},"In this talk, Kriens talks about the practicalities of formal modeling, highlights flaws in a focus on correctness, and advocates for models as a way to elucidate our thinking about a problem or system.",[1189,1190,1191],"blockquote",{},[11,1192,1193,1197,1200],{},[591,1194],{"alt":1195,"src":1196},"Peter Kriens - Programmer In The Loop","img\u002FPeter_Kriens_-_Programmer_In_The_Loop.png",[1198,1199],"br",{},"\n\"Although I really enjoy Alloy, there is a wide gap between formal languages and implementation languages and there seems to be no bridge in sight\"",[11,1202,1203],{},"Kriens says he often finds himself using Alloy or other tools to initially explore a problem, get a rough model set up to explore the space, and then abandon it quickly and moving to implementation. The \"prose\" of the initial problem has to be processed by a programmer to get to the implementation, rather than using the formal model further down the development lifecycle.",[1189,1205,1206],{},[11,1207,1208],{},"\"Once we have an implementation, although there have been attempts, as far as I can see that is a long way to go before we can automatically create test from a model\"",[11,1210,1211],{},"OK interesting. Challenge accepted.",[1189,1213,1214],{},[11,1215,1216,1220,1222],{},[591,1217],{"alt":1218,"src":1219},"Peter Kriens - Prose to Implementation","img\u002FPeter_Kriens_-_Prose_to_Implementation.png",[1198,1221],{},"\n\"Prose is also not digestable by our computers. Although AI made impressive progress in pattern recognition, understanding prose is as far off as it was in the 1960's, almost 60 years ago. The developers must interpret the prose and translate their understanding to the proper use of the API. The computer is too stupid to provide any help here, except for the formatting maybe.\"",[11,1224,1225,1226,1229],{},"This talk was from 2020 .... oh how the world has changed in four short years! We now have Large Language Models which can do some ",[36,1227,1228],{},"impressive"," understanding of prose.",[11,1231,1232],{},[591,1233],{"alt":1234,"src":1235},"Peter_Kriens_-_Model_as_Elucidation","img\u002FPeter_Kriens_-_Model_as_Elucidation.png",[11,1237,1238],{},"Krien goes on to explore the idea of taking our high-level prose of a problem, the sort of things that we might leave in comments in our code, and replacing it with a very usable version of a formal model to serve as an \"Oracle\", a probe-able system to ask questions about the specification while building and maintaining the implementation. It could also generate verified test cases and mocks, and generally could provide inconsistencies and validate guarantees in an ongoing way.",[11,1240,1241],{},"Kriens did some experiments with DSL or other tooling to generate target system tests and such. He explored using reflection in the Java type system for expanding\u002Fannotating alloy and using it to generate Java. He also highlights some specific data structures and how they'd map from an imagined Alloy++ onto Java objects.",[751,1243,1245],{"id":1244},"ideas","Ideas",[15,1247,1248,1251,1254],{},[18,1249,1250],{},"Build some re-usable alloy for common scripting language data structures -- scalar, array, hash",[18,1252,1253],{},"Any value in generic \"object\" as a thing with instances, methods?",[18,1255,1256],{},"Use Alloy as a straight up way to generate mock data; a deeper version or an enhancement or layer on top of FactoryBot",{"title":105,"searchDepth":106,"depth":106,"links":1258},[1259,1260],{"id":1175,"depth":106,"text":1176},{"id":1244,"depth":106,"text":1245},"2024-03-28","Some notes and thoughts on Peter Kriens' video, as posted on the Alloy Discourse",{},"\u002Ftlt-2024.03.28-notes-from-peter-kriens-video",{"title":1162,"description":1262},"TLT - 2024.03.28 - Notes From Peter Kriens Video",[118,119,1268],"share","e4W0L9cl6xIwjUfmhV_jcLSCHQZiRxPCKDWYlbjSxWw",{"id":1271,"title":1272,"body":1273,"createdAt":1261,"description":1277,"draft":109,"extension":110,"image":111,"mastodonThread":111,"meta":1370,"navigation":113,"path":1371,"seo":1372,"stem":1373,"tags":1374,"updatedAt":1261,"__hash__":1375},"content\u002FTLT - 2024.03.28 - Recurse - W1-6 D4-5.md","Recurse - W1\u002F6 D4\u002F5",{"type":8,"value":1274,"toc":1368},[1275,1278],[11,1276,1277],{},"Fuzzy brained, but starting to figure this thing out.",[15,1279,1280,1294,1315,1347],{},[18,1281,1282,1285,1286],{},[21,1283,1284],{},"Morning Status",":\n",[15,1287,1288],{},[18,1289,1290,1291,1293],{},"Feeling a bit fuzzy brained ... I had a cold like 2 weeks ago and hope it's not coming back or getting a new one. I don't ",[36,1292,557],{}," I have allergies. Still. I was face-to-face with a LOT of people yesterday. So while I'm feeling only very slight off, I'm going Virtual today to see how it progresses.",[18,1295,1296,1298],{},[21,1297,23],{},[15,1299,1300,1303,1306,1309,1312],{},[18,1301,1302],{},"Felt much better as the day went! Maybe I'm fine?",[18,1304,1305],{},"Did my first coffee-chat, it was lovely",[18,1307,1308],{},"I might start doing some Pomodoros tomorrow",[18,1310,1311],{},"The presentations were delightful!",[18,1313,1314],{},"I also went to a manager-roundtable which was helpful for some work-stuff",[18,1316,1317,1319],{},[21,1318,95],{},[15,1320,1321,1324,1332,1335,1338,1341,1344],{},[18,1322,1323],{},"Worked on some Alloy fundamentals and resources",[18,1325,1326,1327],{},"Watched and made notes on an inspirational video, wrote ",[47,1328,1331],{"href":1329,"rel":1330},"https:\u002F\u002Fthelackthereof.org\u002Ftlt-2024.03.28-notes-from-peter-kriens-video",[51],"a blog post on it",[18,1333,1334],{},"Slight tangent, but started poking at low-level local LLM setup to work on my next-token visualization exploration",[18,1336,1337],{},"I'm trying out python with llama-cpp-python as an easy and capable approach",[18,1339,1340],{},"I have it working enough to do some completions",[18,1342,1343],{},"Next I am going to work on doing token level interactive tokens, and then I'll find someone to help me visualize with d3 or something to give a hands-on feel for next-token generation",[18,1345,1346],{},"That is (a) fun, and (b) might lead to some insights in some of my other studies here",[18,1348,1349,1352],{},[21,1350,1351],{},"Nerd Snipes:",[15,1353,1354],{},[18,1355,1356,1357,1361,1362,1367],{},"While watching an ",[47,1358,1360],{"href":1182,"rel":1359},[51],"inspirational video on Alloy and practicalizing Formal Methods",", I was grabbing a few screenshots and YET AGAIN realized that my vim-based markdown edit workflow doesn't mesh with ad hoc image insertion. I set up ",[47,1363,1366],{"href":1364,"rel":1365},"https:\u002F\u002Fgithub.com\u002Fdfendr\u002Fclipboard-image.nvim",[51],"clipboard-image.nvim"," and now I can paste like magic!",{"title":105,"searchDepth":106,"depth":106,"links":1369},[],{},"\u002Ftlt-2024.03.28-recurse-w1-6-d4-5",{"title":1272,"description":1277},"TLT - 2024.03.28 - Recurse - W1-6 D4-5",[118,119],"pOvhZf7Gas-we8Ys2UgMcx7zUhJ9EK90u-3cObSzwsM",{"id":1377,"title":1378,"body":1379,"createdAt":1457,"description":1383,"draft":109,"extension":110,"image":111,"mastodonThread":111,"meta":1458,"navigation":113,"path":1459,"seo":1460,"stem":1461,"tags":1462,"updatedAt":1457,"__hash__":1463},"content\u002FTLT - 2024.03.27 - Recurse - W1-6 D3-5.md","Recurse - W1\u002F6 D3\u002F5",{"type":8,"value":1380,"toc":1455},[1381,1384],[11,1382,1383],{},"In The Hub",[15,1385,1386,1428],{},[18,1387,1388,1285,1391],{},[21,1389,1390],{},"General Status",[15,1392,1393,1396,1399,1416,1419,1422,1425],{},[18,1394,1395],{},"I watched an interview with some musician once and found it inspirational. She said that she does her creation in waves. First is the intake wave -- she breathes in music, ideas, walks in nature, feelings. Then is the creation wave -- she breathes out experiments, refinements, practice, create. Breathe in consume, breathe out create. Breathe in. Breathe out.",[18,1397,1398],{},"Today I visited The Hub! Got a tour, met a ton of people!",[18,1400,1401,1402],{},"I'm thinking of starting two meetups\u002Fclubs:\n",[15,1403,1404,1410],{},[18,1405,1406,1409],{},[36,1407,1408],{},"Formal Methods Club"," (Alloy, TLA+, Program correctness, etc)",[18,1411,1412,1415],{},[36,1413,1414],{},"LLM Club"," (applied Large Language Models, openAI\u002Fsimilar API, running local models, etc)",[18,1417,1418],{},"Made a flower and a wreath of flowers and a wreath of wreaths of ... at Creative Coding session",[18,1420,1421],{},"Did a little more on Human Essentials, gotta get this LONG overdue Dashboard PR out",[18,1423,1424],{},"Tomorrow I'm going to brush up on my Alloy and do some by-hand extraction of models from codebases, probably Human Essentials to start with",[18,1426,1427],{},"I'm planning on coming in to the Hub basically every weekday",[18,1429,1430,1432],{},[21,1431,1351],{},[15,1433,1434,1437],{},[18,1435,1436],{},"I realized that I can still run rofi and dunst, so even more the-same-as-before",[18,1438,1439,1440],{},"The yubikey enable\u002Fdisable broke, but I figured out a new way\n",[15,1441,1442,1449],{},[18,1443,1444,1445,1448],{},"At boot, ",[144,1446,1447],{},"chmod 666 \u002Fsys\u002Fbus\u002Fusb\u002Fdevices\u002F3-1\u002Fauthorized"," which happens to be where I have it plugged in",[18,1450,1451,1452],{},"Disable (or 1 to enable) with ",[144,1453,1454],{},"echo 0 > \u002Fsys\u002Fbus\u002Fusb\u002Fdevices\u002F3-1\u002Fauthorized",{"title":105,"searchDepth":106,"depth":106,"links":1456},[],"2024-03-27",{},"\u002Ftlt-2024.03.27-recurse-w1-6-d3-5",{"title":1378,"description":1383},"TLT - 2024.03.27 - Recurse - W1-6 D3-5",[118,119],"rOIpAs54i7fPLV-Pm8Coh9tyNfQiYzjM8tNnh3rNm4s",{"id":1465,"title":1466,"body":1467,"createdAt":1524,"description":1471,"draft":109,"extension":110,"image":111,"mastodonThread":111,"meta":1525,"navigation":113,"path":1526,"seo":1527,"stem":1528,"tags":1529,"updatedAt":1524,"__hash__":1530},"content\u002FTLT - 2024.03.26 - Recurse - W1-6 D2-5.md","Recurse - W1\u002F6 D2\u002F5",{"type":8,"value":1468,"toc":1522},[1469,1472],[11,1470,1471],{},"Pairing, Merging",[15,1473,1474,1502],{},[18,1475,1476,1478],{},[21,1477,23],{},[15,1479,1480,1483,1491,1499],{},[18,1481,1482],{},"Attended the Pairing Workshop! Paired in RubyLand",[18,1484,1485,1486],{},"Spent some time merging PRs for ",[47,1487,1490],{"href":1488,"rel":1489},"https:\u002F\u002Fgithub.com\u002Frubyforgood\u002Fhuman-essentials",[51],"Human Essentials",[18,1492,1493,1494],{},"Attended ML-applied and then AI\u002FML safety and interpretability meetings\n",[15,1495,1496],{},[18,1497,1498],{},"Definite overlap with my interests\u002Fprojects, though some of the plan there is to go intensely and deeply on some curriculum; I think I'll track but not directly participate",[18,1500,1501],{},"On-site tomorrow, I'm psyched :)",[18,1503,1504,1506],{},[21,1505,1351],{},[15,1507,1508,1511],{},[18,1509,1510],{},"Spent some more time in sway. Messing with keybindings and multi-monitor setup. Alllll coming together now! I think I'm switched over. Except for some weird things in Zoom. hmmmmm.",[18,1512,1513,1514,1517,1518,1521],{},"My fonts are small, esp in firefox. Annoying. So I googled and learned that I can try setting ",[144,1515,1516],{},"layout.css.devPixelsPerPx"," to something bigger. I go in there... and it is set to ",[144,1519,1520],{},"0.75","!!! I changed it to the default and everything is already much better haha",{"title":105,"searchDepth":106,"depth":106,"links":1523},[],"2024-03-26",{},"\u002Ftlt-2024.03.26-recurse-w1-6-d2-5",{"title":1466,"description":1471},"TLT - 2024.03.26 - Recurse - W1-6 D2-5",[118,119],"eIDwSktFIZI6T7ZJiI1dvIDnoywSbmaac0tXPOp7tVI",{"id":1532,"title":1533,"body":1534,"createdAt":1614,"description":1538,"draft":109,"extension":110,"image":111,"mastodonThread":111,"meta":1615,"navigation":113,"path":1616,"seo":1617,"stem":1618,"tags":1619,"updatedAt":1614,"__hash__":1620},"content\u002FTLT - 2024.03.25 - Recurse - W1-6 D1-5.md","Recurse - W1\u002F6 D1\u002F5",{"type":8,"value":1535,"toc":1612},[1536,1539],[11,1537,1538],{},"First day of RC!",[15,1540,1541,1559,1564,1581,1587],{},[18,1542,1543,1545],{},[21,1544,23],{},[15,1546,1547,1550,1553,1556],{},[18,1548,1549],{},"First day of RC! Virtual today (everyone)",[18,1551,1552],{},"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 :)",[18,1554,1555],{},"I'm looking to getting IRL on Wednesday",[18,1557,1558],{},"Also looking forward to Creative Coding exercises and .... just doing some whimsical things!",[18,1560,1561,1563],{},[21,1562,64],{}," 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 :)",[18,1565,1566,1568,1569,1574,1575,1580],{},[21,1567,95],{}," I have been pre-gaming a bit, so have a large ",[47,1570,1573],{"href":1571,"rel":1572},"https:\u002F\u002Fwww.zotero.org\u002F",[51],"zotero"," backlog of interesting papers to read through and take some notes on. I also am going to work through a few ",[47,1576,1579],{"href":1577,"rel":1578},"https:\u002F\u002Fhaslab.github.io\u002Fformal-software-design\u002Findex.html",[51],"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).",[18,1582,1583,1586],{},[21,1584,1585],{},"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!",[18,1588,1589,1592],{},[21,1590,1591],{},"Ideas\u002FOther:",[15,1593,1594,1602,1605],{},[18,1595,1596,1601],{},[47,1597,1600],{"href":1598,"rel":1599},"https:\u002F\u002Fen.wikipedia.org\u002Fwiki\u002FFormal_methods",[51],"Formal Methods"," interest group?",[18,1603,1604],{},"LLM interest group?",[18,1606,1607,1608,1611],{},"Several people were interested in doing some Good; Once I'm settled in I'll declare open invite for pairing on ",[47,1609,1490],{"href":1488,"rel":1610},[51]," and see what I can join others on. I really want to get Github Codespaces set up for easier onboarding, hmmm",{"title":105,"searchDepth":106,"depth":106,"links":1613},[],"2024-03-25",{},"\u002Ftlt-2024.03.25-recurse-w1-6-d1-5",{"title":1533,"description":1538},"TLT - 2024.03.25 - Recurse - W1-6 D1-5",[118,119],"d0q1vsZJPSnLCn9p3-WQiRRw-WMIWKO_rZ66gY5AUgA",{"id":1622,"title":1623,"body":1624,"createdAt":1697,"description":1698,"draft":109,"extension":110,"image":1640,"mastodonThread":111,"meta":1699,"navigation":113,"path":1700,"seo":1701,"stem":1702,"tags":1703,"updatedAt":1697,"__hash__":1704},"content\u002FTLT - 2024.03.23 - Getting Ready To Recurse.md","Getting Ready To Recurse",{"type":8,"value":1625,"toc":1692},[1626,1635,1644,1648,1651,1654,1663,1667,1682,1686,1689],[11,1627,1628,1629,1634],{},"Packing up for my 6-week batch at the ",[47,1630,1633],{"href":1631,"rel":1632},"https:\u002F\u002Fwww.recurse.com\u002F",[51],"Recurse Center",".",[11,1636,1637,1641,1642],{},[591,1638],{"alt":1639,"src":1640},"Blooming trees and forking path in Kalorama Park","202403-blooming-trees-path.jpg"," ",[36,1643,1639],{},[751,1645,1647],{"id":1646},"home","Home",[11,1649,1650],{},"Unfortunately Beth caught the cold that I caught from my niece, and that's thrown us off a bit. But I'm packing today (Saturday) and we'll head up tomorrow (Sunday). Got our apartment there all lined up and now it's really the process of deciding what goes with us.",[11,1652,1653],{},"I've been chatting with my physical books, asking each of them what they think. Most all of them very loudly say \"TAKE ME! TAKE ME!\", and I have to reason with them a bit. Will I really read you? Can I get the same information electronically? Maybe I can read you when I get back? And so on. There are certainly some minor protests but we've narrowed it down to .... I don't know like eight or so books to take. Hah!",[11,1655,1656,1657,1662],{},"Then there are the electronics, wires, and other misc tool\u002Ftoys to chat with. Mostly I'm not bringing recording equipment -- if I suddenly start creating music then laptop and phone mics will be fine. I will take the monome-grid, but I'll run it off of the computer instead of taking the norns, using ",[47,1658,1661],{"href":1659,"rel":1660},"https:\u002F\u002Fgithub.com\u002Fryleelyman\u002Fseamstress",[51],"seamstress"," for the host lua environment. Do I take the projector? There is a TV there but it is tiny. Hmmmmm. Beth'll probably veto that one when she awakens.",[751,1664,1666],{"id":1665},"adventures","Adventures",[11,1668,1669,1670,1675,1676,1681],{},"There are all sorts of things to do in Brooklyn and the overall NYC area. We're going to walk around a lot, get a feel for the place. We'll also do some standards like the ",[47,1671,1674],{"href":1672,"rel":1673},"https:\u002F\u002Fbronxzoo.com\u002F",[51],"Bronx Zoo",". Maybe I should sign up for another animal-encounter. I'll get us to try some other things like ",[47,1677,1680],{"href":1678,"rel":1679},"https:\u002F\u002Fmckittrickhotel.com\u002Fevents\u002Fsleep-no-more\u002F",[51],"Sleep No More",". Tons more on the possible list.",[751,1683,1685],{"id":1684},"projects","Project(s)",[11,1687,1688],{},"The internal chat (Zulip) at the Recurse Center is overwhelming and inspiring with both main projects and side-missions. Part of the trick is going to be documentiong, prioritizing, documenting, all of these various ideas. For the Main Project, I am still feeling great about the Alloy+LLM+Rails core, with explorations in different directions for each of the components. I might bring in some PlantUML type things ... I see people saying that they use Alloy to explore ideas, and I use PlantUML to explore ideas .... so maybe those types of exploration can join forces.",[11,1690,1691],{},"One of the side things that I'm still interested in is in visualizing the probability tree for LLMs. Like show the raw stream so far and then the tree of next-tokens. Ideally you can then click through or flow through to see what different paths might look like.",{"title":105,"searchDepth":106,"depth":106,"links":1693},[1694,1695,1696],{"id":1646,"depth":106,"text":1647},{"id":1665,"depth":106,"text":1666},{"id":1684,"depth":106,"text":1685},"2024-03-23","Packing up for my 6-week batch at the Recurse Center.",{},"\u002Ftlt-2024.03.23-getting-ready-to-recurse",{"title":1623,"description":1698},"TLT - 2024.03.23 - Getting Ready To Recurse",[118,119],"4_HoBdeBjYYL9KcdU4TbEiIPJfXM-Xktw5_G_VtNkes",{"id":1706,"title":1707,"body":1708,"createdAt":1763,"description":1764,"draft":109,"extension":110,"image":111,"mastodonThread":111,"meta":1765,"navigation":113,"path":1766,"seo":1767,"stem":1707,"tags":1768,"updatedAt":1697,"__hash__":1769},"content\u002FRecurse 2024.md","Recurse 2024",{"type":8,"value":1709,"toc":1759},[1710,1718,1726,1730,1733,1737,1740],[11,1711,1712,1713,1717],{},"I'm attending ",[47,1714,1716],{"href":1631,"rel":1715},[51],"The Recurse Center"," for 6 weeks from March 25 - May 3.",[15,1719,1720],{},[18,1721,1722],{},[47,1723,1725],{"href":1724},"\u002Ftlt-2024.01.31-recurse-setup","TLT - 2024.01.31 - Recurse Setup",[751,1727,1729],{"id":1728},"project-idea","Project Idea",[11,1731,1732],{},"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 :)",[751,1734,1736],{"id":1735},"layered-timeline","Layered timeline",[11,1738,1739],{},"I'm thinking of having a rough schedule that will be default way to decide \"what should I be working on\".",[15,1741,1742,1753,1756],{},[18,1743,1744,1745],{},"6 weeks\n",[15,1746,1747,1750],{},[18,1748,1749],{},"Work as an iteration for each week",[18,1751,1752],{},"Set a goal, make a set of tasks, burn them down",[18,1754,1755],{},"5 days a week",[18,1757,1758],{},"6 hours a day",{"title":105,"searchDepth":106,"depth":106,"links":1760},[1761,1762],{"id":1728,"depth":106,"text":1729},{"id":1735,"depth":106,"text":1736},"2024-03-05","I'm attending The Recurse Center for 6 weeks from March 25 - May 3.",{},"\u002Frecurse-2024",{"title":1707,"description":1764},[119],"fOPPYSojWJZ7IjLV6uZBa1QPsjXYTHFkTxi0VYJKUV0",{"id":1771,"title":1772,"body":1773,"createdAt":2051,"description":1777,"draft":109,"extension":110,"image":2052,"mastodonThread":111,"meta":2053,"navigation":113,"path":2054,"seo":2055,"stem":2056,"tags":2057,"updatedAt":1697,"__hash__":2058},"content\u002FTLT - 2024.02.04 - Thinking About Model Extraction.md","Thinking About Model Extraction",{"type":8,"value":1774,"toc":2049},[1775,1778,1784,1787,1790,1793,1991,2004,2011,2014,2017,2020,2023,2038,2045],[11,1776,1777],{},"Sharing some thoughts on my Recurse Center project, exploring how to bring Alloy or similar tools into the Day Job.",[11,1779,1780,1783],{},[591,1781],{"src":1782},"\u002Fimg\u002Frobot-opening-jar.jpg"," Robot opening a jar",[1785,1786],"hr",{},[11,1788,1789],{},"I have been doing searches for academic papers or projects with keywords of Ruby and Alloy, as well as brushing up on my Alloy. The rough idea that I'm pursuing is to take a working codebase, extract a model, and then do stuff with it.",[11,1791,1792],{},"So... let's imagine...",[1794,1795,1799],"pre",{"className":1796,"code":1797,"language":1798,"meta":105,"style":105},"language-sh shiki shiki-themes github-light github-dark monokai","$ cd codebase\ncodebase$ extract-model\ncodebase$ cat result.als\ncodebase$ alloy run result.als\n\nExecuting \"Run Default for 4 but 4 int, 4 seq expect 1\"\n   Solver=minisat(jni) Bitwidth=4 MaxSeq=4 SkolemDepth=1 Symmetry=OFF Mode=batch\n   2727 vars. 508 primary vars. 4414 clauses. 108ms.\n   . found. Predicate is consistent, as expected. 14ms.\n\ncodebase$ █\n","sh",[144,1800,1801,1817,1825,1836,1849,1855,1864,1923,1950,1978,1983],{"__ignoreMap":105},[1802,1803,1806,1810,1814],"span",{"class":1804,"line":1805},"line",1,[1802,1807,1809],{"class":1808},"srTi1","$",[1802,1811,1813],{"class":1812},"sstjo"," cd",[1802,1815,1816],{"class":1812}," codebase\n",[1802,1818,1819,1822],{"class":1804,"line":106},[1802,1820,1821],{"class":1808},"codebase$",[1802,1823,1824],{"class":1812}," extract-model\n",[1802,1826,1828,1830,1833],{"class":1804,"line":1827},3,[1802,1829,1821],{"class":1808},[1802,1831,1832],{"class":1812}," cat",[1802,1834,1835],{"class":1812}," result.als\n",[1802,1837,1839,1841,1844,1847],{"class":1804,"line":1838},4,[1802,1840,1821],{"class":1808},[1802,1842,1843],{"class":1812}," alloy",[1802,1845,1846],{"class":1812}," run",[1802,1848,1835],{"class":1812},[1802,1850,1852],{"class":1804,"line":1851},5,[1802,1853,1854],{"emptyLinePlaceholder":113},"\n",[1802,1856,1858,1861],{"class":1804,"line":1857},6,[1802,1859,1860],{"class":1808},"Executing",[1802,1862,1863],{"class":1812}," \"Run Default for 4 but 4 int, 4 seq expect 1\"\n",[1802,1865,1867,1871,1875,1878,1881,1884,1887,1889,1892,1895,1897,1899,1902,1904,1907,1910,1912,1915,1918,1920],{"class":1804,"line":1866},7,[1802,1868,1870],{"class":1869},"sMOD_","   Solver",[1802,1872,1874],{"class":1873},"sC2Qs","=",[1802,1876,1877],{"class":1812},"minisat",[1802,1879,1880],{"class":1869},"(",[1802,1882,1883],{"class":1808},"jni",[1802,1885,1886],{"class":1869},") Bitwidth",[1802,1888,1874],{"class":1873},[1802,1890,1891],{"class":1812},"4",[1802,1893,1894],{"class":1869}," MaxSeq",[1802,1896,1874],{"class":1873},[1802,1898,1891],{"class":1812},[1802,1900,1901],{"class":1869}," SkolemDepth",[1802,1903,1874],{"class":1873},[1802,1905,1906],{"class":1812},"1",[1802,1908,1909],{"class":1869}," Symmetry",[1802,1911,1874],{"class":1873},[1802,1913,1914],{"class":1812},"OFF",[1802,1916,1917],{"class":1869}," Mode",[1802,1919,1874],{"class":1873},[1802,1921,1922],{"class":1812},"batch\n",[1802,1924,1926,1929,1932,1936,1939,1941,1944,1947],{"class":1804,"line":1925},8,[1802,1927,1928],{"class":1808},"   2727",[1802,1930,1931],{"class":1812}," vars.",[1802,1933,1935],{"class":1934},"s7F3e"," 508",[1802,1937,1938],{"class":1812}," primary",[1802,1940,1931],{"class":1812},[1802,1942,1943],{"class":1934}," 4414",[1802,1945,1946],{"class":1812}," clauses.",[1802,1948,1949],{"class":1812}," 108ms.\n",[1802,1951,1953,1957,1960,1963,1966,1969,1972,1975],{"class":1804,"line":1952},9,[1802,1954,1956],{"class":1955},"sTrkL","   .",[1802,1958,1959],{"class":1812}," found.",[1802,1961,1962],{"class":1812}," Predicate",[1802,1964,1965],{"class":1812}," is",[1802,1967,1968],{"class":1812}," consistent,",[1802,1970,1971],{"class":1812}," as",[1802,1973,1974],{"class":1812}," expected.",[1802,1976,1977],{"class":1812}," 14ms.\n",[1802,1979,1981],{"class":1804,"line":1980},10,[1802,1982,1854],{"emptyLinePlaceholder":113},[1802,1984,1986,1988],{"class":1804,"line":1985},11,[1802,1987,1821],{"class":1808},[1802,1989,1990],{"class":1812}," █\n",[11,1992,1993,1994,1997,1998,2003],{},"... and already we have a problem. Because there is no such ",[144,1995,1996],{},"alloy"," cli interface. It has a lovely GUI, but no way to run something lke that (",[47,1999,2002],{"href":2000,"rel":2001},"https:\u002F\u002Fgithub.com\u002FAlloyTools\u002Forg.alloytools.alloy\u002Fissues\u002F155",[51],"yet","). It appears that you can reach in and run stuff in the java, write your own wrapper, interface with the java, etc. So already off to a yak-shaving start!",[11,2005,2006,2007,2010],{},"Still. The idea is you run this magical ",[144,2008,2009],{},"extract-model"," command on a codebase, I'm using Rails because it has a structure that suits this, and it spits out a model. The model should contain modely-stuff -- database tables, classes, API interactions maybe.",[11,2012,2013],{},"THEN what we'll do is turn the model BACK into some rspec.",[11,2015,2016],{},"THEN we'll add some further declarations and turn those back into rspec too.",[11,2018,2019],{},"Hmm. Maybe we can slurp in the existing rspec and try to turn that into some constraints or validations on the Alloy side.",[11,2021,2022],{},"And what can we learn or do with an Alloy model? I'm not sure yet! The rough theory is that we have this Simplified World we can work with, or reason about, and that it can reflect and guide the Real World. I kinda doubt that folks will want to muck about much in the Alloy directly (though you never know), so more like a weird intermediate representation for codebase analysis and transformation, basically.",[11,2024,2025,2026,2028,2029,2034,2035,2037],{},"I'm thinking the ",[144,2027,2009],{}," and might be some LLM magic, but also we can follow what they were trying with ",[47,2030,2033],{"href":2031,"rel":2032},"https:\u002F\u002Fdl.acm.org\u002Fdoi\u002F10.1145\u002F2393596.2393667",[51],"Rubicon",", getting right into some Rails-specific tooling to help extract a model. While I know the most about Rails, I think it'd be very cool to run our mythical ",[144,2036,2009],{}," against other codebases. Still -- specialty knowledge and specialization on Rails is interesting.",[11,2039,2040,2041,2044],{},"All through it I keep thinking ... can I make this practical? Can I make this into a tool that I'd ",[36,2042,2043],{},"actually use in my day job","? One of the Recurse center ideas is to work at the \"edge\" of your abilities and understanding; for me making something in this space that is both powerful and useful dances right on this edge.",[2046,2047,2048],"style",{},"html pre.shiki code .srTi1, html code.shiki .srTi1{--shiki-default:#6F42C1;--shiki-dark:#B392F0;--shiki-sepia:#A6E22E}html pre.shiki code .sstjo, html code.shiki .sstjo{--shiki-default:#032F62;--shiki-dark:#9ECBFF;--shiki-sepia:#E6DB74}html pre.shiki code .sMOD_, html code.shiki .sMOD_{--shiki-default:#24292E;--shiki-dark:#E1E4E8;--shiki-sepia:#F8F8F2}html pre.shiki code .sC2Qs, html code.shiki .sC2Qs{--shiki-default:#D73A49;--shiki-dark:#F97583;--shiki-sepia:#F92672}html pre.shiki code .s7F3e, html code.shiki .s7F3e{--shiki-default:#005CC5;--shiki-dark:#79B8FF;--shiki-sepia:#AE81FF}html pre.shiki code .sTrkL, html code.shiki .sTrkL{--shiki-default:#005CC5;--shiki-dark:#79B8FF;--shiki-sepia:#66D9EF}html .default .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .dark .shiki span {color: var(--shiki-dark);background: var(--shiki-dark-bg);font-style: var(--shiki-dark-font-style);font-weight: var(--shiki-dark-font-weight);text-decoration: var(--shiki-dark-text-decoration);}html.dark .shiki span {color: var(--shiki-dark);background: var(--shiki-dark-bg);font-style: var(--shiki-dark-font-style);font-weight: var(--shiki-dark-font-weight);text-decoration: var(--shiki-dark-text-decoration);}html .sepia .shiki span {color: var(--shiki-sepia);background: var(--shiki-sepia-bg);font-style: var(--shiki-sepia-font-style);font-weight: var(--shiki-sepia-font-weight);text-decoration: var(--shiki-sepia-text-decoration);}html.sepia .shiki span {color: var(--shiki-sepia);background: var(--shiki-sepia-bg);font-style: var(--shiki-sepia-font-style);font-weight: var(--shiki-sepia-font-weight);text-decoration: var(--shiki-sepia-text-decoration);}",{"title":105,"searchDepth":106,"depth":106,"links":2050},[],"2024-02-04","img\u002Frobot-opening-jar.jpg",{},"\u002Ftlt-2024.02.04-thinking-about-model-extraction",{"title":1772,"description":1777},"TLT - 2024.02.04 - Thinking About Model Extraction",[118,119],"obvmmR_nntwYF-xmGN-wAZ7lz7R12WIVt-SinjZgjmw",{"id":2060,"title":2061,"body":2062,"createdAt":2137,"description":2138,"draft":109,"extension":110,"image":2139,"mastodonThread":111,"meta":2140,"navigation":113,"path":1724,"seo":2141,"stem":1725,"tags":2142,"updatedAt":1697,"__hash__":2143},"content\u002FTLT - 2024.01.31 - Recurse Setup.md","Recurse Setup",{"type":8,"value":2063,"toc":2132},[2064,2071,2079,2083,2086,2089,2092,2096,2099,2116,2120,2123,2126,2129],[11,2065,2066,2067,2070],{},"I'm attending a 6-week retreat at ",[47,2068,1633],{"href":1631,"rel":2069},[51],"! This will go from March 25 - May 3. So ... gotta get set up!",[11,2072,2073,1641,2076],{},[591,2074],{"src":2075},"\u002Fimg\u002Frobot-making-lists.jpg",[36,2077,2078],{},"A robot making lists",[751,2080,2082],{"id":2081},"the-basics","The Basics",[11,2084,2085],{},"The main thing on my mind has been -- what will I do while I'm there? But of course when I think of anything that I might do there are still a bunch of other setup things to do.",[11,2087,2088],{},"First off is logistics. RC is in NYC (Brooklyn) and attendees can be virtual or in-person. I really want to be in-person, so I found a 6-week rental not too far away. Then Beth and Hoda and I can stay there the whole time if we are comfortable. We'll drive our household up, and drive it back as needed.",[11,2090,2091],{},"I have the time off work as an Official Sabbatical, so that's pretty awesome. Thanks Framebridge! They pay me by the year not by the hour, so it all comes out even anyway.",[751,2093,2095],{"id":2094},"the-other-stuff","The Other Stuff",[11,2097,2098],{},"I'm updating or brushing off all of these.",[15,2100,2101,2104,2107,2110,2113],{},[18,2102,2103],{},"TaskWarrior",[18,2105,2106],{},"Lask logger wrapper",[18,2108,2109],{},"Zotero",[18,2111,2112],{},"Blog software",[18,2114,2115],{},"A nice empty project folder :)",[751,2117,2119],{"id":2118},"the-hard-part","The Hard Part",[11,2121,2122],{},"And then there is ... figuring out what I'm going to do. Over the last few months I've been slowly writing all of my ideas down, making mind-maps, making notes. From this I've started to get a feel for which things are exciting me the most and which things have the most potential for a deep dive.",[11,2124,2125],{},"A big one for sure is pretty much anything related to LLMs. Since that covers a lot of ground, it has turned into more what-can-I-mashup with LLMs.",[11,2127,2128],{},"So ... I'm slowly spiraling toward some core themes. LLMs. Dev tooling. Making CS Formal Methods accessible or practical.",[11,2130,2131],{},"Most recently this has unified as: LLM+Alloy+Rails.",{"title":105,"searchDepth":106,"depth":106,"links":2133},[2134,2135,2136],{"id":2081,"depth":106,"text":2082},{"id":2094,"depth":106,"text":2095},{"id":2118,"depth":106,"text":2119},"2024-01-31","I'm attending a 6-week retreat at Recurse Center! This will go from March 25 - May 3. So ... gotta get set up!","img\u002Frobot-making-lists.jpg",{},{"title":2061,"description":2138},[118,119],"TaW0jM80gsiwTyLwQYZ81B57rdu-ffeZ6FFJ0UCmCi0",1778988315848]