A Really Great Talk on Robot Brains

Not really the brains themselves, just a language for describing what goes on inside a Robot brain, but, ... well, see Matt Godbolt Explains "Young Man, It's Robots All The Way Down!" 

See Marvin Borner's page of links to articles: https://git.marvinborner.de/marvinborner/interaction-net-resources/about/. You can read Yves Lafont's 1997 article here: Interaction Combinators.

There are working implementations on GPUs, for example HVM2: A Parallel Evaluator for Interaction Combinators by Victor Taelin:

We present HVM2, an efficient, massively parallel evaluator for extended interaction combinators. When compiling non-sequential programs from a high-level programming language to C and CUDA, we achieved a near-ideal parallel speedup as a function of cores available (within a single device), scaling from 400 million interactions per second (MIPS) (Apple M3 Max; single thread), to 5,200 MIPS (Apple M3 Max; 16 threads), to 74,000 MIPS (NVIDIA RTX 4090; 32,768 threads). In this paper we describe HVM2′s architecture, present snippets of the reference implementation in Rust, share early benchmarks and experimental results, and discuss current limitations and future plans. 

See Laurie Showing How You Can Program NVIDIA GPUs Using Assembler.

Martin has also written a really excellent blog post: Tiny, Untyped Monads, which is a work of art!

Subscribe to media.ccc.de.

Here's Matt on how describe interrupts in a CPU. Matt's JavaScript BBC emulator runs at 1.9Mhz or so in Firefox/Linux on an Intel Core I5.

Subscribe to Computerphile.
 

Comments

Popular posts from this blog

Steven Johnson - So You Think You Know How to Take Derivatives?

Welsh Republic Podcast Talking With Kars Collective on Armenia Azerbaijan Conflict

Hitachi HD44780U LCD Display Fonts