Ross Daly

Formal methods, synthesis, hardware-software codesign, compilers, quilting software. Universally quantified statements are almost always false.

[Ross Daly @Ross11235]

I just discovered that @eagereyes did a much more thorough set of visualizations along these lines. https://t.co/HXSKv7ongH

[Ross Daly @Ross11235]

@holger3000 @kyrib Yes, I found the lat/long data on https://t.co/vS0qT8nWGk. There are caveats regarding how well the location represents the zip code but it is close enough for a good visualization.

[Ross Daly @Ross11235]

@kyrib A line drawn through all the zip codes in numerical order is the correct answer! Good job to all who got it.

This is a funny early attempt at rendering where I accidentally sorted the data by latitude rather than by zip code.

[Francesco Ciulla @FrancescoCiull4]

I tried so hard

and got so far

but in the end

git push --force origin master

[Lindsey @lindsey]

Systems research:
- Databases people definitely already did it, but on a longer time scale
- Architecture people probably already did it, but on a shorter time scale
- Pat Hanrahan most likely already did it in the service of some ridiculously cool graphics application