From 15a96da0ad1a88f12c0fbd54d95cc5abf7705d4c Mon Sep 17 00:00:00 2001 From: Steven Holtzen Date: Thu, 17 Aug 2023 10:16:03 -0400 Subject: [PATCH] initial stuff --- Gemfile.lock | 6 +++++- _config.yml | 6 +++--- index.md | 45 ++++++++++++++++++++++----------------------- reading.md | 6 ++++++ 4 files changed, 36 insertions(+), 27 deletions(-) create mode 100644 reading.md diff --git a/Gemfile.lock b/Gemfile.lock index 48d2e6f..b83e91d 100644 --- a/Gemfile.lock +++ b/Gemfile.lock @@ -11,6 +11,7 @@ GEM eventmachine (1.2.7) ffi (1.15.5) forwardable-extended (2.6.0) + google-protobuf (3.23.4-arm64-darwin) google-protobuf (3.23.4-x86_64-linux) http_parser.rb (0.8.0) i18n (1.14.1) @@ -60,7 +61,9 @@ GEM rexml (3.2.5) rouge (4.1.2) safe_yaml (1.0.5) - sass-embedded (1.64.1-x86_64-linux-gnu) + sass-embedded (1.64.1-arm64-darwin) + google-protobuf (~> 3.23) + sass-embedded (1.64.1-x86_64-linux) google-protobuf (~> 3.23) terminal-table (3.0.2) unicode-display_width (>= 1.1.1, < 3) @@ -68,6 +71,7 @@ GEM webrick (1.8.1) PLATFORMS + arm64-darwin-21 x86_64-linux DEPENDENCIES diff --git a/_config.yml b/_config.yml index faa6eaa..b13b8e6 100644 --- a/_config.yml +++ b/_config.yml @@ -1,8 +1,8 @@ -title: Just the Docs Template -description: A starter template for a Jeykll site using the Just the Docs theme! +title: "CS7470 Fall23" +description: "Course webpage for CS7470, taught at Northeastern University by Steven Holtzen in Fall 2023" theme: just-the-docs url: https://just-the-docs.github.io aux_links: - Template Repository: https://github.com/just-the-docs/just-the-docs-template + # Template Repository: https://github.com/just-the-docs/just-the-docs-template diff --git a/index.md b/index.md index 8a81958..36943fb 100644 --- a/index.md +++ b/index.md @@ -1,32 +1,31 @@ --- -title: Home +title: Syllabus layout: home --- -This is a *bare-minimum* template to create a Jekyll site that uses the [Just the Docs] theme. You can easily set the created site to be published on [GitHub Pages] – the [README] file explains how to do that, along with other details. +# CS 7470: Topics in Programming Languages: Foundations of Probabilistic Programming -If [Jekyll] is installed on your computer, you can also build and preview the created site *locally*. This lets you test changes before committing them, and avoids waiting for GitHub Pages.[^1] And you will be able to deploy your local build to a different platform than GitHub Pages. +* Instructor: Steven Holtzen, `s.holtzen@northeastern.edu` +* Session: Fall 2023 +* Meeting time: Tuesday/Friday 9:50 am - 11:30 am (EST) +* Location: Ryder Hall 433 (email Steven for remote participation link) +* Office hour: TBD -More specifically, the created site: +Probabilistic programming languages (PPLs) use the syntax and semantics of +programming languages to define probabilistic models. PPLs enable a diverse +audience – data scientists, systems designers, medical doctors, etc. – to design +and reason about probabilistic systems. PPLs are becoming a central topic in +artificial intelligence and programming languages research, with increasing +interest from industry and academia in designing and applying PPLs. -- uses a gem-based approach, i.e. uses a `Gemfile` and loads the `just-the-docs` gem -- uses the [GitHub Pages / Actions workflow] to build and publish the site on GitHub Pages +The goal of this course is to introduce the core ideas of probabilistic +programming languages: probabilistic inference, semantics, program analysis, +language design, and applications. The course will consist of formal lectures as +well as research presentations by students surveying the modern landscape of +developments in probabilistic programming. There will be a minor project +involving implementing a probabilistic programming language, and a self-directed +term project that aims to deeply explore some of the core ideas of probabilistic +programming. -Other than that, you're free to customize sites that you create with this template, however you like. You can easily change the versions of `just-the-docs` and Jekyll it uses, as well as adding further plugins. +# Schedule -[Browse our documentation][Just the Docs] to learn more about how to use this theme. - -To get started with creating a site, just click "[use this template]"! - -If you want to maintain your docs in the `docs` directory of an existing project repo, see [Hosting your docs from an existing project repo](https://github.com/just-the-docs/just-the-docs-template/blob/main/README.md#hosting-your-docs-from-an-existing-project-repo) in the template README. - ----- - -[^1]: [It can take up to 10 minutes for changes to your site to publish after you push the changes to GitHub](https://docs.github.com/en/pages/setting-up-a-github-pages-site-with-jekyll/creating-a-github-pages-site-with-jekyll#creating-your-site). - -[Just the Docs]: https://just-the-docs.github.io/just-the-docs/ -[GitHub Pages]: https://docs.github.com/en/pages -[README]: https://github.com/just-the-docs/just-the-docs-template/blob/main/README.md -[Jekyll]: https://jekyllrb.com -[GitHub Pages / Actions workflow]: https://github.blog/changelog/2022-07-27-github-pages-custom-github-actions-workflows-beta/ -[use this template]: https://github.com/just-the-docs/just-the-docs-template/generate diff --git a/reading.md b/reading.md new file mode 100644 index 0000000..4098b0c --- /dev/null +++ b/reading.md @@ -0,0 +1,6 @@ +--- +title: Reading +layout: home +--- + +Extended reading list and annotated bibliography for the course. \ No newline at end of file