jakeisnt

// 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

Tech Links

See also my tech blog.

Compilers, Interpreters, Language Design, etc.

• /r/compilers
• /r/programminglanguages
• melling's list of links

jakeisnt

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

;; 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

Program Analysis Resources

(draft; work in progress)

See also:

• Compilers
  • correctness
• Program analysis:
• Dynamic analysis - instrumentation, translation, sanitizers