Home Gudgeon and gist Lindsey Kuper

Input feed: Lindsey Kuper

Sort by: Date tagged Date published

1
2
3
4
5
…
10

76 - 100 of 226

Call for talk proposals: !!Con 2017

http://lindseykuper.livejournal.com/467251.html

Lindsey Kuper 03/01/2017

composition.al
Call for talk proposals: !!Con 2017

https://lindseykuper.livejournal.com/467251.html

Lindsey Kuper 03/01/2017
Why does a Turing-complete type system make type checking undecidable?

http://lindseykuper.livejournal.com/467050.html

Lindsey Kuper 03/01/2017

composition.al
Why does a Turing-complete type system make type checking undecidable?

https://lindseykuper.livejournal.com/467050.html

Lindsey Kuper 03/01/2017
The fine print in the ICFP 2017 call for papers

http://lindseykuper.livejournal.com/466850.html

Lindsey Kuper 02/12/2017

composition.al
The fine print in the ICFP 2017 call for papers

https://lindseykuper.livejournal.com/466850.html

Lindsey Kuper 02/12/2017
Reflections on four years of research blogging

http://lindseykuper.livejournal.com/466465.html

Lindsey Kuper 02/04/2017

composition.al
Reflections on four years of research blogging

https://lindseykuper.livejournal.com/466465.html

Lindsey Kuper 02/04/2017
A simple but difficult arithmetic puzzle, and the rabbit hole it took me down

http://lindseykuper.livejournal.com/465802.html

Lindsey Kuper 01/09/2017

composition.al
A simple but difficult arithmetic puzzle, and the rabbit hole it took me down

https://lindseykuper.livejournal.com/465802.html

Lindsey Kuper 01/09/2017
My adventures with git-filter-branch

http://lindseykuper.livejournal.com/465488.html

Lindsey Kuper 12/31/2016

composition.al
My adventures with git-filter-branch

https://lindseykuper.livejournal.com/465488.html

Lindsey Kuper 12/31/2016
An economics analogy for why adversarial examples work

http://lindseykuper.livejournal.com/465046.html

Lindsey Kuper 11/18/2016

composition.al
An economics analogy for why adversarial examples work

https://lindseykuper.livejournal.com/465046.html

Lindsey Kuper 11/18/2016
Where does OBT research go after OBT?

http://lindseykuper.livejournal.com/464163.html

Lindsey Kuper 10/27/2016

composition.al
Where does OBT research go after OBT?

https://lindseykuper.livejournal.com/464163.html

Lindsey Kuper 10/27/2016
Call for talk proposals: OBT 2017

http://lindseykuper.livejournal.com/463941.html

Lindsey Kuper 10/17/2016

composition.al
Call for talk proposals: OBT 2017

https://lindseykuper.livejournal.com/463941.html

Lindsey Kuper 10/17/2016
Thoughts on "An Abstraction-Refinement Approach to Verification of Artificial Neural Networks"

http://lindseykuper.livejournal.com/463816.html

Lindsey Kuper 10/17/2016

composition.al
Thoughts on "An Abstraction-Refinement Approach to Verification of Artificial Neural Networks"

https://lindseykuper.livejournal.com/463816.html

Lindsey Kuper 10/17/2016
Thoughts on "Adversarial examples in the physical world"

http://lindseykuper.livejournal.com/463362.html

Lindsey Kuper 10/13/2016

composition.al
'Experiencing computing viscerally': my PG Podcast interview about !!Con

http://lindseykuper.livejournal.com/463209.html

Lindsey Kuper 09/10/2016

composition.al
The saga of Accumulo bug 4379

http://lindseykuper.livejournal.com/462886.html

Lindsey Kuper 09/05/2016

composition.al
Publicity chair tip: use ruby-gmail to send bulk emails via Gmail

http://lindseykuper.livejournal.com/462782.html

Lindsey Kuper 08/09/2016

composition.al
Getting into a Ph.D. program without previous research experience

http://lindseykuper.livejournal.com/462580.html

Lindsey Kuper 07/29/2016

composition.al

1
2
3
4
5
…
10

76 - 100 of 226