Jiamo jiamo

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

Note

For every body who using Win10/11 with new Office that you need to know:

to active Office without crack, just follow https://github.com/WindowsAddict/IDM-Activation-Script,

you wiil only need to run

irm https://massgrave.dev/ias | iex

How To Install Different JDK Versions on MacOS with Homebrew

Keywords: Java, JDK (Java Development Kit), MacOS, Homebrew, Specific Version

This how-to guide covers how to install different versions of the JDK on MacOS with Homebrew.

Bump your phoenix dep

Phoenix v1.3.0 is a backwards compatible release with v1.2.x. To upgrade your existing 1.2.x project, simply bump your phoenix dependency in mix.exs:

	from collections import Counter


	with open("08-data") as d:
	data = [x.strip().split("\|") for x in d.readlines()]

	# Each segment appears a certain number of times in the digits 0--9
	# Each number has a unique pattern of segment occurences.

	# So first, build a dictionary mapping segment occurence patterns to

	CREATE SEQUENCE country_seq;

	CREATE TABLE IF NOT EXISTS country (
	id int NOT NULL DEFAULT NEXTVAL ('country_seq'),
	iso char(2) NOT NULL,
	name varchar(80) NOT NULL,
	nicename varchar(80) NOT NULL,
	iso3 char(3) DEFAULT NULL,
	numcode smallint DEFAULT NULL,
	phonecode int NOT NULL,

	import asyncio
	from concurrent import futures
	import functools
	import inspect
	import threading

	from grpc import _server

	def _loop_mgr(loop: asyncio.AbstractEventLoop):

	-- The meta-circular interpreter from section 5 of Reynolds's Definitional
	-- Interpreters for Higher Order Programming Languages
	-- (http://www.cs.uml.edu/~giam/91.531/Textbooks/definterp.pdf)

	data EXP
	= CONST Const
	\| VAR Var
	\| APPL Appl
	\| LAMBDA Lambda
	\| COND Cond