aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--documentation/research/database.md5
-rw-r--r--documentation/research/math.md298
-rw-r--r--documentation/research/operating_system.md253
-rw-r--r--documentation/research/text_editor & ide.md6
4 files changed, 561 insertions, 1 deletions
diff --git a/documentation/research/database.md b/documentation/research/database.md
index 63fbd541c..a13ec496b 100644
--- a/documentation/research/database.md
+++ b/documentation/research/database.md
@@ -51,6 +51,7 @@
1. [Beating hash tables with trees? The ART-ful radix trie](https://www.the-paper-trail.org/post/art-paper-notes/)
1. https://www.ristret.com/s/gnd4yr/brief_history_log_structured_merge_trees
1. [Getting The Most Out Of Your PostgreSQL Indexes](https://pgdash.io/blog/postgres-indexes.html?p)
+1. http://databasearchitects.blogspot.com/2019/05/why-use-learning-when-you-can-fit.html
# Relational Algebra
@@ -248,6 +249,10 @@
1. https://www.tadviewer.com/
+# Security
+
+1. [The ZombieLoad Pragmatist: Tips for Surviving in a Post-Meltdown World](https://www.scylladb.com/2019/05/17/the-zombieload-pragmatist/)
+
# _Temporary cache_
1. https://github.com/pubkey/rxdb
diff --git a/documentation/research/math.md b/documentation/research/math.md
new file mode 100644
index 000000000..72629ab74
--- /dev/null
+++ b/documentation/research/math.md
@@ -0,0 +1,298 @@
+# Statistics
+
+1. https://www.statisticsdonewrong.com/
+
+# Topology
+
+1. [ELEMENTARY APPLIED TOPOLOGY](https://www.math.upenn.edu/~ghrist/notes.html)
+
+# Library
+
+1. https://github.com/ZacharyPatten/Towel
+
+# Polynomials
+
+1. https://en.wikipedia.org/wiki/Horner%27s_method
+
+# Chaos Theory
+
+1. http://ncase.me/attractors/
+
+# Number Theory
+
+1. https://en.wikipedia.org/wiki/Dual_number
+1. https://en.wikipedia.org/wiki/Division_algebra
+1. [Division algebras](https://www.youtube.com/watch?v=3BZyds_KFWM&list=PLNxhIPHaOTRZMO1VjJcs7_3dgyJ2qU1yZ)
+1. https://www.quantamagazine.org/the-octonion-math-that-could-underpin-physics-20180720
+1. http://illustratedtheoryofnumbers.com/
+1. [Topology of Numbers](http://pi.math.cornell.edu/~hatcher/TN/TNpage.html)
+
+# Quaternions
+
+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/
+
+# _Compendium of resources_
+
+1. https://github.com/llSourcell/learn_math_fast
+1. https://www.algorithm-archive.org/
+1. [3b1b featured creators #1](https://www.youtube.com/watch?v=VcgJro0sTiM)
+1. [An infinite descent into pure mathematics](https://infinitedescent.xyz/)
+1. https://hackernoon.com/be-a-better-programmer-with-these-40-mathematics-courses-d8ca48a2f8a2
+1. https://www.intmath.com/
+1. https://en.wikipedia.org/wiki/Graduate_Texts_in_Mathematics
+
+# Bézier curves
+
+1. https://cormullion.github.io/blog/2018/06/21/bezier.html
+1. https://pomax.github.io/bezierinfo/
+1. https://99designs.com/blog/engineering/math-draw-vector-curves/
+1. https://medium.freecodecamp.org/nerding-out-with-bezier-curves-6e3c0bc48e2f
+1. https://pomax.github.io/bezierinfo/#curvature
+1. https://raphlinus.github.io/curves/2018/12/28/bezier-arclength.html
+1. https://astiopin.github.io/2019/01/04/qbez-parabola.html
+1. http://dlacko.org/blog/2016/10/19/approximating-bezier-curves-by-biarcs/
+1. https://bosker.wordpress.com/2013/11/13/beyond-bezier-curves/
+
+# Number systems
+
+1. https://en.wikipedia.org/wiki/Negative_base
+
+# Discrete mathematics
+
+1. [Notes on Discrete Mathematics](http://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf)
+1. [The system of integer functions, an efficient version of discrete mathematical analysis](https://arxiv.org/abs/1710.00676)
+1. [Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra](http://math.sfsu.edu/beck/papers/ccd.pdf)
+1. [Discrete Mathematics: An Open Introduction](http://discrete.openmathbooks.org/dmoi2/frontmatter.html)
+
+# Linear Algebra
+
+1. [Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares](https://web.stanford.edu/~boyd/vmls/vmls.pdf)
+1. [Linear Algebra Done Wrong.](http://www.math.brown.edu/~treil/papers/LADW/LADW.html)
+1. [Linear Algebra Done Right](http://linear.axler.net/)
+1. [Down with Determinants!](http://www.axler.net/DwD.html)
+1. https://github.com/jacobbogers/blasjs
+1. https://graphicallinearalgebra.net/
+1. [Wild Linear Algebra](https://www.youtube.com/watch?v=yAb12PWrhV0&list=PLIljB45xT85BhzJ-oWNug1YtUjfWp1qAp &&& https://www.youtube.com/watch?v=nJdWFoliRnc&list=PLIljB45xT85DF5G-Hq0xPsVUnR5_wJRSw)
+1. https://github.com/ferreiradaselva/mathc
+1. http://www.fast.ai/2017/07/17/num-lin-alg/
+1. https://github.com/bluemathsoft/bm-linalg
+1. [The Matrix Cookbook](https://www.math.uwaterloo.ca/~hwolkowi/matrixcookbook.pdf)
+1. https://dhruvp.netlify.com/2018/12/31/matrices/
+1. https://www.nalgebra.org/
+1. http://immersivemath.com/ila/index.html
+1. [Linear Logic and Linear Algebra](http://www.cs.bham.ac.uk/~drg/bll/steve.pdf)
+1. https://www.math3ma.com/blog/matrices-probability-graphs
+1. [Essence of linear algebra](https://www.youtube.com/watch?v=fNk_zzaMoSs&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab)
+1. https://www.dhruvonmath.com/2018/12/31/matrices/
+1. http://blog.ezyang.com/2019/05/a-short-note-about-functional-linear-maps/
+1. https://www.math3ma.com/blog/matrices-as-tensor-network-diagrams
+1. [Convolution is outer product](https://arxiv.org/abs/1905.01289)
+1. [Graphical Calculus for products and convolutions](https://arxiv.org/abs/1903.01366)
+
+# Category Theory
+
+1. [Abstract and Concrete Categories: The Joy of Cats](http://katmat.math.uni-bremen.de/acc/acc.pdf)
+1. https://bartoszmilewski.com/
+1. [YOW! Lambda Jam 2018 - Mark Hopkins -All of Basic Category Theory](https://www.youtube.com/watch?v=9u1q3lH7VbE)
+1. [Categorifying cardinal arithmetic](http://www.math.jhu.edu/~eriehl/arithmetic.pdf)
+1. https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
+1. [Elements of ∞-Category Theory](http://www.math.jhu.edu/~eriehl/elements.pdf)
+1. [Category Theory: A Gentle Introduction](https://www.logicmatters.net/resources/pdfs/GentleIntro.pdf)
+1. [Applied Category Theory (@ MIT 2019)](https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5)
+1. https://jvns.ca/blog/2019/03/26/what-are-monoidal-categories/
+1. [Daniela Sfregola - A Pragmatic Introduction to Category Theories - Code Mesh 2017](https://www.youtube.com/watch?v=8XGFFMPHG0o)
+1. [Seven Sketches in Compositionality: An Invitation to Applied Category Theory](http://xahlee.info/math/i/category_theory_brendan_fong_david_spivak_2018-03.pdf)
+
+# Direct Logic
+
+1. [Strong Types for Direct Logic](https://drive.google.com/file/d/1relKFB4aOMD2VZHM9qj3wWMXOq-q2AJr/view)
+
+# Geometric Algebra | Clifford Algebra
+
+1. https://slehar.wordpress.com/2014/03/18/clifford-algebra-a-visual-introduction/
+1. [Vectors and Beyond: Geometric Algebra and its Philosophical Significance](http://www.tara.tcd.ie/bitstream/handle/2262/61825/Vectors%20and%20Beyond%20as%20Printed.pdf?sequence=1&isAllowed=y)
+1. [Let's remove Quaternions from every 3D Engine](http://marctenbosch.com/quaternions/)
+1. [Geometric Algebra Playlist](https://www.youtube.com/playlist?list=PLLvlxwbzkr7igd6bL7959WWE7XInCCevt)
+1. https://github.com/wolftype/versor
+1. [Exploring Physics with Geometric Algebra, Book 1](http://peeterjoot.com/archives/math2015/gabookI.pdf)
+1. [Joan Lasenby on Applications of Geometric Algebra in Engineering](https://www.youtube.com/watch?v=ikCIUzX9myY)
+1. https://www.amazon.com/Geometric-Algebra-Computer-Graphics-Vince/dp/1846289963
+1. https://www.amazon.com/Geometric-Algebra-Computer-Science-Revised/dp/0123749425
+1. https://www.amazon.com/Space-Time-Algebra-David-Hestenes/dp/3319184121
+1. https://www.amazon.com/Introduction-Clifford-Algebras-Spinors/dp/0198782926
+1. https://gist.github.com/pervognsen/b204bf31af0809af078617af1609c8b8
+1. [Fundamentals of Grassmann Algebra](http://www.terathon.com/gdc12_lengyel.pdf)
+1. https://github.com/chakravala/Grassmann.jl
+
+# Abstract Algebra
+
+1. https://gowers.wordpress.com/2011/11/20/normal-subgroups-and-quotient-groups/
+1. [Abstract Algebra: Theory and Applications](http://abstract.ups.edu/)
+1. [Group Theory](http://birdtracks.eu/version9.0/GroupTheory.pdf)
+1. [VISUAL GROUP THEORY](http://web.bentley.edu/empl/c/ncarter/vgt/index.html)
+1. [THE GEOMETRY OF REFLECTION GROUPS](http://people.mpim-bonn.mpg.de/geordie/mpg.pdf)
+1. https://kubuszok.com/2018/algebras-we-love/
+1. [Notes on Computational Group Theory](https://www.math.colostate.edu/~hulpke/CGT/cgtnotes.pdf)
+
+# Logic
+
+1. http://openlogicproject.org/
+
+# Calculus
+
+1. [Calculus BLUE](https://www.youtube.com/watch?v=Jes5jwLl1q8&list=PL8erL0pXF3JYm7VaTdKDaWc8Q3FuP8Sa7)
+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. [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
+
+# Octonion
+
+1. http://math.ucr.edu/home/baez/octonions/
+
+# Differential Geometry
+
+1. [differential geometry reconstructed: a unified systematic framework](http://www.geometry.org/tex/conc/dgstats.php)
+1. [Differential geometry reconstructed: a unified systematic framework](http://www.topology.org/tex/conc/dg.html)
+
+# Information Theory
+
+1. [Functional Bits: Lambda Calculus based Algorithmic Information Theory](https://tromp.github.io/cl/LC.pdf)
+
+# Graph Theory
+
+1. [Graph-Based Algorithms for Boolean Function Manipulation](http://mtv.ece.ucsb.edu/courses/ece156B_14/randy_obdd86.pdf)
+1. [better geometry through graph theory](http://ideolalia.com/2018/08/28/artifex.html)
+
+# Division by Zero
+
+1. https://www.hillelwayne.com/post/divide-by-zero/
+1. https://www.1dividedby0.com/
+
+# Partial Fractions
+
+1. https://jaydaigle.net/blog/calculus/easier-partial-fractions/
+
+# Non-commutative Algebra
+
+1. [An Invitation to Noncommutative Algebra](https://arxiv.org/abs/1808.03172)
+
+# Lambda Calculus
+
+1. https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c
+
+# _Software Library_
+
+1. https://github.com/arguiot/TheoremJS
+1. https://github.com/arguiot/Descartes
+
+# Set Theory
+
+1. [Set Theory and Algebra in Computer Science: A Gentle Introduction to Mathematical Modeling](https://pdfs.semanticscholar.org/d106/6b6de601c1d7d5af25af3f7091bc7ad3ad51.pdf)
+
+# Uncertainty Theory
+
+1. http://faculty.math.tsinghua.edu.cn/~bliu/ut.pdf
+1. [An Introduction to the Mathematics of Uncertainty: including Set Theory, Logic, Probability, Fuzzy Sets, Rough Sets, and Evidence Theory](https://www.creighton.edu/fileadmin/user/CCAS/programs/fuzzy_math/docs/MOU.pdf)
+
+# Computational Geometry
+
+1. [CMPT 813: Computational Geometry (Fall 2011)](http://www.cs.sfu.ca/~binay/813.2011/)
+1. https://www.johndcook.com/blog/2018/09/26/polygon-area/
+1. http://s2geometry.io/devguide/s2cell_hierarchy.html
+1. http://alienryderflex.com/polygon/
+1. https://libigl.github.io/
+
+# Finitism
+
+1. ["REAL" ANALYSIS Is A DEGENERATE CASE of DISCRETE ANALYSIS](http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf)
+
+# Linear programming
+
+1. https://white.ucc.asn.au/2018/05/28/Optimizing-your-diet-with-JuMP.html
+
+# Combinatorics
+
+1. [Combinatorial Algorithms](http://www2.denizyuret.com/bib/kreher/donald1999combinatorial/combinatorialA.pdf)
+
+# Vector
+
+1. https://www.researchgate.net/publication/327989714_Coordinate_Free_Vector_Algebra_in_R2
+
+# Knot theory
+
+1. [The Knot Book](http://math.harvard.edu/~ctm/home/text/books/adams/knot_book/knot_book.pdf)
+
+# Axiom
+
+1. [INTRODUCTION TO AXIOMATIC REASONING](http://www.math.harvard.edu/~mazur/papers/Axiomatic.pdf)
+
+# Differential equations
+
+1. [ELEMENTARY DIFFERENTIAL EQUATIONS](http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_FREE_DIFFEQ_I.PDF)
+1. [Lecture Notes on Difference Equations](http://people.math.aau.dk/~matarne/11-imat/notes2011a.pdf)
+
+# Algebraic geometry
+
+1. http://nautil.us/issue/69/patterns/the-math-that-takes-newton-into-the-quantum-world
+1. [Algebraic Geometry](http://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2014/main.pdf)
+1. https://en.wikipedia.org/wiki/Superformula
+
+# Physics
+
+1. https://www.researchgate.net/publication/309533409_Beyond_Einstein_non-local_physics
+1. https://www.theoretical-physics.com/dev/index.html
+
+# Spherical trigonometry
+
+1. https://en.wikipedia.org/wiki/Haversine_formula
+
+# **Temp Cache**
+
+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
+1. https://stacks.math.columbia.edu/
+1. http://www.gutenberg.org/ebooks/17384
+1. http://illustratedtheoryofnumbers.com/
+1. [Construction of the Transreal Numbers and Algebraic Transfields](http://www.iaeng.org/IJAM/issues_v46/issue_1/IJAM_46_1_03.pdf)
+1. http://simit-lang.org/language
+1. http://wykobi.com/tutorial0.html
+1. https://pron.github.io/computation-logic-algebra
+1. https://github.com/rossant/awesome-math
+1. [Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Engineering](https://www.cis.upenn.edu/~jean/math-basics.pdf)
+1. http://math.chapman.edu/~jipsen/structures/doku.php/
+1. http://stacks.math.columbia.edu/browse
+1. https://bitworking.org/news/ga/2d
+1. https://www.youtube.com/watch?v=OmJ-4B-mS-Y
+1. https://www.youtube.com/watch?v=ZihywtixUYo
+1. https://www.youtube.com/user/njwildberger
+1. http://www.hedonisticlearning.com/posts/category-theory-syntactically.html
+1. https://www.youtube.com/watch?v=EA1FFtTGAfw&list=PLSekr_gm4hWLRNHB5-sbajyUzN5tLOZmx
+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/
+1. http://magma.maths.usyd.edu.au/magma/
+1. [A VIEW OF MATHEMATICS](http://www.alainconnes.org/docs/maths.pdf)
+1. [Introduction to Tensor Analysis and the Calculus of Moving Surfaces](https://www.amazon.com/gp/product/1461478669)
+1. https://en.wikipedia.org/wiki/Wheel_theory
+1. http://wordsandbuttons.online/interactive_guide_to_homogeneous_coordinates.html
+1. https://a-guide-to-the-purescript-numeric-hierarchy.readthedocs.io/en/latest/index.html
+1. http://blog.wolfram.com/2016/12/22/the-semantic-representation-of-pure-mathematics/
+1. https://www.youtube.com/watch?v=psSyM1zp82k
+1. [Viviane Pons - Experimental pure mathematics using Sage - PyCon 2015](https://www.youtube.com/watch?v=3LZiZKgVjaU)
+1. http://www.sagemath.org/
+1. [The axioms of constructive geometry](https://www.sciencedirect.com/science/article/pii/0168007295000052)
+1. https://www.quora.com/What-is-it-like-to-understand-advanced-mathematics-Does-it-feel-analogous-to-having-mastery-of-another-language-like-in-programming-or-linguistics/answers/873950?share=1
+1. http://www.tricki.org/tricki/map
+1. https://maxow.github.io/posts/computational-geometry-set-operations-on-polytopes.html
+1. http://blog.robertelder.org/fast-multiplication-using-fourier-transform/
+1. [Graphical Models in a Nutshell](https://ai.stanford.edu/~koller/Papers/Koller+al:SRL07.pdf)
+
diff --git a/documentation/research/operating_system.md b/documentation/research/operating_system.md
new file mode 100644
index 000000000..4997a3cb2
--- /dev/null
+++ b/documentation/research/operating_system.md
@@ -0,0 +1,253 @@
+# Architecture
+
+1. [TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines](https://arxiv.org/abs/1807.05308)
+
+# Graphics | Rendering
+
+1. https://fuchsia.googlesource.com/garnet/+/master/docs/ui/scenic.md
+
+# Exemplar
+
+## Operating system
+
+1. http://lsneff.me/why-nebulet/ ||| https://github.com/nebulet/nebulet
+1. http://exposnitc.github.io/index.html
+1. https://www.gocosmos.org/
+1. http://www.microkernel.info/
+1. http://webosose.org/
+1. https://ostree.readthedocs.io/en/latest/manual/introduction/
+1. http://www.helenos.org/
+1. http://nixos.org/
+1. https://github.com/klange/toaruos
+1. http://greenteapress.com/thinkos/
+1. http://kolibrios.org/en/
+1. http://menuetos.net/
+1. https://sailfishos.org/
+1. http://www.barrelfish.org/index.html
+1. https://samypesse.gitbooks.io/how-to-create-an-operating-system/
+1. https://lumina-desktop.org/
+1. 2015 01 GNU Guix The Emacs of Distros &&& https://www.youtube.com/watch?v=AzebnJkfdvM
+1. The Synthesis Kernel &&& https://www.usenix.org/legacy/publications/compsystems/1988/win_pu.pdf
+1. http://zoo.cs.yale.edu/classes/cs422/pios
+1. https://fuchsia.googlesource.com/docs/+/HEAD/book.md
+1. https://externos.io/
+1. http://www.shadowdefender.com/
+1. https://pureos.net/
+1. http://progmp.net/
+1. http://www.uruk.org/emu/Taos.html
+1. http://www.dickpountain.co.uk/home/computing/byte-articles/the-taos-operating-system-1991?hn
+1. https://www.redox-os.org/
+1. https://system76.com/pop
+1. http://habitatchronicles.com/2017/05/what-are-capabilities/ &&& ( Start reading where it says "Embedded systems" )
+1. http://genode.org/documentation/general-overview/index
+1. https://camlistore.org/
+1. https://opensource.com/article/17/10/flintos
+1. https://sortix.org/
+1. https://www.kickstarter.com/projects/xiki/xikihub-the-social-command-line
+1. https://www.tockos.org/
+1. http://hydros-project.org/
+1. Twizzler: An Operating System for Next-Generation Memory Hierarchies &&& https://www.ssrc.ucsc.edu/Papers/ssrctr-17-01.pdf
+1. http://www.includeos.org/
+1. https://harvey-os.org/
+1. https://github.com/jvburnes/node9
+1. http://unleashed-os.org/
+1. https://github.com/GreenteaOS/Greentea
+1. https://xinu.cs.purdue.edu/
+1. https://browsix.org/
+1. https://github.com/frzb/coinboot
+1. http://www.jbox.dk/sanos/index.htm
+1. https://www.osrtos.com/
+1. [CLOSOS Specification of a Lisp operating system.](http://metamodular.com/lispos.pdf)
+1. http://metamodular.com/Common-Lisp/lispos.html
+1. http://riot-os.org/
+1. http://www.scs.stanford.edu/histar/
+1. http://sel4.systems/
+
+## Unikernel
+
+1. https://hermitcore.org/2018/06/06/A-Rust-based-Unikernel/
+1. http://unikernel.org/
+1. https://xenproject.org/linux-foundation/80-developers/207-unikraft.html
+1. https://fourlightyears.blogspot.com/2018/08/what-i-could-not-undiscover-about.html
+1. https://mirage.io/
+1. [Unikernels: No Longer an Academic Exercise](http://250bpm.com/blog:138)
+1. https://github.com/hermitcore/libhermit-rs
+1. https://next.redhat.com/2018/11/14/ukl-a-unikernel-based-on-linux/
+1. https://github.com/joekoolade/JOE
+1. https://ssrg-vt.github.io/hermitux/
+1. https://nanovms.com/dev/tutorials/running-forth-unikernels
+1. [Unikernels: The Next Stage of Linux’s Dominance](https://www.cs.bu.edu/~jappavoo/Resources/Papers/unikernel-hotos19.pdf)
+1. https://grapheneproject.io/
+1. https://ops.city/
+
+# Reference
+
+1. [Writing an OS in Rust (Second Edition)](https://os.phil-opp.com/)
+1. https://archiveos.org/
+1. https://lwn.net/Articles/615809/
+1. https://www.tweag.io/posts/2018-03-15-bazel-nix.html
+1. Type-Safe Operating System Abstractions &&& https://www.cs.dartmouth.edu/~trdata/reports/TR2004-526.pdf
+1. https://www.hillelwayne.com/post/nix/
+1. https://github.com/pervognsen/bitwise
+1. True parallelism, with no concept of threads - Alfred Bratterud - Meeting C++ 2017 &&& https://www.youtube.com/watch?v=9IXivbSA_5A
+1. http://ccl.cse.nd.edu/software/parrot/
+1. http://greenteapress.com/wp/think-os/
+1. https://gustavus.edu/mcs/max/os-book/
+1. https://sywtwaosir.wordpress.com/
+1. https://communityblog.fedoraproject.org/modularity-dead-long-live-modularity/
+1. https://en.wikipedia.org/wiki/WinFS
+1. An alternative device-tree source language &&& https://lwn.net/SubscriberLink/730217/556c557e8a3bf0a0/
+1. https://joshondesign.com/2017/08/18/idealos_essay
+1. https://tuhdo.github.io/os01/
+1. https://www.usenix.org/legacy/events/usenix03/tech/full_papers/padioleau/padioleau_html/index.html
+1. https://medium.com/@ifesdjeen/on-disk-io-part-3-lsm-trees-8b2da218496f
+1. https://medium.com/@ifesdjeen/on-disk-storage-part-4-b-trees-30791060741
+1. http://fare.tunes.org/LispM.html
+1. http://queue.acm.org/detail.cfm?id=1317400
+1. The Art of Unix Programming &&& http://www.catb.org/esr/writings/taoup/html/index.html
+1. https://shivambharuka.wordpress.com/2017/10/25/arrakis-the-operating-system-is-the-control-plane/
+1. https://sortix.org/os-test/
+1. https://existentialtype.wordpress.com/2016/07/11/pclsring-in-semantics/
+1. Database/Operating System Co-Design &&& https://www.research-collection.ethz.ch/handle/20.500.11850/136
+1. YOW! Lambda Jam 2017 Brian McKenna - Nix for Functional Systems &&& https://www.youtube.com/watch?v=mIxtBVKo7JE
+1. [Mouse Programming with libgpm](https://www.linuxjournal.com/article/4600)
+1. https://developer.apple.com/library/archive/documentation/DeviceDrivers/Conceptual/WritingDeviceDriver/CPluPlusRuntime/CPlusPlusRuntime.html
+1. https://yarchive.net/comp/linux/everything_is_file.html
+1. [Operating Systems: Three Easy Pieces](http://pages.cs.wisc.edu/~remzi/OSTEP/)
+1. http://www.drdobbs.com/parallel/booting-an-intel-architecture-system-par/232300699
+1. [The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security](http://ts.data61.csiro.au/publications/csiro_full_text/Biggs_LH_18.pdf)
+1. https://medium.com/@enkiv2/composability-homogeneity-and-language-based-systems-fb00e2c2458
+1. [Write your own Operating System](https://www.youtube.com/playlist?list=PLHh55M_Kq4OApWScZyPl5HhgsTJS9MZ6M)
+1. [Light-weight Contexts: An OS Abstraction for Safety and Performance](https://people.mpi-sws.org/~druschel/publications/osdi16.pdf)
+1. https://augustl.com/blog/2014/an_immutable_operating_system/
+
+# Higher-Order
+
+1. https://www.yoctoproject.org/
+
+# Formats
+
+1. http://iokit.racing/machotricks.pdf
+
+# Error-handling
+
+1. http://joeduffyblog.com/2016/02/07/the-error-model/
+1. https://code.fb.com/production-engineering/open-sourcing-oomd-a-new-approach-to-handling-ooms/
+1. https://os.phil-opp.com/double-fault-exceptions/
+
+# Tools
+
+1. https://osquery.io/
+1. https://github.com/facebook/osquery
+
+# Shell
+
+1. https://latacora.singles/2018/06/21/loud-subshells.html
+1. https://github.com/ipetkov/conch-runtime
+1. https://www.spinellis.gr/sw/dgsh/
+
+# File-system
+
+1. https://medium.com/@siddontang/use-fuse-to-inject-failure-to-i-o-deb5f2e7800a
+1. [Spiffy: Enabling File-System Aware Storage Applications](https://www.usenix.org/conference/fast18/presentation/sun)
+1. https://github.com/bindh3x/libnicko
+1. https://github.com/floyernick/fleep-py
+1. https://brauner.github.io/2018/08/05/unprivileged-file-capabilities.html
+1. http://louwrentius.com/the-sorry-state-of-cow-file-systems.html
+1. https://www.notthewizard.com/2014/06/17/are-files-appends-really-atomic/
+1. https://medium.com/datadriveninvestor/writing-your-own-file-system-is-not-as-hard-as-you-may-think-aa4af09329cd
+1. http://www.betrfs.org/
+1. https://docs.microsoft.com/en-us/windows/desktop/projfs/projected-file-system
+1. [The Lustre Storage Architecture](https://arxiv.org/abs/1903.01955)
+
+# Shared libraries | Dynamic Loading
+
+1. https://www.kix.in/2008/06/19/an-alternative-to-shared-libraries/
+1. https://www.akkadia.org/drepper/no_static_linking.html
+1. https://amir.rachum.com/blog/2016/09/17/shared-libraries/
+
+# Packages
+
+1. https://snapcraft.io/
+1. https://code.fb.com/data-infrastructure/xars-a-more-efficient-open-source-system-for-self-contained-executables/
+
+# System Calls
+
+1. https://eli.thegreenplace.net/2018/basics-of-futexes/
+1. [FlexSC: Flexible System Call Scheduling with Exception-Less System Calls](https://www.usenix.org/legacy/event/osdi10/tech/full_papers/Soares.pdf)
+
+# Security
+
+1. https://en.wikipedia.org/wiki/Reference_monitor
+1. [FINE-CFI: Fine-grained Control-Flow Integrity for Operating System Kernels](http://www.cs.wayne.edu/fengwei/paper/fine-cfi-tifs18.pdf)
+1. https://unsat.cs.washington.edu/projects/hyperkernel/
+1. [Capsicum](https://oshogbo.vexillium.org/blog/57/)
+1. [OS-level Attacks and Defenses: from Software to Hardware-based Exploits](http://tuprints.ulb.tu-darmstadt.de/8482/1/gens_diss.pdf)
+1. [Time Protection: The Missing OS Abstraction](https://ts.data61.csiro.au/publications/csiro_full_text//Ge_YCH_19.pdf)
+1. [Light-weight Contexts: An OS Abstraction for Safety and Performance](https://www.usenix.org/system/files/conference/osdi16/osdi16-litton.pdf)
+
+# Driver
+
+1. https://blogs.windows.com/buildingapps/2018/08/15/introducing-driver-module-framework/#J6CWEbpcH0OwgWbP.97
+1. [Toward Compositional Verification of Interruptible OS Kernels and Device Drivers](http://flint.cs.yale.edu/flint/publications/device-journal.pdf)
+1. [Writing Network Drivers in Haskell](https://www.net.in.tum.de/fileadmin/bibtex/publications/theses/2019-ixy-haskell.pdf)
+
+# Networking
+
+1. [Computer Networks: A Systems Approach](https://github.com/SystemsApproach/book)
+
+# Kernel
+
+1. [A new kernel polling interface](https://lwn.net/Articles/743714/)
+1. [Composing Abstractions using the null-Kernel](https://people.mpi-sws.org/~dg/papers/hotosxvii.pdf)
+
+# I/O
+
+1. [The block I/O latency controller](https://lwn.net/Articles/758963/)
+1. [I/O Is Faster Than the CPU – Let’s Partition Resources and Eliminate (Most) OS Abstractions](https://penberg.org/parakernel-hotos19.pdf)
+
+# Init System
+
+1. https://davmac.wordpress.com/2018/10/26/on-the-vagaries-of-init-systems/
+
+# Homogeneous Operating Systems
+
+1. https://ecc-comp.blogspot.com/2014/12/homogeneous-operating-systems-are-better.html
+
+# Update System
+
+1. https://theupdateframework.github.io/overview.html
+
+# Signal
+
+1. http://delyan.me/code-review-signals/
+
+# Daemon
+
+1. https://chaoticlab.io/c/c++/unix/2018/10/01/daemonize.html
+
+# Memory
+
+1. [Memory Systems and Memory-Centric Computing Systems](http://people.inf.ethz.ch/omutlu/acaces2018.html)
+1. https://en.wikipedia.org/wiki/Page_replacement_algorithm
+
+# Hardware
+
+1. [There's No Such Thing as a General-purpose Processor](https://queue.acm.org/detail.cfm?id=2687011)
+
+# Reliability
+
+1. [CuriOS: Improving Reliability through Operating System Structure](http://people.cs.ksu.edu/~danielwang/Investigation/System_Security/curios.pdf)
+
+# Booting | Bootstrapping
+
+1. https://puri.sm/posts/pureboot-the-high-security-boot-process/
+
+# Virtualization
+
+1. [virtio: Towards a De-Facto Standard For Virtual I/O Devices](https://www.ozlabs.org/~rusty/virtio-spec/virtio-paper.pdf)
+
+# Separation kernel
+
+1. [High-Assurance Separation Kernels: A Survey on Formal Methods](https://arxiv.org/abs/1701.01535)
+
diff --git a/documentation/research/text_editor & ide.md b/documentation/research/text_editor & ide.md
index 3f486b53c..405eca132 100644
--- a/documentation/research/text_editor & ide.md
+++ b/documentation/research/text_editor & ide.md
@@ -177,7 +177,7 @@
1. https://tratt.net/laurie/blog/entries/an_editor_for_composed_programs.html
1. [Hjalfi makes smalltalk (in Javascript)](https://www.youtube.com/watch?v=JDunc6Cr7YQ)
-## Structured Editing
+## Structured editing
1. [Deuce: A Lightweight User Interface for Structured Editing](https://arxiv.org/abs/1707.00015)
1. ["Structured Editing for Elm* in Elm" by Ravi Chugh](https://www.youtube.com/watch?v=-TFL6E1uSHE)
@@ -187,3 +187,7 @@
1. http://justinpombrio.net/tree-editors/survey.html
+## Image editor
+
+1. https://www.ludigraphix.org/
+