HNHacker News
TopNewBestAskShowJobs

espeed

18,897 karma · joined September 29, 2009

did:bitwav:james

[ 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?"

submissionscomments
espeed··on The Octad Graph
Its relation to the j-invariant, modular forms, Steiner System (5,8,24), Binary Golay Code G24, Mathieu Group M24, the Leech Lattice, the Monster Group, Monstrous Moonshine, and the Miracle Octad Generator...

[1] https://en.wikipedia.org/wiki/J-invariant

[2] https://en.wikipedia.org/wiki/Steiner_system

[3] https://en.wikipedia.org/wiki/Binary_Golay_code

[4] https://en.wikipedia.org/wiki/Mathieu_group_M24

[5] https://en.wikipedia.org/wiki/Leech_lattice

[6] https://en.wikipedia.org/wiki/Monster_group

[7] https://en.wikipedia.org/wiki/Monstrous_moonshine

[8] https://en.wikipedia.org/wiki/Miracle_Octad_Generator

http://finitegeometry.org/sc/24/MOG.html

espeed··on Blodwen: A prototype successor to Idris
Last week on the Idris mailing list Marimuthu posted a message announcing he has succeeded in compiling a new JVM backend, which means that Blowden (Idris 2) can now run on the JVM. The new code is now on GitHub...

https://github.com/mmhelloworld/Blodwen/releases

espeed··on But why is a sphere's surface area four times its shadow? [video]
While we're on the topic of curves and spheres...

Does anyone here know of any theorems that relate the curve of a cycloid [1] to the curve of the horopter [2] (in particular, the empirical horopter)?

In my continued quest to connect curious properties of the cycloid, I noticed hints of potential correspondences between the two curves beyond just their shape, particularly in the ways the curves of the cycloid and horopter both relate to the path of light.

A few years back, Grant did a 3Blue1Brown video with with Steven Strogatz on the cycloid Brachistochrone curve : https://www.youtube.com/watch?v=Cld0p3a43fU

And Vsauce did one with Adam Savage on the Brachistochrone [3] 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 [4] 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

Some other interesting properties and places the cycloid shows up...

* The arclength of the cycloid curve is 8R, a rational value given a rational radius.

* The shape of the closed universe [5]. While we don't yet know if the shape of the universe is open or closed, we do know that if the universe is closed the shape of its evolution is precisely the shape of a cycloid.

* Spinors [6], octonions, and the epicycloid [7]. Electrons, protons, neutrinos, and quarks are spinors. The Rolling Spinor is like a ball, but "thanks to the 'double' in the double cover SU(2)→SO(3), a 360∘ rotation does not act like the identity. Instead, we need to rotate by 720∘ degrees to get back where we started" [8]. The two balls have a 3-to-1 ratio, and the path traced out around the larger ball is an epicycloid.

[1] Cycloid https://en.wikipedia.org/wiki/Cycloid

[2] Horopter https://en.wikipedia.org/wiki/Horopter , Hering–Hillebrand deviationn https://en.wikipedia.org/wiki/Hering-Hillebrand_deviation

[3] Brachistochrone curve https://en.wikipedia.org/wiki/Brachistochrone_curve

[4] Tautochrone curve https://en.wikipedia.org/wiki/Tautochrone_curve

[5] MIT 8.286 The Early Universe: Introduction to Non-Euclidean Space [video] https://www.youtube.com/watch?v=YfbXB_MSkSY

[6] Spinor https://en.wikipedia.org/wiki/Spinor

[7] Epicycloid https://en.wikipedia.org/wiki/Epicycloid

[8] G2 and the Rolling Ball https://golem.ph.utexas.edu/category/2013/06/g2_and_the_roll...

Split Octonions and the Rolling Ball, Dr. John Baez [video] https://www.youtube.com/watch?v=xvflQcHT5C4

Eric Weinstein explains Gauge Symmetry [video] https://www.youtube.com/watch?v=2xiEEtoa-_4

espeed··on But why is a sphere's surface area four times its shadow? [video]
He's still experimenting with different approaches, trying to find the optimal flow like any startup would. His approach as of late has been to collaborate more with other channels, like he did on the Feynman video and the interative quaternion page you referenced above.
espeed··on But why is a sphere's surface area four times its shadow? [video]
That was a temporary experiment to see if more people enabled Grant to produce more videos, but the Mythical Man-Month rang true again. It's just Grant now, like it was when it started.

https://en.wikipedia.org/wiki/Brooks's_law

espeed··on How Google Code Search Worked: Regex Matching with a Trigram Index (2012)
Now that Microsoft has acquired GitHub, no doubt they will be upgrading GitHub search with SOTA algos.
espeed··on A Programmer's Introduction to Mathematics
Here's a YouTube link of the presentation...

https://youtu.be/iqlxsSrd-M4

NB: The slides aren't visible in the video, but here's the corresponding AI Memo by Gerald Jay Sussman and Jack Wisdom from November 2012...

AI Memo 2002-018: The Role of Programming in the Formulation of Ideas (November 2012) [pdf] https://dspace.mit.edu/bitstream/handle/1721.1/6707/AIM-2002...

espeed··on Firecracker – Lightweight Virtualization for Serverless Computing
Interesting name choice. When I clicked on the link and saw the name and design, my first thought was, "Is this a Firebase knockoff...?" [1] ... and then I scrolled to the bottom to see the copyright and saw this project is by Amazon Web Services.

[1] https://firebase.google.com

espeed··on Tau Prolog: A Prolog Interpreter in JavaScript
Does anyone here have insight into the different Prolog implementations and the key considerations that go into designing an optimal engine?
espeed··on Logic, Explainability and the Future of Understanding
This paper posted this week...

SPIRAL: Extreme Performance Portability

  This paper provides an end-to-end discussion of the 
  SPIRAL system, its domain-specific languages, and code 
  generation techniques
http://users.ece.cmu.edu/~franzf/papers/08510983_Spiral_IEEE...
espeed··on Facebook hired PR firm that wrote negative articles about Apple and Google
Last month when the spin pieces posted on why WhatsApp Cofounder Brian Acton left, I asked, "Who's submarines [0] are these?"... the contrast in the two articles is telling....

[0] https://news.ycombinator.com/item?id=18078230

espeed··on Chrome OS: Ready for Web Development [video]
Google announced in the talk that Docker is now working and said to reference this Reddit thread for details...

Docker now working https://www.reddit.com/r/Crostini/comments/9jabhq/docker_now...

espeed··on Corretto – No-cost, multiplatform, developer-preview distribution of OpenJDK
The posted URL goes to the French version of the page.

This is the primary URL: https://aws.amazon.com/corretto/

espeed··on LMDB – Lightning Memory-Mapped Database Manager
To understand the tradeoffs between LSMs, B-Trees, and Fractal Trees, see the references in this previous post on TokuDB and Bε trees...

* BetrFS: An in-kernel file system that uses Bε trees to organize on-disk storage https://news.ycombinator.com/item?id=18202935

Memory model considerations and storage architecture design gets even more interesting now that NVMe has become a thing. For example, in addition to LMDB, how much more interesting have things become for Redis on NVMe?

* Caching Beyond RAM: The Case for NVMe https://news.ycombinator.com/item?id=17315494

* Intel Optane DC Persistent Memory is officially in Google Cloud https://news.ycombinator.com/item?id=1834816

And there are a few new forward-thinking DB architectures emerging on the scene, some that have been in the works for more than 10 years. Look at the work being done by the Berkeley RISELab team and the architecture behind Fluent DB.

* Ground: A Data Context Service (2017) [pdf] (berkeley.edu), https://news.ycombinator.com/item?id=18415456

What might have been conventional wisdom in the realm of DBs years ago will not be the best practices of today. Architectures have changed too much.

And this is not just true for storage, it's true for compute too. The availability of CPU/GPU/TPU accelerators in the data centers is driving a rethink in compute toward parallel algorithms in the form of Vector/Matrix/Tensor multiplication. The best way to store and index these arrays is something to consider too.

espeed··on Cloud Computing Without Containers
Does your implementation support vectorized SIMD or SSE instructions?
espeed··on LMDB – Lightning Memory-Mapped Database Manager
See these two talks by 'hyc...

LMDB talk at DEVOXX (2013) [video] https://youtu.be/Rx1-in-a1Xc

LMDB CMU Databaseology Lecture (2015) [video] https://youtu.be/tEa5sAh-kVk

espeed··on Ground: A Data Context Service (2017) [pdf]
The primary author is Joseph Hellerstein, head of the Berkeley RISELab (the new Spark/AMPLap). Their primary project is called Fluent (which until recently was called Anna [4])...it's the all encompassing name changes that get ya! ;-)

Similarly, see Matei Zaharia's (the original Spark lead) and his team at MIT (he's now at Stanford) SIGMOD 2018 paper called MISTIQUE [4]...

[1] Joe Hellerstein https://github.com/jhellerstein

[2] Berkeley RISELab https://rise.cs.berkeley.edu https://github.com/ucbrise

[3] Fluent Compute Platform https://github.com/fluent-project/fluent

[3] 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

[4] MISTIQUE: A System to Store and Query Model Intermediates for Model Diagnosis https://cs.stanford.edu/~matei/papers/2018/sigmod_mistique.p...

espeed··on Design Review: Key-Value Storage
NB: NB works for me.
espeed··on Mystery Math Whiz and Novelist Advance Permutation Problem
I'm not familiar with this particular problem, but can ideas from De Bruijn Sequences be applied?

https://en.wikipedia.org/wiki/De_Bruijn_sequence

espeed··on Microsoft Beats Amazon in 12-Month Cloud Revenue
If Google Cloud included all Google services (such as Google Search) that run on it as "customers", that would change the numbers a bit.
espeed··on Neo4j nabs $80M Series E as graph database tech flourishes
Hi Emil -

I don't understand this comment.

Last year, the MIT team showed the GraphBLAS/D4M model can achieve 100M inserts per second on a cluster [1], and it's improved since then.

The GraphBLAS [2] standard has been in the works for more than 10 years. It's the culmination of the initial D4M matrix model design by Jeremy Kepner [3] and his team at MIT Lincoln Laboratory Supercomputing Center, which models graphs in the language of linear algebra.

And for the last ~5 years or so the GraphBLAS software model has been designed in collaboration with hardware teams at Intel, NVIDIA, IBM, and the labs to make chips and architectures optimized for these new matrix models and capable of scaling out to exascale [4].

From a query perspective the GraphBLAS model is even better now that GPU and TPU accelerators are populating the data centers since it means you can now run local graph queries and global graph analytics algorithms on the same system and both return results in less than a second.

* Google Cloud GPUs https://cloud.google.com/gpu/

* Google Cloud TPUs https://cloud.google.com/tpu/

For an overview of GraphBLAS in the context Heterogeneous High-Performance Computing (HHPC) systems running on NVIDIA GPUs and Intel Xeon Phis, see the 2015 talk Scott McMillan [5] gave at the CMU Software Engineering Institute [6].

GraphBLAS is in RedisGraph now [7] -- it uses the official GraphBLAS C implementation written by Tim Davis [8], who as you know implements the underlying sparse matrix algos used in everything from MATLAB to Google Maps -- see his recent talk:

* RedisGraph in the Language of Linear Algebra with GraphBLAS, co-presented by RedisLabs and Tim Davis [video] https://www.youtube.com/watch?v=xnez6tloNSQ

Adoption of the GraphBLAS standard by hardware chip manufacturers is a sign that the golden-age of graphs is upon us -- the the graph hardware/software model has effectively been solved, and the preceding wave created by AI/deep-learning demand led the way for the emergence of GPU/TPU accelerators in the cloud -- all the forces have aligned.

But for whatever reason, I haven't heard anything about Neo4j in terms of GraphBLAS. What's Neo4j's official position on this and the adoption of the GraphBLAS standard?

I realize it's a big change and would require a big architectural overhaul, but it's been in the works for 10 years, and most of the vendors have been involved for the last 5 years.

Has Neo4j been involved in the GraphBLAS design process and/or are you moving toward adopting the standard?

---//---

[1] Achieving 100M database inserts per second using Apache Accumulo and D4M [pdf] http://www.ieee-hpec.org/2014/CD/index_htm_files/FinalPapers...

Previous Discussion: https://news.ycombinator.com/item?id=13465141

[2] GraphBLAS Standard http://graphblas.org

[3] Jeremy Kepner http://www.mit.edu/~kepner/

[4] GraphBLAS: Building Blocks For High Performance Graph Analytics https://crd.lbl.gov/news-and-publications/news/2017/graphbla...

[5] Scott McMillan https://insights.sei.cmu.edu/author/scott-mcmillan/

[6] Graph Algorithms on Future Architectures [video] https://www.youtube.com/watch?v=-sIdS4cz7-4

[7] RedisGraph https://oss.redislabs.com/redisgraph/

[8] Tim Davis http://faculty.cse.tamu.edu/davis/

Previous discussion: https://news.ycombinator.com/item?id=18081978

espeed··on Available on Google Cloud: Intel Optane DC Persistent Memory
Redis on Optane [1]. The GraphBLAS stars continue to align [2]. GPUs/TPUs next. Distributed to come.

[1] Redis on Optane https://redislabs.com/blog/redis-enterprise-flash-intel-opta...

[2] GraphBLAS & RedisGraph https://news.ycombinator.com/item?id=18099520

espeed··on Sparse Distributed Memory
Any good papers/code examples that discuss data model design and implementation details?
espeed··on Sparse Distributed Memory
Double Ha! I just posted that too, in a comment last week...

Discussion: Algebra and the Lambda Calculus (1993) https://news.ycombinator.com/item?id=18296384

Is holographic associative memory one of your areas of research too?

espeed··on Soup – Alan Kay on Objects
This is the draft of the original 1972 unpublished memo where Alan Kay introduces the idea of object programming:

Alan Kay: A Personal Computer for Children of All Ages (1972) [pdf] http://www.vpri.org/pdf/hc_pers_comp_for_children.pdf

NB: Double check me on that -- is this the original unpublished one, or the revised one?

espeed··on Soup – Alan Kay on Objects
This is one of my favorite Alan Kay talks of all time (I think this is the right version, but at the time it wasn't on YouTube)...

Programming and Scaling - Alan Kay https://www.youtube.com/watch?v=YyIQKBzIuBY

There's also one where he discusses anthropology and the human universals, but the title of that talk has escaped me for years. Anyone remember what that one's called?

espeed··on Soup – Alan Kay on Objects
Sylvan Clebsch's [1] answer to this problem is designed into Pony [2], a high-performance lock free and data-race free actor-model language and runtime [3] based on a novel deny-capabilities model...

Deny capabilities for safe, fast actors [pdf]: https://www.doc.ic.ac.uk/~scd/fast-cheap-AGERE.pdf

Sylvan has since joined MSR Cambridge and is working on the distributed runtime. He's giving a talk at QCon London in March, and there are several talks on YouTube where he discusses the ideas he combined into Pony's design [4].

[1] https://github.com/sylvanc

[2] https://github.com/ponylang/ponyc

[3] https://www.ponylang.io/discover/#what-is-pony

[4] https://www.youtube.com/results?search_query=ponylang+sylvan

espeed··on Soup – Alan Kay on Objects
This created a simple temporal logic, with a visualization of “collections of facts” as stacked “layers” of world-lines. This can easily be generalized to world-lines of “variables”, “data”, “objects” etc. From the individual point of view “values” are replaced by “histories” of values...

Connect this idea with Conal Elliott's recently posted paper/talk on "The Simple Essence of Automatic Differentiation": https://news.ycombinator.com/item?id=18306860

espeed··on The Universe: How to Break the Game [video]
A brilliant talk. And it's not about games -- the essence of it is much bigger than that.
espeed··on Analysis in Higher Gauge Theory
One emerging realization is that the essence of gauge theory [0] has revealed itself as an insight to some whom have learned to apply it beyond the realm of physics.

Eric Weinstein [1], managing director of Thiel Capital, has been advocating upgrading the current economic calculus with a quantitative model based on gauge theory that can better adapt to changing behavior and changes in consumer preferences across time (for example).

Eric has intimated that James Simons [2] discovered a secret (in the Peter Thiel sense of the word) related to gauge theory during the time Simons and C.N. Yang [3] (as in Yang-Mills Theory [4]) discovered the correspondences in what has become known as the "Wu-Yang Dictionary" [5], which later led to Simons founding Renaissance Technologies [6] in 1982 and is part of the secret-sauce in their mathematical models that has enabled them to dominate quantitative trading ever since. A quote from the 1975 paper:

  ...The mathematics of these results is in fact well
  known to the mathematicians in fiber bundle theory. 
  An identification table of terminologies is given in 
  Sec. V. We should emphasize that our interest in this 
  paper does not lie in the beautiful, deep, and general 
  mathematical development in fiber bundle theory. 
  Rather we are concerned with the necessary concepts to 
  describe the physics of gauge theories. It is 
  remarkable that these concepts have already been 
  intensively studied as mathematical constructs.
See "Gauge Theory and Inflation: Enlarging the Wu-Yang Dictionary to a unifying Rosetta Stone for Geometry in Application - Eric Weinstein" [video] https://www.youtube.com/watch?v=h5gnATQMtPg

[0] Gauge Theory https://en.wikipedia.org/wiki/Gauge_theory

[1] Eric Weinstein https://en.wikipedia.org/wiki/Eric_Weinstein

[2] James Simons https://en.wikipedia.org/wiki/James_Harris_Simons

[3] Nobel Laureate C.N. Yang https://en.wikipedia.org/wiki/Yang_Chen-Ning

[4] Yang-Mills Theory https://en.wikipedia.org/wiki/Yang–Mills_theory

[5] Concept of nonintegrable phase factor and global formulation of gauge fields (AKA the Wu-Yang Dictionary) [pdf] http://www.indiana.edu/~jpac/QCDRef/1970s/Concept%20of%20non...

[6] Renaissance Technologies https://en.wikipedia.org/wiki/Renaissance_Technologies

[7] The conceptual origins of Maxwell's equations and gauge theory, by C.N. Yang (2014) [pdf] http://www.physics.umd.edu/grt/taj/675e/OriginsofMaxwellandG...

Previous Discussion: https://news.ycombinator.com/item?id=16325605

← PreviousPage 10 of 34Next →