Technology and Platforms

As a course and a student body, we are more remote than usual, and preferable. To help bridge the chasm, I will leverage some of the technology platforms Northeastern makes available to us.

Duo 2FA

Most if not all students will already have enrolled themselves for the Duo 2FA system. It is essential that you do so to access Northeastern’s digital resources. Northeastern has at least two tutorials for installing and using the Duo 2FA system:

Piazza hosts our main Q&A forum. We are everyone learning; no one knows all the answers, and remember that everyone wears their best and most knowledgeable face. For questions related to the course material, assignments, policies, or what have you, please utilize Piazza. I generally prefer anonymous Piazza posts over email—this way others get the benefit of your thoughtful question and answers and corrections scale to the size of our class. Please do anonymize them if you wish; we can see even if you cannot. Frequently someone will have the same concern or be feeling the same way.

If it doesn’t “give away the punchline” of some homework question or assignment, necessitate PII in the question or the answer, and isn’t contrary to FERPA or your rights under the Northeastern University Handbook, please do consider if this can be a Piazza message.

Khoury Account

To access the following two resources, you will need your Khoury systems account username and password to login and to register. Go here to find it if you have forgotten. If it turns out you do not have one, apply here.


I will be utilizing the school’s Enterprise git at []. You should have access to that with your KCCS account. I will expect you to know how to access this, for your own benefits and for coursework. If you are not familiar, please consult the Khoury Systems group’s documentation and walk-through.

Register here for, the collaborative editing tool. I will expect student to collaboratively edit and annotate certain notes and documents. As you read complete the reading assignments, you will often find areas that are less clear than others, or sub-optimally ordered, or deficient in a variety of other ways.

Chrome users can download and install the extension, if you wish. Users of other browsers can install the bookmarklet. I will link all our .pdf documents via hypothesis. FYI, if you are on an Android device, you can send any page to hypothesis via the following app.

Join our group !

Course Homepage

I constructed our course homepage as a Jekyll site built with Github Pages. Student corrections and improvements are incredibly welcome! You can submit a pull request (PR) for a quick correction and improvement. Every page on this website has a direct links to its .md file in this repository.


It is my intention to use Canvas solely as a shallow wrapper around our course website.


I’ll be setting up (presently) GradeScope for use for our homework assignments. You should find this tool already present and loaded for you in your [Canvas] page.


As a part of a participation grade, I will be asking poll questions in class (often several per class). These will constitute a part of your grade. I will expect you to login to answer, during the class period itself. You should ensure that you have added your northeastern university email address account, and have this active and enabled.

You can use the web browser, the desktop app, or the mobile app (Apple) (Android). Regardless of however you configure this, have it with you and available at all times.

There is a KB Article on logging in via Northeastern.


I intend to broadcast our course meetings via Northeastern Zoom. I prefer it over MS Teams for a variety of reasons. Not the least of which is the instantaneous and anonymous feedback that it provides, via Dial testing. You will find it helpful to have two internet-enabled devices with at hand when you are attending class remotely, once for viewing the class and a second for answering poll questions.

Via direct installation.

If you have difficulty installing or using the platform please see ITS’ associated KB article or contact Zoom support.

Via the browser

You also have the option to join without downloading or installing any software, via the Zoom web client. The web client does not have all the functionality of the desktop or mobile apps; please see the comparison here.


Go to, and follow the instructions to install the GlobalProctect VPN client on your machine. You will need this to use the VDI linux machines. If you have difficulty please consult the relevant ITS KB articles, and if necessary reach out to ITS support.

Eclipse & ACL2s

This semester we will use the Khoury VDI to use ACL2s in Eclipse.

VDI Linux Machines

Khoury VDI Virtual Desktops, and the relevant ITS KB articles.

Local Installation

If you would like to work with ACL2s in a local installation, please follow the installation instructions as part of the first lab. You will know you have this installed correctly if you can use CodeTogether.

Office hours

We’ll be piloting the new Khoury Office Hours system. You will find direct links to these on our Office Hours page. If you are new to this system, please see the following guide for help.


We will expect you to be able to share your screen with us (and one another) via the CodeTogether platform. This extension will come bundled with your Eclipse installation, however, it is a separate product. If you need help with its usage or to report bugs, the best help from CodeTogether chat.


One of the things I miss most about real, in-person classrooms is being able to applaud someone for a job well done, and for getting up and giving it a shot. Here’s our best alternative. If each of us goes here and enters his or her name then, when one of us presses the applause button, we can all see and hear it.