?

Log in

No account? Create an account
Lindsey Kuper [entries|archive|friends|userinfo]
Lindsey Kuper

[ website | composition.al ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Four kinds of talk proposals that get rejected from !!Con [Mar. 31st, 2018|12:49 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I dispense !!Con talk proposal advice.

This entry was originally posted at https://lindseykuper.dreamwidth.org/23839.html. Please comment there using OpenID.
LinkLeave a comment

"Toward Scalable Verification for Safety-Critical Deep Networks" at SysML 2018 [Feb. 14th, 2018|11:40 am]
Lindsey Kuper
[Tags|]

New blog post, in which I reveal my secret research agenda.

This entry was originally posted at https://lindseykuper.dreamwidth.org/23069.html. Please comment there using OpenID.
LinkLeave a comment

Celebrating five years of this blog, and a change of pace [Jan. 31st, 2018|04:17 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I slow my roll.

This entry was originally posted at https://lindseykuper.dreamwidth.org/21772.html. Please comment there using OpenID.
LinkLeave a comment

The call for papers formerly known as ICFP [Dec. 31st, 2017|05:45 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I'm relieved to finally wrap up my 2017 blobligations.

This entry was originally posted at https://lindseykuper.dreamwidth.org/21238.html. Please comment there using OpenID.
LinkLeave a comment

Call for submissions: PaPoC 2018 [Dec. 30th, 2017|05:30 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I get caught up on posts for pretty much the first time since Sylvia was born.

This entry was originally posted at https://lindseykuper.dreamwidth.org/20834.html. Please comment there using OpenID.
LinkLeave a comment

Three times the Internet Archive helped me this year [Nov. 30th, 2017|09:56 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I have a lot of feelings.

This entry was originally posted at https://lindseykuper.dreamwidth.org/20647.html. Please comment there using OpenID.
LinkLeave a comment

The power of blogging with plain old versioned text [Nov. 29th, 2017|09:49 pm]
Lindsey Kuper
[Tags|]

New blog post, in which some sausage-making is revealed.

This entry was originally posted at https://lindseykuper.dreamwidth.org/20355.html. Please comment there using OpenID.
LinkLeave a comment

Using the simplex algorithm for SMT solving [Oct. 31st, 2017|06:23 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I continue to clear out the I-should-blog-about-this backlog.

This entry was originally posted at https://lindseykuper.dreamwidth.org/20099.html. Please comment there using OpenID.
LinkLeave a comment

Notes on Halide and Distributed Halide [Oct. 30th, 2017|06:34 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I finally finish up a draft that's been hanging around for a year and a half.

This entry was originally posted at https://lindseykuper.dreamwidth.org/19710.html. Please comment there using OpenID.
LinkLeave a comment

The case of the missing frames [Sep. 30th, 2017|05:59 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I debug the previous post.

This entry was originally posted at https://lindseykuper.dreamwidth.org/18630.html. Please comment there using OpenID.
LinkLeave a comment

navigation
[ viewing | most recent entries ]
[ go | earlier ]