aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'documentation')
-rw-r--r--documentation/bookmark/database.md1
-rw-r--r--documentation/bookmark/dec64.md4
-rw-r--r--documentation/bookmark/graphics.md (renamed from documentation/bookmark/Graphics.md)1
-rw-r--r--documentation/bookmark/math.md5
-rw-r--r--documentation/bookmark/music.md4
-rw-r--r--documentation/bookmark/optimization.md (renamed from documentation/bookmark/Optimization.md)2
-rw-r--r--documentation/bookmark/security.md (renamed from documentation/bookmark/Security.md)2
-rw-r--r--documentation/bookmark/text_editor & ide.md1
-rw-r--r--documentation/bookmark/tool/Search.md4
-rw-r--r--documentation/bookmark/tool/search.md6
-rw-r--r--documentation/bookmark/type_theory/cost_analysis.md (renamed from documentation/bookmark/Type theory/Cost analysis.md)0
-rw-r--r--documentation/bookmark/type_theory/dependent_types.md (renamed from documentation/bookmark/Type theory/Dependent types.md)2
-rw-r--r--documentation/bookmark/type_theory/refinement.md (renamed from documentation/bookmark/Type theory/Refinement.md)0
-rw-r--r--documentation/bookmark/type_theory/row_polymorphism.md (renamed from documentation/bookmark/Type theory/Row polymorphism.md)0
-rw-r--r--documentation/bookmark/type_theory/type_checking.md (renamed from documentation/bookmark/Type theory/Type checking.md)0
15 files changed, 28 insertions, 4 deletions
diff --git a/documentation/bookmark/database.md b/documentation/bookmark/database.md
index e3c5055cf..8441522df 100644
--- a/documentation/bookmark/database.md
+++ b/documentation/bookmark/database.md
@@ -197,6 +197,7 @@
1. https://juxt.pro/crux/docs/index.html
1. https://github.com/juxt/crux
1. [The Crux of Bitemporality - Jon Pither](https://www.youtube.com/watch?v=3Stja6YUB94)
+1. [Bitemporality: More Than a Design Pattern](https://juxt.pro/blog/bitemporality-more-than-a-design-pattern)
## Column
diff --git a/documentation/bookmark/dec64.md b/documentation/bookmark/dec64.md
new file mode 100644
index 000000000..3ac7c3eec
--- /dev/null
+++ b/documentation/bookmark/dec64.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [DEC64: Decimal Floating Point](https://www.crockford.com/dec64.html)
+
diff --git a/documentation/bookmark/Graphics.md b/documentation/bookmark/graphics.md
index 5438adeff..5a1abe21c 100644
--- a/documentation/bookmark/Graphics.md
+++ b/documentation/bookmark/graphics.md
@@ -2,4 +2,5 @@
1. [Einar Høst - Composition by Juxtaposition: A PostScript on Functional Geometry - Lambda Days 2020](https://www.youtube.com/watch?v=GvTh0MmVPQI)
1. [Functional geometry](https://dl.acm.org/doi/10.1145/800068.802148)
+1. [Bresenham's Circle Drawing Algorithm](https://funloop.org/post/2021-03-15-bresenham-circle-drawing-algorithm.html)
diff --git a/documentation/bookmark/math.md b/documentation/bookmark/math.md
index 6f40b8fee..f50c1fc50 100644
--- a/documentation/bookmark/math.md
+++ b/documentation/bookmark/math.md
@@ -1,3 +1,7 @@
+# Ball arithmetic
+
+1. [Ball arithmetic](http://www.texmacs.org/joris/ball/ball.html)
+
# Arithmetic
1. [The Definitive Higher Math Guide on Integer Long Division (and Its Variants)](https://mathvault.ca/long-division/)
@@ -327,6 +331,7 @@
# Knot theory
+1. [KNOT THEORY and ITS APPLICATIONS](https://www.maths.ed.ac.uk/~v1ranick/papers/murasug3.pdf)
1. [Primes and Knots - Akshay Venkatesh](https://www.youtube.com/watch?v=jvoYgNYKyk0)
1. [The Knot Book](http://math.harvard.edu/~ctm/home/text/books/adams/knot_book/knot_book.pdf)
diff --git a/documentation/bookmark/music.md b/documentation/bookmark/music.md
new file mode 100644
index 000000000..e4a6124d2
--- /dev/null
+++ b/documentation/bookmark/music.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Open Music Theory](http://openmusictheory.com/)
+
diff --git a/documentation/bookmark/Optimization.md b/documentation/bookmark/optimization.md
index 289980282..f94497546 100644
--- a/documentation/bookmark/Optimization.md
+++ b/documentation/bookmark/optimization.md
@@ -12,6 +12,7 @@
# Reference
+1. [Inline caching](https://bernsteinbear.com/blog/inline-caching/)
1. [Weird and Wonderful Division Tricks](https://saml98.github.io/jekyll/update/2020/02/21/weird-division.htmls)
1. [Towards a Domain-Extensible Compiler: Optimizingan Image Processing Pipeline on Mobile CPUs](https://thok.eu/publications/2021/cgo.pdf)
1. [Compiler Detection of Function Call Side Effects](https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=B3D92D05C88C3D9C165785594350C169?doi=10.1.1.70.2096&rep=rep1&type=pdf)
@@ -37,4 +38,5 @@
1. https://nfrechette.github.io/2019/05/08/sign_flip_optimization/
1. https://grin-tech.github.io/
1. [Loop Optimizations in LLVM - Michael Kruse](https://www.youtube.com/watch?v=oAPgGYr8T3Y)
+1. [Don’t think, just defunctionalize](https://www.joachim-breitner.de/blog/778-Don%E2%80%99t_think%2C_just_defunctionalize)
diff --git a/documentation/bookmark/Security.md b/documentation/bookmark/security.md
index 4ea9b1b46..6809cd624 100644
--- a/documentation/bookmark/Security.md
+++ b/documentation/bookmark/security.md
@@ -60,6 +60,8 @@
# Reference
+1. https://www.nomoreransom.org/en/index.html
+1. [Open Source Security Foundation (OpenSSF)](https://openssf.org/)
1. [Don't get pwned: practicing the principle of least privilege](https://cloud.google.com/blog/products/identity-security/dont-get-pwned-practicing-the-principle-of-least-privilege)
1. [Good Practices for Capability URLs](https://www.w3.org/TR/capability-urls/)
1. [Secure Socket API](https://securesocketapi.org/)
diff --git a/documentation/bookmark/text_editor & ide.md b/documentation/bookmark/text_editor & ide.md
index 8ffbb5bb9..62e953e7b 100644
--- a/documentation/bookmark/text_editor & ide.md
+++ b/documentation/bookmark/text_editor & ide.md
@@ -50,6 +50,7 @@
# Reference
+1. [Build Your Own Text Editor](https://viewsourcecode.org/snaptoken/kilo/index.html)
1. [On the design of text editors](https://arxiv.org/abs/2008.06030)
1. [The Piece Table - the Unsung Hero of Your Text Editor](https://darrenburns.net/posts/piece-table/)
1. [Build Your Own Text Editor](https://viewsourcecode.org/snaptoken/kilo/)
diff --git a/documentation/bookmark/tool/Search.md b/documentation/bookmark/tool/Search.md
deleted file mode 100644
index 323f9e8bb..000000000
--- a/documentation/bookmark/tool/Search.md
+++ /dev/null
@@ -1,4 +0,0 @@
-# Semantic search
-
-1. https://github.com/returntocorp/semgrep
-
diff --git a/documentation/bookmark/tool/search.md b/documentation/bookmark/tool/search.md
new file mode 100644
index 000000000..edc2a2df6
--- /dev/null
+++ b/documentation/bookmark/tool/search.md
@@ -0,0 +1,6 @@
+# Semantic search
+
+1. [The SOUL program query language](http://soft.vub.ac.be/SOUL/)
+1. [Git - how do I view the change history of a method/function?](https://stackoverflow.com/questions/4781405/git-how-do-i-view-the-change-history-of-a-method-function)
+1. https://github.com/returntocorp/semgrep
+
diff --git a/documentation/bookmark/Type theory/Cost analysis.md b/documentation/bookmark/type_theory/cost_analysis.md
index 6e92c792e..6e92c792e 100644
--- a/documentation/bookmark/Type theory/Cost analysis.md
+++ b/documentation/bookmark/type_theory/cost_analysis.md
diff --git a/documentation/bookmark/Type theory/Dependent types.md b/documentation/bookmark/type_theory/dependent_types.md
index b2afc30bd..68fef10f3 100644
--- a/documentation/bookmark/Type theory/Dependent types.md
+++ b/documentation/bookmark/type_theory/dependent_types.md
@@ -5,6 +5,8 @@
# Reference
+1. [From Scheme to Dependent Types in 100 lines by Gershom Bazerman (Part 1)](https://vimeo.com/134561872)
+1. [From Scheme to Dependent Types in 100 Lines by Gershom Bazerman (Part 2)](https://vimeo.com/135746080)
1. [Program = Proof](http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf)
1. [Multimodal Dependent Type Theory](https://arxiv.org/abs/2011.15021)
1. [Thorsten Altenkirch - The power of Π - Lambda Days 2020](https://www.youtube.com/watch?v=3zT5eVHpQwA)
diff --git a/documentation/bookmark/Type theory/Refinement.md b/documentation/bookmark/type_theory/refinement.md
index f0d0a1f06..f0d0a1f06 100644
--- a/documentation/bookmark/Type theory/Refinement.md
+++ b/documentation/bookmark/type_theory/refinement.md
diff --git a/documentation/bookmark/Type theory/Row polymorphism.md b/documentation/bookmark/type_theory/row_polymorphism.md
index 3194405ff..3194405ff 100644
--- a/documentation/bookmark/Type theory/Row polymorphism.md
+++ b/documentation/bookmark/type_theory/row_polymorphism.md
diff --git a/documentation/bookmark/Type theory/Type checking.md b/documentation/bookmark/type_theory/type_checking.md
index d26019e88..d26019e88 100644
--- a/documentation/bookmark/Type theory/Type checking.md
+++ b/documentation/bookmark/type_theory/type_checking.md