3 ms·
Another advantage of de-Bruijn notation is in providing a very simple binary encoding of lambda terms, as demonstrated in my IOCCC submission [1]. [1] https://
by tromp 1y ago
Another advantage of de-Bruijn notation is in providing a very simple binary encoding of lambda terms, as demonstrated in my IOCCC submission [1].
[1] https://www.ioccc.org/2012/tromp/ https://www.ioccc.org/2012/tromp/
- Disposal8433 1y agoTo you and OP and the others: you're crazy or geniuses, but thanks for posting because that's inspiring whether I understand it or not.
- jmount 1y agoJust ran into your writeup a day ago. Truly amazing!
- biot 1y agoThis has long been my favorite entry! Still on my todo list to go through and fully understand it.
- tromp 1y agoYou might find this repo [1] by Melvin Zhang helpful. [1] https://github.com/melvinzhang/binary-lambda-calculus https://github.com/melvinzhang/binary-lambda-calculus
- icepush 1y agoAre you the same Tromp famous for playing the 5 game match against Zen?
- tromp 1y agoYes, as mentioned at https://senseis.xmp.net/?JohnTromp https://senseis.xmp.net/?JohnTromp
- jonahx 1y agoBeautiful. Unrelated, but what would be your advice/study plan for a human to reach near perfect game play in Connect 4, and how difficult would it be?
- tromp 1y agoI can recommend this book [1] on connect-4 by James Allen, the first person to solve the game. It remains very difficult for humans to play near perfectly, as the harder puzzles in the book demonstrate. [1] https://www.waterstones.com/book/the-complete-book-of-connect-4/james-dow-allen/9781402756214 https://www.waterstones.com/book/the-complete-book-of-connec...
- jonahx 1y agoI have it! But I've always wondered if a more systematic approach based on Victor Allis's paper might be achievable. Can you play perfectly?
- tromp 1y agoNot only can I not play perfectly (unlike my Fhourstones program), but I really struggle with even the intermediate problems in the book. A more limited form of perfect play is knowing how to win when playing first. I cannot do that either, but I suspect that I might be able to get close if I were to study hard on it for a year, trying to minimize the size of the opening book I need to keep in my head. The leaves of that book will then resemble the positions where Allis' rules apply so that you can work out further play on the fly.