From 5635aa3482001fd137b9deee42514b803ba21f75 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 28 May 2019 18:34:12 -0400 Subject: Moved my research notes from Trello to the repo: + Browser. + Machine learning. + Logic programming. + Transducer | stream | pipe. --- documentation/research/browser.md | 42 ++++++++++++++ documentation/research/distributed_programming.md | 1 + documentation/research/documentation.md | 1 + documentation/research/machine_learning.md | 67 ++++++++++++++++++++++ documentation/research/math.md | 5 +- .../research/paradigm/logic_programming.md | 52 +++++++++++++++++ documentation/research/text_editor & ide.md | 1 + .../research/transducer | stream | pipe.md | 27 +++++++++ 8 files changed, 195 insertions(+), 1 deletion(-) create mode 100644 documentation/research/browser.md create mode 100644 documentation/research/machine_learning.md create mode 100644 documentation/research/paradigm/logic_programming.md create mode 100644 documentation/research/transducer | stream | pipe.md 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) + -- cgit v1.2.3