From bbb6356a4a4f853dc48a54f1668c6712f0ef659f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 9 Jun 2020 23:57:50 -0400 Subject: Basic pattern-matching optimizations. --- documentation/research/Optimization.md | 4 ++++ documentation/research/distributed_programming.md | 1 + documentation/research/math.md | 5 +++++ documentation/research/paradigm/probabilistic_programming.md | 1 + 4 files changed, 11 insertions(+) (limited to 'documentation') 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) -- cgit v1.2.3