lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-08-31 05:30 pm

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

New blog post, in which I mostly just regurgitate things I've already said on mailing lists.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-08-30 01:11 pm

Participating in ICFP remotely

New blog post, in which I anticipate going nocturnal for a few days.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-07-31 06:08 pm

My first fifteen compilers

New blog post, in which I'm still harping on the whole "transpiler" thing.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-05-31 01:47 pm

Proving that safety-critical neural networks do what they're supposed to (part 2 of 2)

New blog post, in which I cough up more information about this neural-network-verification thing I've been doing!

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-05-30 03:32 pm

Proving that safety-critical neural networks do what they're supposed to (part 1 of 2)

New blog post, in which I finally start to cough up some information about this neural-network-verification thing I've been doing!

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-04-30 06:45 pm

What isn't a high-performance DSL?

New blog post, in which I continue the "What isn't?" series.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-04-29 06:30 pm

Call for talk proposals: DSLDI 2017

New blog post, in which I put off writing a more substantial post.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-03-31 05:56 pm

Scaling !!Con

New blog post, in which I borrow an analogy that Tom Santero used in 2015.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-01-30 07:20 pm

Reflections on four years of research blogging

New blog post, in which composition.al has grown out of toddlerhood.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2016-12-30 11:01 pm

My adventures with git-filter-branch

New blog post, in which I recount a bunch of ways I screwed something up, in order from least to most banal.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2016-11-30 06:16 pm
Entry tags:

Thoughts on "Safety Verification of Deep Neural Networks"

New blog post, in which I probably continue to Alienate My Base.