profile
viewpoint

lkuper/dissertation 21

Exactly what it says on the tin.

lkuper/CMPS290S-2018-09 18

A graduate seminar on languages and abstractions for distributed programming

lkuper/CSE290Q-2019-09 18

A graduate seminar on SMT solving and solver-aided systems

avsm/shonan-143 14

Shonan #143: Programming Language Support for Data-intensive Applications

lkuper/fandomized-algorithms 5

A paper for SIGBOVIK 2013

lkuper/aw 2

The littlest interpreter for the littlest language

lkuper/addon-playground 1

A collection of toy and proof-of-concept Firefox add-ons.

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 2ae9528f3d1f2fd9a09ad5958a6700f025f2b17e

Rebuild

view details

push time in 20 hours

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha 9e452eba1140649fcba8427daeb81d34365b0c63

rebuilding site Mon Oct 19 11:14:56 PDT 2020

view details

push time in 20 hours

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 38a35bd16be67ed3f840312e5a94e0e964c60d54

Rebuild.

view details

push time in 20 hours

GollumEvent

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 3bd825919617e6223bddc0121c2c71da9f466469

Fix a bad deploy.

view details

push time in 6 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha 41371763ba5bbfd4d63d0a1471847c5628e4755a

rebuilding site Wed Oct 14 17:06:18 PDT 2020

view details

Lindsey Kuper

commit sha 3e21703e9efb6b7ebdc413ef943501386c04b0ff

Merge branch 'main' of github.com:lsd-ucsc/lsd-ucsc.github.io into main

view details

Lindsey Kuper

commit sha d59d7061f516a601bf99527ae34b7763dee0ea43

rebuilding site Wed Oct 14 17:06:44 PDT 2020

view details

push time in 6 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha cc85bbdde7e8adc1e4e25ba8c69689ae2c141878

Add Daniel.

view details

push time in 6 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha 98e010e808fcc07f7b3c2dac3b4ac4767e30a724

rebuilding site Wed Oct 14 12:29:25 PDT 2020

view details

Lindsey Kuper

commit sha 4e35717f72eb3ca6470c1d78293b9994418d86b7

Merge branch 'main' of github.com:lsd-ucsc/lsd-ucsc.github.io into main

view details

Lindsey Kuper

commit sha 735e173fda6d2ae3ef0bc9ca9343d98995641c10

rebuilding site Wed Oct 14 12:32:46 PDT 2020

view details

push time in 6 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha a80ecb1ae4f55c09cbe057f7f5ed0b457d064ea3

rebuilding site Tue Oct 13 20:55:36 PDT 2020

view details

push time in 6 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 37d76b3ea4c75e98e895609bea52627630650238

Get rid of some needless date attributes.

view details

Lindsey Kuper

commit sha caaa5b9dde4fd9201011d0a1d05cd831d2521d4c

Wording tweak.

view details

Lindsey Kuper

commit sha 8bd7e1d52d2c8a20b5e772f304fb0e024b009ef5

Layout fixes and cosmetic tweaks.

view details

push time in 6 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 643f1b0608a9bd3d662a58c4e3c835b48fe470a7

Make title shorter to better fit on mobile

view details

push time in 6 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha fdc9ac5e0eb18258ff15cca838a4429ca7e2c887

rebuilding site Tue Oct 13 20:15:11 PDT 2020

view details

push time in 6 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 0cce389c764dd3a4e573d602fd46ba19537b7ba0

Add Tyler and Cormac.

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha 6f6f14a864090e5a614ce04ee3f29a28c5a1485b

rebuilding site Tue Oct 13 16:03:10 PDT 2020

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 27aafc260a5e9edaff8ec4f304f011746342b2dc

Add titles, default image, and Lindsey's info

view details

Lindsey Kuper

commit sha 7e324fd65efe96024248c7b91a65de5335779703

Add documentation of how to add a person.

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha 104ace13acfff9ff92a67a8d0de30ca382299fda

rebuilding site Tue Oct 13 11:30:07 PDT 2020

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 4da711adee58319b8c1c40a7daf4670becd90867

Wording and cosmetic tweaks.

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha e91aa96436ea3edd0d6845a15131ff8349127fa1

rebuilding site Tue Oct 13 11:06:56 PDT 2020

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 6c84de49b1002d3240327b0efc1cf713be1dcb8e

Wording tweak for author listings.

view details

Lindsey Kuper

commit sha 1c9d28af2de78f9d1300b135ff170a158e547377

Updates to About section.

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha 841b6af2fd07efac358723a9d542d63c659847da

rebuilding site Tue Oct 13 10:59:33 PDT 2020

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha 2b0f44ff147ab6a388e1e4baa90c6d05c477bee7

rebuilding site Tue Oct 13 10:38:00 PDT 2020

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 9af79fc469ecd7b0d9044d9b51b9dadd0ce545cd

Title and README tweaks.

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha eb1b2bc005c7c2687334202effe6b607c0b35660

rebuilding site Tue Oct 13 10:33:46 PDT 2020

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 4af896efcda4dddb03d4cb8c9281dac8170fa869

README updates.

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 96071046d77e7b7f5b92f58c6c842dc480a3fe1d

More archetype updates.

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha f556f33206c917abe351ece90f56cc073f51601a

Seminar page and archetype updates.

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha 9154f3b9c2cdfef240c34e6547f1db8aeb9adb71

rebuilding site Tue Oct 13 10:17:17 PDT 2020

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 651ebf112b7bc4f6da82949e385fea8c35cd166f

Home page text update.

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 8b4c9e1ffa3e2da4e04a51436535bb64d6545c88

Try to fix module configuration

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io

Lindsey Kuper

commit sha 8cf7a44f814f2efff62adde82a4a0a6b49076913

Let's see if this works.

view details

Lindsey Kuper

commit sha f9bbd72b7e82d6e51db82586a0c7306942b61795

rebuilding site Tue Oct 13 10:07:28 PDT 2020

view details

push time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 881b3ccd2c9bc96a8c9799c84185f0dad737c23f

Set up deployment infrastructure Following steps at: https://gohugo.io/hosting-and-deployment/hosting-on-github/#step-by-step-instructions

view details

Lindsey Kuper

commit sha ee540ca9d65856787c62f39779592ade3324b074

Let's see if this works.

view details

push time in 7 days

create barnchlsd-ucsc/lsd-ucsc.github.io

branch : main

created branch time in 7 days

push eventlsd-ucsc/lsd-ucsc.github.io-source

Lindsey Kuper

commit sha 2b90febb14de3492fa86c0a8cbdd234e9c3ee3b3

Peg to version 8d596ff of Academic theme.

view details

push time in 7 days

created repositorylsd-ucsc/lsd-ucsc.github.io

Generated files for lsd-ucsc.github.io. Do not edit this repo directly; use https://github.com/lsd-ucsc/lsd-ucsc.github.io-source instead.

created time in 7 days

create barnchlsd-ucsc/lsd-ucsc.github.io-source

branch : main

created branch time in 7 days

created repositorylsd-ucsc/lsd-ucsc.github.io-source

Source repository for lsd-ucsc.github.io

created time in 7 days

GollumEvent

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 458a1a3e026c53dcb272e588664f78df7e0c08e6

Minor tweaks.

view details

push time in 10 days

push eventlkuper/icfp2020-captions

Lindsey Kuper

commit sha 7a210e45fc38005d9cdcfafe55f13ac95ed25d45

Typo fix.

view details

push time in 10 days

push eventlkuper/icfp2020-captions

Lindsey Kuper

commit sha 394f0efc799404016c39bb0d63b39da63852a6c6

Autogenerated .srt updates

view details

push time in 10 days

pull request commentlkuper/icfp2020-captions

Correction on the closed captions in Kazutaka Matsuda's talk.

Thank you!

kztk-m

comment created time in 10 days

PR merged lkuper/icfp2020-captions

Correction on the closed captions in Kazutaka Matsuda's talk.

Here is my changes on the closed captions on my (i.e., Kazutaka Matsuda's) talk.

+90 -90

0 comment

1 changed file

kztk-m

pr closed time in 10 days

push eventlkuper/icfp2020-captions

Kazutaka Matsuda

commit sha f93de5bc00bbf4a54844ca6a0e57849059a588fa

Correction on the closed captions in Kazutaka Matsuda's talk.

view details

Lindsey Kuper

commit sha c0e5ded083d15cca58c19c07d3677c363523f5b5

Merge branch 'correction_by_matsuda' of https://github.com/kztk-m/icfp2020-captions into kztk-m-correction_by_matsuda

view details

Lindsey Kuper

commit sha 1eb7a6ab589957deb2d5ffd8ab40a3ff64ccc170

Merge branch 'kztk-m-correction_by_matsuda'

view details

push time in 10 days

push eventlkuper/icfp2020-captions

Lindsey Kuper

commit sha cfecabba3bb63387d006e65f877ea7dbcb9c0605

Typo fix.

view details

Lindsey Kuper

commit sha f4ef812233d41270fb2335d65f9c2d71ce4ffef8

Get rid of stray CRLF.

view details

Lindsey Kuper

commit sha 0e445c51f84b21664ecafe6c8bde878c5c411092

Typo fix.

view details

push time in 10 days

push eventlkuper/icfp2020-captions

Lindsey Kuper

commit sha 13744275f8c4aa6c2b7ce5197ce75be11aa65f1a

Autogenerated .srt updates

view details

push time in 11 days

push eventlkuper/icfp2020-captions

Daniel Hillerström

commit sha b921236d6d9f186898413dd37115ac24bb5a126a

Corrections for "Effects for Efficiency: Asymptotic Speedup with First-Class Control". This commit corrects typos in session2/session2.ass for my talk.

view details

Lindsey Kuper

commit sha 66aad0b42224f5a076d867c779e2e8dacdc875ce

Merge pull request #18 from dhil/master Corrections for "Effects for Efficiency: Asymptotic Speedup with First-Class Control"

view details

push time in 11 days

PR merged lkuper/icfp2020-captions

Corrections for "Effects for Efficiency: Asymptotic Speedup with First-Class Control"

This commit corrects typos in session2/session2.ass for my talk.

+32 -32

0 comment

1 changed file

dhil

pr closed time in 11 days

MemberEvent
MemberEvent
MemberEvent
GollumEvent
MemberEvent
MemberEvent
MemberEvent
MemberEvent
MemberEvent
MemberEvent
MemberEvent
MemberEvent
MemberEvent
MemberEvent
MemberEvent
MemberEvent

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 741a288c9dc2b12f1ede1aaf0e97690c380b96e9

Overview tweaks.

view details

push time in 18 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 26fae069bfc4f417945b2fe61d118ecf71bc8824

Color tweak.

view details

push time in 19 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 93435fd92e7794d931f8d9e3fd048b2a8168ba55

Skin tweak.

view details

push time in 19 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 0a3b5bed75aebd7e40bd925184aaa85ee6481acd

Formatting fix.

view details

push time in 19 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha bff2096438a01dcfc32289e340c2fd5574f16584

Course overview updates.

view details

push time in 19 days

push eventlkuper/icfp2020-captions

Lindsey Kuper

commit sha c4992e96fcce3e699b1c80d86f846bb2817e34a9

dos2unix :(

view details

Lindsey Kuper

commit sha e186fa8234f2e89fdacda6018995f7b2ae31def0

Corrections from Álvaro García-Pérez (received by email).

view details

Lindsey Kuper

commit sha 3ec7ae55f7b4d1807e7b2a7306843d366798ece9

Autogenerated .srt updates

view details

push time in 19 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha fe70d24a620c879c3a8d06d611b82d48440156da

Update schedule.

view details

push time in 21 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 56078e776950fdd5ce1d043f8d06689176448820

Minor tweaks.

view details

push time in 21 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha b2089a8d912634c008344eb4109a326737c5eb98

Lots of course overview work.

view details

push time in 21 days

GollumEvent
GollumEvent
GollumEvent
GollumEvent
GollumEvent
GollumEvent
GollumEvent
GollumEvent
GollumEvent

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha dbdea7ee7c6c6d410664894db2479a90699a8b2c

Typo fix.

view details

push time in 23 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 60ef0de3d69c2c4435f7f32b7408e3d53f2d6720

"Readings" is now "Schedule"

view details

push time in 23 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 9d10d39e30dd006cebd7a8b6b426c269d0670f3c

wording tweak

view details

push time in 23 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 612c72d8137ef0cefd8129e5f3f3526d9e46953d

more cosmetic tweaks

view details

push time in 23 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha d4ffaecd6e43e45ac0cf6840ce032169851670f0

CSS tweaks

view details

push time in 23 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha b32a058580763c6e1b2ae29d1abe54be785c5463

Schedule and home page tweaks

view details

push time in 23 days

push eventlsd-ucsc/CASL

Lindsey Kuper

commit sha a97798dc096326d1a928f630daccd0c0f4773598

Removed a paper we didn't actually read.

view details

Lindsey Kuper

commit sha d807bfb63c730f3372fe51dd2c534bef6f67ca55

Merge branch 'master' of github.com:lsd-ucsc/CASL

view details

push time in 25 days

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 567dab02b4154338487b17509185ee62b78955d8

Reading list tweaks.

view details

push time in a month

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 0a613440476084998374bb139e05506fb94d1b7f

The rest of the readings.

view details

push time in a month

push eventlkuper/CSE232-2020-10

Lindsey Kuper

commit sha 7abc4a22456c842074c9001ff45bac435cd6ac58

Update reading list; add PDFs for some readings

view details

push time in a month

push eventlkuper/icfp2020-captions

Lindsey Kuper

commit sha a22b44233cab41a5b8ae77871e231656992c12e4

Autogenerated .srt updates

view details

push time in a month

pull request commentlkuper/icfp2020-captions

Correct captions for Cosmo

Thank you!

gmevel

comment created time in a month

push eventlkuper/icfp2020-captions

Glen Mével

commit sha bb16524a7e2e0e5122d51f27a097e8dc9202e681

Correct captions for Cosmo

view details

Lindsey Kuper

commit sha 1e879fd2bb3e1af7285dec1cdc1c94bae32e00b8

Merge pull request #17 from gmevel/master Correct captions for Cosmo

view details

push time in a month

PR merged lkuper/icfp2020-captions

Correct captions for Cosmo

I have introduced non-ASCII latin characters, UTF-8-encoded (lines 679 to 682: é, É and ç), replace them with their base letter if that is a problem.

+176 -176

0 comment

1 changed file

gmevel

pr closed time in a month

pull request commentlkuper/icfp2020-captions

Correct captions for Elastic Sheet-Defined Functions

Thanks! I think "α" and "β" will be fine.

mattmccutchen

comment created time in a month

push eventlkuper/icfp2020-captions

Matt McCutchen

commit sha 25ef2a74f461c080bfd4cb5058c9bb357faac08b

Correct captions for Elastic Sheet-Defined Functions

view details

Lindsey Kuper

commit sha cb3b13d7ef2eef53dc2007d8b4c746703f42ac2f

Merge pull request #16 from mattmccutchen/master Correct captions for Elastic Sheet-Defined Functions

view details

push time in a month

PR merged lkuper/icfp2020-captions

Correct captions for Elastic Sheet-Defined Functions

Note that I replaced the words "alpha" and "beta" with UTF-8 "α" and "β" symbols. They didn't cause any problems for the tools I used to produce my captioned videos, but if you think they might cause problems for yours, I'll be happy to take them out again.

+123 -123

0 comment

1 changed file

mattmccutchen

pr closed time in a month

pull request commentlkuper/icfp2020-captions

Corrections for Local Algebraic Effect Theories

Thanks!

zigaLuksic

comment created time in a month

more