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!
Very interesting paper linked-to from some others I’m studying on visual hashes. I’m currently running pairwise comparisons of 10000 images to calculate the entropy in a Vash image, which could take a very long time…
Obviously, reblogged because of point 2: you know my sense of humour! (via Challies)
A scrolling adventure teaching you elite wasd hjkl skills!
Very good article. Read it this afternoon, on the grounds that it’s relatively work-related.
La Mer really is the Radio 3 equivalent of Tchaik Piano on Classic FM: played every week, same idea, just a bit more tasteful.
“I wonder how you write tail -f. What API could you possibly use?” Oh! It’s usleep(250000) (possibly with inotify or kqueue or whatever compiled in on various platforms). Sad, but true.
A daily cycle of hope and despair; longing for change against resolve; seeking company or accepting solitude in crowds
Bike joy: mysterious disappearance of clicking noise after fun 100K last weekend with Matt and David; counterbalanced by mysterious disappearance of a screw on my front brake. Also bought a 40mm spanner yesterday: pure joy (it’s a foot-and-a-half long).
The UPnP spec repeatedly refers to “an UPnP device”. Squiffy moment of the day.
Day 3, Troutdale pinnacle. Steady S, 7 pitches. Obligatory mini-wobbly on greasy pitch 3 after drizzle, but lead the rest out fine with some great fun moves at the top. Classic, all hand-y on solid little grips.
Day 2, side view of Gilliecombe buttress
Day 2 of hols (top of Gilliecombe buttress, nice 100m S, not very sustained)
Rather stuck. Girl on train had some maths homework, which naturally made me try to rederive equivalence relation definitions of i again (Galois). Did that OK, then got stuck in the intricacies of what constructivists precisely object to about a few proofs involving sets of reals, and what sort of language we should embed polynomials in. (My feeling us that languages with a vocabulary of more than two or three words are no-go and it’s better to embed these things in arithmetic. That’s how I started thinking about constructivism actually, with some thoughts about what sort of proofs are dispensable given our countable language can only describe the algebraics + some countable number of other reals.)
