aboutsummaryrefslogtreecommitdiff
path: root/documentation/research
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/research')
-rw-r--r--documentation/research/Memory Management.md1
-rw-r--r--documentation/research/Optics (eg lenses & prisms).md1
-rw-r--r--documentation/research/Security.md1
-rw-r--r--documentation/research/browser.md1
-rw-r--r--documentation/research/game_programming.md4
-rw-r--r--documentation/research/machine_learning.md1
-rw-r--r--documentation/research/math.md2
-rw-r--r--documentation/research/operating_system.md1
-rw-r--r--documentation/research/paradigm/probabilistic_programming.md2
-rw-r--r--documentation/research/text_editor & ide.md2
-rw-r--r--documentation/research/tool/compiler.md4
11 files changed, 20 insertions, 0 deletions
diff --git a/documentation/research/Memory Management.md b/documentation/research/Memory Management.md
index a0524caef..f6e59bca1 100644
--- a/documentation/research/Memory Management.md
+++ b/documentation/research/Memory Management.md
@@ -8,6 +8,7 @@
# Reference counting
+1. [Introducing --gc:arc](https://forum.nim-lang.org/t/5734)
1. [Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming](https://arxiv.org/abs/1908.05647)
# Layout
diff --git a/documentation/research/Optics (eg lenses & prisms).md b/documentation/research/Optics (eg lenses & prisms).md
index 62667bbfc..493b05c61 100644
--- a/documentation/research/Optics (eg lenses & prisms).md
+++ b/documentation/research/Optics (eg lenses & prisms).md
@@ -1,5 +1,6 @@
# Reference
+1. [On Lawful Lenses](https://blog.statebox.org/on-lawful-lenses-6e18a1e17bdf)
1. https://medium.com/urbint-engineering/haskell-lens-operator-onboarding-a235481e8fac
1. https://fstarlang.github.io/general/2018/01/12/lens-indexed-lenses.html
1. [Jeremy Gibbons - Profunctor Optics Modular Data Accessors](https://www.youtube.com/watch?v=sfWzUMViP0M &&& http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf)
diff --git a/documentation/research/Security.md b/documentation/research/Security.md
index bf6f219a5..2cc7cbc9b 100644
--- a/documentation/research/Security.md
+++ b/documentation/research/Security.md
@@ -1,5 +1,6 @@
# Finger-printing
+1. [How Browser Fingerprinting Works](https://kevq.uk/how-browser-fingerprinting-works/)
1. https://github.com/Valve/fingerprintjs2
# Access Control List
diff --git a/documentation/research/browser.md b/documentation/research/browser.md
index 47acd66e8..7579e468b 100644
--- a/documentation/research/browser.md
+++ b/documentation/research/browser.md
@@ -1,5 +1,6 @@
# Exemplar
+1. [Flow: The super fast, multithreaded HTML5 browser from Ekioh](https://www.ekioh.com/flow-browser/)
1. https://refresh.study/
1. https://github.com/breach/breach_core
1. https://github.com/browserhtml/browserhtml
diff --git a/documentation/research/game_programming.md b/documentation/research/game_programming.md
index f1bcced0f..52e8a6034 100644
--- a/documentation/research/game_programming.md
+++ b/documentation/research/game_programming.md
@@ -1,3 +1,7 @@
+# Path finding
+
+1. [Friday Facts #317 - New pathfinding algorithm](https://factorio.com/blog/post/fff-317)
+
# Conduct
1. [Kawa - Yet Another Conduct Conversation: a history of conducts in roguelikes](https://www.youtube.com/watch?v=KLHJsJuJfYg)
diff --git a/documentation/research/machine_learning.md b/documentation/research/machine_learning.md
index fe5871b87..d897b7730 100644
--- a/documentation/research/machine_learning.md
+++ b/documentation/research/machine_learning.md
@@ -73,6 +73,7 @@
# Differentiable programming
+1. [The Taichi Programming Language](http://taichi.graphics/)
1. [The principles behind Differentiable Programming - Erik Meijer](https://www.youtube.com/watch?v=lk0PhtSHE38)
1. [Kotlin∇: Type-safe Symbolic Differentiation for Kotlin](https://github.com/breandan/kotlingrad)
1. [Differentiable Programming Manifesto](https://github.com/apple/swift/blob/master/docs/DifferentiableProgramming.md)
diff --git a/documentation/research/math.md b/documentation/research/math.md
index 69f045c43..c6c014e9f 100644
--- a/documentation/research/math.md
+++ b/documentation/research/math.md
@@ -105,6 +105,7 @@
# Linear Algebra
+1. [Interactive Linear Algebra](https://textbooks.math.gatech.edu/ila/)
1. [Don’t invert that matrix](https://www.johndcook.com/blog/2010/01/19/dont-invert-that-matrix/)
1. [“Don’t invert that matrix” – why and how](https://civilstat.com/2015/07/dont-invert-that-matrix-why-and-how/)
1. [Thirty-three Miniatures: Mathematical and Algorithmic Applications of Linear Algebra](https://kam.mff.cuni.cz/~matousek/stml-53-matousek-1.pdf)
@@ -195,6 +196,7 @@
# Calculus
+1. [The Fractional Derivative, what is it? | Introduction to Fractional Calculus](https://www.youtube.com/watch?v=A4sTAKN6yFA)
1. [Calculus on Manifolds](http://strangebeautiful.com/other-texts/spivak-calc-manifolds.pdf)
1. [Calculus BLUE](https://www.youtube.com/watch?v=Jes5jwLl1q8&list=PL8erL0pXF3JYm7VaTdKDaWc8Q3FuP8Sa7)
1. [Extending the Algebraic Manipulability of Differentials](https://arxiv.org/abs/1801.09553)
diff --git a/documentation/research/operating_system.md b/documentation/research/operating_system.md
index dcd6c0977..154bdd286 100644
--- a/documentation/research/operating_system.md
+++ b/documentation/research/operating_system.md
@@ -12,6 +12,7 @@
# Graphics | Rendering
+1. [Text Rendering Hates You](https://gankra.github.io/blah/text-hates-you/)
1. https://fuchsia.googlesource.com/garnet/+/master/docs/ui/scenic.md
# Exemplar
diff --git a/documentation/research/paradigm/probabilistic_programming.md b/documentation/research/paradigm/probabilistic_programming.md
index 0a4670d9a..8b75033f5 100644
--- a/documentation/research/paradigm/probabilistic_programming.md
+++ b/documentation/research/paradigm/probabilistic_programming.md
@@ -11,6 +11,8 @@
# Reference
+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)
1. [Anatomy of a Probabilistic Programming Framework](https://eigenfoo.xyz/prob-prog-frameworks/)
1. [Probabilistic Programming with monad‑bayes, Part 1: First Steps](https://www.tweag.io/posts/2019-09-20-monad-bayes-1.html)
diff --git a/documentation/research/text_editor & ide.md b/documentation/research/text_editor & ide.md
index 98491682d..0df73ac2d 100644
--- a/documentation/research/text_editor & ide.md
+++ b/documentation/research/text_editor & ide.md
@@ -118,6 +118,8 @@
# Parsing
+1. [tree-sitter](http://tree-sitter.github.io/tree-sitter/)
+1. [tree-sitter: An incremental parsing system for programming tools](https://github.com/tree-sitter/tree-sitter)
1. https://blog.github.com/2018-10-31-atoms-new-parsing-system/
1. ["Tree-sitter - a new parsing system for programming tools" by Max Brunsfeld](https://www.youtube.com/watch?v=Jes3bD6P0To)
diff --git a/documentation/research/tool/compiler.md b/documentation/research/tool/compiler.md
new file mode 100644
index 000000000..1cfe0b5d6
--- /dev/null
+++ b/documentation/research/tool/compiler.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Calculating Correct Compilers II: Return of the Register Machines](http://www.cs.nott.ac.uk/~pszgmh/ccc2.pdf)
+