gtkatakura

Program Analysis Resources

(draft; work in progress)

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

2019 update: this essay has been updated on my personal site, together with a followup on how to get started

2020 update: I'm now writing a book with updated versions of all these essays and 35 other chapters!!!!

1. Learn in public

If there's a golden rule, it's this one, so I put it first. All the other rules are more or less elaborations of this rule #1.

You already know that you will never be done learning. But most people "learn in private", and lurk. They consume content without creating any themselves. Again, that's fine, but we're here to talk about being in the top quintile. What you do here is to have a habit of creating learning exhaust. Write blogs and tutorials and cheatsheets. Speak at meetups and conferences. Ask and answer things on Stackoverflow or Reddit. (Avoid the walled gardens like Slack and Discourse, they're not public). Make Youtube videos

Currently considering https://github.com/webdriverio/webdrivercss

Core Goals:

Can test in up-to-date versions of all major browsers
Can test on up-to-date versions of all major OSes
Can test in IE9 (because Bootstrap v4 will support IE9+)
Don't want to have to setup/maintain our own cluster of VMs running all the necessary OSes (and all the versions of Windows)
Workflow for management of reference/baseline/norm screenshots

	<domain type='kvm'>
	<name>win11-real</name>
	<uuid>45768371-b871-4937-b7c2-60ed835011de</uuid>
	<metadata>
	<libosinfo:libosinfo xmlns:libosinfo="http://libosinfo.org/xmlns/libvirt/domain/1.0">
	<libosinfo:os id="http://microsoft.com/win/10"/>
	</libosinfo:libosinfo>
	</metadata>
	<memory unit='KiB'>33554432</memory>
	<currentMemory unit='KiB'>33554432</currentMemory>

	Set-ExplorerOptions -showHiddenFilesFoldersDrives -showProtectedOSFiles -showFileExtensions
	Enable-RemoteDesktop

	choco install driverbooster
	choco install 7zip

	choco install brave
	choco install 1password

	choco install discord




	type Reverse<A> =
	`${A}` extends `${infer AH}${infer AT}`
	? `${Reverse<AT>}${AH}` : A

	type Digs = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
	type DigsNext<I = Digs, R = {}> =
	I extends [infer Head, infer Next, ...infer Tail]


	type Reverse<A> =
	`${A}` extends `${infer AH}${infer AT}`
	? `${Reverse<AT>}${AH}` : A

	type Digs = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
	type DigsNext<I = Digs, R = {}> =
	I extends [infer Head, infer Next, ...infer Tail]
	? DigsNext<[Next, ...Tail], R & Record<Head, Next>>
	: { [K in keyof R]: R[K] }

	const { concat, mapKeys, merge, uniq } = require('lodash');

	/**
	* Tweaked from original by Mike Engel
	* https://github.com/jantimon/html-webpack-plugin/issues/782#issuecomment-331229728
	*
	* Use this with multiple Webpack configurations that generate different builds
	* for modern and legacy browsers. But use the same instance of the plugin in both configurations.
	*
	* It keeps track of assets seen in each build configuration, and appends script tags for

	/**
	* This is a simple script for detecting conflicting
	* version ranges across packages inside a mono repository.
	*/
	import fs from "fs";
	import glob from "glob"; // yarn add -W -E -E -D [email protected]
	import { promisify } from "util";

	const globP = promisify(glob);