Peter Law PeterJCLaw

## camera-see-through-more-things.wbt
#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

## protocol-inheritance.py
from typing import Protocol


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


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

## enums-value-demo.py
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']?"

## README.md

      
              5 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                PeterJCLaw
                / README.md
            
            
              Last active
              May 13, 2023 14:12
            
              
                Toy WSGI app for testing Open Telemetry `BatchSpanProcessor`
              
          
    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.


## send.py
#!/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

## gather-images.sh
#!/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

## demo_controller.py
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():

## generate-code-examples.sh
#!/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

## .gitignore
/out
/.vscode

## __init__.py
# empty
	#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