Books, "Second Order Quantifier Elimination," "Computability Theory," "HVAC Water Chillers and Cooling Towers"

Winter break reading stack

(Left and center are for a course on computable algebraic structures next semester)

Also we had a lot of fun with the colorful diagrams. They're great for "bookkeeping" the data between arrows, proarrows, cells.

Wrote an nCafé post (with Tanjona Ralaivaosaona) on limits in double categories: golem.ph.utexas.edu/category/202...
Our goal is to unravel some work by Grandis and Paré into a more digestible format for use in explicit computations (particularly regarding cell-wise universal properties).

This fall, I'm starting as a graduate student in the mathematics department at George Washington University. Should be an interesting journey.

Baltimore bridge collapse article followed by "Big Change Leaves Maryland Drivers Furious" ad

location-based ads

Windows Minesweeper: $1.99/month or $9.99 a year

They made Winmine a monthly transaction cannot believe this

An urn contains three marbles: two red, one green. After drawing all three, you reach for another. The urn draws a knife, demands the original marbles back.