diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/research/Abstract interpretation.md | 4 | ||||
| -rw-r--r-- | documentation/research/Code mods.md | 6 | ||||
| -rw-r--r-- | documentation/research/Memory Management.md | 4 | ||||
| -rw-r--r-- | documentation/research/cryptography.md | 1 | ||||
| -rw-r--r-- | documentation/research/database.md | 6 | ||||
| -rw-r--r-- | documentation/research/distributed_programming.md | 1 | ||||
| -rw-r--r-- | documentation/research/math.md | 1 |
7 files changed, 20 insertions, 3 deletions
diff --git a/documentation/research/Abstract interpretation.md b/documentation/research/Abstract interpretation.md new file mode 100644 index 000000000..d98525f7c --- /dev/null +++ b/documentation/research/Abstract interpretation.md @@ -0,0 +1,4 @@ +# Reference + +1. ["Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng](https://www.youtube.com/watch?v=_fA7vkVJhF8) + diff --git a/documentation/research/Code mods.md b/documentation/research/Code mods.md new file mode 100644 index 000000000..8f90f91f6 --- /dev/null +++ b/documentation/research/Code mods.md @@ -0,0 +1,6 @@ +# Reference + +1. ["Parser Parser Combinators for Program Transformation" by Rijnard van Tonder](https://www.youtube.com/watch?v=JMZLBB_BFNg) +1. [Codemod](https://github.com/facebook/codemod) +1. [jscodeshift](https://github.com/facebook/jscodeshift) + diff --git a/documentation/research/Memory Management.md b/documentation/research/Memory Management.md index 80f80ce12..0d761c700 100644 --- a/documentation/research/Memory Management.md +++ b/documentation/research/Memory Management.md @@ -1,3 +1,7 @@ +# Compaction + +1. ["Compacting the Uncompactable" by Bobby Powers](https://www.youtube.com/watch?v=c1UBJbfR-H0) + # Reference counting 1. [Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming](https://arxiv.org/abs/1908.05647) diff --git a/documentation/research/cryptography.md b/documentation/research/cryptography.md index 2dfe331e4..7eaf9cc9f 100644 --- a/documentation/research/cryptography.md +++ b/documentation/research/cryptography.md @@ -9,6 +9,7 @@ # Zero-knowledge proof +1. ["Rhapsody in Zero Knowledge: Proving Without Revealing" by Tony Arcieri](https://www.youtube.com/watch?v=jKSz7W5dTgY) 1. [Zero-Knowledge Proofs: What are they, how do they work, and are they fast yet?](https://zkp.science/) # Hash diff --git a/documentation/research/database.md b/documentation/research/database.md index be17fb766..5c1566fbe 100644 --- a/documentation/research/database.md +++ b/documentation/research/database.md @@ -1,12 +1,12 @@ # Reference +1. ["Temporal Databases for Streaming Architectures" by Jeremy Taylor and Jon Pither](https://www.youtube.com/watch?v=ykbYNBE-V3k) +1. ["Makings of a Modern ACID Compliant Distributed Database" by Attila Szegedi](https://www.youtube.com/watch?v=pn8mCeX3LDE) 1. https://edgedb.com/blog/a-path-to-a-10x-database/ 1. https://cstack.github.io/db_tutorial/ 1. http://www.sql-workbench.eu/dbms_comparison.html 1. http://www.interdb.jp/pg/index.html -1. Foundations of Databases - - http://webdam.inria.fr/Alice/ +1. [Foundations of Databases](http://webdam.inria.fr/Alice/) 1. https://medium.com/textileio/building-the-firebase-for-crdts-7dd8dea8953a # Query diff --git a/documentation/research/distributed_programming.md b/documentation/research/distributed_programming.md index 17f48122c..fbc6fb734 100644 --- a/documentation/research/distributed_programming.md +++ b/documentation/research/distributed_programming.md @@ -48,6 +48,7 @@ # Programming language +1. ["Unison: a new distributed programming language" by Paul Chiusano](https://www.youtube.com/watch?v=gCWtkvDQ2ZI) 1. http://radicle.xyz/ 1. [Lambda World 2018 - Introduction to the Unison programming language - Rúnar Bjarnason](https://www.youtube.com/watch?v=rp_Eild1aq8) 1. https://www.infoq.com/presentations/language-design-process diff --git a/documentation/research/math.md b/documentation/research/math.md index 6f481936c..326d0f6db 100644 --- a/documentation/research/math.md +++ b/documentation/research/math.md @@ -21,6 +21,7 @@ # Topology +1. [What is Topology?](https://medium.com/cantors-paradise/what-is-topology-963ef4cc6365) 1. [Pointless topology](https://en.wikipedia.org/wiki/Pointless_topology) 1. [ELEMENTARY APPLIED TOPOLOGY](https://www.math.upenn.edu/~ghrist/notes.html) |