From 5e31528ee33b1b6aceac4dc2eeda82f44e463df3 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 10 May 2020 23:37:53 -0400 Subject: Now properly loading the cached definitions. --- documentation/research/Graphics.md | 5 +++++ documentation/research/Memory Management.md | 4 ++++ documentation/research/Security.md | 5 +++++ documentation/research/Testing.md | 4 ++++ documentation/research/Type theory/Dependent types.md | 1 + documentation/research/game_programming.md | 1 + documentation/research/operating_system.md | 1 + documentation/research/text_editor & ide.md | 4 +++- documentation/research/tool/Search.md | 4 ++++ documentation/research/tool/build_system.md | 4 ++++ documentation/research/web_framework.md | 2 ++ 11 files changed, 34 insertions(+), 1 deletion(-) create mode 100644 documentation/research/Graphics.md create mode 100644 documentation/research/Testing.md create mode 100644 documentation/research/tool/Search.md (limited to 'documentation') 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) -- cgit v1.2.3