http://composition.al/blog/2017/06/09/parallelizing-julia-with-a-non-invasive-dsl-will-appear-at-ecoop-2017/
composition.al
http://composition.al/blog/2017/05/31/proving-that-safety-critical-neural-networks-do-what-theyre-supposed-to-where-we-are-where-were-going-part-2-of-2/
http://composition.al/blog/2017/05/30/proving-that-safety-critical-neural-networks-do-what-theyre-supposed-to-where-we-are-where-were-going-part-1-of-2/
http://composition.al/blog/2017/04/30/what-isnt-a-high-performance-dsl/
http://composition.al/blog/2017/04/29/call-for-talk-proposals-dsldi-2017/
http://composition.al/blog/2017/03/31/scaling-bangbangcon/
http://composition.al/blog/2017/03/30/should-you-do-an-ms-before-doing-a-phd/
http://composition.al/blog/2017/06/30/how-to-write-a-timeline-for-a-bangbangcon-talk-proposal/
http://composition.al/blog/2017/07/30/what-do-people-mean-when-they-say-transpiler/
http://composition.al/blog/2017/07/31/my-first-fifteen-compilers/
http://composition.al/blog/2017/08/30/participating-in-icfp-remotely/
http://composition.al/blog/2017/08/31/upsides-and-downsides-of-women-in-lists/
http://composition.al/blog/2017/09/29/the-optimization-that-wasnt/
http://composition.al/blog/2017/09/30/the-case-of-the-missing-frames/
http://composition.al/blog/2017/10/30/notes-on-halide-and-distributed-halide/
http://composition.al/blog/2017/10/31/using-the-simplex-algorithm-for-smt-solving/
http://composition.al/blog/2017/11/29/the-power-of-blogging-with-plain-old-versioned-text/
http://composition.al/blog/2017/11/30/three-times-the-internet-archive-helped-me-this-year/
http://composition.al/blog/2017/12/30/call-for-submissions-papoc-2018/
http://composition.al/blog/2017/12/31/the-call-for-papers-formerly-known-as-icfp/
http://composition.al/blog/2018/01/31/celebrating-five-years-of-this-blog-and-a-change-of-pace/
http://composition.al/blog/2018/02/14/toward-scalable-verification-for-safety-critical-deep-networks-at-sysml-2018/
http://composition.al/blog/2018/03/31/four-kinds-of-talk-proposals-that-get-rejected-from-bangbangcon/
http://composition.al/blog/2018/04/29/call-for-talk-proposals-dsldi-2018/
http://composition.al/blog/2018/05/13/back-to-school/
RSS
ATOM
JSON