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.
Now up: Lecture 10 with the definition of a topos and a derivation of internal, inutitionistic logic within a topos.
read moreLecture 7, featuring the introduction of monads based in adjoints, with the connection between the monoid of endofunctors and the ...
read moreAnd, 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 moreLecture 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 moreThe third lecture is up on the haskell wiki.
read moreI've been maddeningly slow lately. With everything.
Since last week Wednesday, the second lecture is up on the Haskell wiki.
read moreThe 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 moreWhat 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 moreI 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 I don't ...
read moreThe 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 moreIn 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 moreHowever, I am enjoying the Scottish countryside and just - today - turned [tex]3^3[/tex] years of age.
read moreFirst 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 moreThese 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 do something - too ...
read moreWhile 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