Thicket data repository for the EEG
anil.recoil.org
1{
2 "id": "https://anil.recoil.org/notes/focs",
3 "title": "Foundations of Computer Science",
4 "link": "https://anil.recoil.org/notes/focs",
5 "updated": "2025-01-03T00:00:00",
6 "published": "2018-09-02T00:00:00",
7 "summary": "<p>Here are the various repos used to create the interactive <a href=\"https://anil.recoil.org/notes/teaching\">teaching</a> environment\nwe use for 1A Foundations of Computer Science in Cambridge. It may be useful to\nother professors who are using OCaml in their courses.</p>\n<ul>\n<li><a href=\"https://github.com/avsm/teaching-fcs\">https://github.com/avsm/teaching-fcs</a> is a private repo, but ping me if\nare teaching and I'll give you access (it has coursework answers in it).\nWe use a Jupyter notebook, with the course written in Markdown using the\n<a href=\"https://github.com/realworldocaml/mdx\">mdx</a> OCaml parser which evaluates\ntoplevel phrases through the compiler and promotes the output directly\ninto the markdown.</li>\n<li>We then convert the Markdown into Jupyter format using a\n<a href=\"https://github.com/realworldocaml/mdx/pull/124\">fork of mdx</a>, and then\nnbconvert it into LaTeX for the printed notes.</li>\n<li>A <a href=\"https://jupyter.org/install.html\">JupyterLab</a> installation with a\n<a href=\"https://github.com/akabe/ocaml-jupyter\">custom OCaml kernel</a> suffices\nfor the live setup. Every student gets their own container on the server\nand one server is sufficient for a full class of ~125 students.</li>\n</ul>\n<p>Ping me if you want to know more, and other people who have worked\non this with me are <a href=\"https://www.cst.cam.ac.uk/people/jdy22\">Jeremy Yallop</a>, <a href=\"https://github.com/dra27\">David Allsopp</a> and <a href=\"https://github.com/jonludlam\">Jon Ludlam</a>, with Jon\nbeing the currently active additional lecturer on the course as of 2024/2025.</p>",
8 "content": "<p>Here are the various repos used to create the interactive <a href=\"https://anil.recoil.org/notes/teaching\">teaching</a> environment\nwe use for 1A Foundations of Computer Science in Cambridge. It may be useful to\nother professors who are using OCaml in their courses.</p>\n<ul>\n<li><a href=\"https://github.com/avsm/teaching-fcs\">https://github.com/avsm/teaching-fcs</a> is a private repo, but ping me if\nare teaching and I'll give you access (it has coursework answers in it).\nWe use a Jupyter notebook, with the course written in Markdown using the\n<a href=\"https://github.com/realworldocaml/mdx\">mdx</a> OCaml parser which evaluates\ntoplevel phrases through the compiler and promotes the output directly\ninto the markdown.</li>\n<li>We then convert the Markdown into Jupyter format using a\n<a href=\"https://github.com/realworldocaml/mdx/pull/124\">fork of mdx</a>, and then\nnbconvert it into LaTeX for the printed notes.</li>\n<li>A <a href=\"https://jupyter.org/install.html\">JupyterLab</a> installation with a\n<a href=\"https://github.com/akabe/ocaml-jupyter\">custom OCaml kernel</a> suffices\nfor the live setup. Every student gets their own container on the server\nand one server is sufficient for a full class of ~125 students.</li>\n</ul>\n<p>Ping me if you want to know more, and other people who have worked\non this with me are <a href=\"https://www.cst.cam.ac.uk/people/jdy22\">Jeremy Yallop</a>, <a href=\"https://github.com/dra27\">David Allsopp</a> and <a href=\"https://github.com/jonludlam\">Jon Ludlam</a>, with Jon\nbeing the currently active additional lecturer on the course as of 2024/2025.</p>",
9 "content_type": "html",
10 "author": {
11 "name": "Anil Madhavapeddy",
12 "email": "anil@recoil.org",
13 "uri": "https://anil.recoil.org"
14 },
15 "categories": [],
16 "rights": "(c) 1998-2025 Anil Madhavapeddy, all rights reserved",
17 "source": "https://anil.recoil.org/news.xml"
18}