Notices tagged with barliman
-
Hallå Kitteh (clacke@social.heldscal.la)'s status on Tuesday, 25-Jul-2017 08:47:46 UTC Hallå Kitteh More on #programsyntesis with #barliman:
> The interesting thing here is that even though we've only partially specified this program, we can fail a test.
> The second test fails, and what that's telling us is that there are no expressions, in our subset of Scheme, for which filling in [the placeholders] ,B ,C and ,A would make that test pass.
https://youtu.be/er_lLvkklsk?t=20m24s -
Hallå Kitteh (clacke@social.heldscal.la)'s status on Tuesday, 25-Jul-2017 05:25:24 UTC Hallå Kitteh In the last 15 mins or so, he shows #programsynthesis using barliman. Test Driven Development, where all you do is write the tests, and the theorem prover writes the code (or you can help it by writing the skeleton of the code). Awesomesauce.
#barliman https://github.com/webyrd/Barliman
!scheme