Jake Chvatal jakeisnt

Tech Links

Compilers, Interpreters, Language Design, etc.

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

Program Analysis Resources

(draft; work in progress)

	#OSX Tweaks:
	===========

	- Most need reboot to show changes
	- Most of these tweaks are just for speed, but some are specific for development
	- All of these are to be ran in terminal. The commands to be copy and pasted start after the less-than sign.
	- I'm not responsible for any adverse effects to your computer, at all.


	##Increase the speed of OS X dialogs boxes:

	// 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"]';

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