From 618b1ce9743bb79f1ae3375b05a394a4183b21e8 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 3 Oct 2020 12:55:45 -0400 Subject: Added deployment code to Aedifex. --- documentation/research/math.md | 4 ++++ documentation/research/math/real numbers.md | 5 +++++ documentation/research/paradigm/functional reactive programming.md | 4 ++++ documentation/research/paradigm/probabilistic_programming.md | 1 + documentation/research/text_editor & ide.md | 1 + 5 files changed, 15 insertions(+) create mode 100644 documentation/research/math/real numbers.md create mode 100644 documentation/research/paradigm/functional reactive programming.md (limited to 'documentation') diff --git a/documentation/research/math.md b/documentation/research/math.md index 21916064d..9825cd8d6 100644 --- a/documentation/research/math.md +++ b/documentation/research/math.md @@ -223,6 +223,10 @@ 1. [Finite Calculus: A Tutorial for Solving Nasty Sums](https://www.cs.purdue.edu/homes/dgleich/publications/Gleich%202005%20-%20finite%20calculus.pdf) 1. http://jliszka.github.io/2013/10/24/exact-numeric-nth-derivatives.html +# Continuous Calculus + +1. [Continuous Calculus](http://www-users.math.umn.edu/~olver/ln_/cc.pdf) + # Octonion 1. http://math.ucr.edu/home/baez/octonions/ diff --git a/documentation/research/math/real numbers.md b/documentation/research/math/real numbers.md new file mode 100644 index 000000000..2daa1873b --- /dev/null +++ b/documentation/research/math/real numbers.md @@ -0,0 +1,5 @@ +# Reference + +1. https://blog.acolyer.org/2020/10/02/toward-an-api-for-the-real-numbers/ +1. [Towards an API for the real numbers](https://dl.acm.org/doi/abs/10.1145/3385412.3386037) + diff --git a/documentation/research/paradigm/functional reactive programming.md b/documentation/research/paradigm/functional reactive programming.md new file mode 100644 index 000000000..5f97ebbec --- /dev/null +++ b/documentation/research/paradigm/functional reactive programming.md @@ -0,0 +1,4 @@ +# Reference + +1. [Explicitly Comprehensible Functional Reactive Programming](https://futureofcoding.org/papers/comprehensible-frp/comprehensible-frp.pdf) + diff --git a/documentation/research/paradigm/probabilistic_programming.md b/documentation/research/paradigm/probabilistic_programming.md index d1450f794..937ab34c6 100644 --- a/documentation/research/paradigm/probabilistic_programming.md +++ b/documentation/research/paradigm/probabilistic_programming.md @@ -64,6 +64,7 @@ # Language +1. [Bean Machine: A Declarative Probabilistic Programming Language For Efficient Programmable Inference](https://pgm2020.cs.aau.dk/wp-content/uploads/2020/09/tehrani20.pdf) 1. [Reactive Probabilistic Programming](https://arxiv.org/abs/1908.07563) 1. https://hakaru-dev.github.io/ 1. http://probcomp.csail.mit.edu/venture/ diff --git a/documentation/research/text_editor & ide.md b/documentation/research/text_editor & ide.md index ab5f3f4fe..148dc60bc 100644 --- a/documentation/research/text_editor & ide.md +++ b/documentation/research/text_editor & ide.md @@ -43,6 +43,7 @@ # Reference +1. [The Piece Table - the Unsung Hero of Your Text Editor](https://darrenburns.net/posts/piece-table/) 1. [Build Your Own Text Editor](https://viewsourcecode.org/snaptoken/kilo/) 1. [It’s 2019. Why don’t we have good code editors?](https://thoughts.thorlaksson.com/2019/09/27/its-2019-why-dont-we-have-good-code-editors/) 1. [Text Editing Hates You Too](https://lord.io/blog/2019/text-editing-hates-you-too/) -- cgit v1.2.3