Mission accomplished! If you haven't check out Synthesizing Bijective Lenses htt... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		sitkack 11 months ago \| parent \| context \| favorite \| on: Yek: Serialize your code repo (or part of it) to f... Mission accomplished! If you haven't check out Synthesizing Bijective Lenses https://arxiv.org/abs/1710.03248 Synthesizing Symmetric Lenses https://arxiv.org/abs/1810.11527 Synthesizing Quotient Lenses https://www.cs.sfu.ca/~miltner/papers/qptician.pdf https://github.com/Optician-Tool/Optician-Tool Boomerang https://www.seas.upenn.edu/~harmony/ 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.princeton.edu/~dpw/

ycombiredd 11 months ago [–]

Optician 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!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact