aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
authorEduardo Julian2019-06-18 23:19:23 -0400
committerEduardo Julian2019-06-18 23:19:23 -0400
commit75e6f7ad181d398b818367fdc5e86b1542d1bc0a (patch)
treed0ea084f2d9f35876d4ab383d3830445588ee323 /documentation
parent4bf2dce01f51a5b0be76a587f877d1227c3982ae (diff)
Implemented "hole" typing.
Diffstat (limited to '')
-rw-r--r--documentation/research/database.md5
-rw-r--r--documentation/research/game_programming.md1
-rw-r--r--documentation/research/math.md1
-rw-r--r--documentation/research/operating_system.md1
-rw-r--r--documentation/research/paradigm/probabilistic_programming.md6
-rw-r--r--documentation/research/text_editor & ide.md1
-rw-r--r--documentation/research/web_framework.md1
7 files changed, 16 insertions, 0 deletions
diff --git a/documentation/research/database.md b/documentation/research/database.md
index 9d3210e71..21a7d54c0 100644
--- a/documentation/research/database.md
+++ b/documentation/research/database.md
@@ -252,6 +252,11 @@
1. https://www.tadviewer.com/
+# Privacy
+
+1. https://blog.acolyer.org/2019/06/17/towards-multiverse-databases/
+1. [Towards Multiverse Databases](https://people.csail.mit.edu/malte/pub/papers/2019-hotos-multiversedb.pdf)
+
# Security
1. [The ZombieLoad Pragmatist: Tips for Surviving in a Post-Meltdown World](https://www.scylladb.com/2019/05/17/the-zombieload-pragmatist/)
diff --git a/documentation/research/game_programming.md b/documentation/research/game_programming.md
index 5a3f00682..de74e10f2 100644
--- a/documentation/research/game_programming.md
+++ b/documentation/research/game_programming.md
@@ -96,6 +96,7 @@
1. https://www.babylonjs.com/
1. https://github.com/lettier/3d-game-shaders-for-beginners
1. [What good are hundreds of lights without hundreds of shadows?](https://worldoffries.wordpress.com/2019/03/26/what-good-is-hundreds-of-lights-with-out-hundreds-of-shadows/)
+1. [Ray Tracing with Metal](https://developer.apple.com/videos/play/wwdc2019/613/)
# Idea
diff --git a/documentation/research/math.md b/documentation/research/math.md
index 458d4d1f1..2db883058 100644
--- a/documentation/research/math.md
+++ b/documentation/research/math.md
@@ -21,6 +21,7 @@
# Polynomials
+1. https://brainbomb.org/0-1-efficient-metholds-for-evaluting-polynomials/
1. https://en.wikipedia.org/wiki/Horner%27s_method
# Chaos Theory
diff --git a/documentation/research/operating_system.md b/documentation/research/operating_system.md
index b9e457951..2ae4828bf 100644
--- a/documentation/research/operating_system.md
+++ b/documentation/research/operating_system.md
@@ -169,6 +169,7 @@
# Shared libraries | Dynamic Loading
+1. https://amir.rachum.com/blog/2016/09/17/shared-libraries/
1. https://www.kix.in/2008/06/19/an-alternative-to-shared-libraries/
1. https://www.akkadia.org/drepper/no_static_linking.html
1. https://amir.rachum.com/blog/2016/09/17/shared-libraries/
diff --git a/documentation/research/paradigm/probabilistic_programming.md b/documentation/research/paradigm/probabilistic_programming.md
index 46302cf93..4a6fd830a 100644
--- a/documentation/research/paradigm/probabilistic_programming.md
+++ b/documentation/research/paradigm/probabilistic_programming.md
@@ -1,3 +1,8 @@
+# Ranked Programming
+
+1. [Ranked Programming](https://github.com/tjitze/ranked-programming/blob/master/documentation/ranked_programming.pdf)
+1. https://github.com/tjitze/ranked-programming
+
# Inference
1. [Probabilistic Programming with Programmable Inference](https://people.csail.mit.edu/rinard/paper/pldi18.pdf)
@@ -5,6 +10,7 @@
# Reference
+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/
1. [Ask HN: What companies are using probabilistic programming?](https://news.ycombinator.com/item?id=17220861)
1. https://www-forbes-com.cdn.ampproject.org/v/s/www.forbes.com/sites/quora/2018/05/18/even-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept/amp/?amp_js_v=a1&amp_gsa=1#amp_tf=From%20%251%24s&ampshare=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2Famp%2F%23amp_tf%3DFrom%2520%25251%2524s&ampshare=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2F&ampshare=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2F
diff --git a/documentation/research/text_editor & ide.md b/documentation/research/text_editor & ide.md
index c1cdde62b..433644c7a 100644
--- a/documentation/research/text_editor & ide.md
+++ b/documentation/research/text_editor & ide.md
@@ -42,6 +42,7 @@
# Reference
+1. [Why ContentEditable is Terrible](https://medium.engineering/why-contenteditable-is-terrible-122d8a40e480)
1. [Broot: A better way to navigate directories](https://github.com/Canop/broot)
1. https://www.simplethread.com/editor-plugins-belong-in-lock-file/
1. [How to Design an IDE-Friendly Language with Peter Gromov @donnerpeter](https://www.youtube.com/watch?v=lubc8udiP_8)
diff --git a/documentation/research/web_framework.md b/documentation/research/web_framework.md
index 4abba9b5e..9ee78130c 100644
--- a/documentation/research/web_framework.md
+++ b/documentation/research/web_framework.md
@@ -100,6 +100,7 @@
# Styling
+1. https://every-layout.dev/
1. https://github.com/diegohaz/reuse
1. https://wiki.csswg.org/ideas/mistakes
1. https://developer.mozilla.org/en-US/docs/Web/CSS/Layout_cookbook