# Log 2022-06-19 ## Pedagogy and Johnstone on Discord After discussing [[Pedagogy]] and [[Teaching]] a bit in the [[Obsidian Discord]]: > [!quote] The implication of Stirling's attitude was that the student should never experience failure. The teacher's skill lay in presenting experiences in such a way that the student was bound to succeed. Stirling recommended that we read the Tao te Ching. It seems to me now that he was practically using it as his teaching manual. Here are some extracts: ‘… The sage keeps to the deed that consists in taking no action and practises the teaching that uses no words …. When his task is accomplished and his work done the people all say, “It happened to us naturally” …. I take no action and the people are transformed of themselves; I prefer stillness and the people are rectified of themselves; I am not meddlesome and the people prosper of themselves. I am free from desire and the people of themselves become simple like the uncarved block … One who excels in employing others humbles himself before them. This is known as the virtue of non-contention; this is known as making use of the efforts of others …. To know yet to think that one does not know is best. … The sage does not hoard. Having bestowed all he has on others, he has yet more; having given all he has to others, he is richer still. The way of heaven benefits and does not harm; the way of the sage is bountiful and does not contend.' (Translated by C. D. Lau, Penguin, 1969.) [[BOOK - Impro - Keith Johnstone]] "Anthony Stirling" ## Blog article about writing as a programmer While I'm gathering all these notes from [[BOOK - Writers' Workshops and the Work of Making Things - Richard P Gabriel]], I might as well use the occasion and write a short blog post about the uses of [[Writing as a programmer]], to sketch some ideas out. This led me to flesh out the [[Debugging]] card, but way of [[ZK - 4a2c - Rubberduck with yourself through writing and speaking]]. ## Obsidian Command Plugin When writing [[Computational Essays]] in [[Obsidian]], a plugin like [GitHub - daaru00/obsidian-commander: Obsidian plugin that evaluate code blocks](https://github.com/daaru00/obsidian-commander) seems quite interesting, similar to [[org-mode]]. Useful for [[Literate Programming]] too maybe? ## Capture A short HN question about learning [[Mathematical Proofs]]. - [Ask HN: How to learn mathematical proofs from scratch? | Hacker News](https://news.ycombinator.com/item?id=31800081) Page about biking through the US. - [Reasons to tour by bicycle | Hacker News](https://news.ycombinator.com/item?id=31797686) - [Bike map | Cycle route planner | cycle.travel](https://cycle.travel/map) Using [[Fennel Lisp|Fennel]] to do [[HTML]] [[Frontend]] development in a [[Lisp Languages|Lisp]], running on [[OpenResty]], which is a [[nginx]] and [[LuaJit]] platform for [[Web Development]]: - [FHP - Fennel Hypertext Processor](https://github.com/MattRoelle/fhp) - [OpenResty](https://openresty.org/en/) ## Biking notes Listening to [[BOOK - Good Strategy Bad Strategy - Richard P Rumelt]]: [[ZK - Strategy is as much about identifying strengths as identifying weaknesses]] [[ZK - To understand good strategy, you have to understand at corresponding bad strategies]] ## Endofunctors Very nice video: - [Rock the JVM - Monads are Monoids in the Category of Endofunctors](https://youtu.be/CMm98RkCgPg) Learning about [[Variance Annotations]] in [[Scala]]: - [Variances | Tour of Scala | Scala Documentation](https://docs.scala-lang.org/tour/variances.html)