Exactly my thought haha. And Urbit comes from the LISP/Lambda Calculus world of concerning themselves with high level abstractions and mathematical elegance abo

Exactly my thought haha. And Urbit comes from the LISP/Lambda Calculus world of concerning themselves with high level abstractions and mathematical elegance above all, while Uxn and similar systems follow in the footsteps of Forth and the idea of "get something small and low level working as soon as possible."