diff options
author | Eduardo Julian | 2021-08-19 04:59:06 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-19 04:59:06 -0400 |
commit | d772fe99d5d4990c6774481fb64d12280cdb6aae (patch) | |
tree | 209a2ce3b8e896be15db40bc58db830a5304b4f9 /documentation/bookmark | |
parent | e00ba096c8837abe85d366e0c1293c09dbe84d81 (diff) |
Enabled compile-time code evaluation (i.e. "eval" function).
Diffstat (limited to 'documentation/bookmark')
-rw-r--r-- | documentation/bookmark/Compilation.md | 4 | ||||
-rw-r--r-- | documentation/bookmark/algorithm.md | 4 | ||||
-rw-r--r-- | documentation/bookmark/compilation.md | 8 | ||||
-rw-r--r-- | documentation/bookmark/composition.md | 4 | ||||
-rw-r--r-- | documentation/bookmark/database.md | 2 | ||||
-rw-r--r-- | documentation/bookmark/database/key_value.md | 4 | ||||
-rw-r--r-- | documentation/bookmark/floating_point.md | 1 | ||||
-rw-r--r-- | documentation/bookmark/incremental_computing.md | 5 | ||||
-rw-r--r-- | documentation/bookmark/inspiration.md | 1 | ||||
-rw-r--r-- | documentation/bookmark/specification.md | 4 | ||||
-rw-r--r-- | documentation/bookmark/spreadsheet.md | 4 | ||||
-rw-r--r-- | documentation/bookmark/type_theory/dependent_types.md | 1 | ||||
-rw-r--r-- | documentation/bookmark/user_interface/human_computer_interaction.md | 4 | ||||
-rw-r--r-- | documentation/bookmark/web_framework.md | 1 |
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 |