MetaLambdas are cross platform functions which accompany computational lifeforms such as anticipated by Von Neumann in his Universal Constructor Theory. They have been used to build the Game of MetaLife in collaboration with Peter Suber the inventor of Nomic. In short, the Game of MetaLife is a multidimensional version of Conway's Game of Life in which each ceullar automaton may have embedded lambda calculus which controls its movements and genetic propogation strategy. Within the Multiversal Mainframe this is used to populate metaverses.
Additionally we are using this to test the Zuse Hypothesis and working with the Wolfram Institute on ruliad research.
Joel Dietz bio 0..1 | MIT | ART | Ted Talk | engine
>>  (create (world (1.34.45
>>  (insert (planet (5.10.45
>>  (run (lifesim (algo1, 100 ws
Game of MetaLife 0.33
TedX, Game of MetaLife, 2022

Philosophy Portal, "On the origins of logic," 2023

Wolfram Research, Musical Composition with Multiway Turing Machines, 2022

MIT Law Review, Hard Problems in Computational Law (pending)

Philosophy Portal, Nietzsche's seven platonisms, 2022

"Mars Settlement Master Plan", 2023

Dubai Engineering Forum, "A comparison of smart contract languages," 2021

"The Philosopher Game: an AI game for evaluating counterfactual universes", 2023

"Artificial Superintelligence", 2023

From Cryptoanarchy to Cyberutopias (pending, expected 2024)