Exactly what it says on the tin.
A graduate seminar on languages and abstractions for distributed programming
A graduate seminar on SMT solving and solver-aided systems
Shonan #143: Programming Language Support for Data-intensive Applications
lkuper/fandomized-algorithms 5
A paper for SIGBOVIK 2013
The littlest interpreter for the littlest language
A collection of toy and proof-of-concept Firefox add-ons.
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 2ae9528f3d1f2fd9a09ad5958a6700f025f2b17e
Rebuild
push time in 20 hours
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha 9e452eba1140649fcba8427daeb81d34365b0c63
rebuilding site Mon Oct 19 11:14:56 PDT 2020
push time in 20 hours
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 38a35bd16be67ed3f840312e5a94e0e964c60d54
Rebuild.
push time in 20 hours
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 3bd825919617e6223bddc0121c2c71da9f466469
Fix a bad deploy.
push time in 6 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha 41371763ba5bbfd4d63d0a1471847c5628e4755a
rebuilding site Wed Oct 14 17:06:18 PDT 2020
commit sha 3e21703e9efb6b7ebdc413ef943501386c04b0ff
Merge branch 'main' of github.com:lsd-ucsc/lsd-ucsc.github.io into main
commit sha d59d7061f516a601bf99527ae34b7763dee0ea43
rebuilding site Wed Oct 14 17:06:44 PDT 2020
push time in 6 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha cc85bbdde7e8adc1e4e25ba8c69689ae2c141878
Add Daniel.
push time in 6 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha 98e010e808fcc07f7b3c2dac3b4ac4767e30a724
rebuilding site Wed Oct 14 12:29:25 PDT 2020
commit sha 4e35717f72eb3ca6470c1d78293b9994418d86b7
Merge branch 'main' of github.com:lsd-ucsc/lsd-ucsc.github.io into main
commit sha 735e173fda6d2ae3ef0bc9ca9343d98995641c10
rebuilding site Wed Oct 14 12:32:46 PDT 2020
push time in 6 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha a80ecb1ae4f55c09cbe057f7f5ed0b457d064ea3
rebuilding site Tue Oct 13 20:55:36 PDT 2020
push time in 6 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 37d76b3ea4c75e98e895609bea52627630650238
Get rid of some needless date attributes.
commit sha caaa5b9dde4fd9201011d0a1d05cd831d2521d4c
Wording tweak.
commit sha 8bd7e1d52d2c8a20b5e772f304fb0e024b009ef5
Layout fixes and cosmetic tweaks.
push time in 6 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 643f1b0608a9bd3d662a58c4e3c835b48fe470a7
Make title shorter to better fit on mobile
push time in 6 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha fdc9ac5e0eb18258ff15cca838a4429ca7e2c887
rebuilding site Tue Oct 13 20:15:11 PDT 2020
push time in 6 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 0cce389c764dd3a4e573d602fd46ba19537b7ba0
Add Tyler and Cormac.
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha 6f6f14a864090e5a614ce04ee3f29a28c5a1485b
rebuilding site Tue Oct 13 16:03:10 PDT 2020
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 27aafc260a5e9edaff8ec4f304f011746342b2dc
Add titles, default image, and Lindsey's info
commit sha 7e324fd65efe96024248c7b91a65de5335779703
Add documentation of how to add a person.
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha 104ace13acfff9ff92a67a8d0de30ca382299fda
rebuilding site Tue Oct 13 11:30:07 PDT 2020
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 4da711adee58319b8c1c40a7daf4670becd90867
Wording and cosmetic tweaks.
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha e91aa96436ea3edd0d6845a15131ff8349127fa1
rebuilding site Tue Oct 13 11:06:56 PDT 2020
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 6c84de49b1002d3240327b0efc1cf713be1dcb8e
Wording tweak for author listings.
commit sha 1c9d28af2de78f9d1300b135ff170a158e547377
Updates to About section.
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha 841b6af2fd07efac358723a9d542d63c659847da
rebuilding site Tue Oct 13 10:59:33 PDT 2020
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha 2b0f44ff147ab6a388e1e4baa90c6d05c477bee7
rebuilding site Tue Oct 13 10:38:00 PDT 2020
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 9af79fc469ecd7b0d9044d9b51b9dadd0ce545cd
Title and README tweaks.
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha eb1b2bc005c7c2687334202effe6b607c0b35660
rebuilding site Tue Oct 13 10:33:46 PDT 2020
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 4af896efcda4dddb03d4cb8c9281dac8170fa869
README updates.
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 96071046d77e7b7f5b92f58c6c842dc480a3fe1d
More archetype updates.
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha f556f33206c917abe351ece90f56cc073f51601a
Seminar page and archetype updates.
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha 9154f3b9c2cdfef240c34e6547f1db8aeb9adb71
rebuilding site Tue Oct 13 10:17:17 PDT 2020
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 651ebf112b7bc4f6da82949e385fea8c35cd166f
Home page text update.
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 8b4c9e1ffa3e2da4e04a51436535bb64d6545c88
Try to fix module configuration
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io
commit sha 8cf7a44f814f2efff62adde82a4a0a6b49076913
Let's see if this works.
commit sha f9bbd72b7e82d6e51db82586a0c7306942b61795
rebuilding site Tue Oct 13 10:07:28 PDT 2020
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 881b3ccd2c9bc96a8c9799c84185f0dad737c23f
Set up deployment infrastructure Following steps at: https://gohugo.io/hosting-and-deployment/hosting-on-github/#step-by-step-instructions
commit sha ee540ca9d65856787c62f39779592ade3324b074
Let's see if this works.
push time in 7 days
push eventlsd-ucsc/lsd-ucsc.github.io-source
commit sha 2b90febb14de3492fa86c0a8cbdd234e9c3ee3b3
Peg to version 8d596ff of Academic theme.
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
created repositorylsd-ucsc/lsd-ucsc.github.io-source
Source repository for lsd-ucsc.github.io
created time in 7 days
push eventlkuper/CSE232-2020-10
commit sha 458a1a3e026c53dcb272e588664f78df7e0c08e6
Minor tweaks.
push time in 10 days
push eventlkuper/icfp2020-captions
commit sha 7a210e45fc38005d9cdcfafe55f13ac95ed25d45
Typo fix.
push time in 10 days
push eventlkuper/icfp2020-captions
commit sha 394f0efc799404016c39bb0d63b39da63852a6c6
Autogenerated .srt updates
push time in 10 days
pull request commentlkuper/icfp2020-captions
Correction on the closed captions in Kazutaka Matsuda's talk.
Thank you!
comment created time in 10 days
PR merged lkuper/icfp2020-captions
Here is my changes on the closed captions on my (i.e., Kazutaka Matsuda's) talk.
pr closed time in 10 days
push eventlkuper/icfp2020-captions
commit sha f93de5bc00bbf4a54844ca6a0e57849059a588fa
Correction on the closed captions in Kazutaka Matsuda's talk.
commit sha c0e5ded083d15cca58c19c07d3677c363523f5b5
Merge branch 'correction_by_matsuda' of https://github.com/kztk-m/icfp2020-captions into kztk-m-correction_by_matsuda
commit sha 1eb7a6ab589957deb2d5ffd8ab40a3ff64ccc170
Merge branch 'kztk-m-correction_by_matsuda'
push time in 10 days
push eventlkuper/icfp2020-captions
commit sha cfecabba3bb63387d006e65f877ea7dbcb9c0605
Typo fix.
commit sha f4ef812233d41270fb2335d65f9c2d71ce4ffef8
Get rid of stray CRLF.
commit sha 0e445c51f84b21664ecafe6c8bde878c5c411092
Typo fix.
push time in 10 days
push eventlkuper/icfp2020-captions
commit sha 13744275f8c4aa6c2b7ce5197ce75be11aa65f1a
Autogenerated .srt updates
push time in 11 days
pull request commentlkuper/icfp2020-captions
Corrections for "Effects for Efficiency: Asymptotic Speedup with First-Class Control"
Thanks!
comment created time in 11 days
push eventlkuper/icfp2020-captions
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.
commit sha 66aad0b42224f5a076d867c779e2e8dacdc875ce
Merge pull request #18 from dhil/master Corrections for "Effects for Efficiency: Asymptotic Speedup with First-Class Control"
push time in 11 days
PR merged lkuper/icfp2020-captions
This commit corrects typos in session2/session2.ass for my talk.
pr closed time in 11 days
push eventlkuper/CSE232-2020-10
commit sha 741a288c9dc2b12f1ede1aaf0e97690c380b96e9
Overview tweaks.
push time in 18 days
push eventlkuper/CSE232-2020-10
commit sha 26fae069bfc4f417945b2fe61d118ecf71bc8824
Color tweak.
push time in 19 days
push eventlkuper/CSE232-2020-10
commit sha 93435fd92e7794d931f8d9e3fd048b2a8168ba55
Skin tweak.
push time in 19 days
push eventlkuper/CSE232-2020-10
commit sha 0a3b5bed75aebd7e40bd925184aaa85ee6481acd
Formatting fix.
push time in 19 days
push eventlkuper/CSE232-2020-10
commit sha bff2096438a01dcfc32289e340c2fd5574f16584
Course overview updates.
push time in 19 days
push eventlkuper/icfp2020-captions
commit sha c4992e96fcce3e699b1c80d86f846bb2817e34a9
dos2unix :(
commit sha e186fa8234f2e89fdacda6018995f7b2ae31def0
Corrections from Álvaro García-Pérez (received by email).
commit sha 3ec7ae55f7b4d1807e7b2a7306843d366798ece9
Autogenerated .srt updates
push time in 19 days
push eventlkuper/CSE232-2020-10
commit sha fe70d24a620c879c3a8d06d611b82d48440156da
Update schedule.
push time in 21 days
push eventlkuper/CSE232-2020-10
commit sha 56078e776950fdd5ce1d043f8d06689176448820
Minor tweaks.
push time in 21 days
push eventlkuper/CSE232-2020-10
commit sha b2089a8d912634c008344eb4109a326737c5eb98
Lots of course overview work.
push time in 21 days
push eventlkuper/CSE232-2020-10
commit sha dbdea7ee7c6c6d410664894db2479a90699a8b2c
Typo fix.
push time in 23 days
push eventlkuper/CSE232-2020-10
commit sha 60ef0de3d69c2c4435f7f32b7408e3d53f2d6720
"Readings" is now "Schedule"
push time in 23 days
push eventlkuper/CSE232-2020-10
commit sha 9d10d39e30dd006cebd7a8b6b426c269d0670f3c
wording tweak
push time in 23 days
push eventlkuper/CSE232-2020-10
commit sha 612c72d8137ef0cefd8129e5f3f3526d9e46953d
more cosmetic tweaks
push time in 23 days
push eventlkuper/CSE232-2020-10
commit sha d4ffaecd6e43e45ac0cf6840ce032169851670f0
CSS tweaks
push time in 23 days
push eventlkuper/CSE232-2020-10
commit sha b32a058580763c6e1b2ae29d1abe54be785c5463
Schedule and home page tweaks
push time in 23 days
push eventlsd-ucsc/CASL
commit sha a97798dc096326d1a928f630daccd0c0f4773598
Removed a paper we didn't actually read.
commit sha d807bfb63c730f3372fe51dd2c534bef6f67ca55
Merge branch 'master' of github.com:lsd-ucsc/CASL
push time in 25 days
push eventlkuper/CSE232-2020-10
commit sha 567dab02b4154338487b17509185ee62b78955d8
Reading list tweaks.
push time in a month
push eventlkuper/CSE232-2020-10
commit sha 0a613440476084998374bb139e05506fb94d1b7f
The rest of the readings.
push time in a month
push eventlkuper/CSE232-2020-10
commit sha 7abc4a22456c842074c9001ff45bac435cd6ac58
Update reading list; add PDFs for some readings
push time in a month
push eventlkuper/icfp2020-captions
commit sha a22b44233cab41a5b8ae77871e231656992c12e4
Autogenerated .srt updates
push time in a month
push eventlkuper/icfp2020-captions
commit sha bb16524a7e2e0e5122d51f27a097e8dc9202e681
Correct captions for Cosmo
commit sha 1e879fd2bb3e1af7285dec1cdc1c94bae32e00b8
Merge pull request #17 from gmevel/master Correct captions for Cosmo
push time in a month
PR merged lkuper/icfp2020-captions
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.
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.
comment created time in a month
push eventlkuper/icfp2020-captions
commit sha 25ef2a74f461c080bfd4cb5058c9bb357faac08b
Correct captions for Elastic Sheet-Defined Functions
commit sha cb3b13d7ef2eef53dc2007d8b4c746703f42ac2f
Merge pull request #16 from mattmccutchen/master Correct captions for Elastic Sheet-Defined Functions
push time in a month
PR merged lkuper/icfp2020-captions
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.
pr closed time in a month
pull request commentlkuper/icfp2020-captions
Corrections for Local Algebraic Effect Theories
Thanks!
comment created time in a month