aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--documentation/research/Optimization.md4
-rw-r--r--documentation/research/distributed_programming.md1
-rw-r--r--documentation/research/math.md5
-rw-r--r--documentation/research/paradigm/probabilistic_programming.md1
4 files changed, 11 insertions, 0 deletions
diff --git a/documentation/research/Optimization.md b/documentation/research/Optimization.md
index b0a7861a7..e31686963 100644
--- a/documentation/research/Optimization.md
+++ b/documentation/research/Optimization.md
@@ -1,3 +1,7 @@
+# Pre-fetching
+
+1. [Prefetching in Functional Languages](https://www.cl.cam.ac.uk/~tmj32/papers/docs/ainsworth20-ismm.pdf)
+
# Partial evaluation
1. [AnyDSL - A Partial Evaluation Framework for Programming High-Performance Libraries](https://anydsl.github.io/)
diff --git a/documentation/research/distributed_programming.md b/documentation/research/distributed_programming.md
index ef4003e18..49ff324fe 100644
--- a/documentation/research/distributed_programming.md
+++ b/documentation/research/distributed_programming.md
@@ -5,6 +5,7 @@
# Reference
+1. [Ambients: Peer-to-Peer Programs and Data](https://ipfs.io/ipfs/QmPhPJE55GvqSz7Pwvkc8n9dbKmqGw6tUGTE1MgfNQvzsf)
1. [Bastion: Highly-available Distributed Fault-tolerant Runtime](https://bastion.rs/)
1. [DDD and Messaging Architectures: An overview of my different series on patterns in distributed systems.](http://verraes.net/2019/05/ddd-msg-arch/)
1. https://replicated.cc/
diff --git a/documentation/research/math.md b/documentation/research/math.md
index 5c4363680..21916064d 100644
--- a/documentation/research/math.md
+++ b/documentation/research/math.md
@@ -1,3 +1,7 @@
+# Tensor calculus
+
+1. [Introduction to Tensor Calculus](http://www.ita.uni-heidelberg.de/~dullemond/lectures/tensor/tensor.pdf)
+
# Geometry
1. [Perspectives on Projective Geometry: A Guided Tour through Real and Complex Geometry](https://www-m10.ma.tum.de/foswiki/pub/Lehre/WS0910/ProjektiveGeometrieWS0910/GeomBook.pdf)
@@ -145,6 +149,7 @@
# Category Theory
+1. [Programming with Categories](https://www.youtube.com/watch?v=Y5YCE_mVjvg&list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS&index=1)
1. [Awesome Applied Category Theory](https://github.com/statebox/awesome-applied-ct)
1. [Categorical Query Language](https://www.categoricaldata.net/)
1. [Abstract and Concrete Categories: The Joy of Cats](http://katmat.math.uni-bremen.de/acc/acc.pdf)
diff --git a/documentation/research/paradigm/probabilistic_programming.md b/documentation/research/paradigm/probabilistic_programming.md
index aeb4bf827..d1450f794 100644
--- a/documentation/research/paradigm/probabilistic_programming.md
+++ b/documentation/research/paradigm/probabilistic_programming.md
@@ -15,6 +15,7 @@
# Reference
+1. [The Distribution Monad](http://blog.russelldmatt.com/2018/10/15/the-distribution-monad.html)
1. ["New programming constructs for probabilistic AI" by Marco Cusumano-Towner](https://www.youtube.com/watch?v=xNutxms6SH4)
1. [A tour of probabilistic programming language APIs](https://colcarroll.github.io/ppl-api/)
1. [Paradigms of Probabilistic Programming](https://www.youtube.com/watch?v=CmH1xxKRbiE)