aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
authorEduardo Julian2020-05-10 23:37:53 -0400
committerEduardo Julian2020-05-10 23:37:53 -0400
commit5e31528ee33b1b6aceac4dc2eeda82f44e463df3 (patch)
treeac2dd1464d5ace80ff279a28376d454f21955059 /documentation
parent8d9fd8b34f8716be7fa1059eb9761330d9667753 (diff)
Now properly loading the cached definitions.
Diffstat (limited to '')
-rw-r--r--documentation/research/Graphics.md5
-rw-r--r--documentation/research/Memory Management.md4
-rw-r--r--documentation/research/Security.md5
-rw-r--r--documentation/research/Testing.md4
-rw-r--r--documentation/research/Type theory/Dependent types.md1
-rw-r--r--documentation/research/game_programming.md1
-rw-r--r--documentation/research/operating_system.md1
-rw-r--r--documentation/research/text_editor & ide.md4
-rw-r--r--documentation/research/tool/Search.md4
-rw-r--r--documentation/research/tool/build_system.md4
-rw-r--r--documentation/research/web_framework.md2
11 files changed, 34 insertions, 1 deletions
diff --git a/documentation/research/Graphics.md b/documentation/research/Graphics.md
new file mode 100644
index 000000000..5438adeff
--- /dev/null
+++ b/documentation/research/Graphics.md
@@ -0,0 +1,5 @@
+# 2D
+
+1. [Einar Høst - Composition by Juxtaposition: A PostScript on Functional Geometry - Lambda Days 2020](https://www.youtube.com/watch?v=GvTh0MmVPQI)
+1. [Functional geometry](https://dl.acm.org/doi/10.1145/800068.802148)
+
diff --git a/documentation/research/Memory Management.md b/documentation/research/Memory Management.md
index b1b10bb2c..7b326a4a0 100644
--- a/documentation/research/Memory Management.md
+++ b/documentation/research/Memory Management.md
@@ -1,3 +1,7 @@
+# Static
+
+1. [ASAP: As Static As Possible memory management](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf)
+
# Allocation
1. [Always Bump Downwards](https://fitzgeraldnick.com/2019/11/01/always-bump-downwards.html)
diff --git a/documentation/research/Security.md b/documentation/research/Security.md
index 799eb3543..f4f7afb61 100644
--- a/documentation/research/Security.md
+++ b/documentation/research/Security.md
@@ -1,5 +1,10 @@
+# Privacy
+
+1. https://privacypatterns.org/
+
# Inspiration
+1. [Kasm: Desktop and Browser Isolation Platform](https://www.kasmweb.com/)
1. https://www.mailvelope.com
# Finger-printing
diff --git a/documentation/research/Testing.md b/documentation/research/Testing.md
new file mode 100644
index 000000000..baaf83fa4
--- /dev/null
+++ b/documentation/research/Testing.md
@@ -0,0 +1,4 @@
+# White box
+
+1. [Ricardo Peña - White-Box Path Generation in Recursive Programs - Lambda Days 2020](https://www.youtube.com/watch?v=7RXJhPaQCkc)
+
diff --git a/documentation/research/Type theory/Dependent types.md b/documentation/research/Type theory/Dependent types.md
index 8ea68473b..84d739492 100644
--- a/documentation/research/Type theory/Dependent types.md
+++ b/documentation/research/Type theory/Dependent types.md
@@ -5,6 +5,7 @@
# Reference
+1. [Thorsten Altenkirch - The power of Π - Lambda Days 2020](https://www.youtube.com/watch?v=3zT5eVHpQwA)
1. [A Path To DOT: Formalizing Fully Path-Dependent Types](https://arxiv.org/abs/1904.07298)
1. [Ghosts of Departed Proofs (Functional Pearl)](https://www.youtube.com/watch?v=2cAxOJEiL00)
1. [Ghosts of Departed Proofs (Functional Pearl)](https://kataskeue.com/gdp.pdf)
diff --git a/documentation/research/game_programming.md b/documentation/research/game_programming.md
index 52e8a6034..03efdc258 100644
--- a/documentation/research/game_programming.md
+++ b/documentation/research/game_programming.md
@@ -97,6 +97,7 @@
# Rendering
+1. [Wired Elements](https://wiredjs.com/)
1. [The Graphics Codex](http://graphicscodex.com/)
1. [PIXELARTOR: Animation Tool for converting 3D models with animations to 2D sprite frames](https://github.com/Chleba/PIXELARTOR)
1. https://raytracing.github.io/
diff --git a/documentation/research/operating_system.md b/documentation/research/operating_system.md
index 154bdd286..c21f82f5b 100644
--- a/documentation/research/operating_system.md
+++ b/documentation/research/operating_system.md
@@ -191,6 +191,7 @@
# Packages
+1. [Piotr Gaczkowski - Nix -- the functional package manager - Lambda Days 2020](https://www.youtube.com/watch?v=6AvwC25fd_U)
1. https://snapcraft.io/
1. https://code.fb.com/data-infrastructure/xars-a-more-efficient-open-source-system-for-self-contained-executables/
diff --git a/documentation/research/text_editor & ide.md b/documentation/research/text_editor & ide.md
index ad08c87b4..3d234605f 100644
--- a/documentation/research/text_editor & ide.md
+++ b/documentation/research/text_editor & ide.md
@@ -99,8 +99,9 @@
1. https://prezi.com/gp6u1jpgkxej/what-are-soplets/
1. http://symade.tigris.org/
-# IDE
+# Integrated Development Environment (IDE)
+1. [Theia 1.0 - Finally a Good Browser IDE](https://dev.to/svenefftinge/theia-1-0-finally-a-good-browser-ide-3ok0)
1. https://www.eclipse.org/che/
# Advanced AST/source-code manipulation tools
@@ -143,6 +144,7 @@
## General
+1. [Left](https://100r.co/site/left.html)
1. https://howl.io/
1. [The Whole Code Catalog](https://futureofcoding.org/catalog/)
1. http://substance.io/
diff --git a/documentation/research/tool/Search.md b/documentation/research/tool/Search.md
new file mode 100644
index 000000000..323f9e8bb
--- /dev/null
+++ b/documentation/research/tool/Search.md
@@ -0,0 +1,4 @@
+# Semantic search
+
+1. https://github.com/returntocorp/semgrep
+
diff --git a/documentation/research/tool/build_system.md b/documentation/research/tool/build_system.md
index 09f315732..bdbff08b5 100644
--- a/documentation/research/tool/build_system.md
+++ b/documentation/research/tool/build_system.md
@@ -1,3 +1,7 @@
+# Protocol
+
+1. [Build Server Protocol](https://build-server-protocol.github.io/)
+
# Exemplar
1. [Mill: A Build Tool based on Pure Functional Programming, Li Haoyi at Scala.Love 2020](https://vimeo.com/409165552)
diff --git a/documentation/research/web_framework.md b/documentation/research/web_framework.md
index 4be27878c..e6c8554fe 100644
--- a/documentation/research/web_framework.md
+++ b/documentation/research/web_framework.md
@@ -114,6 +114,8 @@
# Styling
+1. [Centering in CSS: A Complete Guide](https://css-tricks.com/centering-css-complete-guide/)
+1. [Vertical Rhythm Reset](https://jhildenbiddle.github.io/vertical-rhythm-reset/)
1. [Cascading Scoped Style Sheets, aka CSSS, aka C3S](https://github.com/crislin2046/c3s)
1. [The importance of the CSS user-select property](https://www.malgol.com/the-importance-of-the-css-user-select-property/)
1. [Index fun](https://psuter.net/2019/07/07/z-index)