18,897 karma · joined September 29, 2009
[ my public key: https://keybase.io/espeed; my proof: https://keybase.io/espeed/sigs/YxmnIJ03yV6kqenrZXSh962j_dpxVHRhjLB8z8Acfpk ] https://www.facebook.com/jameswthornton
James Thornton, https://electricspeed.com
Your perspective guides your thoughts, your choices, your trajectory. https://jamesthornton.com/manifesto
All problems boil down to one thing: Lack of truth.
Truth is optimal. A super-optimizing AI would optimize the process of connecting what's true.
Current Focus: Knowledge Systems and the physics underpinning the structure of information.
Ptrs, social knowledge
» https://ptrs.app
Whybase, social reasoning
» https://whybase.com
Bulbs, Python persistence framework for graph databases
» https://github.com/espeed/bulbs
Apache TinkerPop, open-source graph developers group
» https://tinkerpop.apache.org
Pipem, natural-language commands
» Pitch Day 2015: https://www.youtube.com/watch?v=o_0DSmZhLGw
---//---https://twitter.com/espeed
https://github.com/espeed
https://keybase.io/espeed (PGP Key)
Email: james.thornton@gmail.com
https://espeed.dev (-> ⁎ u $ ! b ? W *p (~) △ |m| .~)
The most important question is "Why?"
[1] https://scholar.google.com/scholar?cluster=52811921455145789...
Chain Complexes https://www.mathphysicsbook.com/mathematics/algebraic-topolo...
Homology for Normal Humans http://isomorphismes.tumblr.com/post/127950269154/graded-cha...
Years ago I spent a week recreating my long lost high school and college CD collections on Google Play was able to find almost everything, even some of the most ecsoteric remixes.
And when entertaining, people always gravitate towards DJing through YouTube videos on the TV, and so I wired everything up with Chromecast / Chromebook pairs to make it easy. Even though they can go to any app/site they want, everyone uses YouTube.
Linear Algebra and Learning from Data
You have to keep a dozen of your favorite problems
constantly present in your mind, although by and large
they will lay in a dormant state. Every time you hear
or read a new trick or a new result, test it against
each of your twelve problems to see whether it helps.
Every once in a while there will be a hit, and people
will say, “How did he do it? He must be a genius!" [1]
[1] http://alumni.media.mit.edu/~cahn/life/gian-carlo-rota-10-le...Those numbers go back to the studies Jakob Nielsen did at the Sun Microsystems usability lab and the results posted in his oft cited AlertBox articles from 1993 and 1997...
[1] Slim Fly: A Cost Effective Low-Diameter Network Topology (2014) [pdf] https://htor.inf.ethz.ch/publications/img/sf_sc_2014.pdf
[2] Network Topologies for Large-scale Datacenters: It's the Diameter, Stupid! (2016) [video] https://www.youtube.com/watch?v=F8F0JN6X0fE
420...was is really $420? And then smoking weed on Joe Rogan? LOL, now that's funny ;-)
VDB: High-Resolution Sparse Volumes with Dynamic Topology (Academy Award Winning data structure)
http://www.museth.org/Ken/Publications_files/Museth_TOG13.pd...
OpenVDB is an open-source C++ implementation with Python wrappers: https://ken.museth.org/OpenVDB.html
https://github.com/dreamworksanimation/openvdb
Ken works at SpaceX now, but a few years ago he gave a lecture on VDB at the Berkeley Institute for Data Science (BIDS)...
OpenVDB: An Open Source Data Structure and Toolkit for High-Resolution Volumes [video] https://www.youtube.com/watch?v=7hUH92xwODg
1. Moser–de Bruijn sequence https://en.wikipedia.org/wiki/Moser%E2%80%93de_Bruijn_sequen...
n = x + 2y
x = n & 0x55555555
y = (n - x) / 2
2. A 'Binary' System for Complex Numbers, by Walter Pennyhttps://www.nsa.gov/news-features/declassified-documents/tec...
Feynman's Lost Lecture (ft. 3Blue1Brown) [video] https://news.ycombinator.com/item?id=17927217
The reason this article seems off is because it's trying to capitalize on an earlier article by Nick Bilton, but this attempt at adaptation is missing the essence and mangles the point. The idea this article is trying to convey is better presented here:
We're F--ked: There is only One Antidote to Silicon Valley's Ills... Their Engineers
https://www.vanityfair.com/news/2018/08/there-is-only-one-an...
I just realized there's a deep connection among your recommendations...Gilbert Strang was Greenfield's PhD advisor: https://dspace.mit.edu/handle/1721.1/29345. Pavel has a clear and precise teaching style like Strang, and I've heard him reference Prof's Strang's courses before but didn't make the connection. Good trees produce good fruit. The small world graph and the truth of that never ceases to amaze. Good trees, good stuff.
NB: MathTheBeautiful [1] is by MIT alum Pavel Grinfeld [2]. He approaches Linear Algebra from a geometric perspective as well, but with more emphasis on the mechanics of solving equations. He has a ton of videos organized into several courses, ranging from in-depth Intro to Linear Algebra courses to more advanced courses on PDEs and Tensor Calculus. Highly recommended.
Esp note his video on Legendre polynomials [3] and Why {1,x,x²} Is a Terrible Basis: https://www.youtube.com/watch?v=pYoGYQOXqTk&index=14&list=PL....
[1] MathTheBeautiful https://www.youtube.com/channel/UCr22xikWUK2yUW4YxOKXclQ
For example, the fastest distance between two points is not a straight line, it's the cycloid, specifically the Brachistochrone curve [2]. This is the path light follows.
One common misconception of the cycloid is related to its arc-length. At first glance many assume the arc-length of the cycloid is equal to circumference of the circle, but this is not the case. The line-of-sight distance between the cycloid starting point A and ending point B is equal to 2πr, the circumference of the circle -- however the arc-length of the cycloid curve is 8r, which is an integer value given an integer radius. The cycloid curve is full of interesting properties, many yet to be discovered and all its implications are not yet fully understood.
Another interesting aspect of the cycloid is not only is it the fastest path, but no matter where two objects begin on the curve, they'll both traverse the curve at maximal/optimal speed and both will arrive at the bottom of the curve at the same time, regardless of the delta between their starting positions. This aspect of the cycloid is referred to as the Tautochrone curve [3].
So if you're looking for ways to distribute partitions or encode invariants in your models, data or otherwise, the geometrical aspects of elliptical and cycloidal curves are a good place to explore.
Grant did a 3Blue1Brown video with with Steven Strogatz on the Brachistochrone a few years back: https://www.youtube.com/watch?v=Cld0p3a43fU
And Vsauce did one with Adam Savage on the Brachistochrone where they build a mechanical model of one that shows it's the fastest/optimal path among different curves, and their experiment also shows the cycloid Tautochrone invariant property where objects begin up the curve at different distances apart and yet all arrive together simultaneously in constant time. https://www.youtube.com/watch?v=skvnj67YGmw
NB: Consider this, two seperate impulses of light beginning at different distances away from the observer, both impulses of light traveling along the optimal path at the optimal speed, and both arriving at the observer simultaneously, without bending time. And as shown above, on a cycloidal curve, this phenomenon is not unique to light.
[1] https://en.wikipedia.org/wiki/Cycloid
Somewhere there's an older doc/presentation that goes into the reasons for the cube in more detail, and if I remember where it is, I'll post it here later.
Consistent uniform cell size, minimizing distortions and relegating them to remote parts of the ocean, grouping land masses together (one cube side is almost pure ocean), optimizing for geodesics, and making it easy to index and reason about were some of the considerations in the design decision. It's been a while so I'm little fuzzy on all the reasoning, but I'm sure someone else on here can provide ptrs or fill in the details.
NB: Bernanke [1] is not the fed chairman and hasn't been since 2014 when he was succeeded by Janet Yellen [2].
Jay Powell [3] is the current fed chair.
[1] https://en.m.wikipedia.org/wiki/Ben_Bernanke
One point of distinction: Zig does not have compile-time warnings, only errors. Simplicity by design. Either it will complie or it won't. Removing the uncertainty here means less greyarea, no space for edgecases in between.
"Unsafe Zig Is Safer Than Unsafe Rust" https://news.ycombinator.com/item?id=16226235
Also see this previous thread on Rust's stdlib OutOfMemory errors:
"Containers should provide some way to not panic on failed allocations" https://github.com/rust-lang/rust/issues/29802
That's exactly what Zig is designed for [1].
Andrew Kelley (andrewrk) discusses this in the talk. Zig is similar to Rust, but with memory safety designed into the core, not bolted on as an afterthought. And as the SHA-256 demo tests in the talk show, Zig is as fast or faster than C.
Anna: A Crazy Fast, Super-Scalable, Flexibly Consistent KVS
https://databeta.wordpress.com/2018/03/09/anna-kvs/
Discussion: https://news.ycombinator.com/item?id=16551072
Also see...
Peter Alvaro / Disorderly Labs https://people.ucsc.edu/~palvaro/
Data-Centric Programming: Rendezvous, Bloom and CALM (Joe)
https://ucbrise.github.io/cs294-rise-fa16/rendezvous.html
BOOM http://boom.cs.berkeley.edu/
Paper summary. Blazes: Coordination analysis and placement for distributed programs
http://muratbuffalo.blogspot.com/2017/11/paper-summary-blaze...
A functional and logic programming language inspired by Scala, OCaml, and Datalog.
From Doom and Gloom to BOOM and Bloom [video]