Brooklyn Zelenka expede

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

FWIW: I (@rondy) am not the creator of the content shared here, which is an excerpt from Edmond Lau's book. I simply copied and pasted it from another location and saved it as a personal note, before it gained popularity on news.ycombinator.com. Unfortunately, I cannot recall the exact origin of the original source, nor was I able to find the author's name, so I am can't provide the appropriate credits.

Effective Engineer - Notes

By Edmond Lau
Highly Recommended 👍
http://www.theeffectiveengineer.com/

What's an Effective Engineer?

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

	alias accio=wget
	alias avadaKedavra='rm -f'
	alias imperio=sudo
	alias priorIncantato='echo `history \|tail -n2 \|head -n1` \| sed "s/[0-9]* //"'
	alias stupefy='sleep 5'
	alias wingardiumLeviosa=mv

	alias sonorus='set -v'
	alias quietus='set +v'

	import Relay from 'real-react-relay';

	export class Mutation extends Relay.Mutation {
	_resolveProps(props) {
	this.props = props;
	}
	}

	export class MockStore {
	reset() {

	"""
	Minimal character-level Vanilla RNN model. Written by Andrej Karpathy (@karpathy)
	BSD License
	"""
	import numpy as np

	# data I/O
	data = open('input.txt', 'r').read() # should be simple plain text file
	chars = list(set(data))
	data_size, vocab_size = len(data), len(chars)

	#setup on the command line
	gem install rspec
	rspec --init

	#add to gemfile:
	group :test, :development do
	gem 'rspec-rails'
	end

	# on the command line

	Moved to a proprer repositoy, TSWS is a real boy now!

	https://github.com/dfletcher/tsws

	PRs welcomed.