Home Gudgeon and gist Lindsey Kuper

Input feed: Lindsey Kuper

1
2
3
…
10

1 - 24 of 226

life update, November 2021

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

Lindsey Kuper 11/16/2021

Join us at the Programming Languages Mentoring Workshop at ICFP next month

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

Lindsey Kuper 07/26/2021

How to create an .srt caption file for a video

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

Lindsey Kuper 07/26/2021

How not to email prospective grad school advisors

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

Lindsey Kuper 11/28/2020

Course retrospective: SMT Solving and Solver-Aided Systems

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

Lindsey Kuper 10/18/2020

Yet another post telling you to apply to PLMW

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

Lindsey Kuper 07/21/2020

Twitch plays CSE138

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

Lindsey Kuper 04/04/2020

Call for talk proposals: !!Con West 2020!

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

Lindsey Kuper 12/08/2019

Why you should come to UC Santa Cruz to do LSD research

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

Lindsey Kuper 12/05/2019

Apply to PLMW

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

Lindsey Kuper 12/05/2019

Course announcement: SMT Solving and Solver-Aided Systems

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

Lindsey Kuper 09/26/2019

My first year as a professor

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

Lindsey Kuper 09/25/2019

My students made zines, and so can you(rs)!

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

Lindsey Kuper 07/13/2019

How I learned about Merklix trees (without having to become a cryptocurrency enthusiast)

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

Lindsey Kuper 06/27/2019

An example run of the Chandy-Lamport snapshot algorithm

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

Lindsey Kuper 05/14/2019

"Toward Domain-Specific Solvers for Distributed Consistency" will appear at SNAPL 2019

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

Lindsey Kuper 05/14/2019

Twenty months old

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

Lindsey Kuper 03/25/2019

Jane Street Tech Talk: "Abstractions for Expressive, Efficient Parallel and Distributed Computing"

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

Lindsey Kuper 03/08/2019

Way number eight of looking at the correlation coefficient

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

Lindsey Kuper 03/07/2019

Course retrospective: Languages and Abstractions for Distributed Programming

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

Lindsey Kuper 03/07/2019

Words Sylvia can say at eighteen months old

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

Lindsey Kuper 01/26/2019

Call for talk proposals: !!Con West 2019!

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

Lindsey Kuper 11/30/2018

An introduction to replica conflict resolution

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

Lindsey Kuper 11/08/2018

Course announcement: Languages and Abstractions for Distributed Programming

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

Lindsey Kuper 09/20/2018

1
2
3
…
10

1 - 24 of 226