aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'documentation')
-rw-r--r--documentation/research/browser.md42
-rw-r--r--documentation/research/distributed_programming.md1
-rw-r--r--documentation/research/documentation.md1
-rw-r--r--documentation/research/machine_learning.md67
-rw-r--r--documentation/research/math.md5
-rw-r--r--documentation/research/paradigm/logic_programming.md52
-rw-r--r--documentation/research/text_editor & ide.md1
-rw-r--r--documentation/research/transducer | stream | pipe.md27
8 files changed, 195 insertions, 1 deletions
diff --git a/documentation/research/browser.md b/documentation/research/browser.md
new file mode 100644
index 000000000..6cd54b268
--- /dev/null
+++ b/documentation/research/browser.md
@@ -0,0 +1,42 @@
+# Exemplar
+
+1. https://refresh.study/
+1. https://github.com/breach/breach_core
+1. https://github.com/browserhtml/browserhtml
+1. https://depolium.com/
+1. https://vivaldi.com/
+1. https://www.nidium.com/
+1. https://github.com/trevorlinton/webkit.js
+1. https://www.epicbrowser.com/
+1. https://minbrowser.github.io/min/
+1. https://www.palemoon.org/
+1. https://github.com/beakerbrowser/webdb
+1. https://github.com/beakerbrowser
+1. https://github.com/nEXT-Browser/nEXT
+1. https://techcrunch.com/2018/02/23/veil-is-private-browsing-for-the-ultra-paranoid/
+1. https://github.com/wexond/wexond
+1. http://next.atlas.engineer
+1. https://workona.com/
+1. https://luakit.github.io/
+1. https://www.thurrott.com/cloud/web-browsers/204669/opera-web-browser-is-reborn
+
+# Security
+
+1. https://developers.google.com/web/updates/2018/06/feature-policy
+1. https://cure53.de/#browser-security-whitepaper
+1. https://anon.cosheaf.com/
+1. [Secure Browser Architecture Based on Hardware Virtualization](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.664.9527&rep=rep1&type=pdf)
+1. https://medium.com/personal-capital-tech-blog/why-we-write-post-only-apis-f15108fb6558
+
+# Reference
+
+1. http://news.mit.edu/2018/system-patches-private-browsing-0223
+1. https://vivaldi.com/blog/vivaldi-makes-history/?hl=en-us&version=1.8.770.56&os=W10.0.14393
+1. https://hacks.mozilla.org/2017/08/inside-a-super-fast-css-engine-quantum-css-aka-stylo/
+1. https://mozillagfx.wordpress.com/2017/09/21/introduction-to-webrender-part-1-browsers-today/
+1. https://noncombatant.org/2017/11/07/problems-of-urls/
+1. https://stoyannk.wordpress.com/2017/11/13/rendering-html-at-1000-fps-part-2/
+1. https://v8project.blogspot.com/2018/08/embedded-builtins.html
+1. https://developers.google.com/web/updates/2018/09/inside-browser-part1
+1. https://addons.mozilla.org/en-US/firefox/addon/tree-style-tab/
+
diff --git a/documentation/research/distributed_programming.md b/documentation/research/distributed_programming.md
index afaa77c2b..eb8869b45 100644
--- a/documentation/research/distributed_programming.md
+++ b/documentation/research/distributed_programming.md
@@ -1,5 +1,6 @@
# Reference
+1. https://replicated.cc/
1. http://www.the-paper-trail.org/post/2014-08-09-distributed-systems-theory-for-the-distributed-systems-engineer/
1. https://courses.engr.illinois.edu/cs525/sp2018/index.html
1. https://arxiv.org/abs/1701.07615
diff --git a/documentation/research/documentation.md b/documentation/research/documentation.md
index 21f9a6107..55cc7e02a 100644
--- a/documentation/research/documentation.md
+++ b/documentation/research/documentation.md
@@ -45,6 +45,7 @@
# Reference
+1. https://docs.racket-lang.org/pollen/
1. [Documenting the Clojure/Script Ecosystem – Martin Klepsch](https://www.youtube.com/watch?v=mWrvd6SE7Vg)
1. http://apistylebook.com/
1. https://docusaurus.io/
diff --git a/documentation/research/machine_learning.md b/documentation/research/machine_learning.md
new file mode 100644
index 000000000..6a46367da
--- /dev/null
+++ b/documentation/research/machine_learning.md
@@ -0,0 +1,67 @@
+# Exemplar
+
+1. https://ml5js.org/
+1. https://www.csie.ntu.edu.tw/~cjlin/libsvm/
+1. http://halide-lang.org/
+
+# Reference
+
+1. [HyperE: Hyperbolic Embeddings for Entities](https://hazyresearch.github.io/hyperE/)
+1. https://www.samcoope.com/posts/playing_around_with_noise_as_targets
+1. https://lobste.rs/s/hgejxf/why_is_machine_learning_most_often
+1. https://boingboing.net/2018/11/12/local-optima-r-us.html/amp
+1. https://crazyoscarchang.github.io/2019/02/16/seven-myths-in-machine-learning-research/
+1. https://www.c4ml.org/
+1. https://medium.com/@l2k/why-are-machine-learning-projects-so-hard-to-manage-8e9b9cf49641
+1. https://github.com/MikeInnes/diff-zoo
+1. https://cloud.google.com/blog/products/ai-machine-learning/introducing-feast-an-open-source-feature-store-for-machine-learning
+1. https://towardsdatascience.com/introducing-manifold-db9e90f20347
+1. http://snap.stanford.edu/graphsage/
+1. https://heartbeat.fritz.ai/capsule-networks-a-new-and-attractive-ai-architecture-bd1198cc8ad4
+1. http://super-ms.mit.edu/rum.html
+
+# Deep learning
+
+1. https://d2l.ai/
+1. https://hadrienj.github.io/posts/Deep-Learning-Book-Series-Introduction/
+1. http://nlp.seas.harvard.edu/NamedTensor
+1. https://tvm.ai/
+1. https://machinelearningmastery.com/framework-for-better-deep-learning/
+1. [Geometric Understanding of Deep Learning](https://arxiv.org/abs/1805.10451)
+1. https://towardsdatascience.com/what-is-geometric-deep-learning-b2adb662d91d
+1. https://deeplearning4j.org/
+1. [Deep(er) learning](http://www.jneurosci.org/content/early/2018/07/13/JNEUROSCI.0153-18.2018?versioned=true)
+
+# Neural network
+
+1. https://github.com/BrainJS/brain.js
+1. https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html
+1. https://matloff.wordpress.com/2018/06/20/neural-networks-are-essentially-polynomial-regression/
+1. https://www.quantamagazine.org/foundations-built-for-a-general-theory-of-neural-networks-20190131#AI
+1. https://rkevingibson.github.io/blog/neural-networks-as-ordinary-differential-equations/
+
+# Tensor
+
+1. http://nlp.seas.harvard.edu/NamedTensor.html
+1. http://nlp.seas.harvard.edu/NamedTensor2
+
+# Meta-learning
+
+1. https://www.bayeswatch.com/2018/11/30/HTYM/
+1. https://bender.dreem.com/
+
+# Model
+
+1. http://onnx.ai/
+
+# Training
+
+1. https://ai.googleblog.com/2019/03/introducing-gpipe-open-source-library.html
+
+# Differentiable programming
+
+1. https://fluxml.ai/2019/02/07/what-is-differentiable-programming.html
+1. https://github.com/breandan/kotlingrad
+1. https://colinraffel.com/blog/you-don-t-know-jax.html
+1. https://github.com/tensorflow/mlir
+
diff --git a/documentation/research/math.md b/documentation/research/math.md
index 72629ab74..30a7fc8ab 100644
--- a/documentation/research/math.md
+++ b/documentation/research/math.md
@@ -31,6 +31,8 @@
1. [APPLICATION OF DUAL QUATERNIONS ON SELECTED PROBLEMS](https://otik.uk.zcu.cz/bitstream/11025/28563/1/phd_Application%20of%20dual%20quaternions%20on%20selected%20problems.pdf)
1. https://www.3dgep.com/understanding-quaternions/
+1. https://probablydance.com/2017/08/05/intuitive-quaternions/
+1. [Quaternion algebras](https://math.dartmouth.edu/~jvoight/quat.html)
# _Compendium of resources_
@@ -145,6 +147,7 @@
1. [Extending the Algebraic Manipulability of Differentials](https://arxiv.org/abs/1801.09553)
1. https://en.wikipedia.org/wiki/Fractional_calculus
1. https://medium.com/@notaredpanda/fractional-calculus-48192f4e9c9f
+1. [Fractional Calculus: Theory and Applications](https://www.mdpi.com/books/pdfview/book/755)
1. [EXTENDING THE ALGEBRAIC MANIPULABILITYOF DIFFERENTIALS](http://online.watsci.org/abstract_pdf/2019v26/v26n3a-pdf/4.pdf)
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
@@ -252,6 +255,7 @@
# **Temp Cache**
+1. https://www.juliahomotopycontinuation.org/
1. https://marginalrevolution.com/marginalrevolution/2018/05/one-parameter-equation-can-exactly-fit-scatter-plot.html
1. https://plato.stanford.edu/entries/mathematics-inconsistent/
1. http://immersivemath.com/ila/index.html?m=1
@@ -275,7 +279,6 @@
1. https://www.artofproblemsolving.com/wiki/index.php/Modular_arithmetic/Introduction
1. [Mathematics for Computer Science](https://courses.csail.mit.edu/6.042/spring17/mcs.pdf)
1. http://www.paultaylor.eu/ASD/foufct/
-1. https://probablydance.com/2017/08/05/intuitive-quaternions/
1. [Toward the Unification of Physics and Number Theory](http://www.quantumgravityresearch.org/wp-content/uploads/2017/02/Toward-the-Unification-of-Physics2-1.pdf)
1. https://jeremykun.com/2014/03/13/programming-with-finite-fields/
1. https://courses.cs.washington.edu/courses/cse590b/13au/
diff --git a/documentation/research/paradigm/logic_programming.md b/documentation/research/paradigm/logic_programming.md
new file mode 100644
index 000000000..6e1c604cf
--- /dev/null
+++ b/documentation/research/paradigm/logic_programming.md
@@ -0,0 +1,52 @@
+# Reference
+
+1. https://book.simply-logical.space/
+1. [Higher-Order Logic Programming](https://www.lix.polytechnique.fr/~dale/papers/Handbook_Logic_AI_LP.pdf)
+1. [HiLog: A foundation for higher-order logic programming](http://www.sciencedirect.com/science/article/pii/074310669390039J)
+1. https://www.amazon.com/Reasoned-Schemer-MIT-Press-ebook/dp/B07B9SL4LR
+1. [Can Logic Programming Execute as Fast as Imperative Programming?](https://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/CSD-90-600.pdf)
+1. [Automatic Differentiation using Constraint Handling Rules in Prolog](https://arxiv.org/abs/1706.00231)
+1. [A Framework for Extending microKanren with Constraints](https://arxiv.org/pdf/1701.00633.pdf)
+1. https://www.amazon.com/Clause-Effect-Programming-Working-Programmer/dp/3540629718
+1. https://medium.com/@enkiv2/mycroft-a-predicate-logic-language-overview-post-mortem-e357fe80d53
+1. http://lambda-the-ultimate.org/node/112
+1. http://okmij.org/ftp/papers/LogicT.pdf
+1. https://www.researchgate.net/publication/2274015_Relational_Programming_in_Libra
+1. [Monadic-style backtracking](http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html)
+1. [Prolog's control constructs in a functional setting - Axioms and implementation](http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html)
+1. [Solving Problems Declaratively - Mark Engelberg](https://www.youtube.com/watch?v=TA9DBG8x-ys)
+1. http://programming-puzzler.blogspot.com/2013/03/logic-programming-is-overrated.html
+1. https://gist.github.com/swannodette/3217582
+1. [AppLP: A Dialogue on Applications of Logic Programming](https://arxiv.org/pdf/1704.02375.pdf)
+1. https://www.metalevel.at/prolog
+1. https://www.amazon.com/Reasoned-Schemer-MIT-Press-ebook/dp/B004GEBQS6
+1. https://github.com/Web-Prolog/swi-web-prolog/blob/master/web-client/apps/swish/web-prolog.pdf
+1. [Den of Clojure Build Your Own Logic Engine](https://www.youtube.com/watch?v=y1bVJOAfhKY)
+1. https://eli.thegreenplace.net/2018/unification/
+1. http://boxbase.org/entries/2019/feb/11/dialogical-logic-programming/
+1. [Can logic programming execute as fast as imperative programming?](https://dl.acm.org/citation.cfm?id=128589)
+1. https://synthese.wordpress.com/2010/08/21/prologs-death/
+
+# Language
+
+1. https://flix.github.io/
+1. http://logtalk.org/
+1. https://github.com/fnogatz/CHR.js
+1. https://mercurylang.org/
+1. https://www.quora.com/What-are-examples-of-statically-typed-logic-programming-languages-ex-similar-to-Prolog
+1. [Racklog: Prolog-Style Logic Programming](https://plt.eecs.northwestern.edu/snapshots/current/pdf-doc/racklog.pdf)
+1. https://souffle-lang.github.io/
+
+# Beyond logic programming
+
+1. https://github.com/Web-Prolog/swi-web-prolog
+
+# Constraint Logic Programming
+
+1. http://www.pathwayslms.com/swipltuts/clpfd/clpfd.html
+1. https://stackabuse.com/constraint-programming-with-python-constraint/
+
+# Constraint Handling Rules
+
+1. http://chrjs.net/
+
diff --git a/documentation/research/text_editor & ide.md b/documentation/research/text_editor & ide.md
index 94b5c4212..3b63f1e2e 100644
--- a/documentation/research/text_editor & ide.md
+++ b/documentation/research/text_editor & ide.md
@@ -10,6 +10,7 @@
1. http://lispm.de/genera-concepts
1. Hovering/selecting an input to a function inside a function-call should display the name of the input in the function declaration. This would help understand the purpose of the value while in the function call without needing Lux/the-language to have named inputs as a feature.
1. https://www.emacswiki.org/emacs/UndoTree
+1. https://jameshfisher.com/2014/05/11/your-syntax-highlighter-is-wrong/
# Voice
diff --git a/documentation/research/transducer | stream | pipe.md b/documentation/research/transducer | stream | pipe.md
new file mode 100644
index 000000000..4f789b55b
--- /dev/null
+++ b/documentation/research/transducer | stream | pipe.md
@@ -0,0 +1,27 @@
+# Reference
+
+1. https://dev.to/greencoder/build-your-own-transducer-and-impress-your-cat---part-1-mhp
+1. https://functional.works-hub.com/learn/reducers-and-transducers-introductory-d0cff
+1. http://beerendlauwers.be/posts/2015-12-09-transducers.html
+1. https://clojure.org/reference/transducers
+1. http://sickaf.xyz/2017/07/transducers
+1. http://hypirion.com/musings/haskell-transducers
+1. https://github.com/hyPiRion/haskell-transducers
+1. https://github.com/cgrand/xforms
+1. https://deque.blog/2017/07/28/implementing-clojure-like-transducers-in-idris-part-1/
+1. http://jlongster.com/Transducers.js--A-JavaScript-Library-for-Transformation-of-Data
+1. https://labs.uswitch.com/transducers-from-the-ground-up-the-essence/amp/
+1. https://bendyworks.com/blog/transducers-clojures-next-big-idea
+1. http://conscientiousprogrammer.com/blog/2014/08/07/understanding-cloure-transducers-through-types/
+1. [Lighting Talk - How to Write a Fast, Reducible Collection - Ghadi Shayban](https://www.youtube.com/watch?v=FjKnlzQfAPc)
+1. [Lazy v. Yield: Incremental, Linear Pretty-printing](https://www.cs.indiana.edu/~sabry/papers/yield-pp.pdf)
+1. https://labs.uswitch.com/transducers-from-the-ground-up-the-practice/
+1. [Continuations and Transducer Composition](http://matt.might.net/papers/might2006transducers.pdf)
+1. https://deque.blog/2017/11/13/free-monads-from-basics-up-to-implementing-composable-and-effectful-stream-processing/
+1. https://www.tweag.io/posts/2018-06-21-linear-streams.html
+1. [Common Lisp Study Group An Intro to SERIES](https://www.youtube.com/watch?v=uRLgZCV4bOM)
+1. [Appendix A. Series](https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node347.html)
+1. [YOW! Lambda Jam 2018 - Simon Belak - Transducing for fun and profit](https://www.youtube.com/watch?v=H0sSbTWxTsM)
+1. https://nextjournal.com/zampino/fold
+1. [Fusing Effectful Comprehensions*](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/10/fusing_effectful_comprehensions.pdf)
+