aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/bookmark')
-rw-r--r--documentation/bookmark/commercialization/promotion.md4
-rw-r--r--documentation/bookmark/database.md1
-rw-r--r--documentation/bookmark/logging.md1
-rw-r--r--documentation/bookmark/math/geometry/bezier_curves.md1
-rw-r--r--documentation/bookmark/optimization.md1
-rw-r--r--documentation/bookmark/tool/text_editor.md4
-rw-r--r--documentation/bookmark/type_theory.md1
-rw-r--r--documentation/bookmark/web_framework.md1
8 files changed, 14 insertions, 0 deletions
diff --git a/documentation/bookmark/commercialization/promotion.md b/documentation/bookmark/commercialization/promotion.md
new file mode 100644
index 000000000..679ceba80
--- /dev/null
+++ b/documentation/bookmark/commercialization/promotion.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [How to promote your Github project](https://hackernoon.com/how-to-promote-your-github-project-1b39a7eee841)
+
diff --git a/documentation/bookmark/database.md b/documentation/bookmark/database.md
index 8c07f0279..20b367bfc 100644
--- a/documentation/bookmark/database.md
+++ b/documentation/bookmark/database.md
@@ -24,6 +24,7 @@
# Query
+1. ["Morel, a functional query language" by Julian Hyde](https://www.youtube.com/watch?v=smUm3C5q2IM)
1. [Comprehending Ringads](http://lambda-the-ultimate.org/node/5525)
1. [Reasons why SELECT * is bad for SQL performance](https://tanelpoder.com/posts/reasons-why-select-star-is-bad-for-sql-performance/)
1. [A Short Story About SQL’s Biggest Rival](https://www.holistics.io/blog/quel-vs-sql/)
diff --git a/documentation/bookmark/logging.md b/documentation/bookmark/logging.md
index 8f89b529e..5e7f4dc6c 100644
--- a/documentation/bookmark/logging.md
+++ b/documentation/bookmark/logging.md
@@ -1,5 +1,6 @@
# Reference
+1. [Structured Logging for Python](https://www.structlog.org/en/latest/)
1. [The Value of Correlation IDs](https://www.rapid7.com/blog/post/2016/12/23/the-value-of-correlation-ids/)
1. [IceCream — Never use print() to debug again](https://github.com/gruns/icecream)
1. [Capabilities of Elixir's Logger](https://blog.appsignal.com/2020/10/13/capabilities-of-elixir-logger.html)
diff --git a/documentation/bookmark/math/geometry/bezier_curves.md b/documentation/bookmark/math/geometry/bezier_curves.md
index c92aa1747..e8c36e995 100644
--- a/documentation/bookmark/math/geometry/bezier_curves.md
+++ b/documentation/bookmark/math/geometry/bezier_curves.md
@@ -1,5 +1,6 @@
# Reference
+1. [Curves and Surfaces](https://ciechanow.ski/curves-and-surfaces/)
1. [The Beauty of Bézier Curves](https://www.youtube.com/watch?v=aVwxzDHniEw)
1. [Circles and lines vs. polynomial splines](https://wordsandbuttons.online/circles_and_lines_vs_polynomial_splines.html)
1. https://cormullion.github.io/blog/2018/06/21/bezier.html
diff --git a/documentation/bookmark/optimization.md b/documentation/bookmark/optimization.md
index a0492fb9f..5ecf29694 100644
--- a/documentation/bookmark/optimization.md
+++ b/documentation/bookmark/optimization.md
@@ -8,6 +8,7 @@
# Compilation
+1. ["Outperforming Imperative with Pure Functional Languages" by Richard Feldman](https://www.youtube.com/watch?v=vzfy4EKwG_Y)
1. [CompilerGym: Making compiler optimizations accessible to all](https://ai.facebook.com/blog/compilergym-making-compiler-optimizations-accessible-to-all)
1. [Future Directions for Optimizing Compilers](https://arxiv.org/abs/1809.02161)
diff --git a/documentation/bookmark/tool/text_editor.md b/documentation/bookmark/tool/text_editor.md
index 43db79a29..2142fa0be 100644
--- a/documentation/bookmark/tool/text_editor.md
+++ b/documentation/bookmark/tool/text_editor.md
@@ -1,3 +1,7 @@
+# Modal editing
+
+1. [Beyond Vim and Emacs: A Scalable UI Paradigm](https://emacsconf.org/2020/talks/07/)
+
# Code navigation
1. ["Incremental, zero-config Code Nav using stack graphs" by Douglas Creager](https://www.youtube.com/watch?v=l2R1PTGcwrE)
diff --git a/documentation/bookmark/type_theory.md b/documentation/bookmark/type_theory.md
index b27a26a37..ee7af75b7 100644
--- a/documentation/bookmark/type_theory.md
+++ b/documentation/bookmark/type_theory.md
@@ -1,5 +1,6 @@
# Reference
+1. [A Sequent Calculus for Type Theory](http://www.cs.ru.nl/J.McKinna/RESEARCH/csl2006.pdf)
1. [Statically typed PostgreSQL queries in TypeScript](https://www.cs.mcgill.ca/~mxia3/2016/11/18/Statically-typed-PostgreSQL-queries-and-typescript-schemats/)
1. [Lambdas are Codatatypes](http://blog.ielliott.io/lambdas-are-codatatypes/)
1. [SPL LIFT— Statically Analyzing Software Product Linesin Minutes Instead of Years](https://www.bodden.de/pubs/bmb+13spllift.pdf)
diff --git a/documentation/bookmark/web_framework.md b/documentation/bookmark/web_framework.md
index 406a770a2..bfbc68245 100644
--- a/documentation/bookmark/web_framework.md
+++ b/documentation/bookmark/web_framework.md
@@ -28,6 +28,7 @@
# Exemplar
+1. ["Janus: Easy Complex UI with Declarative FRP" by Issa Tseng](https://www.youtube.com/watch?v=7S57O3VwIyQ)
1. https://github.com/alpinejs/alpine
1. [Mint: The programming language for writing single page applications.](https://www.mint-lang.com/)
1. [root: A recursive UI resolver](https://github.com/den1k/root)