Alexander Seifert aseifert

Overview

The following are the commands that I create on a per-project basis within the repo-env folder as referenced in the workflow described here.

A few notes:

Replace /path/to/repo-env/ with the appropriate absolute path to your repo-env
Anything wrapped with <> is a variable to be replaced
<prefix>/$ARGUMENTS is written that way because I tend to prefix my branches with my name

A guide to George Polya's "How to Solve It"

Introduction

George Polya (1887-1985) was a Hungarian mathematician and educator who revolutionized our understanding of problem-solving and teaching. While he made significant contributions to mathematics, his most enduring legacy is his insights into how people learn and solve problems. His 1945 book "How to Solve It" has influenced educators across numerous fields, extending far beyond mathematics.

Polya's Teaching Philosophy

Polya's approach centered on three key principles. First, he championed active learning, believing students learn best by discovering solutions themselves rather than being told answers. Second, he emphasized heuristic thinking - the art of guided discovery and learning from experience, viewing problem-solving as a skill that can be developed through practice. Third, he developed sophisticated questionin

Module autoreload

To auto-reload modules in jupyter notebook (so that changes in files *.py doesn't require manual reloading):

# for auto-reloading external modules
# see http://stackoverflow.com/questions/1907993/autoreload-of-modules-in-ipython
%load_ext autoreload
%autoreload 2

Whether you're trying to give back to the open source community or collaborating on your own projects, knowing how to properly fork and generate pull requests is essential. Unfortunately, it's quite easy to make mistakes or not know what you should do when you're initially learning the process. I know that I certainly had considerable initial trouble with it, and I found a lot of the information on GitHub and around the internet to be rather piecemeal and incomplete - part of the process described here, another there, common hangups in a different place, and so on.

In an attempt to coallate this information for myself and others, this short tutorial is what I've found to be fairly standard procedure for creating a fork, doing your work, issuing a pull request, and merging that pull request back into the original project.

Creating a Fork

Just head over to the GitHub page and click the "Fork" button. It's just that simple. Once you've done that, you can use your favorite git client to clone your repo or j

Advanced Rest Client with OAuth2orize

For this to work you will need to install the Advanced Rest Client for some of these steps. Of course you will need to install OAuth2orize as well.

Run the oauth2orize provider/server example which does server-side OAuth flow:

cd oauth2orize\examples\express2
node app.js

	# Project Policy

	This policy provides a single, authoritative, and machine-readable source of truth for AI coding agents and humans, ensuring that all work is governed by clear, unambiguous rules and workflows. It aims to eliminate ambiguity, reduce supervision needs, and facilitate automation while maintaining accountability and compliance with best practices.

	# 1. Introduction

	> Rationale: Sets the context, actors, and compliance requirements for the policy, ensuring all participants understand their roles and responsibilities.

	## 1.1 Actors

	# -----------------------------------------------------------------------------
	# AI-powered Git Commit Function
	# Copy paste this gist into your ~/.bashrc or ~/.zshrc to gain the `gcm` command. It:
	# 1) gets the current staged changed diff
	# 2) sends them to an LLM to write the git commit message
	# 3) allows you to easily accept, edit, regenerate, cancel
	# But - just read and edit the code however you like
	# the `llm` CLI util is awesome, can get it here: https://llm.datasette.io/en/stable/

	gcm() {

	FROM python:3.6-slim-stretch as csvbuilder

	# This one uses csvs-to-sqlite to compile the DB, and then uses datasette
	# inspect to generate inspect-data.json Compiling pandas takes way too long
	# under alpine so we use slim-stretch for this one instead.

	RUN apt-get update && apt-get install -y python3-dev gcc
	COPY *.csv csvs/
	RUN pip install csvs-to-sqlite datasette
	RUN csvs-to-sqlite csvs/names.csv data.db -f "name" -c "legislature" -c "country"

	source 'https://rubygems.org'

	gem 'asciidoctor'
	gem 'guard-asciidoc', :github => 'asciidoctor/guard-asciidoc'
	gem 'guard-livereload'
	gem 'rb-inotify', '~> 0.9.0'

	import re
	import sublime
	import sublime_plugin
	import webbrowser


	REG_RENAME = re.compile("\.(asciidoc\|adoc\|asc\|ad)$")
	EXT = re.compile(".*\.(asciidoc\|adoc\|asc\|ad)$")
	COMMAND = "asciidoctor -b html5"