diff options
| author | Eduardo Julian | 2021-02-07 04:56:58 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-02-07 04:56:58 -0400 |
| commit | d99c47989a1047cd24019fd5ce434e701b5d3519 (patch) | |
| tree | 19bfb0f5e4713e5dcd0c71bbd7b88d09d75dfe5d /documentation | |
| parent | 571d816dfd0b056a1649f5057867abbfa4421f5d (diff) | |
Mo' updates, less problems.
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/bookmark/Testing.md | 4 | ||||
| -rw-r--r-- | documentation/bookmark/Type theory/Dependent types.md | 4 | ||||
| -rw-r--r-- | documentation/bookmark/database.md | 5 | ||||
| -rw-r--r-- | documentation/bookmark/inspiration.md | 4 | ||||
| -rw-r--r-- | documentation/bookmark/parallelism.md | 5 |
5 files changed, 22 insertions, 0 deletions
diff --git a/documentation/bookmark/Testing.md b/documentation/bookmark/Testing.md index 32d47ea8d..92e56eff3 100644 --- a/documentation/bookmark/Testing.md +++ b/documentation/bookmark/Testing.md @@ -10,3 +10,7 @@ 1. [Ricardo Peña - White-Box Path Generation in Recursive Programs - Lambda Days 2020](https://www.youtube.com/watch?v=7RXJhPaQCkc) +# Mocking + +1. [Testing Without Mocks: A Pattern Language](https://www.jamesshore.com/Blog/Testing-Without-Mocks.html) + diff --git a/documentation/bookmark/Type theory/Dependent types.md b/documentation/bookmark/Type theory/Dependent types.md index 9f8700676..b2afc30bd 100644 --- a/documentation/bookmark/Type theory/Dependent types.md +++ b/documentation/bookmark/Type theory/Dependent types.md @@ -43,3 +43,7 @@ 1. https://cs.ru.nl/~wouters/Publications/ThePowerOfPi.pdf 1. [Algebraic Presentations of Dependent Type Theories](https://arxiv.org/abs/1602.08504v3) +# Math | Proofs + +1. http://logipedia.inria.fr/about/about.php + diff --git a/documentation/bookmark/database.md b/documentation/bookmark/database.md index 765f5ba0f..749de9419 100644 --- a/documentation/bookmark/database.md +++ b/documentation/bookmark/database.md @@ -1,3 +1,8 @@ +# Multiversion Concurrency Control + +1. [Multiversion Concurrency Control: Theory and Algorithms](http://sungsoo.github.io/papers/bernstein-1983.pdf) +1. []() + # Pagination 1. [Pagination with Relative Cursors](https://shopify.engineering/pagination-relative-cursors) diff --git a/documentation/bookmark/inspiration.md b/documentation/bookmark/inspiration.md index 46af02a40..e4d650fc5 100644 --- a/documentation/bookmark/inspiration.md +++ b/documentation/bookmark/inspiration.md @@ -13,6 +13,10 @@ 1. [Awesome Java](https://github.com/akullpp/awesome-java) 1. [Build your own (insert technology here)](https://github.com/danistefanovic/build-your-own-x) 1. https://github.com/charlax/professional-programming +1. [Awesome Java Security Resources](https://github.com/guardrailsio/awesome-java-security) +1. https://github.com/danluu/post-mortems +1. [Awesome lists about all kinds of interesting topics](https://github.com/sindresorhus/awesome) +1. https://github.com/hwayne/awesome-cold-showers 1. []() # Opinion diff --git a/documentation/bookmark/parallelism.md b/documentation/bookmark/parallelism.md new file mode 100644 index 000000000..a1829df9c --- /dev/null +++ b/documentation/bookmark/parallelism.md @@ -0,0 +1,5 @@ +# Reference + +1. [Arachne: Towards Core-Aware Scheduling](https://github.com/PlatformLab/Arachne) +1. []() + |