RecentChanges

Recent changes to this wiki:

Changed pages: teaching/cs4613/tests teaching/cs4613/tests/final
Changed by: david
Commit type: git
Date: 06:47:26 PM 2024-04-16

link to skeleton

Changed pages: teaching/cs4613/tests/final/skeleton.rkt
Changed by: david
Commit type: git
Date: 06:46:24 PM 2024-04-16

final exam skeleton

Changed pages: files/nbm-python-native-2023.pdf files/sb-core-points-2023.pdf files/talk-paris-2023.pdf photo/2019/11-turks/20191111 0107.jpg scratch/notmuch-doc-wip/ static/jquery.js scratch/notmuch-doc-wip/python-bindings.html teaching/cs2613/assignments/A5/ 2013-100.csv.gz teaching/cs2613/assignments/A5/ 2013-1000.csv.gz teaching/cs2613/assignments/A5/ 2014-100.csv.gz teaching/cs2613/assignments/A5/ 2014-1000.csv.gz ...
Changed by: david
Commit type: git
Date: 10:04:20 AM 2024-04-15

git-annex adjusted branch

Changed pages: teaching/cs4613/tutorials/tutorial11 teaching/cs4613/tutorials/tutorial11/skeleton.rkt
Changed by: david
Commit type: git
Date: 10:04:20 AM 2024-04-15

post tutorial 11

Changed pages: teaching/cs3383/quizzes/Q04
Changed by: david
Commit type: git
Date: 02:29:09 PM 2024-04-08

match crowdmark typo

Changed pages: teaching/cs4613/lectures/lecture23 teaching/cs4613/lectures/lecture23.web.pdf teaching/cs4613/lectures/lecture23/incremental.rkt teaching/cs4613/lectures/lecture23/incremental.rkt.txt teaching/cs4613/lectures/lecture23/snippet-index teaching/cs4613/lectures/lecture23/sort.rkt teaching/cs4613/lectures/lecture23/sort.rkt.txt teaching/cs4613/lectures/lecture23/sum.rkt teaching/cs4613/lectures/lecture23/sum.rkt.txt
Changed by: david
Commit type: git
Date: 01:56:35 PM 2024-04-06

initial lecture 23

Changed pages: tags/stack-based-gc
Changed by: david
Commit type: git
Date: 01:50:22 PM 2024-04-06

creating tag page tags/stack-based-gc

Changed pages: tags/incremental-gc
Changed by: david
Commit type: git
Date: 01:50:22 PM 2024-04-06

creating tag page tags/incremental-gc

Changed pages: teaching/cs4613/lectures/lecture22/mark-sweep-free-list.rkt teaching/cs4613/lectures/lecture22/mark-sweep-free-list.rkt.txt teaching/cs4613/lectures/lecture22/sum-ms.rkt teaching/cs4613/lectures/lecture22/sum-ms.rkt.txt
Changed by: david
Commit type: git
Date: 01:11:21 PM 2024-04-06

add missing examples

Changed pages: teaching/cs4613/lectures/lecture21/mark-sweep-free-list.rkt teaching/cs4613/lectures/lecture21/mark-sweep-free-list.rkt.txt
Changed by: david
Commit type: git
Date: 01:10:37 PM 2024-04-06

update examples

Changed pages: teaching/cs4613/lectures/lecture22/sum-ms.rkt teaching/cs4613/lectures/lecture22/sum-ms.rkt.txt
Changed by: david
Commit type: git
Date: 12:32:31 PM 2024-04-06

add missing example

Changed pages: teaching/cs4613/lectures/lecture22 teaching/cs4613/lectures/lecture22.web.pdf teaching/cs4613/lectures/lecture22/generational.rkt teaching/cs4613/lectures/lecture22/generational.rkt.txt teaching/cs4613/lectures/lecture22/snippet-index teaching/cs4613/lectures/lecture22/sort.rkt teaching/cs4613/lectures/lecture22/sort.rkt.txt
Changed by: david
Commit type: git
Date: 12:26:12 PM 2024-04-06

lecture 22 materials

Changed pages: tags/copying-collection
Changed by: david
Commit type: git
Date: 12:22:23 PM 2024-04-06

creating tag page tags/copying-collection

Changed pages: teaching/cs4613/tutorials/tutorial10
Changed by: david
Commit type: git
Date: 11:43:04 AM 2024-04-06

post tutorial 10

Changed pages: teaching/cs4613/assignments/A6 teaching/cs4613/assignments/A6/skeleton.rkt
Changed by: david
Commit type: git
Date: 12:54:27 PM 2024-04-03

(re)publush A6

Changed pages: teaching/cs3383/lectures/51.0-tsp-video.mkv teaching/cs3383/lectures/51.0-tsp-video.pdf teaching/cs3383/lectures/51.1-tsp-live.pdf teaching/cs3383/lectures/unit05
Changed by: david
Commit type: git
Date: 09:04:07 PM 2024-04-02

post second set of backtracking material

Changed pages: teaching/cs4613/tutorials/tutorial09/skeleton.rkt teaching/cs4613/tutorials/tutorial09/skeleton.rkt.txt
Changed by: david
Commit type: git
Date: 04:04:27 PM 2024-04-02

update skeleton

Changed pages: teaching/cs4613/tutorials/tutorial09 teaching/cs4613/tutorials/tutorial09/skeleton.rkt
Changed by: david
Commit type: git
Date: 03:40:13 PM 2024-04-02

fix date and cons-2

Changed pages: teaching/cs3383/tests/T3 teaching/cs4613/tests/final
Changed by: david
Commit type: git
Date: 10:58:31 AM 2024-04-02

fix final exam scheduling, add a few hints

Changed pages: tags/mark-and-sweep
Changed by: david
Commit type: git
Date: 04:50:53 PM 2024-04-01

creating tag page tags/mark-and-sweep

lectures 20 and 21

Changed pages: teaching/cs3383/lectures/unit05
Changed by: david
Commit type: git
Date: 08:24:57 PM 2024-03-31

add reading for unit 5

Changed pages: teaching/cs3383/lectures/50.1-backtracking-live.pdf
Changed by: david
Commit type: git
Date: 03:33:50 PM 2024-03-31

update lecture 50 slides

Changed pages: teaching/cs3383/quizzes/Q04
Changed by: david
Commit type: git
Date: 11:21:06 AM 2024-03-31

link to quiz

Changed pages: teaching/cs4613/assignments/A6/skeleton.rkt teaching/cs4613/assignments/A6/skeleton.rkt.txt
Changed by: david
Commit type: git
Date: 08:54:52 PM 2024-03-28

coverage improvement

Changed pages: teaching/cs4613/assignments/A6 teaching/cs4613/assignments/A6/fib.rkt teaching/cs4613/assignments/A6/fib.rkt.txt teaching/cs4613/assignments/A6/skeleton.rkt teaching/cs4613/assignments/A6/skeleton.rkt.txt
Changed by: david
Commit type: git
Date: 08:09:10 PM 2024-03-28

initial version of A6

Changed pages: tags/gc
Changed by: david
Commit type: git
Date: 08:02:20 PM 2024-03-28

creating tag page tags/gc

Changed pages: teaching/cs4613/lectures/lecture19/copying.rkt teaching/cs4613/lectures/lecture19/copying.rkt.txt teaching/cs4613/lectures/lecture19/fib.rkt teaching/cs4613/lectures/lecture19/fib.rkt.txt teaching/cs4613/lectures/lecture19/snippet-index
Changed by: david
Commit type: git
Date: 09:19:53 PM 2024-03-27

new lecture 19 files

remove old lecture 19 files

Changed pages: teaching/cs4613/lectures/lecture19
Changed by: david
Commit type: git
Date: 09:15:49 PM 2024-03-27

change title

lecture 19

Changed pages: tags/copying
Changed by: david
Commit type: git
Date: 09:14:17 PM 2024-03-27

creating tag page tags/copying

Changed pages: tags/two-space
Changed by: david
Commit type: git
Date: 09:14:17 PM 2024-03-27

creating tag page tags/two-space

add demos

Changed pages: teaching/cs3383/lectures/unit05
Changed by: david
Commit type: git
Date: 07:21:21 PM 2024-03-27

fix date

Changed pages: teaching/cs3383/lectures/50.0-backtracking-video.mkv
Changed by: david
Commit type: git
Date: 07:19:36 PM 2024-03-27

backtracking video

Changed pages: teaching/cs3383/lectures/unit05
Changed by: david
Commit type: git
Date: 07:18:31 PM 2024-03-27

landing page for unit 5

backtracking slides

Changed pages: teaching/cs4613/tutorials/tutorial09 teaching/cs4613/tutorials/tutorial09/skeleton.rkt
Changed by: david
Commit type: git
Date: 11:12:40 AM 2024-03-27

update tutorial 9

Changed pages: teaching/cs4613/assignments/A6
Changed by: david
Commit type: git
Date: 09:35:10 PM 2024-03-26

move A6

Changed pages: teaching/cs4613/assignments/A5
Changed by: david
Commit type: git
Date: 09:31:34 PM 2024-03-26

extend A5

Changed pages: teaching/cs4613/tutorials/tutorial09 teaching/cs4613/tutorials/tutorial09/skeleton.rkt
Changed by: david
Commit type: git
Date: 09:21:56 PM 2024-03-26

publish tutorial 9

Changed pages: teaching/cs3383/assignments/A06
Changed by: david
Commit type: git
Date: 10:48:57 AM 2024-03-26

post assignment 6

Changed pages: tags/plai/gc2
Changed by: david
Commit type: git
Date: 01:11:45 PM 2024-03-24

creating tag page tags/plai/gc2

publish lecture 18

copy local-redirect/*

Changed pages: teaching/cs4613/docs/doc-site.js teaching/cs4613/docs/manual-fonts.css teaching/cs4613/docs/manual-racket.css teaching/cs4613/docs/manual-racket.js teaching/cs4613/docs/manual-style.css teaching/cs4613/docs/racket.css teaching/cs4613/docs/scribble-common.js teaching/cs4613/docs/scribble.css
Changed by: david
Commit type: git
Date: 12:59:30 PM 2024-03-24

copy js and css for racket docs

Changed pages: teaching/cs4613/docs
Changed by: david
Commit type: git
Date: 12:29:43 PM 2024-03-24

add links to gc2 docs

Changed pages: teaching/cs4613/docs/plai/Generating Random Mutators.html teaching/cs4613/docs/plai/blueboxes.rktd teaching/cs4613/docs/plai/collector.html teaching/cs4613/docs/plai/gc2-collector.html teaching/cs4613/docs/plai/gc2-mutator.html teaching/cs4613/docs/plai/in.sxref teaching/cs4613/docs/plai/index.html teaching/cs4613/docs/plai/mutator.html teaching/cs4613/docs/plai/out0.sxref teaching/cs4613/docs/plai/out1.sxref ...
Changed by: david
Commit type: git
Date: 12:28:06 PM 2024-03-24

snapshot plai docs from racket 8.12

Changed pages: teaching/cs4613/assignments/A5 teaching/cs4613/assignments/A5/interp.rkt
Changed by: david
Commit type: git
Date: 01:26:50 PM 2024-03-23

initial version of assignment 5

publish lecture 17

Changed pages: tags/syntactic-continuations
Changed by: david
Commit type: git
Date: 01:13:53 PM 2024-03-23

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

Changed pages: tags/union-types
Changed by: david
Commit type: git
Date: 09:34:18 PM 2024-02-21

creating tag page tags/union-types