HNHacker News
TopNewBestAskShowJobs

csvoss

65 karma · joined June 8, 2015

[ my public key: https://keybase.io/csvoss; my proof: https://keybase.io/csvoss/sigs/NIS3l1lmG11hBlXqfMqTXmZakPqPwWn5k-sqUGJxck4 ]
submissionscomments
csvoss··on A circuit-like notation for lambda calculus (2015)
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-...

csvoss··on Modeling Molecules with Recurrent Neural Networks
Nice catch! That one is from Wikipedia: http://en.wikipedia.org/wiki/Dictionary_of_chemical_formulas

I've updated the offending page.

csvoss··on Traceroute
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.

csvoss··on Traceroute
Update: I've downloaded the GeoLite data from April 2015, replacing the old March 2014 data! You should now be seeing more accurate results. :)
csvoss··on Traceroute
This should be fixed now -- thanks!
csvoss··on Traceroute
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.

csvoss··on Traceroute
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.
csvoss··on Traceroute
Fixed DEBUG to be False now -- thanks! I'll see if I can fix this 500, too. :)
csvoss··on Traceroute
Yeah, the MaxMind data is as of March 2014 -- out of date. Sorry about that!
csvoss··on Convert any Python file into a single line of code
Oh, you're right, I'm using "space" incorrectly. Fixed :)