diff options
Diffstat (limited to '')
| -rw-r--r-- | documentation/research/Optimization.md | 4 | ||||
| -rw-r--r-- | documentation/research/Security.md | 1 | ||||
| -rw-r--r-- | documentation/research/cryptography.md | 2 | ||||
| -rw-r--r-- | documentation/research/database.md | 6 | ||||
| -rw-r--r-- | documentation/research/debugging.md | 2 | ||||
| -rw-r--r-- | documentation/research/distributed_programming.md | 1 | ||||
| -rw-r--r-- | documentation/research/documentation.md | 1 | ||||
| -rw-r--r-- | documentation/research/game_programming.md | 2 | ||||
| -rw-r--r-- | documentation/research/math.md | 5 | ||||
| -rw-r--r-- | documentation/research/operating_system.md | 1 |
10 files changed, 22 insertions, 3 deletions
diff --git a/documentation/research/Optimization.md b/documentation/research/Optimization.md index f46215cdd..32f8e0b18 100644 --- a/documentation/research/Optimization.md +++ b/documentation/research/Optimization.md @@ -1,3 +1,7 @@ +# For the compiler + +1. [Self Hosting a Million-Lines-Per-Second Parser](https://bjou-lang.org/blog/7-10-2019-self-hosting-a-million-lines-per-second-parser/7-10-2019-self-hosting-a-million-lines-per-second-parser.html) + # Reference 1. https://docs.google.com/presentation/d/1tpeJZFObkeick4CF-mx0L3CeCgvT15B96aJeRpxEPcE/preview?slide=id.p diff --git a/documentation/research/Security.md b/documentation/research/Security.md index 2990c7243..6ee526434 100644 --- a/documentation/research/Security.md +++ b/documentation/research/Security.md @@ -28,6 +28,7 @@ # Reference +1. [Good Practices for Capability URLs](https://www.w3.org/TR/capability-urls/) 1. [Secure Socket API](https://securesocketapi.org/) 1. [Mind your Language(s): A discussion about languages and security](https://www.ssi.gouv.fr/uploads/IMG/pdf/Mind_Your_Languages_-_version_longue.pdf) 1. https://www.microsoft.com/en-us/research/blog/scaling-the-everest-of-software-security-with-dr-jonathan-protzenko/ diff --git a/documentation/research/cryptography.md b/documentation/research/cryptography.md index 8176bbcf7..bd3ec0d87 100644 --- a/documentation/research/cryptography.md +++ b/documentation/research/cryptography.md @@ -1,5 +1,7 @@ # Constant-time programming +1. [Verifying Constant-Time Implementations](https://michael-emmi.github.io/papers/conf-uss-AlmeidaBBDE16.pdf) +1. https://www.bearssl.org/ctmul.html 1. [FaCT: A Flexible, Constant-Time Programming Language](https://cseweb.ucsd.edu/~dstefan/pubs/cauligi:2017:fact.pdf) 1. [FaCT: A DSL for Timing-Sensitive Computation](https://ranjitjhala.github.io/static/fact_dsl.pdf) 1. ["FaCT: A New Language for Constant-Time Programming" by Sunjay Cauligi](https://www.youtube.com/watch?v=kbn9UCRK2Qg) diff --git a/documentation/research/database.md b/documentation/research/database.md index de99fde3f..65f42f3c8 100644 --- a/documentation/research/database.md +++ b/documentation/research/database.md @@ -38,9 +38,8 @@ # Optimization -1. Relaxed Operator Fusion for In-Memory Databases: Making Compilation, Vectorization, and Prefetching Work Together At Last - - https://db.cs.cmu.edu/papers/2017/p1-menon.pdf +1. [Hera - High Efficiency Reliable Access to data stores](https://github.com/paypal/hera) +1. [Relaxed Operator Fusion for In-Memory Databases: Making Compilation, Vectorization, and Prefetching Work Together At Last](https://db.cs.cmu.edu/papers/2017/p1-menon.pdf) 1. https://medium.com/connect-the-dots/optimizing-queries-in-rethinkdb-584d7f660cb 1. https://blog.acolyer.org/2019/01/18/towards-a-hands-free-query-optimizer-through-deep-learning/ 1. http://blog.felipe.rs/2019/01/29/demystifying-join-algorithms/ @@ -107,6 +106,7 @@ ## General +1. https://github.com/Workiva/eva/ 1. https://learndb.net/ 1. http://orientdb.com/ 1. https://ignite.apache.org/ diff --git a/documentation/research/debugging.md b/documentation/research/debugging.md index 39fa3b51f..6b9671d47 100644 --- a/documentation/research/debugging.md +++ b/documentation/research/debugging.md @@ -14,6 +14,8 @@ # Reference +1. [Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs](https://stefan-marr.de/2019/07/what-if-we-could-see-all-concurrency-bugs-in-the-debugger/) +1. [Writing a Debugger](http://system.joekain.com/debugger/) 1. https://en.wikipedia.org/wiki/Jinx_Debugger 1. http://www.mattzeunert.com/2017/12/07/better-types-of-debuggers.html 1. https://www.youtube.com/watch?v=ipDhvd1NsmE diff --git a/documentation/research/distributed_programming.md b/documentation/research/distributed_programming.md index 018357958..991edf8b0 100644 --- a/documentation/research/distributed_programming.md +++ b/documentation/research/distributed_programming.md @@ -1,5 +1,6 @@ # Reference +1. [DDD and Messaging Architectures: An overview of my different series on patterns in distributed systems.](http://verraes.net/2019/05/ddd-msg-arch/) 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 diff --git a/documentation/research/documentation.md b/documentation/research/documentation.md index 55cc7e02a..3219348b9 100644 --- a/documentation/research/documentation.md +++ b/documentation/research/documentation.md @@ -45,6 +45,7 @@ # Reference +1. [Seamless API Specification](https://github.com/seamlessapis/seamless/tree/master/domain) 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/ diff --git a/documentation/research/game_programming.md b/documentation/research/game_programming.md index 3ff01be0a..5034eda93 100644 --- a/documentation/research/game_programming.md +++ b/documentation/research/game_programming.md @@ -59,6 +59,8 @@ # Rendering +1. [WebGL2 Fundamentals](https://webgl2fundamentals.org/) +1. [Tiles to Curves: Fun With Voronoi Graphs (part 1)](https://www.gamedev.net/articles/programming/general-and-gameplay-programming/tiles-to-curves-fun-with-voronoi-graphs-part-1-r5150/) 1. [Lazy Incremental Computation for Efficient Scene Graph Rendering](https://www.cg.tuwien.ac.at/courses/RendEng/2015/RendEng-2015-11-16-paper2.pdf) 1. [3D Wireframes in SVG](https://prideout.net/blog/svg_wireframes/) 1. https://zzz.dog/ diff --git a/documentation/research/math.md b/documentation/research/math.md index 5c8db787c..0299293b3 100644 --- a/documentation/research/math.md +++ b/documentation/research/math.md @@ -1,3 +1,7 @@ +# Prime number + +1. [The History of the Primality of One: A Selection of Sources](https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell2/cald6.pdf) + # Trigonometry 1. [Approximating the Sine Function](http://datagenetics.com/blog/july12019/index.html) @@ -17,6 +21,7 @@ # Topology +1. [Pointless topology](https://en.wikipedia.org/wiki/Pointless_topology) 1. [ELEMENTARY APPLIED TOPOLOGY](https://www.math.upenn.edu/~ghrist/notes.html) # Library diff --git a/documentation/research/operating_system.md b/documentation/research/operating_system.md index 74d5f33f6..2e26a3976 100644 --- a/documentation/research/operating_system.md +++ b/documentation/research/operating_system.md @@ -189,6 +189,7 @@ # System Calls +1. [1001 Ways of Implementing a System Call](https://x86.lol/generic/2019/07/04/kernel-entry.html) 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) |