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.
