Aidan's interests
Aidan's posts
Public
One of these years I'll convince +Margaret Synnott to write a book on e-voting and the ICTE experience! I'm still answering questions on it 15 years later.
Post has shared content
It's here people!
So, this happened today...
Post has shared content
+GNOME 3.16 brings us the best release to date.
Experience the sheer elegance of +GNOME 3.16 in the form of video, directed by +Bastian Hougaard and narrated by +Karen Sandler
Post has shared content
Brilliant example of encryption/decryption using paper. Useful to illustrate encryption in a classroom or to debunk claims by a Prime Minister.
Andrews & Arnold's answer to David Cameron's understanding of trying to ban crypto
It's good having a sane ISP...
https://www.youtube.com/watch?v=3G8dPAdmyss
It's good having a sane ISP...
https://www.youtube.com/watch?v=3G8dPAdmyss
Post has attachment
Public
Another revision of my changes to Allen Downey's "How to think like a computer scientist: C++ edition" https://drive.google.com/file/d/1EcH5Sl5WCPUVyYzvnPjIXPIMFLpCjysP6Q2D2v7PKmWRj6pGVwym4dOqEvnS/edit?pli=1
Post has shared content
Happy #StPatricksDay! Here's an image of Ireland seen from here from the International Space Station on a moonlit night under an amazing green aurora. http://go.nasa.gov/1S6dLYc

Post has shared content
A really great lecture demonstrating how higher-order maths can really really help programmers.
My Moscow talk: Categories for the Working C++ Programmer
Post has attachment
Post has attachment
Public
Fantastic guitar playing. Sartre inspired lyrics. What more can you want for.
Post has attachment
Public
Just in case anyone needs to render BibTeX into HTML in haskell: http://www.phoric.eu/posts/2014-11-09-displaying-bibtex-in-hakyll.html
Wait while more posts are being loaded
