Property-based testing can now log/print successful seeds from run.

2 files changed, 78 insertions, 44 deletions

diff --git a/documentation/bookmark/tool/build_system.md b/documentation/bookmark/tool/build_system.md
index eeeb571ce..76199b1ae 100644
--- a/documentation/bookmark/tool/build_system.md
+++ b/documentation/bookmark/tool/build_system.md
@@ -1,65 +1,73 @@
 # Protocol
 
-1. [Build Server Protocol](https://build-server-protocol.github.io/)
+0. []()
+0. [Build Server Protocol](https://build-server-protocol.github.io/)
 
 # Exemplar
 
-1. [Mill: A Build Tool based on Pure Functional Programming, Li Haoyi at Scala.Love 2020](https://www.youtube.com/watch?v=j6uThGxx-18)
-1. [Mill: A Build Tool based on Pure Functional Programming, Li Haoyi at Scala.Love 2020](https://vimeo.com/409165552)
-1. [Pier: Yet another Haskell build tool](https://www.youtube.com/watch?v=JmenfeDVi0w)
-1. https://buckbuild.com/
-1. http://boot-clj.com/
-1. http://gulpjs.com/
-1. http://shakebuild.com/
-1. https://ninja-build.org/
-1. https://leiningen.org/
-1. https://github.com/janestreet/jenga
-1. https://github.com/apenwarr/redo
-1. https://getcook.org/
-1. https://www.python.org/dev/peps/pep-0517/
-1. https://github.com/juxt/mach
-1. http://gittup.org/tup/
-1. https://github.com/apple/swift-llbuild
-1. https://please.build/
-1. https://github.com/ocaml/dune
-1. https://github.com/arrdem/katamari
+0. []()
+0. [Pants 2: The ergonomic build system](https://www.pantsbuild.org/)
+0. [Mill: A Build Tool based on Pure Functional Programming, Li Haoyi at Scala.Love 2020](https://www.youtube.com/watch?v=j6uThGxx-18)
+0. [Mill: A Build Tool based on Pure Functional Programming, Li Haoyi at Scala.Love 2020](https://vimeo.com/409165552)
+0. [Pier: Yet another Haskell build tool](https://www.youtube.com/watch?v=JmenfeDVi0w)
+0. https://buckbuild.com/
+0. http://boot-clj.com/
+0. http://gulpjs.com/
+0. http://shakebuild.com/
+0. https://ninja-build.org/
+0. https://leiningen.org/
+0. https://github.com/janestreet/jenga
+0. https://github.com/apenwarr/redo
+0. https://getcook.org/
+0. https://www.python.org/dev/peps/pep-0517/
+0. https://github.com/juxt/mach
+0. http://gittup.org/tup/
+0. https://github.com/apple/swift-llbuild
+0. https://please.build/
+0. https://github.com/ocaml/dune
+0. https://github.com/arrdem/katamari
 
 # Plugins
 
-1. https://github.com/sola-da/ConflictJS
-1. https://bmuschko.com/blog/gradle-release-strategy/
+0. []()
+0. https://github.com/sola-da/ConflictJS
+0. https://bmuschko.com/blog/gradle-release-strategy/
 
 # Packaging
 
-1. https://neurocline.github.io/papers/survey-of-programming-language-packaging-systems.html
+0. []()
+0. https://neurocline.github.io/papers/survey-of-programming-language-packaging-systems.html
 
 # Configuration
 
-1. https://hackernoon.com/configuration-files-suck-6daa9812f601
+0. []()
+0. https://hackernoon.com/configuration-files-suck-6daa9812f601
 
 # Dependency
 
-1. https://github.com/bgard6977/depends
+0. []()
+0. https://github.com/bgard6977/depends
 
 # Reference
 
-1. [Falsehoods programmers believe about build systems](https://pozorvlak.livejournal.com/174763.html)
-1. [Non-recursive Make Considered Harmful](https://ndmitchell.com/downloads/paper-non_recursive_make_considered_harmful-22_sep_2016.pdf)
-1. https://www.microsoft.com/en-us/research/publication/build-systems-la-carte/
-1. [Build Systems à la Carte](https://www.youtube.com/watch?v=BQVT6wiwCxM)
-1. https://medium.freecodecamp.com/how-google-builds-a-web-framework-5eeddd691dea#.1dcuob37h
-1. https://www.b-list.org/weblog/2018/apr/25/lets-talk-about-packages/
-1. https://medium.com/npm-inc/announcing-npm-6-5d0b1799a905
-1. http://stackoverflow.com/questions/60764/how-should-i-load-jars-dynamically-at-runtime
-1. https://github.com/rksm/flatn
-1. https://manifest.fm/
-1. https://enotuniq.org/python_as_a_dsl.html
-1. http://www.lihaoyi.com/post/SowhatswrongwithSBT.html
-1. [Sean Larkin - Everything is a plugin!! Mastering webpack from the inside out.](https://www.youtube.com/watch?v=NHI_PhoykVU)
-1. http://www.lihaoyi.com/post/BuildToolsasPureFunctionalPrograms.html
-1. https://pozorvlak.livejournal.com/174763.html
-1. https://www.cs.virginia.edu/~dww4s/articles/build_systems.html
-1. https://ruudvanasseldonk.com/2018/09/03/build-system-insights
-1. https://github.com/l3nz/say-cheez
-1. https://clojurescript.org/news/2017-07-12-clojurescript-is-not-an-island-integrating-node-modules
+0. []()
+0. [Falsehoods programmers believe about build systems](https://pozorvlak.livejournal.com/174763.html)
+0. [Non-recursive Make Considered Harmful](https://ndmitchell.com/downloads/paper-non_recursive_make_considered_harmful-22_sep_2016.pdf)
+0. https://www.microsoft.com/en-us/research/publication/build-systems-la-carte/
+0. [Build Systems à la Carte](https://www.youtube.com/watch?v=BQVT6wiwCxM)
+0. https://medium.freecodecamp.com/how-google-builds-a-web-framework-5eeddd691dea#.1dcuob37h
+0. https://www.b-list.org/weblog/2018/apr/25/lets-talk-about-packages/
+0. https://medium.com/npm-inc/announcing-npm-6-5d0b1799a905
+0. http://stackoverflow.com/questions/60764/how-should-i-load-jars-dynamically-at-runtime
+0. https://github.com/rksm/flatn
+0. https://manifest.fm/
+0. https://enotuniq.org/python_as_a_dsl.html
+0. http://www.lihaoyi.com/post/SowhatswrongwithSBT.html
+0. [Sean Larkin - Everything is a plugin!! Mastering webpack from the inside out.](https://www.youtube.com/watch?v=NHI_PhoykVU)
+0. http://www.lihaoyi.com/post/BuildToolsasPureFunctionalPrograms.html
+0. https://pozorvlak.livejournal.com/174763.html
+0. https://www.cs.virginia.edu/~dww4s/articles/build_systems.html
+0. https://ruudvanasseldonk.com/2018/09/03/build-system-insights
+0. https://github.com/l3nz/say-cheez
+0. https://clojurescript.org/news/2017-07-12-clojurescript-is-not-an-island-integrating-node-modules
 
diff --git a/documentation/bookmark/tool/text_editor.md b/documentation/bookmark/tool/text_editor.md
index 0f087cc79..c30ddff97 100644
--- a/documentation/bookmark/tool/text_editor.md
+++ b/documentation/bookmark/tool/text_editor.md
@@ -1,15 +1,18 @@
 # Modal editing
 
+0. []()
 0. [Beyond Vim and Emacs: A Scalable UI Paradigm](https://emacsconf.org/2020/talks/07/)
 
 # Code navigation
 
+0. []()
 0. [Navigate your code like it's 2021](https://austinhenley.com/blog/coderibbon.html)
 0. [Introducing stack graphs](https://github.blog/2021-12-09-introducing-stack-graphs/)
 0. ["Incremental, zero-config Code Nav using stack graphs" by Douglas Creager](https://www.youtube.com/watch?v=l2R1PTGcwrE)
 
 # Rendering
 
+0. []()
 0. [Text Rendering Hates You](https://gankra.github.io/blah/text-hates-you/)
 0. [Graphics for JVM](https://tonsky.me/blog/skija/)
 0. https://github.com/JetBrains/skija/
@@ -18,14 +21,17 @@
 
 # Font
 
+0. []()
 0. [Google Noto Fonts: Beautiful and free fonts for all languages](https://www.google.com/get/noto/)
 
 # Residential programming
 
+0. []()
 0. [Residential Programming without Mutable State - Thomas Getgood](https://www.youtube.com/watch?v=Kgw9fblSOx4)
 
 # Good Ideas
 
+0. []()
 0. https://medium.com/@NikitaVoloboev/write-once-never-write-again-c2fa1f6c4e8
 0. [Inline: Efficient Source Code Editing and Manipulation with Code Portals](https://www.youtube.com/watch?v=NQ5h2Ibw6ck)
 0. https://devclass.com/2019/02/15/atlassian-make-jira-invisible-target-developers-ides/
@@ -37,15 +43,18 @@
 
 # Voice
 
+0. []()
 0. [Speaking in code: how to program by voice](https://www.nature.com/articles/d41586-018-05588-x)
 
 # Refactoring
 
+0. []()
 0. https://medium.com/zoosk-engineering/refactoring-at-scale-with-abstract-syntax-trees-a3f989ec8524
 0. https://about.sourcegraph.com/
 
 # Visual programming
 
+0. []()
 0. https://github.com/ivanreese/visual-programming-codex
 0. [Lambda Days 2018 - Piotr Moczurad - Visual-textual functional programming with Luna](https://www.youtube.com/watch?v=6xUOuzafmO0)
 0. https://www.luna-lang.org/
@@ -94,6 +103,7 @@
 
 # Syntax Highlighting
 
+0. []()
 0. [Syntax highlighting is backwards](https://www.benkuhn.net/syntax)
 0. [Coding in color](https://medium.com/@evnbr/coding-in-color-3a6db2743a1e)
 0. https://code.visualstudio.com/blogs/2017/02/08/syntax-highlighting-optimizations
@@ -102,14 +112,17 @@
 
 # Music
 
+0. []()
 0. https://www.hooktheory.com/hookpad/app
 
 # Data-Structures
 
+0. []()
 0. [Data Structures for Text Sequences](https://www.cs.unm.edu/~crowley/papers/sds.pdf)
 
 # Shell
 
+0. []()
 0. https://masteringemacs.org/article/complete-guide-mastering-eshell
 0. https://medium.com/readcomiccode/behold-z-the-unsung-jewel-that-rethinks-shell-navigation-dae262bb6bdc
 0. https://gitlab.com/emacsomancer/equake
@@ -117,23 +130,27 @@
 
 # Language Server Protocol
 
+0. []()
 0. https://tomassetti.me/language-server-dot-visual-studio/
 0. https://github.com/Microsoft/language-server-protocol/blob/master/README.md
 0. https://www.ncameron.org/blog/what-the-rls-can-do/
 
 # Semantic-oriented programming
 
+0. []()
 0. https://en.wikipedia.org/wiki/Semantic-oriented_programming
 0. https://prezi.com/gp6u1jpgkxej/what-are-soplets/
 0. http://symade.tigris.org/
 
 # Integrated Development Environment (IDE)
 
+0. []()
 0. [Theia 1.0 - Finally a Good Browser IDE](https://dev.to/svenefftinge/theia-1-0-finally-a-good-browser-ide-3ok0)
 0. https://www.eclipse.org/che/
 
 # Advanced AST/source-code manipulation tools
 
+0. []()
 0. https://caseywatts.com/2018/08/23/codemods.html
 0. https://vimeo.com/189514610
 0. https://github.com/facebook/jscodeshift
@@ -142,12 +159,14 @@
 
 # Extensibility
 
+0. []()
 0. [The Spoofax Language Workbench](https://metaborg.github.io/spoofax/)
 0. [A Language Independent Task Engine for Incremental Name and Type Analysis](https://www.researchgate.net/publication/290110229_A_Language_Independent_Task_Engine_for_Incremental_Name_and_Type_Analysis)
 0. [Extensible Type-Directed Editing](http://cattheory.com/extensibleTypeDirectedEditing.pdf)
 
 # Parsing
 
+0. []()
 0. [tree-sitter](http://tree-sitter.github.io/tree-sitter/)
 0. [tree-sitter: An incremental parsing system for programming tools](https://github.com/tree-sitter/tree-sitter)
 0. https://blog.github.com/2018-10-31-atoms-new-parsing-system/
@@ -155,14 +174,17 @@
 
 # Notebook
 
+0. []()
 0. https://tiddlywiki.com/
 
 # Extension
 
+0. []()
 0. https://github.com/Pext/Pext
 
 # Collaborative editing
 
+0. []()
 0. https://github.com/gsilvamartin/RTCode
 0. https://hackernoon.com/building-conclave-a-decentralized-real-time-collaborative-text-editor-a6ab438fe79f
 0. https://github.com/xi-editor/xi-editor/issues/1187
@@ -172,6 +194,8 @@
 
 ## General
 
+0. []()
+0. [JSON Hero](https://jsonhero.io/)
 0. https://texteditors.org/cgi-bin/wiki.pl?EditorIndex
 0. [Slate: A completely customizable framework for building rich text editors.](https://github.com/ianstormtaylor/slate)
 0. [Trix: A rich text editor for everyday writing.](https://trix-editor.org/)
@@ -235,9 +259,11 @@
 
 ## Tree editor
 
+0. []()
 0. http://justinpombrio.net/tree-editors/survey.html
 
 ## Image editor
 
+0. []()
 0. https://www.ludigraphix.org/