diff options
Diffstat (limited to 'documentation/bookmark')
-rw-r--r-- | documentation/bookmark/commercialization/promotion.md | 4 | ||||
-rw-r--r-- | documentation/bookmark/database.md | 1 | ||||
-rw-r--r-- | documentation/bookmark/logging.md | 1 | ||||
-rw-r--r-- | documentation/bookmark/math/geometry/bezier_curves.md | 1 | ||||
-rw-r--r-- | documentation/bookmark/optimization.md | 1 | ||||
-rw-r--r-- | documentation/bookmark/tool/text_editor.md | 4 | ||||
-rw-r--r-- | documentation/bookmark/type_theory.md | 1 | ||||
-rw-r--r-- | documentation/bookmark/web_framework.md | 1 |
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) |