Interview with Conway

The Simons Foundation has a lovely series of interview with John Conway.
Lots of stories and insights. He lead a storied life.

https://www.simonsfoundation.org/2014/04/04/john-conway/

PreTeXt on Ubuntu 18.04

As part of the trying out new things bonanza, I installed PreTeXt. It turned out that my install was missing a couple packages: texlive-fonts-extra, texlive-science, and xsltproc.

Once these packages were installed, things worked great!


sudo apt-get install texlive-fonts-extra texlive-science xsltproc
git clone https://github.com/rbeezer/mathbook.git

cd mathbook
git checkout dev
cd examples/minimal/

xsltproc ../../xsl/mathbook-html.xsl minimal.xml
xsltproc -o minimal.tex ../../xsl/mathbook-latex.xsl minimal.xml
pdflatex minimal.tex


P5.js Test-Run

I played around with P5.js today. It is really nice software! There is an in-browser P5.js editor, so you can start playing around instantaneously.

function setup() {
angleMode(RADIANS); // Change the mode to RADIANS
createCanvas(200, 130);
}

function draw() {
background(256);

v1 = [1,0];
v2 = [cos(PI/3),sin(PI/3)];

n=0;
m=0;

while (n <= 5){
while (m <= 5){
p = [20+(20*v1[0]*n)+(20*v2[0]*m), 20+(20*v1[1]*n)+(20*v2[1]*m)]

if ( (n*m) % 2 == 0){
circle(p[0],p[1],20);
fill(200, 0, 0);
} else {
circle(p[0],p[1],20);
fill(0, 0, 200);
}
m += 1;
}
m = 0;
n += 1;
}
}

Bruce and Katharine Cornwell Films

Bruce and Katharine Cornwell produced beautiful animations of mathematics back in the 1960s. I watched the first couple minutes of their film “Possibly So, Pythagoras” (1963) and learned half a dozen pleasant things.

Check out their films, available on Vimeo here.

You can read the memorial from Reed College here.

Ursula Franklin: Warrior for Peace by Stacey Gibson

For the full piece see: Ursula Franklin: Warrior for Peace by Stacey Gibson

Lynne Dalgleish’s Mural

Lynne Dalgleish‘s mural in the Annex.

Installing Ubuntu 18.04 on Asus Zenbook 13 UX333F

To access the BIOS on boot:
Hold F2 and restart the laptop.

With factory defaults, the machine is not set up to play nicely with bootable USB keys. You will need to remove the secure boot keys. To so do, open up the BIOS and go to Security. Select “Secure Boot” and then Key Management. This will show a list of various security keys, their sizes, and origins. (This probably voids some warranties. Proceed with caution.) Select “Restore Factory Keys”.

To install from a bootable USB key:
Again, the BIOS is not set up for this. You will need to add in the bootable USB key by hand. To do so, insert your bootable USB key. Open up the BIOS, and go to “Boot”. Select “Add New Boot Option” and then “Path for boot option.” Select the USB key (mine is called “HDD USB 30GB”) If you’ve made a bootable Ubuntu installation USB key, select EFI, then BOOT, then BOOTx64.EFI. This will create a new boot option. Go back to the “Boot” menu in the BIOS, and move the new USB option above the hard disk option. Reboot, and install Ubuntu.

Back-up and synchronization managed by syncthing. For details on using syncthing with Linux, see the docs.

You can manage closing/opening the laptop lid using systemd. Edit: /etc/systemd/logind.conf to include:
[Login]
...
HandlePowerKey=hibernate
#HandleSuspendKey=suspend
#HandleHibernateKey=hibernate
HandleLidSwitch=suspend
...
HoldoffTimeoutSec=30s
IdleAction=hybrid-sleep
IdleActionSec=30min
...

Brightness management:

sudo find /sys/ -type f -iname ‘*brightness*’

This turns up the file:
/sys/devices/pci0000:00/0000:00:02.0/drm/card0/card0-eDP-1/intel_backlight/brightness

Changing the value in that file alters the brightness.

3D Printer Models for MAT 232

This semester, I am teaching MAT 232 Multivariable Calculus. We often talk about level curves and use the saddle surface as a key example. Every time it comes up, I ask students to stare at the part of their hand where the thumb meets the palm. Of course, they stare at me like I am crazy! This region of the hand is a good model for a saddle surface. If you start looking around at biological examples, you’ll see saddle surfaces everywhere.

I got interested in getting some 3D printed models of saddle surfaces to hand around the class. I found a great project 3D Printed Models for Multivariable Calculus put together by John Zweck. The STL files for the models are freely available, and I asked Reinhard Grassmann of the Continuum Robotics Lab if he could 3D print some models of saddle surfaces and the paraboloid for me.

They arrived yesterday and they turned out GREAT! You can clearly see the level curves in one model, and the coordinate grid in another. They feel great to hold and are durable enough to hand around to a class of students.

Backing Up with TAR

My laptop is on its last legs. I manage to wear out laptops at an alarming rate. The Lenovo X220 has served me well, but the battery is flaking out and it shuts down everytime the wind blows. So, I looked up some options for backing up the disk. I found this brief guide to backing up.

Here are the relevant commands for reference:

$ sudo tar -cvpzf backup.tar.gz --exclude=/backup.tar.gz --one-file-system /
$ sudo tar -xvpzf /path/to/backup.tar.gz -C /restore/location --numeric-owner

IBL Geometry Materials

Turns out that JIBLM has a lot of resources for Geometry!

• Euclidean Geometry: An Introduction to Mathematical Work by TJ Hitchman
• Hilbert Geometry: A Guided Inquiry Approach by David Clark
• Modern Geometry I by Nathaniel Miller
• Modern Geometry II by Nathaniel Miller
• Euclidean and Non-Euclidean Geometries by Charles Coppin

Tonnes of excellent material to work with!