Home Gudgeon and gist Lindsey Kuper

Input feed: Lindsey Kuper

1
2
3
4
5
…
10

73 - 96 of 226

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

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

Lindsey Kuper 06/16/2017

"Do you know what you're having?"

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

Lindsey Kuper 03/19/2017

"Do you know what you're having?"

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

Lindsey Kuper 03/19/2017

Call for talk proposals: !!Con 2017

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

Lindsey Kuper 03/01/2017

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

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

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

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

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

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

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

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

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

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

1
2
3
4
5
…
10

73 - 96 of 226