aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark
diff options
context:
space:
mode:
authorEduardo Julian2021-08-19 04:59:06 -0400
committerEduardo Julian2021-08-19 04:59:06 -0400
commitd772fe99d5d4990c6774481fb64d12280cdb6aae (patch)
tree209a2ce3b8e896be15db40bc58db830a5304b4f9 /documentation/bookmark
parente00ba096c8837abe85d366e0c1293c09dbe84d81 (diff)
Enabled compile-time code evaluation (i.e. "eval" function).
Diffstat (limited to '')
-rw-r--r--documentation/bookmark/Compilation.md4
-rw-r--r--documentation/bookmark/algorithm.md4
-rw-r--r--documentation/bookmark/compilation.md8
-rw-r--r--documentation/bookmark/composition.md4
-rw-r--r--documentation/bookmark/database.md2
-rw-r--r--documentation/bookmark/database/key_value.md4
-rw-r--r--documentation/bookmark/floating_point.md1
-rw-r--r--documentation/bookmark/incremental_computing.md5
-rw-r--r--documentation/bookmark/inspiration.md1
-rw-r--r--documentation/bookmark/specification.md4
-rw-r--r--documentation/bookmark/spreadsheet.md4
-rw-r--r--documentation/bookmark/type_theory/dependent_types.md1
-rw-r--r--documentation/bookmark/user_interface/human_computer_interaction.md4
-rw-r--r--documentation/bookmark/web_framework.md1
14 files changed, 43 insertions, 4 deletions
diff --git a/documentation/bookmark/Compilation.md b/documentation/bookmark/Compilation.md
deleted file mode 100644
index 2249ebdc3..000000000
--- a/documentation/bookmark/Compilation.md
+++ /dev/null
@@ -1,4 +0,0 @@
-# Demand-driven
-
-1. [Queries: demand-driven compilation](https://github.com/rust-lang/rustc-guide/blob/master/src/query.md)
-
diff --git a/documentation/bookmark/algorithm.md b/documentation/bookmark/algorithm.md
new file mode 100644
index 000000000..43d3ad8ae
--- /dev/null
+++ b/documentation/bookmark/algorithm.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [There and Back Again](https://www.brics.dk/RS/01/39/BRICS-RS-01-39.pdf)
+
diff --git a/documentation/bookmark/compilation.md b/documentation/bookmark/compilation.md
new file mode 100644
index 000000000..ddd165e6e
--- /dev/null
+++ b/documentation/bookmark/compilation.md
@@ -0,0 +1,8 @@
+# Extensibility & control
+
+1. [Compilation Strategies as Objects](https://www.researchgate.net/publication/2273387_Compilation_Strategies_as_Objects)
+
+# Demand-driven
+
+1. [Queries: demand-driven compilation](https://github.com/rust-lang/rustc-guide/blob/master/src/query.md)
+
diff --git a/documentation/bookmark/composition.md b/documentation/bookmark/composition.md
new file mode 100644
index 000000000..85c6daba3
--- /dev/null
+++ b/documentation/bookmark/composition.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Open, extensible composition models](http://www.vpri.org/pdf/tr2011002_oecm.pdf)
+
diff --git a/documentation/bookmark/database.md b/documentation/bookmark/database.md
index 3ef227087..0e27f89cf 100644
--- a/documentation/bookmark/database.md
+++ b/documentation/bookmark/database.md
@@ -90,6 +90,8 @@
# Storage
+1. [Database Internals: A deep-dive into how distributed data systems work](https://www.oreilly.com/library/view/database-internals/9781492040330/)
+1. [B-Trees: More Than I Thought I'd Want to Know](https://benjamincongdon.me/blog/2021/08/17/B-Trees-More-Than-I-Thought-Id-Want-to-Know/)
1. [Understanding LSM Trees: What Powers Write-Heavy Databases](https://yetanotherdevblog.com/lsm/)
1. http://www.benstopford.com/2015/02/14/log-structured-merge-trees/
1. A Comparison of Adaptive Radix Trees and Hash Tables
diff --git a/documentation/bookmark/database/key_value.md b/documentation/bookmark/database/key_value.md
new file mode 100644
index 000000000..3943ad31b
--- /dev/null
+++ b/documentation/bookmark/database/key_value.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Fast key-value stores: An idea whose time has come and gone](https://storage.googleapis.com/pub-tools-public-publication-data/pdf/03de87e2856b06a94ffae7dca218db2d4b9afd39.pdf)
+
diff --git a/documentation/bookmark/floating_point.md b/documentation/bookmark/floating_point.md
index 47527b43e..509990dd1 100644
--- a/documentation/bookmark/floating_point.md
+++ b/documentation/bookmark/floating_point.md
@@ -30,5 +30,6 @@
# Algorithm
+1. [Speeding up atan2f by 50x](https://mazzo.li/posts/vectorized-atan2.html)
1. [Kahan summation algorithm](https://en.wikipedia.org/wiki/Kahan_summation_algorithm)
diff --git a/documentation/bookmark/incremental_computing.md b/documentation/bookmark/incremental_computing.md
new file mode 100644
index 000000000..9daa63439
--- /dev/null
+++ b/documentation/bookmark/incremental_computing.md
@@ -0,0 +1,5 @@
+# Reference
+
+1. [Incremental computing](https://en.wikipedia.org/wiki/Incremental_computing)
+1. [A theory of changes for higher-order languages](https://www.researchgate.net/publication/269126515_A_theory_of_changes_for_higher-order_languages)
+
diff --git a/documentation/bookmark/inspiration.md b/documentation/bookmark/inspiration.md
index 5331f9a0b..1a99e455f 100644
--- a/documentation/bookmark/inspiration.md
+++ b/documentation/bookmark/inspiration.md
@@ -16,6 +16,7 @@
# Tool
+1. [Building Developer Tools](https://explog.in/notes/devtools/index.html)
1. [Toward the next generation of programming tools: Programmers have built great tools for others. It’s time they built some for themselves.](https://www.oreilly.com/radar/toward-the-next-generation-of-programming-tools/)
# Software engineering
diff --git a/documentation/bookmark/specification.md b/documentation/bookmark/specification.md
new file mode 100644
index 000000000..cac3f547a
--- /dev/null
+++ b/documentation/bookmark/specification.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Announcing Spectacle – A language for Writing and Checking Formal Specifications in Haskell](https://awakesecurity.com/blog/spectacle-a-language-for-writing-and-checking-formal-specifications-in-haskell/)
+
diff --git a/documentation/bookmark/spreadsheet.md b/documentation/bookmark/spreadsheet.md
new file mode 100644
index 000000000..74bb1311f
--- /dev/null
+++ b/documentation/bookmark/spreadsheet.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [HyperFormula](https://handsontable.github.io/hyperformula/)
+
diff --git a/documentation/bookmark/type_theory/dependent_types.md b/documentation/bookmark/type_theory/dependent_types.md
index 6feb91d99..2ba13222b 100644
--- a/documentation/bookmark/type_theory/dependent_types.md
+++ b/documentation/bookmark/type_theory/dependent_types.md
@@ -5,6 +5,7 @@
# Reference
+1. [A Language Agnostic Introduction to Dependent Types](https://www.shuangrimu.com/posts/language-agnostic-intro-to-dependent-types.html)
1. [The Gentle Art of Levitation](http://lambda-the-ultimate.org/node/5526)
1. [Programming up to Congruence](http://www.cs.yale.edu/homes/vilhelm/papers/popl15congruence.pdf)
1. [From Scheme to Dependent Types in 100 lines by Gershom Bazerman (Part 1)](https://vimeo.com/134561872)
diff --git a/documentation/bookmark/user_interface/human_computer_interaction.md b/documentation/bookmark/user_interface/human_computer_interaction.md
new file mode 100644
index 000000000..1eb2ce86d
--- /dev/null
+++ b/documentation/bookmark/user_interface/human_computer_interaction.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems](https://andymatuschak.org/files/papers/Shipman%20and%20Marshall%20-%201999%20-%20Formality%20Considered%20Harmful%20Experiences,%20Emergin.pdf)
+
diff --git a/documentation/bookmark/web_framework.md b/documentation/bookmark/web_framework.md
index 7e8a36a48..406a770a2 100644
--- a/documentation/bookmark/web_framework.md
+++ b/documentation/bookmark/web_framework.md
@@ -152,6 +152,7 @@
# Rendering
+1. [The Virtual DOM is slow. Meet the Memoized DOM](https://www.freecodecamp.org/news/the-virtual-dom-is-slow-meet-the-memoized-dom-bb19f546cc52/)
1. [Incrementally Improving The DOM](https://blog.functorial.com/posts/2018-04-08-Incrementally-Improving-The-DOM.html)
1. https://medium.com/@ryansolid/the-fastest-way-to-render-the-dom-e3b226b15ca3
1. https://github.com/Famous/engine