davidbgk

Book production files

For Out of the Software Crisis.

These are under the MIT License. Do what you want, essentially. Probably doesn't work out of the box. Uses Pandoc, zx, weasyprint, and Literata.

You'll need to download them for this to work. And you'll need to edit the build script to point at the correct CSS files. And you'l need to edit the CSS to point at the correct font files.

davidbgk

Python

This is my recommended Python setup, as of Fall 2022. The Python landscape can be a confusing mess of overlapping tools that sometimes don't work well together. This is an effort to standardize our approach and environments.

Tools and helpful links:

• Python docs: https://docs.python.org/3/
• Python Standard Library: https://docs.python.org/3/library/index.html - Start here when you're trying to solve a specific problem
• pip: https://pip.pypa.io/en/stable/ - Python's standard package installer, included with the language itself
• pipx: https://pipxproject.github.io/pipx/ - Global script installer, built on top of pip

davidbgk

Each of these commands will run an ad hoc http static server in your current (or specified) directory, available at http://localhost:8000. Use this power wisely.

Discussion on reddit.

Python 2.x

$ python -m SimpleHTTPServer 8000

davidbgk

// Licensed under a CC0 1.0 Universal (CC0 1.0) Public Domain Dedication
// http://creativecommons.org/publicdomain/zero/1.0/

(function (win,doc) {
    'use strict';
    if (!win.FileReader || !win.addEventListener || !doc.querySelectorAll) {
        // doesn't cut the mustard.
        return;
    }
    doc.querySelectorAll('input[type="file"][accept="image/*"]').forEach( function (fileInput) {

davidbgk

/* Ultra lightweight Github REST Client */
// original inspiration via https://gist.github.com/v1vendi/75d5e5dad7a2d1ef3fcb48234e4528cb
const token = 'github-token-here'
const githubClient = generateAPI('https://api.github.com', {
  headers: {
    'User-Agent': 'xyz',
    'Authorization': `bearer ${token}`
  }
})

davidbgk

/*
  Create or edit userChrome.css in your Firefox profile folder,
  typically found on Linux at ~/.mozilla/firefox/[some firefox profile folder]/chrome/userChrome.css
*/

.urlbarView-row[label]{
  margin-block-start: 0 !important;
}

.urlbarView-row[label]::before{

davidbgk

.PHONY:test
test:
	rm -rf ./my-profile; mkdir ./my-profile && echo "user_pref('devtools.console.stdout.content', true);user_pref('dom.allow_scripts_to_close_windows', true);user_pref('datareporting.policy.firstRunURL', '');" > ./my-profile/user.js && firefox --headless -profile ./my-profile -no-remote `pwd`/index.html | sed -n "/console.log: /p" | sed -e 's/console.log: "//' -e 's/"$$//' | ./tapview

davidbgk

// WARNING: There's much more to know/do around hooks, and
//          this is just a simplification of how these work.

// shared references, updated
// per each hook invoke
let execution = null;
let current = null;
let context = null;
let args = null;

davidbgk

"""
 Implements a simple HTTP/1.0 Server

"""

import socket


def handle_request(request):
    """Handles the HTTP request."""

davidbgk

(function (context, trackingId, options) {
    const history = context.history;
    const doc = document;
    const nav = navigator || {};
    const storage = localStorage;
    const encode = encodeURIComponent;
    const pushState = history.pushState;
    const typeException = 'exception';
    const generateId = () => Math.random().toString(36);
    const getId = () => {