typo

teodorlu · May 5, 2024 · ec65339 · ec65339
1 parent 132f6a3
commit ec65339
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/weeknotes-2024/index.html b/weeknotes-2024/index.html
@@ -390,9 +390,9 @@ <h1 class="title">Weeknotes 2024</h1>
 <li><a href="#privacy-is-required-for-safe-exploration"
 id="toc-privacy-is-required-for-safe-exploration">Privacy is required
 for safe exploration</a></li>
-<li><a href="#make-things-from-scratch-or-use-tols-others-have-made"
-id="toc-make-things-from-scratch-or-use-tols-others-have-made">Make
-things from scratch or use tols others have made?</a></li>
+<li><a href="#make-things-from-scratch-or-use-tools-others-have-made"
+id="toc-make-things-from-scratch-or-use-tools-others-have-made">Make
+things from scratch or use tools others have made?</a></li>
 </ul></li>
 </ul>
 </nav>
@@ -1234,8 +1234,8 @@ <h3 id="privacy-is-required-for-safe-exploration">Privacy is required
 Research &amp; Dynamicland, Dec 2019</a>).</p>
 <p>So, I think a next step I want is something I can use with a few
 trusted friends.</p>
-<h3 id="make-things-from-scratch-or-use-tols-others-have-made">Make
-things from scratch or use tols others have made?</h3>
+<h3 id="make-things-from-scratch-or-use-tools-others-have-made">Make
+things from scratch or use tools others have made?</h3>
 <p>Let’s say you want to make your own little microworld. Should you
 start from zero? Or should you make your thing based on things other
 people have made?</p>

diff --git a/weeknotes-2024/index.org b/weeknotes-2024/index.org
@@ -803,7 +803,7 @@ Then, we can create a small world where we interact with rules different from th
 ([[id:00f83e62-617d-48d4-be92-e9dab6e473ec][Bret Victor]] gives an interesting perspective on "research as the creation of microworlds" in [[id:dc085ab8-5e71-45f8-b5d6-71d178179cd7][Bootstrapping Research & Dynamicland, Dec 2019]]).
 
 So, I think a next step I want is something I can use with a few trusted friends.
-** Make things from scratch or use tols others have made?
+** Make things from scratch or use tools others have made?
 Let's say you want to make your own little microworld.
 Should you start from zero?
 Or should you make your thing based on things other people have made?