vanous

Using websockets to easily build GUIs for Python programs

I recently built a small agent-based model using Python and wanted to visualize the model in action. But as much as Python is an ideal tool for scientific computation (numpy, scipy, matplotlib), it's not as good for dynamic visualization (pygame?).

You know what's a very mature and flexible tool for drawing graphics? The DOM! For simple graphics you can use HTML and CSS; for more complicated stuff you can use Canvas, SVG, or WebGL. There are countless frameworks, libraries, and tutorials to help you draw exactly what you need. In my case, this was the animation I wanted:

(Each row represents a "worker" in my model, and each rectangle represents a "task.")

How to recover lost Python source code if it's still resident in-memory

I screwed up using git ("git checkout --" on the wrong file) and managed to delete the code I had just written... but it was still running in a process in a docker container. Here's how I got it back, using https://pypi.python.org/pypi/pyrasite/ and https://pypi.python.org/pypi/uncompyle6

Attach a shell to the docker container

Install GDB (needed by pyrasite)

apt-get update && apt-get install gdb

	"""
	Script to automatically update uv.lock and then update pyproject.toml dependencies.

	Prerequisites:
	1. Python 3.11+ (for tomllib)
	2. tomli-w package (`pip install tomli-w`)
	3. uv installed and available in PATH

	Usage:
	Run this script: `python upgrade_pyproject.py`

	#!/bin/bash

	# The use case is that I have an 1024-bit RSA key which I have used for many years to access many remote servers.
	# I want to stop using it (don't load it into my ssh-agent), and instead use my new ED25519 key.
	# I need a convenient way to update the authorized_keys file on a remote server.

	# This solution is tested and working on Ubuntu 20.04 host
	# It works on many distributions/versions of remote servers, including Ubuntu 16.04/18.04/22.04 and CentOS 7.9.

	# Instructions:

	#!/usr/bin/env bash

	# Import SSH keys from Github to ~/.ssh/authorize_keys for all members of a
	# given Github organization.
	#
	# Will replace authorized_keys, if it looks like authorized_keys was not
	# previously created by this script then a backup copy is made.
	#
	# Depends on jq, will download it if not available (assumes Linux) to ~/bin/jq
	#

	""" This module contains a simple identicon creation utility function.
	Original color palette : coolors.co/659bd8-ff776d-ffd793-9eefae-c99dba
	"""
	import hashlib
	import random
	import png # requires pypng (version 0.0.19 recommended)
	import sys

	palette = {0: (255, 255, 255),
	1: (101, 155, 216),

	import discord
	from discord.ext import commands

	import sys, traceback

	"""This is a multi file example showcasing many features of the command extension and the use of cogs.
	These are examples only and are not intended to be used as a fully functioning bot. Rather they should give you a basic
	understanding and platform for creating your own bot.

	These examples make use of Python 3.6.2 and the rewrite version on the lib.

	#!/bin/bash

	#no PATH, no way to accidently run any programs
	PATH=''

	#useful variables
	term_height=0
	term_width=0
	term_scroll_height=0
	status_line_row=0

	from discord.ext import commands

	description = '''An example bot to showcase the discord.ext.commands extension
	module.

	There are a number of utility commands being showcased here.'''

	# this specifies what extensions to load when the bot starts up
	startup_extensions = ["members", "rng"]

	#!/usr/bin/env php
	<?php
	// Script to postpone your own email. Parses IMAP folders and moves emails to a folder named "Today"
	// Run this from a crontab, for example at 6 AM

	// BSD License
	// (C) Carlos Fenollosa, 2011-2016
	// Read more about this script: http://cfenollosa.com/blog/a-simple-script-to-postpone-your-own-email.html
	// Please leave comments and feedback for bugs and ideas!