Ole Jørgen Brønner olejorgenb

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

	#!/usr/bin/env python3
	#
	# Modified from https://github.com/newren/git-filter-repo/blob/master/contrib/filter-repo-demos/lint-history
	#
	# pip3 install git-filter-repo black
	# git pull
	# git remote prune origin # clean up associated local branches too
	# python3 black_history.py
	# git remote add origin <url>
	# git push -u origin --mirror --no-verify

	'''
	Based on https://gist.github.com/enjalot/2904124 (in Python 2) -> quick-migrated to Python 3

	Usage: python server-cors
	'''
	import http.server as httpserver

	class CORSHTTPRequestHandler(httpserver.SimpleHTTPRequestHandler):
	def send_head(self):
	"""Common code for GET and HEAD commands.

	### JHW 2018
	import numpy as np
	import umap



	# This code from the excellent module at:
	# https://stackoverflow.com/questions/4643647/fast-prime-factorization-module

	import random

	WAYLAND_PROTOCOLS=/usr/share/wayland-protocols

	# wayland-scanner is a tool which generates C headers and rigging for Wayland
	# protocols, which are specified in XML. wlroots requires you to rig these up
	# to your build system yourself and provide them in the include path.
	xdg-shell-protocol.h:
	wayland-scanner server-header \
	$(WAYLAND_PROTOCOLS)/stable/xdg-shell/xdg-shell.xml $@

	xdg-shell-protocol.c: xdg-shell-protocol.h

	/*
	How To:
	1. Find your firefox profile folder : https://support.mozilla.org/en-US/kb/profiles-where-firefox-stores-user-data
	2. create a "chrome" folder if it doesn't exist
	3. Paste content of this gist in a "userChrome.css" file
	4. Go to about:config and set toolkit.legacyUserProfileCustomizations.stylesheets to true
	5. set browser.tabs.tabmanager.enabled to false (to hide the "tab search" button)
	5. Restart Firefox

	Don't hesitate to say if there are bugs, I only tested this for my workflow : I don't use tabs

	-- Not my code: originally from https://redd.it/3t6s7k (author deleted; failed to ask for permission).
	-- Only tested on Windows. Date is set to dd/mmm/yy and time to machine-wide format.
	-- Save as "mpvhistory.lua" in your mpv scripts dir. Log will be saved to mpv default config directory.
	-- Make sure to leave a comment if you make any improvements/changes to the script!

	local HISTFILE = (os.getenv('APPDATA') or os.getenv('HOME')..'/.config')..'/mpv/mpvhistory.log';

	mp.register_event('file-loaded', function()
	local title, logfile;

	<!DOCTYPE html>
	<html lang="de">
	<head>
	<meta charset="utf-8" />
	<meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1, minimum-scale=1, user-scalable=no" />
	<title>.</title>
	<link rel="stylesheet" type="text/css" media="print" href="print.css" />
	</head>
	<body>

	# The MIT License
	# SPDX short identifier: MIT

	# Further resources on the MIT License
	# Copyright 2017 Denis Gladkikh (https://www.outcoldman.com/en/archive/2017/07/19/dbhist/)

	# Permission is hereby granted, free of charge, to any person obtaining a copy
	# of this software and associated documentation files (the "Software"), to deal
	# in the Software without restriction, including without limitation the rights
	# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell

	# This is free and unencumbered software released into the public domain.

	# Anyone is free to copy, modify, publish, use, compile, sell, or
	# distribute this software, either in source code form or as a compiled
	# binary, for any purpose, commercial or non-commercial, and by any
	# means.

	# In jurisdictions that recognize copyright laws, the author or authors
	# of this software dedicate any and all copyright interest in the
	# software to the public domain. We make this dedication for the benefit