Skip to content

Instantly share code, notes, and snippets.

View jakeisnt's full-sized avatar
📠

Jake Chvatal jakeisnt

📠
75 followers · 231 following
View GitHub Profile
@jakeisnt
jakeisnt / gist:4b712e09839874b61927a781837afeea
Created July 2, 2023 14:23
nostr proof
Verifying my account on nostr My Public Key: "npub1r5z784psvm4a7haegtfjqkdgc5gnctjehd93ld46smfuyugzmx6q3esmvg"
@jakeisnt
jakeisnt / unfollow.js
Created November 15, 2022 18:11 — forked from JamieMason/unfollow.js.md
Unfollow everyone on twitter.com
// Unfollow everyone on twitter.com, by Jamie Mason (https://twitter.com/fold_left)
// https://gist.github.com/JamieMason/7580315
//
// 1. Go to https://twitter.com/YOUR_USER_NAME/following
// 2. Open the Developer Console. (COMMAND+ALT+I on Mac)
// 3. Paste this into the Developer Console and run it
//
// Last Updated: 09 April 2020
(() => {
const $followButtons = '[data-testid$="-unfollow"]';
@jakeisnt
jakeisnt / README.md
Created November 2, 2022 12:49 — forked from cellularmitosis/README.md
Tech Links
@jakeisnt
jakeisnt / programming-as-theory-building.md
Created November 1, 2022 20:44 — forked from onlurking/programming-as-theory-building.md
Programming as Theory Building - Peter Naur

Programming as Theory Building

Peter Naur

Peter Naur's classic 1985 essay "Programming as Theory Building" argues that a program is not its source code. A program is a shared mental construct (he uses the word theory) that lives in the minds of the people who work on it. If you lose the people, you lose the program. The code is merely a written representation of the program, and it's lossy, so you can't reconstruct

@jakeisnt
jakeisnt / export-md-on-save-org-mode.el
Created June 1, 2022 10:06 — forked from adam-james-v/export-md-on-save-org-mode.el
Elisp function that calls Pandoc's org to markdown exporter. Useful for org+clerk literate programming
;; You can use this function to export your current .org file as a .md file
;; The function requires Pandoc to be installed, so make sure you've got it!
;; Why use this instead of org's built in markdown exporter?
;; If you're a fan of both org mode and NextJournal's Clerk, you can use this to
;; effectively have Clerk render your .org files as you write them.
;; The built-in markdown exporter does not correctly annotate code blocks
;; with ```clojure \n ... \n```, which prevents Clerk from seeing and evaluating
@jakeisnt
jakeisnt / analysis.draft.md
Created May 27, 2021 05:40 — forked from MattPD/analysis.draft.md
Program Analysis Resources (WIP draft)
@jakeisnt
jakeisnt / gen_pdf_data.sh
Created January 13, 2021 21:15
Generate initial metadata for reMarkable tablet to detect PDFs
#!/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
@jakeisnt
jakeisnt / README.md
Last active June 18, 2020 05:55
A quick hack redirecting proprietary links to their FOSS counterparts.

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:

Installation

@jakeisnt
jakeisnt / graduate-new.ts
Created January 20, 2020 02:56
graduate-new
/**
* 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;
@jakeisnt
jakeisnt / graduate.rkt
Created January 20, 2020 02:53
GraduateNU in ISL
;; 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