dpritchett

Programming as Theory Building

Peter Naur, 1985

(copied from http://alistair.cockburn.us/ASD+book+extract%3A+%22Naur,+Ehn,+Musashi%22)

Introduction

The present discussion is a contribution to the understanding of what programming is. It suggests that programming properly should be regarded as an activity by which the programmers form or achieve a certain kind of insight, a theory, of the matters at hand. This suggestion is in contrast to what appears to be a more common notion, that programming should be regarded as a production of a program and certain other texts.

dpritchett

[5] pry(main)> def fname_matches?(person, match_this)
[5] pry(main)*   person[:fname] == match_this
[5] pry(main)* end
=> :fname_matches?
[6] pry(main)> people = [{ fname: 'daniel', lname: 'pritchett' }, { fname: 'alice', lname: 'jones' }]

=> [{:fname=>"daniel", :lname=>"pritchett"}, {:fname=>"alice", :lname=>"jones"}]
[7] pry(main)> people.select { |person| fname_matches?(person, 'daniel') }
=> [{:fname=>"daniel", :lname=>"pritchett"}]

dpritchett

title: User
type: object
properties:
  uid:
    type: string
    description: Possibly received from our auth frontend.
  diagnoses:
    type: object
    required:
      - timestamp

dpritchett

## Global Docker image parameters
## Please, note that this will override the image parameters, including dependencies, configured to use the global value
## Current available global Docker image parameters: imageRegistry and imagePullSecrets
##
# global:
#   imageRegistry: myRegistryName
#   imagePullSecrets:
#     - myRegistryKeySecretName
#   storageClass: myStorageClass

dpritchett

ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQC75bkAbHHFRwpWZkaJoSZoka8awsGBmzEJhDBDAa0sYF2M7aBisSWFkp2cIjy9Q3ifHDlT7oEggASlvx42mStiC1pDTHAHVJXNxeAmtgTucGXCoBuaMMQ5eMgDJ5H8/WUkGLeRCWzcPUx627AlosCcK9biNTK1RJakNZKP8hWLTVllDTSjaNyc1OCb+vbV3K1L39hauffreqwoQFnZwH0ZcJa8OD74BtbHA1hbVL62NFdGGdibjg10zjz3bIP50K8HFeJN5lcfzrpuDwRfCYYYL19ujdlKaEjAE/2IpDkRwRx/+RhLeR6r1aTxMRw09R+jlcXjcf4yaZ52LmQP52NF dpritchett@hubertus-bigend

dpritchett

e305b49 Removes freeze branch from client workload
9c71bde Merged in DEV-1833 (pull request #127)
281ebb0 Merged in djp/add-cam (pull request #126)
3baf3d8 Adds cam to reviewers list
e3dbcf7 Merged in add-ahmee-infra-pr (pull request #125)
0b1f976 Merged in DEV-1793-autogenerate-RC-PR-for-releases-repo (pull request #124)
8cf5489 Merged in pag/add-oppslevel-yaml (pull request #123)
7578412 Merged in djp/daily-releases (pull request #122)
27fcb44 Merged in DEV-1672/disable-freeze-schedule (pull request #121)
db4b4f8 Disable autofreeze and autopr schedules

dpritchett

daniel_pritchett:
  groups:
    bitbucket:
      - developers
    github:
      - developers
    docker_hub:
      - developers
  logins:
    bitbucket: dpritchettgremlin

dpritchett

import boto3
from botocore.exceptions import ClientError

# from boto3 import ValidationException
import uuid


clt = boto3.client("events")

rule_name = f"cronValidationTestRule-{uuid.uuid1()}"

dpritchett

import gremlin_python
from gremlin_python.rest import ApiException
from pprint import pprint
import ipdb
import webbrowser
from time import sleep
from colors import *

API_KEY = ("0beccc88169060e9dbbd17583e10492dcbb48898de73f1a924481a556ab54419",)
WOW_DOT_GIF = "https://media1.tenor.com/images/c2a921072f98952c52042d6e28c72854/tenor.gif?itemid=9987719"

dpritchett

import gremlin_python
from gremlin_python.rest import ApiException
from pprint import pprint
import ipdb
import webbrowser
from time import sleep
from colors import *

API_KEY = ("0beccc88169060e9dbbd17583e10492dcbb48898de73f1a924481a556ab54419",)
WOW_DOT_GIF ='https://media1.tenor.com/images/c2a921072f98952c52042d6e28c72854/tenor.gif?itemid=9987719'