Author Archives: apgoucher

Homotopy Type Theory

2017 has been an unfortunate year for Fields medallists. Maryam Mirzakhani, who won the Fields medal in 2014, passed away at the untimely age of 40. Two days ago, she was joined by Vladimir Voevodsky, 2002 Fields medallist, who was … Continue reading

Posted in Uncategorized | 6 Comments

Wallis Workshop

We’re pleased to announce a sequel to the Ada Lovelace Hackathon. Specifically, we’re organising a workshop on Sunday 27th November 2016 to commemorate the 400th birthday of John Wallis, Cambridge mathematician and Parliament’s chief cryptographer. His developments include early analysis … Continue reading

Posted in Uncategorized | 1 Comment

Is Craig Wright?

Today there has been an explosion of media interest in the claim by Craig Wright that he is the identity behind the pseudonymous creator of Bitcoin, Satoshi Nakamoto. However, his blog post is rather suspicious, as it contains various misconceptions … Continue reading

Posted in Uncategorized | 26 Comments

March miscellany

Several rather interesting developments have occurred this month. In inverse chronological order, they are summarised below: E8 and Λ24 lattices actually are optimal The lattices E8 and Λ24 are lattice packings of unit spheres in 8 and 24 dimensions, respectively. … Continue reading

Posted in Uncategorized | 4 Comments

Presidential endorsement paradox

Posted in Uncategorized | Leave a comment

Deep Learning with the Analytical Engine

In December we held a hackathon to celebrate the 200th birthday of Ada Lovelace. In the last post, the results of the baking competition were mentioned along with our efforts to program the Analytical Engine emulator. Although I briefly alluded to … Continue reading

Posted in Uncategorized | 9 Comments

Lovelace hackathon: results

In the previous post, I mentioned the hackathon we were organising to celebrate the 200th birthday of Ada Lovelace. The event was a huge success, and it is safe to say that all attendees had a most enjoyable, creative and … Continue reading

Posted in Uncategorized | 1 Comment

Ada Lovelace Day: 10th December 2015

After several months of planning, I would like to announce that there will indeed be an event in Cambridge to celebrate the 200th birthday of Ada Lovelace (10th December 2015): http://www.cambridgelovelace.org/ The organising committee is composed entirely of volunteers, so … Continue reading

Posted in Uncategorized | Leave a comment

Superflip composed with fourspot

Somehow, it slipped past my radar that Tomas Rokicki and Morley Davidson have established the maximum number of quarter-turns necessary to solve a Rubik’s cube (the more widely-popularised figure of 20 was for the half-turn metric). That is to say, … Continue reading

Posted in Uncategorized | 1 Comment

Coverings, convolutions and Corbynatorics

Amidst Saturday’s turmoil, the following problem came into consideration: There are plans to build a nuclear power station on an initially empty 12-by-12 chessboard. Doing so would require an empty 4-by-3 or 3-by-4 rectangular region of squares. To foil this … Continue reading

Posted in Uncategorized | 2 Comments