aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'documentation')
-rw-r--r--documentation/research/Code mods.md1
-rw-r--r--documentation/research/Graphic User Interface (GUI).md5
-rw-r--r--documentation/research/Security.md3
-rw-r--r--documentation/research/back-end/WebAssembly (WASM).md1
-rw-r--r--documentation/research/back-end/native.md1
-rw-r--r--documentation/research/database.md6
-rw-r--r--documentation/research/debugging.md2
-rw-r--r--documentation/research/distributed_programming.md5
-rw-r--r--documentation/research/documentation.md1
-rw-r--r--documentation/research/machine_learning.md2
-rw-r--r--documentation/research/paradigm/probabilistic_programming.md2
-rw-r--r--documentation/research/parsing.md3
-rw-r--r--documentation/research/runners or comodels.md4
13 files changed, 36 insertions, 0 deletions
diff --git a/documentation/research/Code mods.md b/documentation/research/Code mods.md
index 8f90f91f6..3a08c7cdb 100644
--- a/documentation/research/Code mods.md
+++ b/documentation/research/Code mods.md
@@ -1,5 +1,6 @@
# Reference
+1. https://comby.dev/
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/Graphic User Interface (GUI).md b/documentation/research/Graphic User Interface (GUI).md
new file mode 100644
index 000000000..a796aaf2c
--- /dev/null
+++ b/documentation/research/Graphic User Interface (GUI).md
@@ -0,0 +1,5 @@
+# Immediate mode
+
+1. [Sol on Immediate Mode GUIs (IMGUI)](http://sol.gfxile.net/imgui/)
+1. [Immediate-Mode Graphical User Interfaces (2005)](https://caseymuratori.com/blog_0001)
+
diff --git a/documentation/research/Security.md b/documentation/research/Security.md
index d6ec5abf9..cdb12bcb7 100644
--- a/documentation/research/Security.md
+++ b/documentation/research/Security.md
@@ -26,6 +26,9 @@
# Vulnerability
+1. [Padding the struct: How a compiler optimization can disclose stack memory](https://www.nccgroup.trust/us/about-us/newsroom-and-events/blog/2019/october/padding-the-struct-how-a-compiler-optimization-can-disclose-stack-memory/)
+1. [PCG generators are easily “crackable”](https://news.ycombinator.com/item?id=21475210)
+1. [Safely Creating And Using Temporary Files](https://www.netmeister.org/blog/mktemp.html)
1. [CSS Injection Primitives](https://x-c3ll.github.io/posts/CSS-Injection-Primitives/)
1. https://medium.com/@shnatsel/how-rusts-standard-library-was-vulnerable-for-years-and-nobody-noticed-aebf0503c3d6
1. [ACLs don’t](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.406.4684&rep=rep1&type=pdf)
diff --git a/documentation/research/back-end/WebAssembly (WASM).md b/documentation/research/back-end/WebAssembly (WASM).md
index 8b76d43bc..3e8f5092e 100644
--- a/documentation/research/back-end/WebAssembly (WASM).md
+++ b/documentation/research/back-end/WebAssembly (WASM).md
@@ -7,6 +7,7 @@
# Reference
+1. https://bytecodealliance.org/
1. [Faster Fractals with Multi-Threaded WebAssembly](https://blog.scottlogic.com/2019/07/15/multithreaded-webassembly.html)
1. https://blog.scottlogic.com/2018/07/20/wasm-future.html
1. http://fitzgeraldnick.com/2018/04/26/how-does-dynamic-dispatch-work-in-wasm.html
diff --git a/documentation/research/back-end/native.md b/documentation/research/back-end/native.md
index 56fa11e0a..19ad6f882 100644
--- a/documentation/research/back-end/native.md
+++ b/documentation/research/back-end/native.md
@@ -48,6 +48,7 @@
# Floating point arithmetic
+1. https://floating-point-gui.de/
1. [Faster floating point arithmetic with Exclusive OR](http://nfrechette.github.io/2019/10/22/float_xor_optimization/)
1. https://oded.ninja/2017/05/01/floating-point/
1. [What Every Computer Scientist Should Know About Floating-Point Arithmetic](http://www.lsi.upc.edu/~robert/teaching/master/material/p5-goldberg.pdf)
diff --git a/documentation/research/database.md b/documentation/research/database.md
index 52447b970..3445b0aa7 100644
--- a/documentation/research/database.md
+++ b/documentation/research/database.md
@@ -9,6 +9,10 @@
1. [Foundations of Databases](http://webdam.inria.fr/Alice/)
1. https://medium.com/textileio/building-the-firebase-for-crdts-7dd8dea8953a
+# Data structure
+
+1. [The Concurrent 2-Trie](https://medium.com/@chrisvest/the-concurrent-2-trie-67deb2b57ba1)
+
# Query
1. https://www.influxdata.com/blog/why-were-building-flux-a-new-data-scripting-and-query-language/
@@ -104,6 +108,8 @@
# Exemplar
+1. [Database of Databases](https://dbdb.io/)
+
## General
1. https://github.com/Workiva/eva/
diff --git a/documentation/research/debugging.md b/documentation/research/debugging.md
index 2dd5d74e7..555ae3e7f 100644
--- a/documentation/research/debugging.md
+++ b/documentation/research/debugging.md
@@ -4,6 +4,7 @@
# Tool
+1. [drgn: Scriptable debugger library](https://github.com/osandov/drgn)
1. [Debug Adapter Protocol](https://microsoft.github.io/debug-adapter-protocol/)
1. https://github.com/srg-imperial/SaBRe
1. https://developer.mozilla.org/en-US/docs/Mozilla/Projects/WebReplay
@@ -19,6 +20,7 @@
# Reference
+1. [The Power Of Collaborative Debugging](https://robert.ocallahan.org/2019/11/the-power-of-collaborative-debugging.html)
1. [Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs](https://stefan-marr.de/2019/07/what-if-we-could-see-all-concurrency-bugs-in-the-debugger/)
1. [Writing a Debugger](http://system.joekain.com/debugger/)
1. https://en.wikipedia.org/wiki/Jinx_Debugger
diff --git a/documentation/research/distributed_programming.md b/documentation/research/distributed_programming.md
index 4c753b4b2..ef4003e18 100644
--- a/documentation/research/distributed_programming.md
+++ b/documentation/research/distributed_programming.md
@@ -5,6 +5,7 @@
# Reference
+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/
1. http://www.the-paper-trail.org/post/2014-08-09-distributed-systems-theory-for-the-distributed-systems-engineer/
@@ -58,6 +59,10 @@
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
+# Parallel commit
+
+1. [Parallel Commits: An Atomic Commit Protocol For Globally Distributed Transactions](https://www.cockroachlabs.com/blog/parallel-commits)
+
# Two-phase commit
1. https://shekhargulati.com/2018/09/05/two-phase-commit-protocol/
diff --git a/documentation/research/documentation.md b/documentation/research/documentation.md
index 3219348b9..f68070992 100644
--- a/documentation/research/documentation.md
+++ b/documentation/research/documentation.md
@@ -45,6 +45,7 @@
# Reference
+1. [Architecture decision record (ADR)](https://github.com/joelparkerhenderson/architecture_decision_record)
1. [Seamless API Specification](https://github.com/seamlessapis/seamless/tree/master/domain)
1. https://docs.racket-lang.org/pollen/
1. [Documenting the Clojure/Script Ecosystem – Martin Klepsch](https://www.youtube.com/watch?v=mWrvd6SE7Vg)
diff --git a/documentation/research/machine_learning.md b/documentation/research/machine_learning.md
index 9b38b3398..cc2d4d548 100644
--- a/documentation/research/machine_learning.md
+++ b/documentation/research/machine_learning.md
@@ -72,6 +72,8 @@
# Differentiable programming
+1. [Differentiable Programming Manifesto](https://github.com/apple/swift/blob/master/docs/DifferentiableProgramming.md)
+1. [Backpropagation in the Simply Typed Lambda-calculus with Linear Negation](https://arxiv.org/abs/1909.13768)
1. [One-and-a-Half Simple Differential Programming Languages](https://pages.cpsc.ucalgary.ca/~robin/FMCS/FMCS2019/slides/GordonPlotkin-FMCS2019.pdf)
1. [Differentiable Programming Mega-Proposal](https://forums.swift.org/t/differentiable-programming-mega-proposal/28547)
1. https://fluxml.ai/2019/02/07/what-is-differentiable-programming.html
diff --git a/documentation/research/paradigm/probabilistic_programming.md b/documentation/research/paradigm/probabilistic_programming.md
index 42738b80e..7799eac7c 100644
--- a/documentation/research/paradigm/probabilistic_programming.md
+++ b/documentation/research/paradigm/probabilistic_programming.md
@@ -11,6 +11,8 @@
# Reference
+1. [Probabilistic Programming with monad‑bayes, Part 1: First Steps](https://www.tweag.io/posts/2019-09-20-monad-bayes-1.html)
+1. [Probabilistic Programming with monad‑bayes, Part 2: Linear Regression](https://www.tweag.io/posts/2019-11-08-monad-bayes-2.html)
1. [FACTORIE](http://factorie.cs.umass.edu/)
1. [End-User Probabilistic Programming (DRAFT)](https://www.cs.uoregon.edu/research/summerschool/summer19/lecture_notes/DRAFT___Probabilistic_Programming_for_End_Users.pdf)
1. http://willcrichton.net/notes/probabilistic-programming-under-the-hood/
diff --git a/documentation/research/parsing.md b/documentation/research/parsing.md
new file mode 100644
index 000000000..f33307463
--- /dev/null
+++ b/documentation/research/parsing.md
@@ -0,0 +1,3 @@
+# Reference
+
+1. [Parsing XML at the Speed of Light](https://aosabook.org/en/posa/parsing-xml-at-the-speed-of-light.html)
diff --git a/documentation/research/runners or comodels.md b/documentation/research/runners or comodels.md
new file mode 100644
index 000000000..3073ff65f
--- /dev/null
+++ b/documentation/research/runners or comodels.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. https://github.com/andrejbauer/coop
+