Home Gudgeon and gist Lindsey Kuper

Input feed: Lindsey Kuper

Sort by: Date tagged Date published

1
2
3
…
10

1 - 25 of 226

life update, November 2021

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

Lindsey Kuper 11/16/2021

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

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

Lindsey Kuper 07/26/2021

composition.al
How to create an .srt caption file for a video

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

Lindsey Kuper 07/26/2021

composition.al
How not to email prospective grad school advisors

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

Lindsey Kuper 11/28/2020

composition.al
Course retrospective: SMT Solving and Solver-Aided Systems

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

Lindsey Kuper 10/18/2020

composition.al
Yet another post telling you to apply to PLMW

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

Lindsey Kuper 07/21/2020

composition.al
Twitch plays CSE138

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

Lindsey Kuper 04/04/2020

composition.al
Call for talk proposals: !!Con West 2020!

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

Lindsey Kuper 12/08/2019

composition.al
Why you should come to UC Santa Cruz to do LSD research

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

Lindsey Kuper 12/05/2019

composition.al
Apply to PLMW

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

Lindsey Kuper 12/05/2019

composition.al
Course announcement: SMT Solving and Solver-Aided Systems

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

Lindsey Kuper 09/26/2019

composition.al
My first year as a professor

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

Lindsey Kuper 09/25/2019

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

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

Lindsey Kuper 07/13/2019

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

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

Lindsey Kuper 06/27/2019

composition.al
An example run of the Chandy-Lamport snapshot algorithm

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

Lindsey Kuper 05/14/2019

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

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

Lindsey Kuper 05/14/2019

composition.al
Twenty months old

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

Lindsey Kuper 03/25/2019

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

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

Lindsey Kuper 03/08/2019

composition.al
Way number eight of looking at the correlation coefficient

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

Lindsey Kuper 03/07/2019

composition.al
Course retrospective: Languages and Abstractions for Distributed Programming

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

Lindsey Kuper 03/07/2019

composition.al
Words Sylvia can say at eighteen months old

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

Lindsey Kuper 01/26/2019

sylvia
Call for talk proposals: !!Con West 2019!

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

Lindsey Kuper 11/30/2018

composition.al
An introduction to replica conflict resolution

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

Lindsey Kuper 11/08/2018

composition.al
Course announcement: Languages and Abstractions for Distributed Programming

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

Lindsey Kuper 09/20/2018

composition.al
Understanding the regression line with standard units

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

Lindsey Kuper 09/04/2018

composition.al

1
2
3
…
10

1 - 25 of 226