A few things that may interest people.

1. I'm going on the job market in the fall. I'm looking for lectureships, tenure tracks, possibly 2 year postdocs if they are really interesting.

# Itinerary for the Summer

A few things that may interest people.

1. I'm going on the job market in the fall. I'm looking for lectureships, tenure tracks, possibly 2 year postdocs if they are really interesting.

2. I'm very interested in adding visits, adding seminars, adding anything interesting to this itinerary ...# [MATH198] Lecture 10 (last lecture) posted

Now up: Lecture 10 with the definition of a topos and a derivation of internal, inutitionistic logic within a topos.

read more# [MATH198] Lecture 9 posted and lectured

# [MATH198] Multiple lectures posted

I have been remiss in updating here. Since the last time I posted, I have posted:Lecture 6, featuring some interesting limits and colimits, culminating in the introduction of adjoints.Lecture 7, featuring the introduction of monads based in adjoints, with the connection between the

read more*monoid of endofunctors*and the ...# [MATH198] Lecture 5 is up

And, as it turns out, my logic-fu is lacking. Next time around, it's likely I talk about the CCC = typed λ-calculus correspondence, but won't try to actually produce the correspondence explicitly.

read more# [MATH 198] Lecture 4 and a question for the community

Lecture 4 was held, and the notes are up on the wiki: Lecture 4 notes

During class, and in unrelated conversations afterwards, though, the question emerged:

If Formally differentiating datatypes gives us zippers? What happens if we formally integrate datatypes?

read more# [MATH198] Third lecture is up

The third lecture is up on the haskell wiki.

read more# [MATH 198] Second lecture

I've been maddeningly slow lately. With everything.

Since last week Wednesday, the second lecture is up on the Haskell wiki.

read more# [MATH198] Lecture 1 now online

The first lecture has been successfully held. The notes - which may well be augmented once I get hold of the students' notes - are online on the Haskell Wiki

read more# Guess the plots!

What do these depict?

Here are two others. Different data source, different point in time, but what

*are*they?They are all linked in pairs - one coloured and one black linked together. They are not sports related. And they are taken from real world data. The colours are relevant and ...

read more# Picking fights over religion

I suspect this will be a flame war magnet. On the other hand I feel compelled to write it.

First a bit of backstory. My wife enjoys, often and with engagement, discussing theology with her new friends. One of them, a pentecostal christian, gave her the book

read more*I don't ...*# The end of the line

# Junior Mathematical Congress 2008

# Blackbox computing of A-infinity algebras

The last of my thesis results has reached article form. The paper Blackbox computation of A-infinity algebras has now hit the arXiv and been submitted to the Kadeishvili Festschrift issue of the Georgian Mathematics Journal.

read more# Thesis written

In a mean push, these last two weeks my advisor has read three different drafts of my thesis. And I've worked on getting the corrections in quickly. The last push started yesterday, when I got a bunch of corrections in the morning, had the last draft ready at 4pm ...

read more# Still away

However, I am enjoying the Scottish countryside and just - today - turned [tex]3^3[/tex] years of age.

read more# Politics and absences

First off, Alexander Borovik has been writing a couple of times about a REALLY nice-sounding mathematical village in Turkey.

And it turns out, the village got closed this summer, with the government officials citing "education without permission" as their reason to close it.

Alexander is sending a petition to the ...

read more# In-between times

These are the times that eat my productivity. The times that ensure that entire days go by and I afterwards feel nothing have happened at all. These times that are too short for productive work - where I know from the beginning that I cannot sit down and

read more*do something*- too ...# Still no new blogging

# Response to Heath Raftery

While I'm still on the subject of writing code with the PFP library, I may as well join in on a discussion that got pulled into the Carnival of Mathematics exposition.

Heath Raftery writes about weird probabilities in dice discussions, a problem very much reminiscent of the Monty Hall ...

read more