miniblog.

← Back to all posts
Apr 30, 2017 at 12:10
Blogged: Remacs Talk Transcript
Remacs Talk Transcript
programming, language design, and human factors

Related Posts

Jun 29, 2019 at 20:52
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!
My Strange Loop talk: You are a Program Synthesizer (video + transcript) | Path-Sensitive