Recreational Coding

on YouTube ↗24m

" summary

Starts from a 3x3 magic square summing to 99 and shows a Clojure REPL solution using core.logic that constrains entries to 1..99, finds 2,113 solutions, and proves the center must be 33 in the center. Builds a solver that unifies hints, enforces row/column/diagonal sums, and enumerates all completions. Then models Snakes & Ladders by simulation (1,000,000 runs) and by linear equations/Markov chains to get expected move counts.

AI-written summary · about

" chapters (18)

1. 0:00Intro
2. 0:43To make it more precise
3. 1:37Creating a puzzle
4. 2:37Sudoku
5. 2:50Thinking Programs - core.logic Joy of Clojure, Chapter 16
6. 3:36Complete View
7. 3:55What we want
8. 4:55Grid structure
9. 5:55The main part
10. 9:34Including hints
11. 11:06Sumo
12. 11:56Relational thinking
13. 14:19All solutions?
14. 16:03Questions lead to other questions
15. 17:34Can you prove that 33 is always in the center?
16. 18:51Snakes (chutes) and ladders
17. 21:15Calculations - with mistakes
18. 22:12REPL experiment needed

" related talks

• 38mFun with Functional Programming in ClojureJohn Stevenson · Codemotion Amsterdam 2016
• 38mIntroduction to Logic Programming with ClojureAmbrose Bonnaire-Sergeant · Clojure/conj 2011
• 36mPlaying Go with ClojureZach Tellman · Clojure/conj 2012
• 36mLearning Clojure and CLJS by playing a card gameGijs Stuurman · Clojure/conj 2017
• 28mPanel with Tovieye Ozi and Markus KloimwiederTovieye Ozi, Markus Kloimwieder · re:Clojure 2021
• 01h 02mSolving Problems the Clojure WayRafal Dittwald · Clojure/north 2019
• 36mLearning Clojure and ClojureScript by playing a card gameGijs Stuurman · Clojure/conj 2017
• 40mFun with Functional Programming in ClojureJohn Stevenson · Codemotion Rome 2016