Author here. Thanks for the appreciation!

Since this piece was written, I have discovered another notation by John Tromp which I consider to be the most breathtakingly beautiful:

- https://tromp.github.io/cl/diagrams.html

Here used by Paul Crowley to describe Graham's number:

- https://mindsarentmagic.org/2020/02/19/a-picture-of-grahams-...

- https://mindsarentmagic.org/2020/02/24/some-more-numbers-as-...

Really beautiful idea, and thanks for the link for John Tromp's idea. I will use your notation in my course.

I am sure, being from where you are, you have heard of "Henderson Diagrams" from SICP. They are also a great visual tool for functional programming.

From the Russian side of the cosmos, Drakon is a nice flowchart language (not a circuit diagram language), but I have never used it: https://en.wikipedia.org/wiki/DRAKON

I've been thinking about ways to feed algorithms into a neural network. This looks perfect! Just give the images to a convolutional NN.

Why not feed it a text?

Does this actually give you any insight into lambda calculus?

Have you looked at the similarity Church numerals and Peano axioms? [0]

[0] https://en.wikipedia.org/wiki/Peano_axioms

Nice catch! That one is from Wikipedia: http://en.wikipedia.org/wiki/Dictionary_of_chemical_formulas

I've updated the offending page.

Tell me about it. I've been having an exciting morning...

The oneliner was submitted early this morning, and that seems to have been the catalyst for the others.

Strike while the iron is hot.

Update: I've downloaded the GeoLite data from April 2015, replacing the old March 2014 data! You should now be seeing more accurate results. :)

Still not very accurate. It thinks my DigitalOcean droplet is in Russia. (actually in London)

.ru sure?

Where's the direct link to obtain a copy of this updated GeoLite data (Apr 2015) pls?

This should be fixed now -- thanks!

The data is as of March 2014, and therefore out of date -- I'm working on updating it right now. :)

As I remember from when the data was fresh, sometimes you do get crazy hops across the Atlantic like that, though.

Maxmind data is also often just wrong, updated or not. As a hosting provider with a number of IP ranges, we have to deal with submitting corrections to them, Google, ip2location, etc. all the time. Not sure why none of them seem to use very accurate methods to discern IP location.

Since you're doing a traceroute anyhow, you'd be better off analyzing the transit hops, and specifically the city codes used in the reverse DNS entries.

International hops make the traffic less illegally intercepted by domestic espionage organizations...?

Do you verify geoip data using RTT to the hop and speed of light in optical fiber?

Fixed DEBUG to be False now -- thanks! I'll see if I can fix this 500, too. :)

Yeah, the MaxMind data is as of March 2014 -- out of date. Sorry about that!

If you're interested in using the http://ipinfo.io API for this, so you don't have to worry about keeping your database up to date and you get additional details, let me know. I'd be happy to hook you up with a free unlimited plan specifically for this site.

Sweet, I'd be interested! Ping me with your contact information, and I can let you know once I've wired it up to use that.

It seems like your getting this info from ARIN? Do you happen to have any restrictions on this API? Thanks!

Oh, you're right, I'm using "space" incorrectly. Fixed :)