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!
miniblog.
Related Posts
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.
Back in London after a fantastic @strangeloop_stl! Great talks, interesting people, and a good city with lovely weather!