Peter Law PeterJCLaw

Demo wsgi app

This is a toy WSGI app under Gunicorn and uWSGI, used to explore forking behaviours interacting with Open Telemetry (and BatchSpanProcessor in particular).

gunicorn wsgi:app --workers 3

Optionally plus --preload, so that gunicorn will import Python into the main process before forking the workers.

	#VRML_SIM R2023b utf8

	WorldInfo {
	basicTimeStep 8
	}
	Viewpoint {
	orientation -0.2641270273446244 0.34818045239496637 0.899448323138205 1.401293242155436
	position 1.0361061693335043 -1.5840493074793125 1.7899999051922475
	near 0.1
	ambientOcclusionRadius 0.3

	from typing import Protocol


	class IFoo(Protocol):
	def bar(self) -> None:
	...


	class BaseFoo:
	def bar(self) -> None:

	import enum

	class PlainEnum(enum.Enum):
	FIRST = 'first'
	SECOND = 'second'
	FAIL = 5

	reveal_type(PlainEnum.FIRST) # Revealed type is 'Literal[demo.PlainEnum.FIRST]?'
	reveal_type(PlainEnum.FIRST.value) # Revealed type is 'builtins.str' # newer: Revealed type is "Literal['first']?"

	#!/usr/bin/env python3

	"""
	Script to send emails with attachments, via gmail.
	"""

	# Based on a combination of:
	# - https://stackoverflow.com/a/3363254/67873
	# - https://github.com/PeterJCLaw/libfritter/blob/master/libfritter/mailer.py

	#!/bin/sh

	set -euo pipefail

	# Requirements:
	# - ImageMagick and FFMPEG (cli tools on PATH)
	# - The script from http://www.fmwconcepts.com/imagemagick/whitebalance/index.php, +x and on PATH
	#
	# Usage:
	# - cd into the directory containing the recordings

	from controller import Robot, Camera

	robot = Robot()
	camera: Camera = robot.getDevice('camera') # type: ignore

	camera.enable(1000 // 30)
	camera.recognitionEnable(1000 // 30)

	while True:
	for obj in camera.getRecognitionObjects():

	#!/bin/bash

	git ls -r \|\
	grep '\.md$' \|\
	grep -vP '(troubleshooting/python.md\|programming/sr/(compass\|radio)/index.md)' \|\
	xargs ./get-code-chunks.py \|\
	grep -vP 'R\..+\.something(\.\.\.)?$' > code-examples.py

	/out
	/.vscode