Jake Chvatal jakeisnt

Program Analysis Resources

(draft; work in progress)

Social Redirect

Redirects for Youtube, Instagram and Twitter accounts. These rules will redirect any links or traffic in your browser from Youtube, Instagram or Twitter to their FLOSS clients. These clients are:

Youtube :: Invidio
Twitter :: Nitter
Instagram :: Bibliogram

Installation

Get the HTTPS Everywhere browser extension.

Keybase proof

I hereby claim:

I am jakechvatal on github.
I am jakechvatal (https://keybase.io/jakechvatal) on keybase.
I have a public key ASBb9sQJ-LnD4Z-cGWVYonhM-i5ZZGOAQmBV3Fol-THyDAo

To claim this, I am signing this object:

Keybase proof

I hereby claim:

I am jakechvatal on github.
I am jakechvatal (https://keybase.io/jakechvatal) on keybase.
I have a public key ASBb9sQJ-LnD4Z-cGWVYonhM-i5ZZGOAQmBV3Fol-THyDAo

To claim this, I am signing this object:

	#!/usr/bin/env bash
	#
	# to use:
	# - run this on a device with 'genuuid'
	# - systemctl restart xochitl on the remarkable over ssh

	# the two way sync thing really doesn't work, figure out a better way to handle this
	# figure out how to get these things into my wiki! any reason to use zotero?
	set -euo pipefail

	/**
	* A Schedule
	* @param years a list of the years of this object
	* @param yearMap an object containing the year objects of this schedule
	* @param id the id number of this schedule
	*/
	export interface Schedule {
	years: number[];
	yearMap: {
	[key: number]: ScheduleYear;

	;; A SeasonEnum is one of:
	;; - FL, a fall term
	;; - SP, a spring term
	;; - S1, a summer 1 term
	;; - S2, a summer 2 term
	;; - SM, a full summer term (usually reserved for grad courses)
	;; and represents one of the seasons in which a student can take a course.


	;; An ICompleteCourse is a

	/**
	* Represents an initial schedule representation as crafted via the degree audit.
	* @param completed - The completed courses and NUPaths.
	* @param inprogress - The in-progress courses and NUPaths.
	* @param requirements - The requirements for courses and NUPaths yet to be satisfied.
	* @param data - Supplemental information about the student's academic path.
	* @param majors - The major(s) the student intends to obtain degrees for.
	* @param minors - The minor(s) the student intends to obtain.
	* @param auditYear - The year the degree audit was created.
	* @param gradDate - The expected graduation date of the student.