From 085993d76a18396a0fb2d66a03d53ab2104b09e8 Mon Sep 17 00:00:00 2001 From: sejo Date: Tue, 5 Apr 2022 13:27:15 -0500 Subject: [PATCH] =?UTF-8?q?lambda=20subcategory=20and=20=CE=BB-2D?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/references.gmo | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/references.gmo b/src/references.gmo index 3f9e0d1..1614ad6 100644 --- a/src/references.gmo +++ b/src/references.gmo @@ -58,6 +58,11 @@ texts by solderpunk in the {gemini} protocol => https://www.gwern.net/docs/www/think-maths.co.uk/5d2586e9724de4c5df5b354ee6117fcc2e1b722b.pdf Logic Gates - Domino Computer => https://www.omanobserver.om/article/44559/Business/aba-oman-students-set-world-record-for-dominoes-circuit ABA Oman students set world record for dominoes circuit +## lambda + +=> https://www.media.mit.edu/projects/2d-an-exploration-of-drawing-as-programming-language-featuring-ideas-from-lambda-calculus/overview/ λ-2D: An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus +=> https://tromp.github.io/cl/diagrams.html lambda diagrams + # computer science => https://archive.org/details/computationfinit0000mins/ Computation: finite and infinite machines (1967) Minsky @@ -65,7 +70,6 @@ texts by solderpunk in the {gemini} protocol => https://wpmedia.wolfram.com/uploads/sites/13/2018/02/15-1-1.pdf Cook, Matthew (2004). "Universality in Elementary Cellular Automata" (PDF). Complex Systems. 15: 1–40. => https://www.youtube.com/watch?v=xP5-iIeKXE8 A video of Conway's Game of Life, emulated in Conway's Game of Life. => https://aphyr.com/posts/341-hexing-the-technical-interview Hexing the technical interview -=> https://tromp.github.io/cl/diagrams.html lambda diagrams => http://www.martin-gardner.org/SciAm1.html#1 Martin Gardner and Scientific American => https://grahamshawcross.com/2012/10/12/wang-tiles-and-turing-machines/ Wang Tiles and Turing Machines