diff options
Diffstat (limited to 'documentation/research')
| -rw-r--r-- | documentation/research/Memory Management.md | 1 | ||||
| -rw-r--r-- | documentation/research/Optics (eg lenses & prisms).md | 1 | ||||
| -rw-r--r-- | documentation/research/Security.md | 1 | ||||
| -rw-r--r-- | documentation/research/browser.md | 1 | ||||
| -rw-r--r-- | documentation/research/game_programming.md | 4 | ||||
| -rw-r--r-- | documentation/research/machine_learning.md | 1 | ||||
| -rw-r--r-- | documentation/research/math.md | 2 | ||||
| -rw-r--r-- | documentation/research/operating_system.md | 1 | ||||
| -rw-r--r-- | documentation/research/paradigm/probabilistic_programming.md | 2 | ||||
| -rw-r--r-- | documentation/research/text_editor & ide.md | 2 | ||||
| -rw-r--r-- | documentation/research/tool/compiler.md | 4 |
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) + |