csvoss
Re:A circuit-like notation for lambda calculus (2015)
on Monday August 17, 2020 @10:25PM (#24194656)
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-...
The risk of an American civil war is remote (2018)
How Elon Musk Is Making Engineers Cool Again (2018)
Social Engineering Drives Technology
Reflections on Pilot’s Series B: Lessons in Organizational Effectiveness
Re:Modeling Molecules with Recurrent Neural Networks
on Tuesday October 13, 2015 @09:24PM (#10384502)
Nice catch! That one is from Wikipedia: http://en.wikipedia.org/wiki/Dictionary_of_chemical_formulas
I've updated the offending page.
Schrödinger's deploys no more: how we update translations
Modeling Molecules with Recurrent Neural Networks
Schrödinger's deploys no more: how we update translations
Re:Traceroute
on Tuesday August 25, 2015 @05:12PM (#10119487)
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.
Re:Traceroute
on Tuesday August 25, 2015 @03:41PM (#10119001)
Update: I've downloaded the GeoLite data from April 2015, replacing the old March 2014 data! You should now be seeing more accurate results. :)
Re:Traceroute
on Tuesday August 25, 2015 @03:03PM (#10118777)
This should be fixed now -- thanks!
Re:Traceroute
on Tuesday August 25, 2015 @03:03PM (#10118774)
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.
Re:Traceroute
on Tuesday August 25, 2015 @03:00PM (#10118763)
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.
Re:Traceroute
on Tuesday August 25, 2015 @02:03PM (#10118390)
Fixed DEBUG to be False now -- thanks! I'll see if I can fix this 500, too. :)
Re:Traceroute
on Tuesday August 25, 2015 @01:58PM (#10118366)
Yeah, the MaxMind data is as of March 2014 -- out of date. Sorry about that!
Re:Convert any Python file into a single line of code
on Tuesday August 25, 2015 @12:32PM (#10117674)
Oh, you're right, I'm using "space" incorrectly. Fixed :)