4 ms·
i guess I shouldn’t be surprised that many of us have approached this in different ways. it’s neat to see already multiple replies of the sort I’m going to make
by ycombiredd 2y ago
i guess I shouldn’t be surprised that many of us have approached this in different ways. it’s neat to see already multiple replies of the sort I’m going to make too, which is to share the approach I’ve been taking, which is to concatenate or to “summarize” the code, with particular attention on dependency resolution.
[chimeracat](https://github.com/scottvr/chimeracat https://github.com/scottvr/chimeracat)
It took the shape that it has because it started as a tool to concatenate a library i had been working on into a single ipynb file so that I didn’t need to install the library on the remote colab, thus the dependency graph was born (as was the ascii graph plotter ‘phart’ that it uses) and then as I realized this could be useful to share code with an LLM, started adding the summarization capabilities, and in some sort of meta-recursive-irony, worked with Claude to do so. :-)
I’ve put a collection of ancillary tools I use to aid in the pairing with LLM process up at https://github.com/scottvr/LLMental https://github.com/scottvr/LLMental
- sitkack 2y agoThis is hilarious https://github.com/scottvr/retree https://github.com/scottvr/retree
- ycombiredd 2y agowhile I hope you mean it is hilarious in the same spirit that I write most of my stuff (“ludicrous” is a common phrase even in my documentation), I did want to ask that if you meant that in more of a disparaging way, that you could flesh out any criticism. Of course, if you meant “hilarious” similarly to how I mean “ludicrous”, thanks! And thank you for taking the time to look at it. :-)
- sitkack 2y agoNot disparaging in anyway, in fact, it made made me think of bijective lenses and what other tools could have an inverse, even if lossy. Your project is amazing, you are ahead of me in your thinking.
- ycombiredd 2y ago“lessthan three” ;-) Thanks again.
- ycombiredd 2y agoHey, just wanted to come back from the rabbit hole you lead me to the entrance of and thank you for introducing me to lenses in the context of code; I was unfamiliar.
- sitkack 2y agoMission accomplished! If you haven't check out Synthesizing Bijective Lenses https://arxiv.org/abs/1710.03248 https://arxiv.org/abs/1710.03248 Synthesizing Symmetric Lenses https://arxiv.org/abs/1810.11527 https://arxiv.org/abs/1810.11527 Synthesizing Quotient Lenses https://www.cs.sfu.ca/~miltner/papers/qptician.pdf https://www.cs.sfu.ca/~miltner/papers/qptician.pdf https://github.com/Optician-Tool/Optician-Tool https://github.com/Optician-Tool/Optician-Tool Boomerang https://www.seas.upenn.edu/~harmony/ https://www.seas.upenn.edu/~harmony/ https://www.microsoft.com/en-us/research/group/prose/ https://www.microsoft.com/en-us/research/group/prose/ The subject touches on program synthesis, type directed programming and programming with holes. https://www.cs.sfu.ca/~miltner/ https://www.cs.sfu.ca/~miltner/ https://www.cs.princeton.edu/~dpw/ https://www.cs.princeton.edu/~dpw/
- ycombiredd 2y agoOptician and Boomerang are exactly what I read up on during my excursion down the rabbit hole. And I was quite surprised that to the best of my recollection I had never heard of Augeas before. Thank you for the rest of the links!