Fascinating, dynamic @alvinkcheung talk at @strangeloop_stl on using Program Synthesis to translate code snippets! https://casper.uwplse.org/
miniblog.
Related Posts
A transcript from a deeply insightful @strangeloop_stl 2018 talk: comparing software design to programs that generate programs.
Deductive synthesis can give us insights on choosing abstractions, and counter-example guided synthesis is much like TDD!
Great talk from @strangeloop_stl about failure modes for machine learning. The content is both insightful and entertaining.
https://youtu.be/yneJIxOdMX4
Lovely talk from @strangeloop_stl showing Black, a Scheme where you can recursively make changes to evaluation!
In the picture, Nada is demonstrating adding a special form (not macro!) for instrumentation. Mind bending.
