Home Gudgeon and gist composition.al

Input feed: composition.al

1
2
3
…
7

1 - 24 of 146

"Parallelizing Julia with a Non-invasive DSL" will appear at ECOOP 2017

http://composition.al/blog/2017/06/09/parallelizing-julia-with-a-non-invasive-dsl-will-appear-at-ecoop-2017/

Proving that safety-critical neural networks do what they're supposed to: where we are, where we're going (part 2 of 2)

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/

Proving that safety-critical neural networks do what they're supposed to: where we are, where we're going (part 1 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/

What isn't a high-performance DSL?

http://composition.al/blog/2017/04/30/what-isnt-a-high-performance-dsl/

Call for talk proposals: DSLDI 2017

http://composition.al/blog/2017/04/29/call-for-talk-proposals-dsldi-2017/

Scaling !!Con

http://composition.al/blog/2017/03/31/scaling-bangbangcon/

Should you do an MS before doing a Ph.D.?

http://composition.al/blog/2017/03/30/should-you-do-an-ms-before-doing-a-phd/

How to write a timeline for a !!Con talk proposal

http://composition.al/blog/2017/06/30/how-to-write-a-timeline-for-a-bangbangcon-talk-proposal/

What do people mean when they say "transpiler"?

http://composition.al/blog/2017/07/30/what-do-people-mean-when-they-say-transpiler/

My first fifteen compilers

http://composition.al/blog/2017/07/31/my-first-fifteen-compilers/

Participating in ICFP remotely

http://composition.al/blog/2017/08/30/participating-in-icfp-remotely/

Upsides and downsides of "women in..." lists

http://composition.al/blog/2017/08/31/upsides-and-downsides-of-women-in-lists/

The optimization that wasn't

http://composition.al/blog/2017/09/29/the-optimization-that-wasnt/

The case of the missing frames

http://composition.al/blog/2017/09/30/the-case-of-the-missing-frames/

Notes on Halide and Distributed Halide

http://composition.al/blog/2017/10/30/notes-on-halide-and-distributed-halide/

Using the simplex algorithm for SMT solving

http://composition.al/blog/2017/10/31/using-the-simplex-algorithm-for-smt-solving/

The power of blogging with plain old versioned text

http://composition.al/blog/2017/11/29/the-power-of-blogging-with-plain-old-versioned-text/

Three times the Internet Archive helped me this year

http://composition.al/blog/2017/11/30/three-times-the-internet-archive-helped-me-this-year/

Call for submissions: PaPoC 2018

http://composition.al/blog/2017/12/30/call-for-submissions-papoc-2018/

The call for papers formerly known as ICFP

http://composition.al/blog/2017/12/31/the-call-for-papers-formerly-known-as-icfp/

Celebrating five years of this blog, and a change of pace

http://composition.al/blog/2018/01/31/celebrating-five-years-of-this-blog-and-a-change-of-pace/

"Toward Scalable Verification for Safety-Critical Deep Networks" at SysML 2018

http://composition.al/blog/2018/02/14/toward-scalable-verification-for-safety-critical-deep-networks-at-sysml-2018/

Four kinds of talk proposals that get rejected from !!Con

http://composition.al/blog/2018/03/31/four-kinds-of-talk-proposals-that-get-rejected-from-bangbangcon/

Call for talk proposals: DSLDI 2018

http://composition.al/blog/2018/04/29/call-for-talk-proposals-dsldi-2018/

1
2
3
…
7

1 - 24 of 146