initial stuff

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,14 +61,17 @@ 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)
     unicode-display_width (2.4.2)
     webrick (1.8.1)
 
 PLATFORMS
+  arm64-darwin-21
   x86_64-linux
 
 DEPENDENCIES

_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

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, `[email protected]`
+* 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

reading.md

@@ -0,0 +1,6 @@
+---
+title: Reading
+layout: home
+---
+
+Extended reading list and annotated bibliography for the course.