Notices tagged with programsynthesis
-
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