fix typo in slurm hints
link to skeleton
git-annex adjusted branch
final exam skeleton
post tutorial 11
match crowdmark typo
initial lecture 23
creating tag page tags/stack-based-gc
creating tag page tags/incremental-gc
add missing examples
update examples
add missing example
lecture 22 materials
creating tag page tags/copying-collection
post tutorial 10
(re)publush A6
post second set of backtracking material
update skeleton
fix date and cons-2
fix final exam scheduling, add a few hints
creating tag page tags/mark-and-sweep
lectures 20 and 21
add reading for unit 5
update lecture 50 slides
link to quiz
coverage improvement
initial version of A6
creating tag page tags/gc
new lecture 19 files
remove old lecture 19 files
change title
lecture 19
creating tag page tags/copying
creating tag page tags/two-space
add demos
fix date
backtracking video
landing page for unit 5
backtracking slides
update tutorial 9
move A6
extend A5
publish tutorial 9
post assignment 6
creating tag page tags/plai/gc2
publish lecture 18
copy local-redirect/*
copy js and css for racket docs
add links to gc2 docs
snapshot plai docs from racket 8.12
initial version of assignment 5
publish lecture 17
creating tag page tags/syntactic-continuations
Changed pages:
teaching/cs4613/tests/Q2
Changed by:
david
Commit type:
git
Date:
12:37:48 PM 2024-03-21
link to skeleton
Changed pages:
teaching/cs4613/lectures/lecture05/let-not.rkt
teaching/cs4613/lectures/lecture05/let-not.rkt.txt
teaching/cs4613/tests/Q2/skeleton.rkt
Changed by:
david
Commit type:
git
Date:
12:35:21 PM 2024-03-21
publish skeleton for cs4613 quiz
Changed pages:
teaching/cs3383/lectures
Changed by:
david
Commit type:
git
Date:
07:58:08 AM 2024-03-20
tweak inline
Changed pages:
teaching/cs3383/lectures/40.1-demos/mat.hpp
teaching/cs3383/lectures/41.1-demos/Makefile
teaching/cs3383/lectures/41.1-demos/for-race.c
teaching/cs3383/lectures/41.1-demos/spawn-norace.c
teaching/cs3383/lectures/41.1-demos/spawn-race.c
Changed by:
david
Commit type:
git
Date:
07:57:13 AM 2024-03-20
multithreaded demos
Changed pages:
teaching/cs3383/lectures/40.0-multithread-video.mkv
teaching/cs3383/lectures/40.0-multithread-video.pdf
teaching/cs3383/lectures/40.1-multithread-live.pdf
teaching/cs3383/lectures/41.0-race-sched-video.mkv
teaching/cs3383/lectures/41.0-race-sched-video.pdf
teaching/cs3383/lectures/41.1-race-sched-live.pdf
teaching/cs3383/lectures/unit04
Changed by:
david
Commit type:
git
Date:
07:54:11 AM 2024-03-20
multithreaded algorithms materials
Changed pages:
teaching/cs3383/lectures/40.1-demos/Makefile
teaching/cs3383/lectures/40.1-demos/fib.c
teaching/cs3383/lectures/40.1-demos/mat-vec.cc
teaching/cs3383/lectures/40.1-demos/mvdc.cc
Changed by:
david
Commit type:
git
Date:
03:51:04 PM 2024-03-18
publish openmp demos
Changed pages:
teaching/cs3383/lectures/23.1-union-find-live.pdf
Changed by:
david
Commit type:
git
Date:
09:43:22 PM 2024-03-17
update for typo fix
Changed pages:
teaching/cs4613/tutorials/tutorial07
Changed by:
david
Commit type:
git
Date:
08:27:21 AM 2024-03-15
update intro for past tutorial
Changed pages:
teaching/cs4613/tutorials/tutorial08
Changed by:
david
Commit type:
git
Date:
08:25:12 AM 2024-03-15
tweak presentation for tutorial 8
Changed pages:
teaching/cs4613/tutorials/tutorial08
teaching/cs4613/tutorials/tutorial08/skeleton.rkt
Changed by:
david
Commit type:
git
Date:
08:21:02 AM 2024-03-15
initial version of tutorial 8
Changed pages:
teaching/cs4613/lectures/lecture15.web.pdf
Changed by:
david
Commit type:
git
Date:
10:37:01 PM 2024-03-13
add context comments to let/cc examples
Changed pages:
teaching/cs4613/tutorials/tutorial05
Changed by:
david
Commit type:
git
Date:
09:25:13 PM 2024-03-12
update math markup
Changed pages:
teaching/cs3383/quizzes/Q03
Changed by:
david
Commit type:
git
Date:
09:24:36 PM 2024-03-12
link to Quiz 3
Changed pages:
teaching/cs4613/lectures/lecture16
Changed by:
david
Commit type:
git
Date:
12:00:32 PM 2024-03-11
date fix
Changed pages:
teaching/cs4613/lectures
Changed by:
david
Commit type:
git
Date:
11:50:32 AM 2024-03-11
fix inline
Changed pages:
teaching/cs4613/lectures/lecture16
teaching/cs4613/lectures/lecture16.web.pdf
teaching/cs4613/lectures/lecture16/fakeweb.rkt
teaching/cs4613/lectures/lecture16/fakeweb.rkt.txt
teaching/cs4613/lectures/lecture16/fweb-cc2.rkt
teaching/cs4613/lectures/lecture16/fweb-cc2.rkt.txt
teaching/cs4613/lectures/lecture16/get-num1.rkt
teaching/cs4613/lectures/lecture16/get-num1.rkt.txt
teaching/cs4613/lectures/lecture16/get-num2.rkt
teaching/cs4613/lectures/lecture16/get-num2.rkt.txt
...
Changed by:
david
Commit type:
git
Date:
11:45:20 AM 2024-03-11
cs4613 lecture 16
Changed pages:
tags/web programming
Changed by:
david
Commit type:
git
Date:
11:36:49 AM 2024-03-11
creating tag page tags/web_programming
Changed pages:
teaching/cs4613/lectures/lecture15
Changed by:
david
Commit type:
git
Date:
11:36:48 AM 2024-03-11
typo fix
Changed pages:
tags/expceptions
Changed by:
david
Commit type:
git
Date:
11:32:42 AM 2024-03-11
creating tag page tags/expceptions
Changed pages:
teaching/cs4613/lectures/lecture15
teaching/cs4613/lectures/lecture15.web.pdf
teaching/cs4613/lectures/lecture15/counter2.rkt
teaching/cs4613/lectures/lecture15/counter2.rkt.txt
teaching/cs4613/lectures/lecture15/counter3.rkt
teaching/cs4613/lectures/lecture15/counter3.rkt.txt
teaching/cs4613/lectures/lecture15/generator.rkt
teaching/cs4613/lectures/lecture15/generator.rkt.txt
teaching/cs4613/lectures/lecture15/last-call.rkt
teaching/cs4613/lectures/lecture15/last-call.rkt.txt
...
Changed by:
david
Commit type:
git
Date:
11:32:42 AM 2024-03-11
cs4613 lecture 15
Changed pages:
teaching/cs4613/lectures/lecture07/snippet-index
Changed by:
david
Commit type:
git
Date:
11:23:24 AM 2024-03-11
commit old snippet index
Changed pages:
teaching/cs3383/lectures/32.0-demos/lis.py
teaching/cs3383/lectures/32.0-dynamic-prog-examples-video.mkv
teaching/cs3383/lectures/32.0-dynamic-prog-examples-video.pdf
teaching/cs3383/lectures/32.1-dynamic-prog-examples-live.pdf
teaching/cs3383/lectures/unit03
Changed by:
david
Commit type:
git
Date:
11:48:34 AM 2024-03-10
lecture 32 materials
Changed pages:
teaching/cs3383/assignments/A04
teaching/cs4613/tutorials/tutorial07
teaching/cs4613/tutorials/tutorial07/skeleton.rkt
teaching/cs4613/tutorials/tutorial07/skeleton.rkt.txt
Changed by:
david
Commit type:
git
Date:
08:45:17 PM 2024-03-09
publish tutorial 7
Changed pages:
teaching/cs4613/assignments/A4
teaching/cs4613/assignments/A4/skeleton.rkt
Changed by:
david
Commit type:
git
Date:
08:32:49 AM 2024-03-02
initial published version of A4
Changed pages:
tags/structural-types
Changed by:
david
Commit type:
git
Date:
07:09:04 AM 2024-03-02
creating tag page tags/structural-types
Changed pages:
tags/nominal-types
Changed by:
david
Commit type:
git
Date:
07:09:04 AM 2024-03-02
creating tag page tags/nominal-types
Changed pages:
teaching/cs4613/lectures/lecture13
teaching/cs4613/lectures/lecture14
Changed by:
david
Commit type:
git
Date:
07:09:03 AM 2024-03-02
landing pages for last week's lectures
Changed pages:
teaching/cs4613/assignments/A4
teaching/cs4613/assignments/A4/skeleton.rkt
teaching/cs4613/assignments/A4/skeleton.rkt.txt
Changed by:
david
Commit type:
git
Date:
06:58:23 AM 2024-03-02
initial rough draft of A4
Changed pages:
tags/assigment
Changed by:
david
Commit type:
git
Date:
06:57:39 AM 2024-03-02
creating tag page tags/assigment
Changed pages:
teaching/cs4613/lectures/lecture13.web.pdf
teaching/cs4613/lectures/lecture13/bt1.rkt
teaching/cs4613/lectures/lecture13/bt1.rkt.txt
teaching/cs4613/lectures/lecture13/bt2.rkt
teaching/cs4613/lectures/lecture13/bt2.rkt.txt
teaching/cs4613/lectures/lecture13/bt3.rkt
teaching/cs4613/lectures/lecture13/bt3.rkt.txt
teaching/cs4613/lectures/lecture13/bt4.rkt
teaching/cs4613/lectures/lecture13/bt4.rkt.txt
teaching/cs4613/lectures/lecture13/bt5.rkt
...
Changed by:
david
Commit type:
git
Date:
10:03:17 PM 2024-02-28
publish lectures 13 and 14
Changed pages:
teaching/cs3383/assignments/A05
Changed by:
david
Commit type:
git
Date:
08:36:28 AM 2024-02-28
publish cs3383 assignment 5
Changed pages:
teaching/cs4613/tutorials/tutorial06
Changed by:
david
Commit type:
git
Date:
01:01:02 PM 2024-02-27
fix date time
Changed pages:
teaching/cs3383/lectures/24.1-path-compression-live.pdf
teaching/cs4613/assignments/A3
teaching/cs4613/assignments/A3/skeleton.rkt
Changed by:
david
Commit type:
git
Date:
03:36:25 PM 2024-02-26
fix ranks in path-compression example
Changed pages:
teaching/cs3383/assignments/A05
Changed by:
david
Commit type:
git
Date:
10:58:15 AM 2024-02-25
fix date / timezone
Changed pages:
teaching/cs3383/assignments/A05
Changed by:
david
Commit type:
git
Date:
10:50:21 AM 2024-02-25
presentation fixes for A05
Changed pages:
teaching/cs3383/assignments/A05
Changed by:
david
Commit type:
git
Date:
10:30:27 AM 2024-02-25
initial export of cs3383 assignment 5
Changed pages:
teaching/cs3383/lectures/31.0-demos/lcs.py
teaching/cs3383/lectures/31.0-demos/lcs2.py
teaching/cs3383/lectures/31.0-lcs-video.mkv
teaching/cs3383/lectures/31.0-lcs-video.pdf
teaching/cs3383/lectures/31.1-demos/lcs.py
teaching/cs3383/lectures/31.1-demos/lcs2.py
teaching/cs3383/lectures/31.1-lcs-live.pdf
teaching/cs3383/lectures/unit03
Changed by:
david
Commit type:
git
Date:
09:07:42 AM 2024-02-25
LCS lectures
Changed pages:
teaching/cs4613/tutorials/tutorial06
Changed by:
david
Commit type:
git
Date:
10:08:15 PM 2024-02-24
fix date
Changed pages:
teaching/cs4613/tutorials
teaching/cs4613/tutorials/tutorial06
Changed by:
david
Commit type:
git
Date:
10:06:00 PM 2024-02-24
clean up inline
Changed pages:
teaching/cs3383/lectures/30.0-demos/shortest.py
teaching/cs3383/lectures/30.0-demos/topsort.py
teaching/cs3383/lectures/30.1-demos/shortest.py
teaching/cs3383/lectures/30.1-demos/topsort.py
teaching/cs3383/lectures/30.1-demos/union.py
Changed by:
david
Commit type:
git
Date:
02:46:08 PM 2024-02-24
publish demos for lecture 30
Changed pages:
teaching/cs3383/lectures/unit03
Changed by:
david
Commit type:
git
Date:
02:43:36 PM 2024-02-24
fix date
Changed pages:
teaching/cs3383/lectures/30.0-dynamic-prog-video.mkv
teaching/cs3383/lectures/30.0-dynamic-prog-video.pdf
teaching/cs3383/lectures/unit03
Changed by:
david
Commit type:
git
Date:
02:41:10 PM 2024-02-24
start unit 3
Changed pages:
teaching/cs3383/lectures/24.1-path-compression-live.pdf
Changed by:
david
Commit type:
git
Date:
02:36:49 PM 2024-02-24
update path compression slides
Changed pages:
teaching/cs4613/assignments/A3
teaching/cs4613/assignments/A3/skeleton.rkt
Changed by:
david
Commit type:
git
Date:
05:41:23 PM 2024-02-23
initial publication of A3
Changed pages:
teaching/cs4613/lectures/lecture12/snippet-index
Changed by:
david
Commit type:
git
Date:
09:38:37 PM 2024-02-21
snippet page for lecture 12
Changed pages:
teaching/cs4613/lectures/lecture12/bt5
teaching/cs4613/lectures/lecture12/let2.rklt
Changed by:
david
Commit type:
git
Date:
09:37:12 PM 2024-02-21
cleanup bad source files