Gavin Sinclair gsinclair

2026 Year 11 Extension 1 Mathematics (Sinclair)

Tue 10 Mar

Textbook work: Cambridge 10F (roots and coefficients) given out in class. Questions and answers are on Classroom. Maths In Focus 7.07 deals with this as well.
Comment: We've almost entirely finished Polynomials now and will spend our remaining lessons focused mostly on things that will help you in your assessment tasks.

Fri 6 Mar

Comment: Yesterday and today, we have learned about graphical inequalities in general, quadratic inequalities in particular, and sketching polynomials based on their factored form. We know about intercepts, bounces and kinks.
Textbook work: See Classroom for "Cambridge 10B" (on graphing polynomials). We will do this instead of MiF 7.05–6.
Textbook work: 4.09 for quadratic inequalities

Karabiner layouts for symbols and navigation

Gavin Sinclair, January 2022

Introduction

I use Karabiner (configured with Gosu) to make advanced key mappings on my Apple computer. Karabiner allows you to create “layers”, perhaps simulating those on a programmable mechanical keyboard. I make good use of these layers to give me easy access (home-row or nearby) to all symbols and navigational controls, and even a numpad.

The motivation is to keep hand movement to a minimum. Decades of coding on standard keyboards has unfortunately left me with hand and wrist pain. I will soon enough own a small split keyboard which will force me to use layers to access symbols etc., so this Karabiner solution, which has evolved over months, is a training run for that.

	local wezterm = require('wezterm')
	local act = wezterm.action

	local c = wezterm.config_builder()

	--
	-- General settings: reload config, close confirmation, key encoding
	--

	c.automatically_reload_config = true

	Name,Sex,Age,Height (in),Weight (lbs)
	Alex,M,41,74,170
	Bert,M,42,68,166
	Carl,M,32,70,155
	Dave,M,39,72,167
	Elly,F,30,66,124
	Fran,F,33,66,115
	Gwen,F,26,64,121
	Hank,M,30,71,158
	Ivan,M,53,72,175

	# We read the data as just an array of words. No need for line-by-line, although
	# that is fine as well.

	def test_data_09():
	return open("data/09.1.txt").read().split()

	def real_data_09():
	return open("data/09.txt").read().split()

	D = test_data_09()

	;; Problem 13 from Advent of Code 2021 -- origami

	(defn fold-left [fold-x [x y :as point]]
	(if (< x fold-x)
	point
	[(- (* 2 fold-x) x) y]))

	(defn fold-up [fold-y [x y :as point]]
	(if (< y fold-y)
	point

	{

	:devices {
	:sculpt-keyboard [{:product_id 1957 :vendor_id 1118}]
	}

	:layers {:capslock-mode {:key :caps_lock :alone {:key :escape}}
	; CAPSLOCK gives arrow keys with hjkl and Enter with m or Escape if tapped
	}

	MANSW 2021
	Different By Design
	Differential Equations
	Gavin Sinclair

	Slides: bit.ly/diff-eq-mansw-2021
	Scratchings: bit.ly/3tCgHF7

	import random

	UPPER_LIMIT = 1000000

	target = random.randint(1, UPPER_LIMIT)

	print("I've chosen a number between 1 and", UPPER_LIMIT)

	num_guesses = 0
	while True:


	# --- Question 1 ------------------------------------------- #

	# Return the number of jumps required to get to zero.
	def light_years(n):
	return 0

	def test_light_years(n):
	assert light_years(10) == 4
	assert light_years(11) == 4