I am a software programmer working at RealVNC with many interests including singing, and am a Christian. Many of my friends remember me as a Part III mathematician at Peterhouse. Find out more or contact me!
Interesting research is being done into type theory applied to ML and Haskell; very concrete applications of interesting links between non-well-founded or universal set theories and type theories.
An interesting comparison, plus links to the translators’ notes I read the other day
Today Challies articulates precisely one of my biggest disappointments, a fight for friendship crucial for men in the church.
Absolute genius; must-read for anyone in web design.
Good for CG!
Great reminder from Dave (whom some of you may have met). The Trinity is at least as important, as central, as I keep banging on about.
I went a seminar this afternoon where Olivia presented this fascinating paper, a really powerful new approach to various results. Highly commended. Follow this one closely, kids. Cambridge is a top place for CT at the moment.
Dan Britain’s new blog has just started on a “Watching the English” theme. I hear Bede is in the works coming up.
Some will have already seen this, but Daniel’s thought-provoking political post asks a number of important questions.
A rather interesting post replete with links and resources for considering DNSSEC/CA issues of trust
I just found out that someone is keeping a nice archive of fairly up-to-date Debian packages, useful since hg pull magically fails every time at Peterhouse (no time to investigate yet).
Mark Meynell (All Souls) offers a helpful list of questions to analyse novels a bit more thoroughly than my ad-hoc evaluation. There is a stack of more literary questions I would like to see there to cope with more technically constructed books (like Grapes of Wrath a couple of weeks ago, which has a rather rich layering of thematic material) but it helps cover all the initial bases well.
A great application for the Eden folk: Tim writes a lot about Proverbs, most of it encouraging and good.
Very neat hack. A commercial kit at the end makes this extremely polished for a home fun project with stepper motors which draw on an egg using a pen. If only we all had time to make our funky ideas like this.
I can add an eighth: there are stacks of young kids like me who cannot touch-type, a crippling problem for productivity. Switching to Dvorak was my way of ensuring I touch-typed and got through the initial discipline, because looking at the keyboard was useless.