Conversation

Notices

1. Hallå Kitteh (clacke@social.heldscal.la)'s status on Tuesday, 25-Jul-2017 05:25:24 UTC Hallå Kitteh

   • Scheme Programming Language
   • 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
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Monday, 24-Jul-2017 09:51:19 UTC Hallå Kitteh

     • Scheme Programming Language
     • Christine Lemmer-Webber
     • Lobsters
     A co-author of "The Reasoned Schemer" talks about the meta-circular evaluator, trees, lists, lambda calculus as the Maxwell's Equation of programming, scaring the veterans of the lambda calculus, mentions in passing delimited continuations, and more.
     
     I'm 20 minutes in, and they're just flying by.
     
     https://www.youtube.com/watch?v=OyfBQmvr2Hc
     /via https://lobste.rs/s/n83v5v
     
     !scheme
     
     /cc @cwebber
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Monday, 24-Jul-2017 10:15:27 UTC Hallå Kitteh

     in reply to
     > You ever heard of Turing machines? THIS CAME FIRST.
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Tuesday, 25-Jul-2017 05:34:18 UTC Hallå Kitteh

     in reply to
     It was the last half hour really if you include the full "solve the equation for the code" with the miniKanren REPL.
     
     https://youtu.be/OyfBQmvr2Hc?t=1h3m44s
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Tuesday, 25-Jul-2017 08:47:46 UTC Hallå Kitteh

     in reply to
     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 08:48:27 UTC Hallå Kitteh

     in reply to
     > So the idea is, we can do Test-Driven Development on partially specified programs.
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Tuesday, 25-Jul-2017 08:56:21 UTC Hallå Kitteh

     in reply to
     > Once we add [ ... ]generative testing to this, it'll be way more powerful
     
     <3