I found myself reminiscing about my implementation of Blowfish today. It earned me the great honour of being listed on Bruce Schneier’s web page. My implementation made Blowfish compatible across 32-bit signed ints, 64-bit signed ints, and 64-bit floats. I wrote this code coming up on 12 years ago… how time flies.
Recently I read about Intuitionism and I can tell you unreservedly that I do not believe in it. I believe that objective things can exist independent of human minds and the most salient example I could give is in your computers. In your computer you can calculate 1 + 1 = 2 and you can do so quite independently of a human mind. 1 + 1 = 2 is an objective truth which can easily be modelled in a machine. Certainly mathematics can *also* be the result of constructive mental activity in human minds, but it is not limited to that. Also it might be interesting to note that machines will be able to find objective mathematical truths which are beyond the capacity of a human mind alone, in fact I’m quite sure that will have been done already (if you can think of an example feel free to let me know!).
Some light reading. /s
On my list of books to buy (and read!) is Humble Pi: A Comedy of Maths Errors by Matt Parker.
Two presentations given at Strange Loop by Philip Wadler.
I’m not ready for this, but I wish I was: Post’s theorem.
An intro to category theory: “Categories for the Working Hacker” by Philip Wadler.
Some fun math videos:
And some fun math articles:
I did some creative writing, inspired by a new friend: The Circle.