From 63b45e09c5f5ceb59a48ed05cdc2d2c6cb038a7b Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 24 Dec 2021 08:58:01 -0400 Subject: Dusting off the pure-Lux JVM compiler machinery. --- documentation/bookmark/back_end/haskell.md | 8 +- documentation/bookmark/back_end/scopes.md | 4 + documentation/bookmark/back_end/wasm.md | 65 +- documentation/bookmark/concurrency.md | 3 +- documentation/bookmark/cryptography.md | 1 + documentation/bookmark/css.md | 10 + documentation/bookmark/database.md | 716 ++++++++++----------- documentation/bookmark/documentation.md | 124 ++-- documentation/bookmark/error_messages.md | 5 +- documentation/bookmark/extensibility.md | 4 + documentation/bookmark/game/development.md | 4 + documentation/bookmark/game/generation/move.md | 4 + documentation/bookmark/game/generation/plot.md | 5 + documentation/bookmark/game/juice.md | 4 + documentation/bookmark/game/mechanic/bug.md | 4 + .../bookmark/game/mechanic/relationship.md | 4 + documentation/bookmark/game/move.md | 4 + documentation/bookmark/game/tool.md | 4 + documentation/bookmark/gpu_programming.md | 4 + documentation/bookmark/linux.md | 4 + documentation/bookmark/math.md | 483 +++++++------- .../bookmark/math/geometry/computational.md | 4 + documentation/bookmark/math/geometry/dimension.md | 4 + documentation/bookmark/memory_management.md | 54 +- documentation/bookmark/optimization.md | 87 +-- .../bookmark/paradigm/logic_programming.md | 85 +-- documentation/bookmark/tool/text_editor.md | 347 +++++----- documentation/bookmark/type_theory/linear.md | 4 - .../bookmark/type_theory/sub_structural.md | 6 + .../bookmark/user_interface/accessibility.md | 5 +- documentation/bookmark/user_interface/desktop.md | 6 +- documentation/bookmark/user_interface/widget.md | 4 + documentation/bookmark/web_browser.md | 2 + 33 files changed, 1088 insertions(+), 984 deletions(-) create mode 100644 documentation/bookmark/back_end/scopes.md create mode 100644 documentation/bookmark/css.md create mode 100644 documentation/bookmark/extensibility.md create mode 100644 documentation/bookmark/game/development.md create mode 100644 documentation/bookmark/game/generation/move.md create mode 100644 documentation/bookmark/game/generation/plot.md create mode 100644 documentation/bookmark/game/juice.md create mode 100644 documentation/bookmark/game/mechanic/bug.md create mode 100644 documentation/bookmark/game/mechanic/relationship.md create mode 100644 documentation/bookmark/game/move.md create mode 100644 documentation/bookmark/game/tool.md create mode 100644 documentation/bookmark/gpu_programming.md create mode 100644 documentation/bookmark/linux.md create mode 100644 documentation/bookmark/math/geometry/computational.md create mode 100644 documentation/bookmark/math/geometry/dimension.md delete mode 100644 documentation/bookmark/type_theory/linear.md create mode 100644 documentation/bookmark/type_theory/sub_structural.md create mode 100644 documentation/bookmark/user_interface/widget.md (limited to 'documentation') diff --git a/documentation/bookmark/back_end/haskell.md b/documentation/bookmark/back_end/haskell.md index a8621380f..b54c23945 100644 --- a/documentation/bookmark/back_end/haskell.md +++ b/documentation/bookmark/back_end/haskell.md @@ -1,5 +1,9 @@ +# Language + +0. [Finkel](https://github.com/finkel-lang/finkel) +0. [Eta - Modern Haskell on the JVM](https://github.com/typelead/eta) + # Reference -1. [Thunks, Sharing, Laziness: The Haskell Heap Visualized – Joachim Breitner](https://www.youtube.com/watch?v=I4lnCG18TaY) -1. [Eta - Modern Haskell on the JVM](https://github.com/typelead/eta) +0. [Thunks, Sharing, Laziness: The Haskell Heap Visualized – Joachim Breitner](https://www.youtube.com/watch?v=I4lnCG18TaY) diff --git a/documentation/bookmark/back_end/scopes.md b/documentation/bookmark/back_end/scopes.md new file mode 100644 index 000000000..cd938a3ad --- /dev/null +++ b/documentation/bookmark/back_end/scopes.md @@ -0,0 +1,4 @@ +# Reference + +0. [The Scopes Programming Language & Compiler Infrastructure](https://hg.sr.ht/~duangle/scopes) + diff --git a/documentation/bookmark/back_end/wasm.md b/documentation/bookmark/back_end/wasm.md index 002c0b31d..7207e6d4b 100644 --- a/documentation/bookmark/back_end/wasm.md +++ b/documentation/bookmark/back_end/wasm.md @@ -1,39 +1,44 @@ +# Concurrency + +0. [Wasm threads are now available in all browsers](https://old.reddit.com/r/WebAssembly/comments/rk83mr/wasm_threads_are_now_available_in_all_browsers/) + # Platform -1. [Wasmer Java](https://github.com/wasmerio/wasmer-java) -1. [WAVM: WAVM is a WebAssembly virtual machine, designed for use in non-web applications.](https://wavm.github.io/) +0. [Wasmer Java](https://github.com/wasmerio/wasmer-java) +0. [WAVM: WAVM is a WebAssembly virtual machine, designed for use in non-web applications.](https://wavm.github.io/) # Exemplar -1. [Announcing GraalWasm — a WebAssembly engine in GraalVM](https://medium.com/graalvm/announcing-graalwasm-a-webassembly-engine-in-graalvm-25cd0400a7f2) -1. [Towards a WebAssembly standalone runtime on GraalVM](https://dl.acm.org/citation.cfm?id=3362780) -1. https://github.com/vvanders/wasm_lua -1. https://github.com/AppCypher/webassemblylanguages -1. https://medium.com/perlin-network/life-a-secure-blazing-fast-cross-platform-webassembly-vm-in-go-ea3b31fa6e09 +0. [Announcing GraalWasm — a WebAssembly engine in GraalVM](https://medium.com/graalvm/announcing-graalwasm-a-webassembly-engine-in-graalvm-25cd0400a7f2) +0. [Towards a WebAssembly standalone runtime on GraalVM](https://dl.acm.org/citation.cfm?id=3362780) +0. https://github.com/vvanders/wasm_lua +0. https://github.com/AppCypher/webassemblylanguages +0. https://medium.com/perlin-network/life-a-secure-blazing-fast-cross-platform-webassembly-vm-in-go-ea3b31fa6e09 # Reference -1. [Wasm needs a better memory management story](https://github.com/WebAssembly/design/issues/1397) -1. https://bytecodealliance.org/ -1. [Faster Fractals with Multi-Threaded WebAssembly](https://blog.scottlogic.com/2019/07/15/multithreaded-webassembly.html) -1. https://blog.scottlogic.com/2018/07/20/wasm-future.html -1. http://fitzgeraldnick.com/2018/04/26/how-does-dynamic-dispatch-work-in-wasm.html -1. https://hacks.mozilla.org/2018/03/making-webassembly-better-for-rust-for-all-languages/ -1. https://webassembly.github.io/ -1. https://github.com/WebAssembly/spec/blob/md-proto/md-proto/WebAssembly.md -1. https://github.com/WebAssembly/binaryen -1. [NYLUG Presents: Luke Wagner -on- WebAssembly: A New Compiler Target For The Web](https://www.youtube.com/watch?v=RByPdCN1RQ4) -1. https://binji.github.io/2017/03/05/webassembly-type-checking.html -1. https://github.com/WebAssembly/spec/tree/master/interpreter -1. https://mbebenita.github.io//WasmExplorer/ -1. http://thecodebarbarian.com/getting-started-with-webassembly-in-node.js.html -1. http://blog.seraum.com/compiling-javascript-to-webassembly-wasm-or-asm-js-with-nectarjs -1. https://hacks.mozilla.org/2017/07/memory-in-webassembly-and-why-its-safer-than-you-think/ -1. [Using WebAssembly and Threads (Chrome Dev Summit 2018)](https://www.youtube.com/watch?v=zgOGZgAPUjQ) -1. https://github.com/wasmerio/wasmer -1. https://www.fastly.com/blog/announcing-lucet-fastly-native-webassembly-compiler-runtime -1. https://hacks.mozilla.org/2019/03/standardizing-wasi-a-webassembly-system-interface/ -1. https://cybernetist.com/2019/04/25/wasm-universal-application-runtime/ -1. https://github.com/intel/wasm-micro-runtime -1. https://medium.com/wasmer/running-webassembly-on-the-kernel-8e04761f1d8e +0. [Chasing Memory Bugs through V8 and WebAssembly](https://blog.stackblitz.com/posts/debugging-v8-webassembly/) +0. [Wasm needs a better memory management story](https://github.com/WebAssembly/design/issues/1397) +0. https://bytecodealliance.org/ +0. [Faster Fractals with Multi-Threaded WebAssembly](https://blog.scottlogic.com/2019/07/15/multithreaded-webassembly.html) +0. https://blog.scottlogic.com/2018/07/20/wasm-future.html +0. http://fitzgeraldnick.com/2018/04/26/how-does-dynamic-dispatch-work-in-wasm.html +0. https://hacks.mozilla.org/2018/03/making-webassembly-better-for-rust-for-all-languages/ +0. https://webassembly.github.io/ +0. https://github.com/WebAssembly/spec/blob/md-proto/md-proto/WebAssembly.md +0. https://github.com/WebAssembly/binaryen +0. [NYLUG Presents: Luke Wagner -on- WebAssembly: A New Compiler Target For The Web](https://www.youtube.com/watch?v=RByPdCN1RQ4) +0. https://binji.github.io/2017/03/05/webassembly-type-checking.html +0. https://github.com/WebAssembly/spec/tree/master/interpreter +0. https://mbebenita.github.io//WasmExplorer/ +0. http://thecodebarbarian.com/getting-started-with-webassembly-in-node.js.html +0. http://blog.seraum.com/compiling-javascript-to-webassembly-wasm-or-asm-js-with-nectarjs +0. https://hacks.mozilla.org/2017/07/memory-in-webassembly-and-why-its-safer-than-you-think/ +0. [Using WebAssembly and Threads (Chrome Dev Summit 2018)](https://www.youtube.com/watch?v=zgOGZgAPUjQ) +0. https://github.com/wasmerio/wasmer +0. https://www.fastly.com/blog/announcing-lucet-fastly-native-webassembly-compiler-runtime +0. https://hacks.mozilla.org/2019/03/standardizing-wasi-a-webassembly-system-interface/ +0. https://cybernetist.com/2019/04/25/wasm-universal-application-runtime/ +0. https://github.com/intel/wasm-micro-runtime +0. https://medium.com/wasmer/running-webassembly-on-the-kernel-8e04761f1d8e diff --git a/documentation/bookmark/concurrency.md b/documentation/bookmark/concurrency.md index 4d82d1c69..73db95168 100644 --- a/documentation/bookmark/concurrency.md +++ b/documentation/bookmark/concurrency.md @@ -1,4 +1,5 @@ # Reference -1. [OneFile - The world's first wait-free Software Transactional Memory](http://concurrencyfreaks.blogspot.com/2019/04/onefile-worlds-first-wait-free-software.html) +0. [Fibers](https://github.com/wingo/fibers/wiki/Manual) +0. [OneFile - The world's first wait-free Software Transactional Memory](http://concurrencyfreaks.blogspot.com/2019/04/onefile-worlds-first-wait-free-software.html) diff --git a/documentation/bookmark/cryptography.md b/documentation/bookmark/cryptography.md index 0ac7ce947..3ca80b480 100644 --- a/documentation/bookmark/cryptography.md +++ b/documentation/bookmark/cryptography.md @@ -18,6 +18,7 @@ # Library +0. [Web Crypto API](https://developer.mozilla.org/en-US/docs/Web/API/Web_Crypto_API) 0. [Crypto++ Library](https://cryptopp.com/) 0. [aykxt/crypto](https://github.com/aykxt/crypto) 0. [zinc: Introduce minimal cryptography library](https://git.kernel.org/pub/scm/linux/kernel/git/zx2c4/linux.git/commit/?h=zinc) diff --git a/documentation/bookmark/css.md b/documentation/bookmark/css.md new file mode 100644 index 000000000..16bc31531 --- /dev/null +++ b/documentation/bookmark/css.md @@ -0,0 +1,10 @@ +# Methodology + +0. [CUBE CSS](https://cube.fyi/) + +# Reference + +0. [Increasing the performance of elm-css](https://blogg.bekk.no/increasing-the-performance-of-elm-css-34075512d6a6) +0. [The Case for Atomic / Utility-First CSS](https://johnpolacek.github.io/the-case-for-atomic-css/) +0. [Defensive CSS](https://ishadeed.com/article/defensive-css/) + diff --git a/documentation/bookmark/database.md b/documentation/bookmark/database.md index 20b367bfc..c91d99c8f 100644 --- a/documentation/bookmark/database.md +++ b/documentation/bookmark/database.md @@ -1,499 +1,499 @@ # Multiversion Concurrency Control -1. [Multiversion Concurrency Control: Theory and Algorithms](http://sungsoo.github.io/papers/bernstein-1983.pdf) -1. []() +0. [Multiversion Concurrency Control: Theory and Algorithms](http://sungsoo.github.io/papers/bernstein-1983.pdf) +0. []() # Pagination -1. [Pagination with Relative Cursors](https://shopify.engineering/pagination-relative-cursors) +0. [Pagination with Relative Cursors](https://shopify.engineering/pagination-relative-cursors) # Reference -1. ["Temporal Databases for Streaming Architectures" by Jeremy Taylor and Jon Pither](https://www.youtube.com/watch?v=ykbYNBE-V3k) -1. ["Makings of a Modern ACID Compliant Distributed Database" by Attila Szegedi](https://www.youtube.com/watch?v=pn8mCeX3LDE) -1. https://edgedb.com/blog/a-path-to-a-10x-database/ -1. https://cstack.github.io/db_tutorial/ -1. http://www.sql-workbench.eu/dbms_comparison.html -1. http://www.interdb.jp/pg/index.html -1. [Foundations of Databases](http://webdam.inria.fr/Alice/) -1. https://medium.com/textileio/building-the-firebase-for-crdts-7dd8dea8953a +0. ["Temporal Databases for Streaming Architectures" by Jeremy Taylor and Jon Pither](https://www.youtube.com/watch?v=ykbYNBE-V3k) +0. ["Makings of a Modern ACID Compliant Distributed Database" by Attila Szegedi](https://www.youtube.com/watch?v=pn8mCeX3LDE) +0. https://edgedb.com/blog/a-path-to-a-10x-database/ +0. https://cstack.github.io/db_tutorial/ +0. http://www.sql-workbench.eu/dbms_comparison.html +0. http://www.interdb.jp/pg/index.html +0. [Foundations of Databases](http://webdam.inria.fr/Alice/) +0. https://medium.com/textileio/building-the-firebase-for-crdts-7dd8dea8953a # Data structure -1. [The Concurrent 2-Trie](https://medium.com/@chrisvest/the-concurrent-2-trie-67deb2b57ba1) +0. [The Concurrent 2-Trie](https://medium.com/@chrisvest/the-concurrent-2-trie-67deb2b57ba1) # Query -1. ["Morel, a functional query language" by Julian Hyde](https://www.youtube.com/watch?v=smUm3C5q2IM) -1. [Comprehending Ringads](http://lambda-the-ultimate.org/node/5525) -1. [Reasons why SELECT * is bad for SQL performance](https://tanelpoder.com/posts/reasons-why-select-star-is-bad-for-sql-performance/) -1. [A Short Story About SQL’s Biggest Rival](https://www.holistics.io/blog/quel-vs-sql/) -1. https://calcite.apache.org/ -1. https://juxt.pro/blog/crux-sql -1. https://www.influxdata.com/blog/why-were-building-flux-a-new-data-scripting-and-query-language/ -1. https://crate.io/a/lab-notes-how-we-made-joins-23-thousand-times-faster-part-two/ -1. GC: A Graph Caching System for Subgraph/Supergraph Queries +0. ["Morel, a functional query language" by Julian Hyde](https://www.youtube.com/watch?v=smUm3C5q2IM) +0. [Comprehending Ringads](http://lambda-the-ultimate.org/node/5525) +0. [Reasons why SELECT * is bad for SQL performance](https://tanelpoder.com/posts/reasons-why-select-star-is-bad-for-sql-performance/) +0. [A Short Story About SQL’s Biggest Rival](https://www.holistics.io/blog/quel-vs-sql/) +0. https://calcite.apache.org/ +0. https://juxt.pro/blog/crux-sql +0. https://www.influxdata.com/blog/why-were-building-flux-a-new-data-scripting-and-query-language/ +0. https://crate.io/a/lab-notes-how-we-made-joins-23-thousand-times-faster-part-two/ +0. GC: A Graph Caching System for Subgraph/Supergraph Queries http://www.vldb.org/pvldb/vol11/p2022-wang.pdf -1. How to Architect a Query Compiler, Revisited +0. How to Architect a Query Compiler, Revisited https://www.cs.purdue.edu/homes/rompf/papers/tahboub-sigmod18.pdf -1. https://gql.today/ -1. Everything You Always Wanted to Know About Compiled and Vectorized Queries But Were Afraid to Ask +0. https://gql.today/ +0. Everything You Always Wanted to Know About Compiled and Vectorized Queries But Were Afraid to Ask http://www.vldb.org/pvldb/vol11/p2209-kersten.pdf -1. https://github.com/efficient/SuRF -1. http://www.try-alf.org/blog/2013-10-21-relations-as-first-class-citizen -1. https://icfp18.sigplan.org/event/hope-2018-papers-finding-fixed-points-faster -1. Froid: Optimization of Imperative Programs in a Relational Database +0. https://github.com/efficient/SuRF +0. http://www.try-alf.org/blog/2013-10-21-relations-as-first-class-citizen +0. https://icfp18.sigplan.org/event/hope-2018-papers-finding-fixed-points-faster +0. Froid: Optimization of Imperative Programs in a Relational Database http://www.vldb.org/pvldb/vol11/p432-ramachandra.pdf -1. Query Combinators +0. Query Combinators https://arxiv.org/abs/1702.08409 -1. https://github.com/medmain/deepr -1. https://edgedb.com/blog/we-can-do-better-than-sql/ -1. https://github.com/ollef/sixten/blob/master/docs/QueryCompilerDriver.md +0. https://github.com/medmain/deepr +0. https://edgedb.com/blog/we-can-do-better-than-sql/ +0. https://github.com/ollef/sixten/blob/master/docs/QueryCompilerDriver.md # Optimization -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/ -1. https://corecursive.com/030-rethinking-databases-with-jon-gjengset/ +0. [Hera - High Efficiency Reliable Access to data stores](https://github.com/paypal/hera) +0. [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) +0. https://medium.com/connect-the-dots/optimizing-queries-in-rethinkdb-584d7f660cb +0. https://blog.acolyer.org/2019/01/18/towards-a-hands-free-query-optimizer-through-deep-learning/ +0. http://blog.felipe.rs/2019/01/29/demystifying-join-algorithms/ +0. https://corecursive.com/030-rethinking-databases-with-jon-gjengset/ # Index -1. https://www.pilosa.com/ -1. https://en.wikipedia.org/wiki/Fractal_tree_index -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 -1. https://priyankvex.wordpress.com/2019/05/19/a-tale-on-concatenated-indexes-master-roshi-and-gokus-fireside-chat/ +0. https://www.pilosa.com/ +0. https://en.wikipedia.org/wiki/Fractal_tree_index +0. [Beating hash tables with trees? The ART-ful radix trie](https://www.the-paper-trail.org/post/art-paper-notes/) +0. https://www.ristret.com/s/gnd4yr/brief_history_log_structured_merge_trees +0. [Getting The Most Out Of Your PostgreSQL Indexes](https://pgdash.io/blog/postgres-indexes.html?p) +0. http://databasearchitects.blogspot.com/2019/05/why-use-learning-when-you-can-fit.html +0. https://priyankvex.wordpress.com/2019/05/19/a-tale-on-concatenated-indexes-master-roshi-and-gokus-fireside-chat/ # Relational Algebra -1. https://slamdata.com/what-is-multidimensional-relational-algebra/ -1. https://github.com/slamdata/purescript-mra +0. https://slamdata.com/what-is-multidimensional-relational-algebra/ +0. https://github.com/slamdata/purescript-mra # Time traveling -1. https://www.arangodb.com/2018/07/time-traveling-with-graph-databases/ +0. https://www.arangodb.com/2018/07/time-traveling-with-graph-databases/ # Data processing -1. https://medium.com/@gauthierleonard/apache-beam-a-unified-programming-model-for-data-processing-pipelines-4de9fb6ede6d +0. https://medium.com/@gauthierleonard/apache-beam-a-unified-programming-model-for-data-processing-pipelines-4de9fb6ede6d # Philosophy -1. http://dhickey.ie/2016/01/03/commercial-suicide-integration-at-the-database-level/ +0. http://dhickey.ie/2016/01/03/commercial-suicide-integration-at-the-database-level/ # Storage -1. [Database Internals: A deep-dive into how distributed data systems work](https://www.oreilly.com/library/view/database-internals/9781492040330/) -1. [B-Trees: More Than I Thought I'd Want to Know](https://benjamincongdon.me/blog/2021/08/17/B-Trees-More-Than-I-Thought-Id-Want-to-Know/) -1. [Understanding LSM Trees: What Powers Write-Heavy Databases](https://yetanotherdevblog.com/lsm/) -1. http://www.benstopford.com/2015/02/14/log-structured-merge-trees/ -1. A Comparison of Adaptive Radix Trees and Hash Tables +0. [Database Internals: A deep-dive into how distributed data systems work](https://www.oreilly.com/library/view/database-internals/9781492040330/) +0. [B-Trees: More Than I Thought I'd Want to Know](https://benjamincongdon.me/blog/2021/08/17/B-Trees-More-Than-I-Thought-Id-Want-to-Know/) +0. [Understanding LSM Trees: What Powers Write-Heavy Databases](https://yetanotherdevblog.com/lsm/) +0. http://www.benstopford.com/2015/02/14/log-structured-merge-trees/ +0. A Comparison of Adaptive Radix Trees and Hash Tables https://bigdata.uni-saarland.de/publications/ARCD15.pdf -1. HashKV: Enabling Efficient Updates in KV Storage via Hashing +0. HashKV: Enabling Efficient Updates in KV Storage via Hashing https://www.usenix.org/system/files/conference/atc18/atc18-chan.pdf -1. https://akumuli.org/akumuli/2018/08/03/high-cardinality-support/ -1. Ideal Hash Trees +0. https://akumuli.org/akumuli/2018/08/03/high-cardinality-support/ +0. Ideal Hash Trees https://github.com/papers-we-love/papers-we-love/blob/master/data_structures/ideal-hash-trees.pdf -1. https://clemenswinter.com/2018/08/13/how-read-100s-of-millions-of-records-per-second-from-a-single-disk/ -1. https://github.com/vmxdev/tkvdb -1. https://blog.acolyer.org/2018/09/28/columnstore-and-b-tree-are-hybrid-physical-designs-important/ -1. http://sergeiturukin.com/2017/06/07/storage-engine-introduction.html -1. https://accumulo.apache.org/ -1. http://www.mit.edu/~kepner/D4M/ -1. Achieving 100,000,000 database inserts per second using Accumulo and D4M +0. https://clemenswinter.com/2018/08/13/how-read-100s-of-millions-of-records-per-second-from-a-single-disk/ +0. https://github.com/vmxdev/tkvdb +0. https://blog.acolyer.org/2018/09/28/columnstore-and-b-tree-are-hybrid-physical-designs-important/ +0. http://sergeiturukin.com/2017/06/07/storage-engine-introduction.html +0. https://accumulo.apache.org/ +0. http://www.mit.edu/~kepner/D4M/ +0. Achieving 100,000,000 database inserts per second using Accumulo and D4M http://www.ieee-hpec.org/2014/CD/index_htm_files/FinalPapers/31.pdf -1. Lambda World 2018 - The Radix Trees How IntMap Works - Tikhon Jelvis +0. Lambda World 2018 - The Radix Trees How IntMap Works - Tikhon Jelvis https://www.youtube.com/watch?v=0udjkEiCjog -1. FineLine: Log-structured Transactional Storage and Recovery +0. FineLine: Log-structured Transactional Storage and Recovery http://www.vldb.org/pvldb/vol11/p2249-sauer.pdf -1. Storm: a fast transactional dataplane forremote data structures +0. Storm: a fast transactional dataplane forremote data structures http://www.cs.technion.ac.il/~dan/papers/storm-systor-2019.pdf # Exemplar -1. [Debunking “Purpose-Built Data Systems”: Enter the Universal Database](https://tiledb.com/blog/debunking-purpose-built-data-systems-enter-the-universal-database-2021-08-04) -1. [Irmin](https://irmin.org/) -1. [Database of Databases](https://dbdb.io/) +0. [Debunking “Purpose-Built Data Systems”: Enter the Universal Database](https://tiledb.com/blog/debunking-purpose-built-data-systems-enter-the-universal-database-2021-08-04) +0. [Irmin](https://irmin.org/) +0. [Database of Databases](https://dbdb.io/) ## General -1. https://github.com/Workiva/eva/ -1. https://learndb.net/ -1. http://orientdb.com/ -1. https://ignite.apache.org/ -1. http://www.datomic.com/ -1. https://eventsourcing.com/ -1. https://geteventstore.com/ -1. http://cassandra.apache.org/ -1. https://kafka.apache.org/ -1. http://basho.com/products/riak-kv/ -1. https://www.influxdata.com/time-series-platform/influxdb/ -1. https://prestodb.io/ -1. https://github.com/mozilla/datomish -1. http://sqream.com/ -1. http://pelotondb.io/ -1. https://github.com/tidwall/summitdb -1. https://github.com/facebookincubator/beringei +0. https://github.com/Workiva/eva/ +0. https://learndb.net/ +0. http://orientdb.com/ +0. https://ignite.apache.org/ +0. http://www.datomic.com/ +0. https://eventsourcing.com/ +0. https://geteventstore.com/ +0. http://cassandra.apache.org/ +0. https://kafka.apache.org/ +0. http://basho.com/products/riak-kv/ +0. https://www.influxdata.com/time-series-platform/influxdb/ +0. https://prestodb.io/ +0. https://github.com/mozilla/datomish +0. http://sqream.com/ +0. http://pelotondb.io/ +0. https://github.com/tidwall/summitdb +0. https://github.com/facebookincubator/beringei https://code.facebook.com/posts/952820474848503/beringei-a-high-performance-time-series-storage-engine -1. https://github.com/tonsky/datascript -1. https://github.com/biokoda/actordb -1. https://www.slashdb.com/ -1. https://realm.io/ -1. https://www.bigchaindb.com/ -1. http://samza.apache.org/ -1. https://www.umiacs.umd.edu/~zhangyp/papers/IntegriDB.pdf -1. https://github.com/PumpkinDB/PumpkinDB -1. https://symas.com/offerings/lightning-memory-mapped-database/ -1. http://gun.js.org/ -1. https://open.dgraph.io/post/benchmark-neo4j/ - - 1. https://github.com/dgraph-io/dgraph - 1. https://dgraph.io/ -1. https://www.spreadsheetdb.io/ -1. http://www.openio.io/ -1. https://github.com/pingcap/tidb -1. http://druid.io/ -1. http://hsqldb.org/ -1. http://siridb.net/blog/time-series-with-siridb/ -1. https://github.com/jankotek/mapdb -1. https://github.com/NationalSecurityAgency/lemongraph -1. https://twobithistory.org/2017/10/07/the-most-important-database.html -1. https://github.com/couchbase/forestdb -1. https://www.nuodb.com/ -1. https://edgedb.com/ -1. https://www.harperdb.io/ -1. https://www.antidotedb.eu/ -1. https://tech.marksblogg.com/minimalist-guide-tutorial-foundationdb.html -1. https://www.foundationdb.org/blog/announcing-document-layer/ -1. https://www.foundationdb.org/ - - 1. https://en.wikipedia.org/wiki/FoundationDB -1. https://github.com/orbitdb/orbit-db -1. https://www.aerospike.com/ -1. https://sirix.io/ +0. https://github.com/tonsky/datascript +0. https://github.com/biokoda/actordb +0. https://www.slashdb.com/ +0. https://realm.io/ +0. https://www.bigchaindb.com/ +0. http://samza.apache.org/ +0. https://www.umiacs.umd.edu/~zhangyp/papers/IntegriDB.pdf +0. https://github.com/PumpkinDB/PumpkinDB +0. https://symas.com/offerings/lightning-memory-mapped-database/ +0. http://gun.js.org/ +0. https://open.dgraph.io/post/benchmark-neo4j/ + + 0. https://github.com/dgraph-io/dgraph + 0. https://dgraph.io/ +0. https://www.spreadsheetdb.io/ +0. http://www.openio.io/ +0. https://github.com/pingcap/tidb +0. http://druid.io/ +0. http://hsqldb.org/ +0. http://siridb.net/blog/time-series-with-siridb/ +0. https://github.com/jankotek/mapdb +0. https://github.com/NationalSecurityAgency/lemongraph +0. https://twobithistory.org/2017/10/07/the-most-important-database.html +0. https://github.com/couchbase/forestdb +0. https://www.nuodb.com/ +0. https://edgedb.com/ +0. https://www.harperdb.io/ +0. https://www.antidotedb.eu/ +0. https://tech.marksblogg.com/minimalist-guide-tutorial-foundationdb.html +0. https://www.foundationdb.org/blog/announcing-document-layer/ +0. https://www.foundationdb.org/ + + 0. https://en.wikipedia.org/wiki/FoundationDB +0. https://github.com/orbitdb/orbit-db +0. https://www.aerospike.com/ +0. https://sirix.io/ ## Data-flow -1. [Noria: data-flow for high-performance web applications](https://github.com/mit-pdos/noria) +0. [Noria: data-flow for high-performance web applications](https://github.com/mit-pdos/noria) ## Vector Database -1. [What is a Vector Database?](https://www.pinecone.io/learn/vector-database/) +0. [What is a Vector Database?](https://www.pinecone.io/learn/vector-database/) ## Graph -1. ["Asami: Turn your JSON into a Graph in 2 Lines" by Paula Gearon](https://www.youtube.com/watch?v=-XegX_K6w-o) -1. https://github.com/hugegraph/hugegraph -1. https://github.com/Microsoft/GraphEngine -1. https://redislabs.com/blog/release-redisgraph-v1-0-preview/ -1. https://github.com/JanusGraph/janusgraph -1. https://www.slideshare.net/RoiLipman/graph-algebra -1. https://juxt.pro/crux/docs/index.html -1. https://github.com/juxt/crux -1. [The Crux of Bitemporality - Jon Pither](https://www.youtube.com/watch?v=3Stja6YUB94) -1. [Bitemporality: More Than a Design Pattern](https://juxt.pro/blog/bitemporality-more-than-a-design-pattern) +0. ["Asami: Turn your JSON into a Graph in 2 Lines" by Paula Gearon](https://www.youtube.com/watch?v=-XegX_K6w-o) +0. https://github.com/hugegraph/hugegraph +0. https://github.com/Microsoft/GraphEngine +0. https://redislabs.com/blog/release-redisgraph-v1-0-preview/ +0. https://github.com/JanusGraph/janusgraph +0. https://www.slideshare.net/RoiLipman/graph-algebra +0. https://juxt.pro/crux/docs/index.html +0. https://github.com/juxt/crux +0. [The Crux of Bitemporality - Jon Pither](https://www.youtube.com/watch?v=3Stja6YUB94) +0. [Bitemporality: More Than a Design Pattern](https://juxt.pro/blog/bitemporality-more-than-a-design-pattern) ## Column -1. https://blog.acolyer.org/2018/09/26/the-design-and-implementation-of-modern-column-oriented-database-systems/ +0. https://blog.acolyer.org/2018/09/26/the-design-and-implementation-of-modern-column-oriented-database-systems/ ## Datalog -1. [Open Source Clojure-Datalog Databases](https://clojurelog.github.io/) +0. [Open Source Clojure-Datalog Databases](https://clojurelog.github.io/) ## Log -1. https://code.fb.com/core-data/logdevice-a-distributed-data-store-for-logs/ +0. https://code.fb.com/core-data/logdevice-a-distributed-data-store-for-logs/ ## Key-Value -1. https://github.com/yahoo/HaloDB -1. https://chronicle.software/products/map/ +0. https://github.com/yahoo/HaloDB +0. https://chronicle.software/products/map/ ## Array -1. [Array Databases: Concepts, Standards, Implementations](https://rd-alliance.org/system/files/Array-Databases_final-report.pdf) +0. [Array Databases: Concepts, Standards, Implementations](https://rd-alliance.org/system/files/Array-Databases_final-report.pdf) ## Blockchain -1. https://flur.ee/ +0. https://flur.ee/ ## Time-series -1. https://github.com/alpacahq/marketstore -1. https://www.outlyer.com/blog/why-not-to-build-a-time-series-database/ +0. https://github.com/alpacahq/marketstore +0. https://www.outlyer.com/blog/why-not-to-build-a-time-series-database/ ## GPU -1. https://blazingdb.com/#/ +0. https://blazingdb.com/#/ ## Tree -1. A Novel Method for Representing Hierarchies in a Relational Database Using Bignums and SQLite +0. A Novel Method for Representing Hierarchies in a Relational Database Using Bignums and SQLite https://s3.amazonaws.com/pub.xhuntley.net/Huntley_Tcl2011.pdf # CQRS | Event-Sourcing -1. [Introducing Derivative Event Sourcing](https://www.confluent.io/blog/event-sourcing-vs-derivative-event-sourcing-explained) -1. https://blog.wallaroolabs.com/2018/06/implementing-time-windowing-in-an-evented-streaming-system/ -1. https://data-artisans.com/blog/a-practical-guide-to-broadcast-state-in-apache-flink -1. https://medium.com/@hugo.oliveira.rocha/what-they-dont-tell-you-about-event-sourcing-6afc23c69e9a -1. https://vvvvalvalval.github.io/posts/2018-11-12-datomic-event-sourcing-without-the-hassle.html -1. https://chriskiehl.com/article/event-sourcing-is-hard -1. https://medium.com/serialized-io/apache-kafka-is-not-for-event-sourcing-81735c3cf5c +0. [Introducing Derivative Event Sourcing](https://www.confluent.io/blog/event-sourcing-vs-derivative-event-sourcing-explained) +0. https://blog.wallaroolabs.com/2018/06/implementing-time-windowing-in-an-evented-streaming-system/ +0. https://data-artisans.com/blog/a-practical-guide-to-broadcast-state-in-apache-flink +0. https://medium.com/@hugo.oliveira.rocha/what-they-dont-tell-you-about-event-sourcing-6afc23c69e9a +0. https://vvvvalvalval.github.io/posts/2018-11-12-datomic-event-sourcing-without-the-hassle.html +0. https://chriskiehl.com/article/event-sourcing-is-hard +0. https://medium.com/serialized-io/apache-kafka-is-not-for-event-sourcing-81735c3cf5c # Architecture -1. https://www.sqlite.org/arch.html +0. https://www.sqlite.org/arch.html # Criticism -1. https://codeburst.io/doing-without-databases-in-the-21st-century-6e25cf495373 +0. https://codeburst.io/doing-without-databases-in-the-21st-century-6e25cf495373 # Geo-spatial -1. H3: Uber’s Hexagonal Hierarchical Spatial Index +0. H3: Uber’s Hexagonal Hierarchical Spatial Index https://eng.uber.com/h3/ -1. http://s2geometry.io/ -1. https://github.com/mourner/flatbush +0. http://s2geometry.io/ +0. https://github.com/mourner/flatbush # Transaction -1. MixT: An embedded, domain-specific language for Mixed-Consistency Transactions +0. MixT: An embedded, domain-specific language for Mixed-Consistency Transactions https://mpmilano.github.io/MixT/ -1. The Case for Shared Nothing +0. The Case for Shared Nothing http://db.cs.berkeley.edu/papers/hpts85-nothing.pdf # Consistency -1. https://jepsen.io/consistency -1. http://muratbuffalo.blogspot.com/2018/08/the-many-faces-of-consistency.html -1. https://fauna.com/blog/consistency-without-clocks-faunadb-transaction-protocol +0. https://jepsen.io/consistency +0. http://muratbuffalo.blogspot.com/2018/08/the-many-faces-of-consistency.html +0. https://fauna.com/blog/consistency-without-clocks-faunadb-transaction-protocol # P2P Networking -1. https://medium.com/perlin-network/noise-an-opinionated-p2p-networking-stack-for-decentralized-protocols-in-go-bfc6fecf157d -1. https://xorro-p2p.github.io/ +0. https://medium.com/perlin-network/noise-an-opinionated-p2p-networking-stack-for-decentralized-protocols-in-go-bfc6fecf157d +0. https://xorro-p2p.github.io/ # Data Visualization -1. https://www.tadviewer.com/ +0. https://www.tadviewer.com/ # Privacy -1. https://blog.acolyer.org/2019/06/17/towards-multiverse-databases/ -1. [Towards Multiverse Databases](https://people.csail.mit.edu/malte/pub/papers/2019-hotos-multiversedb.pdf) +0. https://blog.acolyer.org/2019/06/17/towards-multiverse-databases/ +0. [Towards Multiverse Databases](https://people.csail.mit.edu/malte/pub/papers/2019-hotos-multiversedb.pdf) # Security -1. [The ZombieLoad Pragmatist: Tips for Surviving in a Post-Meltdown World](https://www.scylladb.com/2019/05/17/the-zombieload-pragmatist/) +0. [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 -1. https://hackernoon.com/execute-millions-of-sql-statements-in-milliseconds-in-the-browser-with-webassembly-and-web-workers-3e0b25c3f1a6#.w8w8qi8b3 -1. https://github.com/kripken/sql.js -1. http://zmtp.org/ -1. https://github.com/agentm/project-m36 -1. http://graphql.org/ -1. https://docs.microsoft.com/en-us/azure/documentdb/documentdb-introduction -1. http://storm.apache.org/ -1. http://www.intersystems.com/our-products/cache/cache-overview/ -1. https://prometheus.io/ -1. http://www.ragic.com/ -1. https://github.com/bittorrent/sqltorrent -1. https://github.com/bitnine-oss/agensgraph -1. [Comdb2: Bloomberg’s Highly Available Relational Database System](http://www.vldb.org/pvldb/vol9/p1377-scotti.pdf) -1. https://www.pipelinedb.com/ -1. https://fauna.com/home -1. https://fauna.com/blog/a-database-built-like-an-operating-system -1. http://www.timescaledb.com/ -1. https://www.dataengineeringpodcast.com/episode-4-scylladb-with-eyal-gutkind/ -1. http://quickstep.incubator.apache.org/ -1. https://barrel-db.org/ -1. https://misfra.me/2016/04/09/tsdb-list/ -1. https://github.com/cayleygraph/cayley -1. https://deepstreamhub.com/ -1. http://www.spdk.io/ -1. https://github.com/pilosa/pilosa -1. http://sophia.systems/ -1. https://humio.com/ -1. https://medium.com/@uwdb/introducing-cosette-527898504bd6 -1. https://mixmax.com/blog/bee-queue-v1-node-redis-queue -1. http://btrdb.io/ -1. https://clickhouse.yandex/ -1. https://github.com/rqlite/rqlite -1. https://www.confluent.io/blog/ksql-open-source-streaming-sql-for-apache-kafka/ -1. https://github.com/Tencent/paxosstore -1. https://www.ibm.com/us-en/marketplace/project-eventstore -1. [LogDevice: a distributed data store for logs](https://code.facebook.com/posts/357056558062811) -1. https://crate.io/ -1. http://traildb.io/ -1. http://profanedb.gitlab.io/ -1. https://github.com/PyroclastIO/metamorphic -1. https://franchise.cloud/ -1. https://github.com/ssbc/secure-scuttlebutt -1. ["Datafun: a functional query language" by Michael Arntzenius](https://www.youtube.com/watch?v=gC295d3V9gE) -1. https://github.com/neo4j-contrib/spatial -1. https://github.com/agershun/alasql -1. http://www.tiledb.io/ -1. https://databricks.com/product/databricks-delta -1. http://www.geomesa.org/ -1. https://bookkeeper.apache.org/ -1. https://blog.outlyer.com/top10-open-source-time-series-databases -1. https://github.com/qubole/rubix -1. https://github.com/confluentinc/ksql -1. https://www.datanami.com/2018/06/15/streaming-sql-for-real-time-analytics/ -1. https://blog.fauna.com/fauna-topology-operations -1. https://fabianlindfors.se/blog/building-an-object-store-with-foundation-db/ -1. https://use-the-index-luke.com/no-offset -1. [GOTO 2016 • Conflict Resolution for Eventual Consistency • Martin Kleppmann](https://www.youtube.com/watch?v=yCcWpzY8dIA) -1. https://www.thoughts-on-java.org/5-common-hibernate-mistakes-that-cause-dozens-of-unexpected-queries/ -1. https://www.nicolaferraro.me/2018/04/25/saga-pattern-in-apache-camel/ -1. http://augustl.com/blog/2018/datomic_look_at_all_the_things_i_am_not_doing/ -1. https://blog.2ndquadrant.com/application-users-vs-row-level-security/ -1. https://medium.com/databasss/on-ways-to-agree-part-1-links-and-flp-impossibility-f6bd8a6a0980 -1. https://medium.com/@robot_dreams/disk-can-be-faster-than-memory-37c57e7ebca7 -1. http://www.bailis.org/blog/when-is-acid-acid-rarely/ -1. https://hackernoon.com/five-data-models-for-sharding-and-which-is-right-f5c3fa480b00 -1. http://www.aosabook.org/en/500L/an-archaeology-inspired-database.html -1. https://www.clever-cloud.com/blog/engineering/2015/05/20/why-auto-increment-is-a-terrible-idea/ -1. https://samrat.me/posts/2017-11-04-kvstore-linear-hashing/ -1. https://detect.io/news/2017/10/16/three-time-series-that-defeat-typical-anomaly-detection -1. http://blog.memsql.com/scaling-distributed-joins/ -1. http://akumuli.org/akumuli/2017/11/17/indexing/ -1. https://10clouds.com/blog/postgresql-10/ -1. https://cstack.github.io/db_tutorial/ -1. https://msdn.microsoft.com/en-us/library/jj591569.aspx -1. https://chatwithengineers.com/2016/08/29/a-survey-of-query-execution-engines-from-volcano-to-vectorized-processing/ -1. https://martin.kleppmann.com/2015/05/11/please-stop-calling-databases-cp-or-ap.html -1. https://medium.com/the-hoard/building-a-kafka-that-doesnt-depend-on-zookeeper-2c4701b6e961#.paa4pjdtc -1. https://blog.acolyer.org/2017/01/23/ground-a-data-context-service/ -1. https://engineering.instagram.com/sharding-ids-at-instagram-1cf5a71e5a5c#.omhi4kyaj -1. http://rystsov.info/2017/02/15/simple-consensus.html -1. https://blog.jooq.org/2016/10/05/why-you-should-design-your-database-to-optimise-for-statistics/ -1. https://thesquareplanet.com/blog/students-guide-to-raft/ -1. https://rjuju.github.io/postgresql/2015/07/02/how-about-hypothetical-indexes.html -1. http://amitkapila16.blogspot.com/2017/03/hash-indexes-are-faster-than-btree.html -1. http://rhaas.blogspot.com/2017/04/new-features-coming-in-postgresql-10.html -1. https://fabxc.org/blog/2017-04-10-writing-a-tsdb/# -1. https://github.com/confluentinc/bottledwater-pg -1. http://www.postgresonline.com/journal/archives/173-Using-LTree-to-Represent-and-Query-Hierarchy-and-Tree-Structures.html -1. https://juxt.pro/blog/posts/datascript-dom.html -1. https://github.com/agentm/project-m36 -1. https://fortytw2.com/relational-dbs-on-kv-store-pt-1 -1. https://blog.slicingdice.com/want-to-build-a-new-time-series-database-start-here-d4c3fd1517b1 -1. http://akumuli.org/akumuli/2017/04/29/nbplustree/ -1. https://www.hugopicado.com/2017/05/06/what-event-sourcing-is-not.html -1. https://news.realm.io/news/conflict-resolution-for-eventual-consistency-goto/ -1. https://www.citusdata.com/blog/2017/05/11/dynamo-citus-and-tradeoffs-in-distributed-databases/ -1. http://www.cakesolutions.net/teamblogs/how-to-build-a-distributed-counter -1. https://netsil.com/blog/comparison-of-time-series-databases-netsils-use-of-druid/ -1. https://www.infoq.com/interviews/meijer-big-data -1. https://www.cs.cmu.edu/~jarulraj/pages/sigmod_2017_tutorial.html -1. https://speakerdeck.com/caitiem20/distributed-sagas-a-protocol-for-coordinating-microservices -1. https://blog.timescale.com/what-the-heck-is-time-series-data-and-why-do-i-need-a-time-series-database-dcf3b1b18563 -1. https://medium.com/hyrise/the-brain-of-every-database-c622aaba7d75 -1. http://codecapsule.com/2012/11/07/ikvs-implementing-a-key-value-store-table-of-contents/ -1. https://www.cockroachlabs.com/blog/sql-in-cockroachdb-mapping-table-data-to-key-value-storage/ -1. https://blog.acolyer.org/2017/07/07/do-we-need-specialized-graph-databases-benchmarking-real-time-social-networking-applications/ -1. http://vvvvalvalval.github.io/posts/2017-07-08-Datomic-this-is-not-the-history-youre-looking-for.html?t=1&cn=ZmxleGlibGVfcmVjc18y&iid=1e725951a13247d8bdc6fe8c113647d5&uid=2418042062&nid=244+293670920 -1. https://maxdemarzi.com/2017/07/13/using-a-cuckoo-filter-for-unique-relationships/ -1. https://medium.baqend.com/real-time-databases-explained-why-meteor-rethinkdb-parse-and-firebase-dont-scale-822ff87d2f87 -1. http://dawn.cs.stanford.edu/2017/08/07/asap/ -1. [TimescaleDB vs. Postgres for time-series: 20x higher inserts, 2000x faster deletes, 1.2x-14,000x faster queries](https://blog.timescale.com/timescaledb-vs-6a696248104e) -1. https://www.elastic.co/blog/elasticsearch-sequence-ids-6-0 -1. https://neo4j.com/blog/efficient-graph-algorithms-neo4j/ -1. https://blog.jooq.org/2017/05/30/when-to-use-bind-values-and-when-to-use-inline-values-in-sql/ -1. https://fylux.github.io/2017/08/09/VAR_Model_Time_Series/ -1. https://brandur.org/postgres-atomicity -1. [Generative Programming and Verification - Nada Amin](https://www.youtube.com/watch?v=QuJ-cEvH_oI) -1. http://ithare.com/oltp-db-optimizations-101-thinking-in-terms-of-execution-plans/ -1. https://pingcap.github.io/blog/2017/08/15/multi-raft/ -1. https://medium.com/@ajstorm/the-lambda-architecture-simplified-a28e436fa55e -1. http://akumuli.org/akumuli/2016/12/30/compression_part1/ -1. https://en.wikipedia.org/wiki/Codd%27s_12_rules -1. https://blog.jooq.org/2017/09/28/10-cool-sql-optimisations-that-do-not-depend-on-the-cost-model/ -1. https://medium.com/@ifesdjeen/on-disk-storage-part-4-b-trees-30791060741 -1. https://www.cockroachlabs.com/blog/automated-rebalance-and-repair/ -1. http://danielwhittaker.me/2017/10/09/handle-set-based-consistency-validation-cqrs/ -1. http://db.cs.cmu.edu/seminar2017/ -1. https://blog.timescale.com/time-series-data-postgresql-10-vs-timescaledb-816ee808bac5 -1. [Is Datomic strictly better than Facebook's graph datastore?](http://www.dustingetz.com/ezpjb2RlLWRhdGFiYXNlICJzdGFydGVyLWJsb2ctc3JjMiIsIDpsaW5rLWRiaWQgI0RiSWRbMTc1OTIxODYwNDU1NTkgI1VSSSAiZGF0b21pYzpmcmVlOi8vZGF0b21pYzo0MzM0L3N0YXJ0ZXItYmxvZy1zcmMyIl0sIDpxdWVyeS1wYXJhbXMgezplbnRpdHkgI0RiSWRbMTc1OTIxODYwNDYxNDQgI1VSSSAiZGF0b21pYzpmcmVlOi8vZGF0b21pYzo0MzM0L2R1c3RpbmdldHouY29tIl19fQ,,) -1. https://www.citusdata.com/blog/2017/10/17/tour-of-postgres-index-types/ -1. https://blog.grakn.ai/modelling-data-with-hypergraphs-edff1e12edf0 -1. http://www.scylladb.com/2017/10/05/io-access-methods-scylla/ -1. http://code.hootsuite.com/row-stores-vs-column-stores-why-not-use-both/ -1. http://matthewrocklin.com/blog/work/2017/10/16/streaming-dataframes-1 -1. https://brightinventions.pl/blog/database-timeouts/ -1. https://brandur.org/redis-streams -1. https://www.fittedcloud.com/blog/machine-learning-driven-optimization-outperforms-auto-scaling-dynamodb-capacity-management/ -1. https://parquet.apache.org/ -1. https://arrow.apache.org/ -1. https://www.youtube.com/watch?v=6lCVKMQR8Dw -1. https://blog.acolyer.org/2015/10/15/ironfleet-proving-practical-distributed-systems-correc/ -1. https://underscore.io/blog/posts/2017/03/07/refined-data-config-database.html -1. https://www.quickdatabasediagrams.com/ -1. [The Case for Learned Index Structures](https://arxiv.org/abs/1712.01208) -1. https://arxiv.org/abs/0806.3115 -1. https://arxiv.org/abs/1604.03607 -1. https://arxiv.org/abs/1702.07588 -1. [HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics](https://arxiv.org/abs/1607.04822) -1. http://www.vldb.org/pvldb/vol9/p1707-pirk.pdf -1. [Continuous Analytics Over Discontinuous Streams](https://people.eecs.berkeley.edu/~franklin/Papers/sigmod10krishnamurthy.pdf) -1. http://www.vldb.org/ -1. https://blog.acolyer.org/2017/01/30/how-good-are-query-optimizers-really/ -1. http://gun.js.org/distributed/matters.html -1. http://blog.datomic.com/2017/01/the-ten-rules-of-schema-growth.html -1. https://blogs.technet.microsoft.com/dataplatforminsider/2017/01/05/how-six-lines-of-code-sql-server-can-bring-deep-learning-to-any-app/ -1. https://muratbuffalo.blogspot.com/2014/07/hybrid-logical-clocks.html -1. https://yokota.blog/2017/02/17/dont-settle-for-eventual-consistency/ -1. [AN INTRODUCTION TO GRAPH COMPRESSION TECHNIQUES FOR IN-MEMORY GRAPH COMPUTATION](https://www.cs.umd.edu/sites/default/files/scholarly_papers/Chavan.pdf) -1. [Relational Lattices: From Databases to Universal Algebra](http://www.dcs.bbk.ac.uk/~szabolcs/rellat-jlamp-second-submission-2.pdf) -1. https://bitworking.org/news/2017/03/prometheus -1. [Partioned Elias-Fano indexes](http://hpc.isti.cnr.it/hpcworkshop2014/PartitionedEliasFanoIndexes.pdf) -1. http://h2co3.org/blog/index.php/2017/04/10/join-considered-harmful/ -1. https://blog.jooq.org/2016/07/05/say-no-to-venn-diagrams-when-explaining-joins/ -1. [A Seven-Dimensional Analysis of Hashing Methods and its Implications on Query Processing](http://www.vldb.org/pvldb/vol9/p96-richter.pdf) -1. https://research.googleblog.com/2017/04/consistent-hashing-with-bounded-loads.html -1. [The Adaptive Radix Tree: ARTful Indexing for Main-Memory Databases](https://pdfs.semanticscholar.org/6abf/5107efc723c655956f027b4a67565b048799.pdf) -1. [Adapting Tree Structures for Processing with SIMD Instructions](https://openproceedings.org/2014/conf/edbt/ZeuchFH14.pdf) -1. [Compressed Computation for Text Indexing](http://www2.compute.dtu.dk/~npre/documents/thesis.pdf) -1. [Databases from finite categories](http://lambda-the-ultimate.org/node/5435) -1. https://github.com/datproject/docs/blob/master/papers/dat-paper.pdf -1. [Algorithms for Data Streams](http://twiki.di.uniroma1.it/pub/BDC/WebHome/SurveyStreaming08-DemetrescuFinocchi.pdf) -1. [Datafun: a Functional Datalog](https://people.mpi-sws.org/~neelk/datafun.pdf) -1. [Enabling Signal Processing over Data Streams](https://www.cs.ox.ac.uk/files/9135/sigmod2017-trilldsp.pdf) -1. [Database Learning: Toward a Database that Becomes Smarter Every Time](https://arxiv.org/abs/1703.05468) -1. https://github.com/jarulraj/databaseology -1. [Write-Behind Logging](http://www.vldb.org/pvldb/vol10/p337-arulraj.pdf) -1. [HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics](https://homes.cs.washington.edu/~chushumo/files/cosette_pldi17.pdf) -1. [PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge Trees](http://www.cs.utexas.edu/~vijay/papers/sosp17-pebblesdb.pdf) -1. [DROP: Dimensionality Reduction Optimization for Time Series](https://arxiv.org/abs/1708.00183) -1. http://www.cs.yale.edu/homes/aspnes/papers/skip-graphs-journal.pdf -1. https://www.amazon.com/Designing-Data-Intensive-Applications-Reliable-Maintainable/dp/1449373321 -1. https://www.amazon.com/Database-Reliability-Engineering-Designing-Operating/dp/1491925949 -1. https://www.enterprisetimes.co.uk/2017/02/22/can-severalnines-improve-mongodb-security/ -1. https://severalnines.com/ -1. http://engineering.pivotal.io/post/trilogy-the-sql-testing-framework/ -1. https://techcrunch.com/2016/08/19/mysql-founder-tries-a-new-software-licensing-model/ -1. https://blog.datopia.io/2018/11/03/hitchhiker-tree/ +0. https://github.com/pubkey/rxdb +0. https://hackernoon.com/execute-millions-of-sql-statements-in-milliseconds-in-the-browser-with-webassembly-and-web-workers-3e0b25c3f1a6#.w8w8qi8b3 +0. https://github.com/kripken/sql.js +0. http://zmtp.org/ +0. https://github.com/agentm/project-m36 +0. http://graphql.org/ +0. https://docs.microsoft.com/en-us/azure/documentdb/documentdb-introduction +0. http://storm.apache.org/ +0. http://www.intersystems.com/our-products/cache/cache-overview/ +0. https://prometheus.io/ +0. http://www.ragic.com/ +0. https://github.com/bittorrent/sqltorrent +0. https://github.com/bitnine-oss/agensgraph +0. [Comdb2: Bloomberg’s Highly Available Relational Database System](http://www.vldb.org/pvldb/vol9/p1377-scotti.pdf) +0. https://www.pipelinedb.com/ +0. https://fauna.com/home +0. https://fauna.com/blog/a-database-built-like-an-operating-system +0. http://www.timescaledb.com/ +0. https://www.dataengineeringpodcast.com/episode-4-scylladb-with-eyal-gutkind/ +0. http://quickstep.incubator.apache.org/ +0. https://barrel-db.org/ +0. https://misfra.me/2016/04/09/tsdb-list/ +0. https://github.com/cayleygraph/cayley +0. https://deepstreamhub.com/ +0. http://www.spdk.io/ +0. https://github.com/pilosa/pilosa +0. http://sophia.systems/ +0. https://humio.com/ +0. https://medium.com/@uwdb/introducing-cosette-527898504bd6 +0. https://mixmax.com/blog/bee-queue-v1-node-redis-queue +0. http://btrdb.io/ +0. https://clickhouse.yandex/ +0. https://github.com/rqlite/rqlite +0. https://www.confluent.io/blog/ksql-open-source-streaming-sql-for-apache-kafka/ +0. https://github.com/Tencent/paxosstore +0. https://www.ibm.com/us-en/marketplace/project-eventstore +0. [LogDevice: a distributed data store for logs](https://code.facebook.com/posts/357056558062811) +0. https://crate.io/ +0. http://traildb.io/ +0. http://profanedb.gitlab.io/ +0. https://github.com/PyroclastIO/metamorphic +0. https://franchise.cloud/ +0. https://github.com/ssbc/secure-scuttlebutt +0. ["Datafun: a functional query language" by Michael Arntzenius](https://www.youtube.com/watch?v=gC295d3V9gE) +0. https://github.com/neo4j-contrib/spatial +0. https://github.com/agershun/alasql +0. http://www.tiledb.io/ +0. https://databricks.com/product/databricks-delta +0. http://www.geomesa.org/ +0. https://bookkeeper.apache.org/ +0. https://blog.outlyer.com/top10-open-source-time-series-databases +0. https://github.com/qubole/rubix +0. https://github.com/confluentinc/ksql +0. https://www.datanami.com/2018/06/15/streaming-sql-for-real-time-analytics/ +0. https://blog.fauna.com/fauna-topology-operations +0. https://fabianlindfors.se/blog/building-an-object-store-with-foundation-db/ +0. https://use-the-index-luke.com/no-offset +0. [GOTO 2016 • Conflict Resolution for Eventual Consistency • Martin Kleppmann](https://www.youtube.com/watch?v=yCcWpzY8dIA) +0. https://www.thoughts-on-java.org/5-common-hibernate-mistakes-that-cause-dozens-of-unexpected-queries/ +0. https://www.nicolaferraro.me/2018/04/25/saga-pattern-in-apache-camel/ +0. http://augustl.com/blog/2018/datomic_look_at_all_the_things_i_am_not_doing/ +0. https://blog.2ndquadrant.com/application-users-vs-row-level-security/ +0. https://medium.com/databasss/on-ways-to-agree-part-1-links-and-flp-impossibility-f6bd8a6a0980 +0. https://medium.com/@robot_dreams/disk-can-be-faster-than-memory-37c57e7ebca7 +0. http://www.bailis.org/blog/when-is-acid-acid-rarely/ +0. https://hackernoon.com/five-data-models-for-sharding-and-which-is-right-f5c3fa480b00 +0. http://www.aosabook.org/en/500L/an-archaeology-inspired-database.html +0. https://www.clever-cloud.com/blog/engineering/2015/05/20/why-auto-increment-is-a-terrible-idea/ +0. https://samrat.me/posts/2017-11-04-kvstore-linear-hashing/ +0. https://detect.io/news/2017/10/16/three-time-series-that-defeat-typical-anomaly-detection +0. http://blog.memsql.com/scaling-distributed-joins/ +0. http://akumuli.org/akumuli/2017/11/17/indexing/ +0. https://10clouds.com/blog/postgresql-10/ +0. https://cstack.github.io/db_tutorial/ +0. https://msdn.microsoft.com/en-us/library/jj591569.aspx +0. https://chatwithengineers.com/2016/08/29/a-survey-of-query-execution-engines-from-volcano-to-vectorized-processing/ +0. https://martin.kleppmann.com/2015/05/11/please-stop-calling-databases-cp-or-ap.html +0. https://medium.com/the-hoard/building-a-kafka-that-doesnt-depend-on-zookeeper-2c4701b6e961#.paa4pjdtc +0. https://blog.acolyer.org/2017/01/23/ground-a-data-context-service/ +0. https://engineering.instagram.com/sharding-ids-at-instagram-1cf5a71e5a5c#.omhi4kyaj +0. http://rystsov.info/2017/02/15/simple-consensus.html +0. https://blog.jooq.org/2016/10/05/why-you-should-design-your-database-to-optimise-for-statistics/ +0. https://thesquareplanet.com/blog/students-guide-to-raft/ +0. https://rjuju.github.io/postgresql/2015/07/02/how-about-hypothetical-indexes.html +0. http://amitkapila16.blogspot.com/2017/03/hash-indexes-are-faster-than-btree.html +0. http://rhaas.blogspot.com/2017/04/new-features-coming-in-postgresql-10.html +0. https://fabxc.org/blog/2017-04-10-writing-a-tsdb/# +0. https://github.com/confluentinc/bottledwater-pg +0. http://www.postgresonline.com/journal/archives/173-Using-LTree-to-Represent-and-Query-Hierarchy-and-Tree-Structures.html +0. https://juxt.pro/blog/posts/datascript-dom.html +0. https://github.com/agentm/project-m36 +0. https://fortytw2.com/relational-dbs-on-kv-store-pt-1 +0. https://blog.slicingdice.com/want-to-build-a-new-time-series-database-start-here-d4c3fd1517b1 +0. http://akumuli.org/akumuli/2017/04/29/nbplustree/ +0. https://www.hugopicado.com/2017/05/06/what-event-sourcing-is-not.html +0. https://news.realm.io/news/conflict-resolution-for-eventual-consistency-goto/ +0. https://www.citusdata.com/blog/2017/05/11/dynamo-citus-and-tradeoffs-in-distributed-databases/ +0. http://www.cakesolutions.net/teamblogs/how-to-build-a-distributed-counter +0. https://netsil.com/blog/comparison-of-time-series-databases-netsils-use-of-druid/ +0. https://www.infoq.com/interviews/meijer-big-data +0. https://www.cs.cmu.edu/~jarulraj/pages/sigmod_2017_tutorial.html +0. https://speakerdeck.com/caitiem20/distributed-sagas-a-protocol-for-coordinating-microservices +0. https://blog.timescale.com/what-the-heck-is-time-series-data-and-why-do-i-need-a-time-series-database-dcf3b1b18563 +0. https://medium.com/hyrise/the-brain-of-every-database-c622aaba7d75 +0. http://codecapsule.com/2012/11/07/ikvs-implementing-a-key-value-store-table-of-contents/ +0. https://www.cockroachlabs.com/blog/sql-in-cockroachdb-mapping-table-data-to-key-value-storage/ +0. https://blog.acolyer.org/2017/07/07/do-we-need-specialized-graph-databases-benchmarking-real-time-social-networking-applications/ +0. http://vvvvalvalval.github.io/posts/2017-07-08-Datomic-this-is-not-the-history-youre-looking-for.html?t=1&cn=ZmxleGlibGVfcmVjc18y&iid=1e725951a13247d8bdc6fe8c113647d5&uid=2418042062&nid=244+293670920 +0. https://maxdemarzi.com/2017/07/13/using-a-cuckoo-filter-for-unique-relationships/ +0. https://medium.baqend.com/real-time-databases-explained-why-meteor-rethinkdb-parse-and-firebase-dont-scale-822ff87d2f87 +0. http://dawn.cs.stanford.edu/2017/08/07/asap/ +0. [TimescaleDB vs. Postgres for time-series: 20x higher inserts, 2000x faster deletes, 1.2x-14,000x faster queries](https://blog.timescale.com/timescaledb-vs-6a696248104e) +0. https://www.elastic.co/blog/elasticsearch-sequence-ids-6-0 +0. https://neo4j.com/blog/efficient-graph-algorithms-neo4j/ +0. https://blog.jooq.org/2017/05/30/when-to-use-bind-values-and-when-to-use-inline-values-in-sql/ +0. https://fylux.github.io/2017/08/09/VAR_Model_Time_Series/ +0. https://brandur.org/postgres-atomicity +0. [Generative Programming and Verification - Nada Amin](https://www.youtube.com/watch?v=QuJ-cEvH_oI) +0. http://ithare.com/oltp-db-optimizations-101-thinking-in-terms-of-execution-plans/ +0. https://pingcap.github.io/blog/2017/08/15/multi-raft/ +0. https://medium.com/@ajstorm/the-lambda-architecture-simplified-a28e436fa55e +0. http://akumuli.org/akumuli/2016/12/30/compression_part1/ +0. https://en.wikipedia.org/wiki/Codd%27s_12_rules +0. https://blog.jooq.org/2017/09/28/10-cool-sql-optimisations-that-do-not-depend-on-the-cost-model/ +0. https://medium.com/@ifesdjeen/on-disk-storage-part-4-b-trees-30791060741 +0. https://www.cockroachlabs.com/blog/automated-rebalance-and-repair/ +0. http://danielwhittaker.me/2017/10/09/handle-set-based-consistency-validation-cqrs/ +0. http://db.cs.cmu.edu/seminar2017/ +0. https://blog.timescale.com/time-series-data-postgresql-10-vs-timescaledb-816ee808bac5 +0. [Is Datomic strictly better than Facebook's graph datastore?](http://www.dustingetz.com/ezpjb2RlLWRhdGFiYXNlICJzdGFydGVyLWJsb2ctc3JjMiIsIDpsaW5rLWRiaWQgI0RiSWRbMTc1OTIxODYwNDU1NTkgI1VSSSAiZGF0b21pYzpmcmVlOi8vZGF0b21pYzo0MzM0L3N0YXJ0ZXItYmxvZy1zcmMyIl0sIDpxdWVyeS1wYXJhbXMgezplbnRpdHkgI0RiSWRbMTc1OTIxODYwNDYxNDQgI1VSSSAiZGF0b21pYzpmcmVlOi8vZGF0b21pYzo0MzM0L2R1c3RpbmdldHouY29tIl19fQ,,) +0. https://www.citusdata.com/blog/2017/10/17/tour-of-postgres-index-types/ +0. https://blog.grakn.ai/modelling-data-with-hypergraphs-edff1e12edf0 +0. http://www.scylladb.com/2017/10/05/io-access-methods-scylla/ +0. http://code.hootsuite.com/row-stores-vs-column-stores-why-not-use-both/ +0. http://matthewrocklin.com/blog/work/2017/10/16/streaming-dataframes-1 +0. https://brightinventions.pl/blog/database-timeouts/ +0. https://brandur.org/redis-streams +0. https://www.fittedcloud.com/blog/machine-learning-driven-optimization-outperforms-auto-scaling-dynamodb-capacity-management/ +0. https://parquet.apache.org/ +0. https://arrow.apache.org/ +0. https://www.youtube.com/watch?v=6lCVKMQR8Dw +0. https://blog.acolyer.org/2015/10/15/ironfleet-proving-practical-distributed-systems-correc/ +0. https://underscore.io/blog/posts/2017/03/07/refined-data-config-database.html +0. https://www.quickdatabasediagrams.com/ +0. [The Case for Learned Index Structures](https://arxiv.org/abs/1712.01208) +0. https://arxiv.org/abs/0806.3115 +0. https://arxiv.org/abs/1604.03607 +0. https://arxiv.org/abs/1702.07588 +0. [HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics](https://arxiv.org/abs/1607.04822) +0. http://www.vldb.org/pvldb/vol9/p1707-pirk.pdf +0. [Continuous Analytics Over Discontinuous Streams](https://people.eecs.berkeley.edu/~franklin/Papers/sigmod10krishnamurthy.pdf) +0. http://www.vldb.org/ +0. https://blog.acolyer.org/2017/01/30/how-good-are-query-optimizers-really/ +0. http://gun.js.org/distributed/matters.html +0. http://blog.datomic.com/2017/01/the-ten-rules-of-schema-growth.html +0. https://blogs.technet.microsoft.com/dataplatforminsider/2017/01/05/how-six-lines-of-code-sql-server-can-bring-deep-learning-to-any-app/ +0. https://muratbuffalo.blogspot.com/2014/07/hybrid-logical-clocks.html +0. https://yokota.blog/2017/02/17/dont-settle-for-eventual-consistency/ +0. [AN INTRODUCTION TO GRAPH COMPRESSION TECHNIQUES FOR IN-MEMORY GRAPH COMPUTATION](https://www.cs.umd.edu/sites/default/files/scholarly_papers/Chavan.pdf) +0. [Relational Lattices: From Databases to Universal Algebra](http://www.dcs.bbk.ac.uk/~szabolcs/rellat-jlamp-second-submission-2.pdf) +0. https://bitworking.org/news/2017/03/prometheus +0. [Partioned Elias-Fano indexes](http://hpc.isti.cnr.it/hpcworkshop2014/PartitionedEliasFanoIndexes.pdf) +0. http://h2co3.org/blog/index.php/2017/04/10/join-considered-harmful/ +0. https://blog.jooq.org/2016/07/05/say-no-to-venn-diagrams-when-explaining-joins/ +0. [A Seven-Dimensional Analysis of Hashing Methods and its Implications on Query Processing](http://www.vldb.org/pvldb/vol9/p96-richter.pdf) +0. https://research.googleblog.com/2017/04/consistent-hashing-with-bounded-loads.html +0. [The Adaptive Radix Tree: ARTful Indexing for Main-Memory Databases](https://pdfs.semanticscholar.org/6abf/5107efc723c655956f027b4a67565b048799.pdf) +0. [Adapting Tree Structures for Processing with SIMD Instructions](https://openproceedings.org/2014/conf/edbt/ZeuchFH14.pdf) +0. [Compressed Computation for Text Indexing](http://www2.compute.dtu.dk/~npre/documents/thesis.pdf) +0. [Databases from finite categories](http://lambda-the-ultimate.org/node/5435) +0. https://github.com/datproject/docs/blob/master/papers/dat-paper.pdf +0. [Algorithms for Data Streams](http://twiki.di.uniroma1.it/pub/BDC/WebHome/SurveyStreaming08-DemetrescuFinocchi.pdf) +0. [Datafun: a Functional Datalog](https://people.mpi-sws.org/~neelk/datafun.pdf) +0. [Enabling Signal Processing over Data Streams](https://www.cs.ox.ac.uk/files/9135/sigmod2017-trilldsp.pdf) +0. [Database Learning: Toward a Database that Becomes Smarter Every Time](https://arxiv.org/abs/1703.05468) +0. https://github.com/jarulraj/databaseology +0. [Write-Behind Logging](http://www.vldb.org/pvldb/vol10/p337-arulraj.pdf) +0. [HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics](https://homes.cs.washington.edu/~chushumo/files/cosette_pldi17.pdf) +0. [PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge Trees](http://www.cs.utexas.edu/~vijay/papers/sosp17-pebblesdb.pdf) +0. [DROP: Dimensionality Reduction Optimization for Time Series](https://arxiv.org/abs/1708.00183) +0. http://www.cs.yale.edu/homes/aspnes/papers/skip-graphs-journal.pdf +0. https://www.amazon.com/Designing-Data-Intensive-Applications-Reliable-Maintainable/dp/1449373321 +0. https://www.amazon.com/Database-Reliability-Engineering-Designing-Operating/dp/1491925949 +0. https://www.enterprisetimes.co.uk/2017/02/22/can-severalnines-improve-mongodb-security/ +0. https://severalnines.com/ +0. http://engineering.pivotal.io/post/trilogy-the-sql-testing-framework/ +0. https://techcrunch.com/2016/08/19/mysql-founder-tries-a-new-software-licensing-model/ +0. https://blog.datopia.io/2018/11/03/hitchhiker-tree/ diff --git a/documentation/bookmark/documentation.md b/documentation/bookmark/documentation.md index b57f38630..f6efeb70e 100644 --- a/documentation/bookmark/documentation.md +++ b/documentation/bookmark/documentation.md @@ -1,85 +1,87 @@ # Architecture -1. [ARCHITECTURE.md](https://matklad.github.io/2021/02/06/ARCHITECTURE.md.html) +0. [ARCHITECTURE.md](https://matklad.github.io/2021/02/06/ARCHITECTURE.md.html) # Programming -1. [Skribilo: The Ultimate Document Programming Framework](https://www.nongnu.org/skribilo/) +0. [Skribilo: The Ultimate Document Programming Framework](https://www.nongnu.org/skribilo/) # Diagram | Chart -1. https://c4model.com/ -1. https://github.com/lukaslueg/macro_railroad -1. https://bramp.github.io/js-sequence-diagrams/ -1. https://github.com/erikbrinkman/d3-dag -1. https://dumptyd.github.io/treeflex/ -1. https://info.datalabsagency.com/blog/data-visualization-news/15-most-common-types-of-data-visualisation -1. https://wettel.github.io/codecity.html -1. http://quantifiedcode.github.io/code-is-beautiful/ -1. http://js.cytoscape.org/ -1. https://arcentry.com/ -1. https://bramp.github.io/js-sequence-diagrams/ -1. https://brokenbaysoftware.co/2018/12/18/Cumulative-Flow/ -1. https://frappe.io/gantt -1. https://dbdiagram.io/home/ -1. https://ptsjs.org/ -1. https://blog.usejournal.com/bridging-the-gap-between-low-level-and-high-level-charting-libraries-a8f6c1819ba5 -1. https://www.infoq.com/articles/why-architectural-diagrams -1. https://gramener.github.io/visual-vocabulary-vega/ -1. [Visually Representing the Landscape of Mathematical Structures](https://arxiv.org/abs/1809.05930) -1. http://www.java2uml.com/s +0. https://c4model.com/ +0. https://github.com/lukaslueg/macro_railroad +0. https://bramp.github.io/js-sequence-diagrams/ +0. https://github.com/erikbrinkman/d3-dag +0. https://dumptyd.github.io/treeflex/ +0. https://info.datalabsagency.com/blog/data-visualization-news/15-most-common-types-of-data-visualisation +0. https://wettel.github.io/codecity.html +0. http://quantifiedcode.github.io/code-is-beautiful/ +0. http://js.cytoscape.org/ +0. https://arcentry.com/ +0. https://bramp.github.io/js-sequence-diagrams/ +0. https://brokenbaysoftware.co/2018/12/18/Cumulative-Flow/ +0. https://frappe.io/gantt +0. https://dbdiagram.io/home/ +0. https://ptsjs.org/ +0. https://blog.usejournal.com/bridging-the-gap-between-low-level-and-high-level-charting-libraries-a8f6c1819ba5 +0. https://www.infoq.com/articles/why-architectural-diagrams +0. https://gramener.github.io/visual-vocabulary-vega/ +0. [Visually Representing the Landscape of Mathematical Structures](https://arxiv.org/abs/1809.05930) +0. http://www.java2uml.com/s # Philosophy -1. [Forget reusability, aim for perfection](https://www.openbsd.org/papers/bsdcan18-mandoc.pdf) -1. https://increment.com/documentation/ -1. https://blog.stoplight.io/writing-documentation-when-you-arent-a-technical-writer-part-two-59997587cc2a +0. [Forget reusability, aim for perfection](https://www.openbsd.org/papers/bsdcan18-mandoc.pdf) +0. https://increment.com/documentation/ +0. https://blog.stoplight.io/writing-documentation-when-you-arent-a-technical-writer-part-two-59997587cc2a # Explorability -1. https://explorabl.es/jam/ -1. https://flowium.com/help.html -1. https://apfelmus.nfshost.com/blog/2018/08/06-hyper-0-2.html +0. [Code Hike](https://codehike.org/) +0. https://explorabl.es/jam/ +0. https://flowium.com/help.html +0. https://apfelmus.nfshost.com/blog/2018/08/06-hyper-0-2.html # README -1. https://github.com/LappleApple/feedmereadmes +0. https://github.com/LappleApple/feedmereadmes # Doclet -1. https://docs.oracle.com/javase/8/docs/technotes/guides/javadoc/doclet/overview.html -1. http://www.doclet.com/ -1. https://en.wikipedia.org/wiki/Doclet +0. https://docs.oracle.com/javase/8/docs/technotes/guides/javadoc/doclet/overview.html +0. http://www.doclet.com/ +0. https://en.wikipedia.org/wiki/Doclet # Reference -1. [Architecture decision record (ADR)](https://github.com/joelparkerhenderson/architecture_decision_record) -1. [Seamless API Specification](https://github.com/seamlessapis/seamless/tree/master/domain) -1. [Pollen: the book is a program](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/ -1. https://gist.github.com/oakes/8db57ac808bf6ec144d627fd83a89da3 -1. https://github.com/oakes/Dynadoc -1. https://github.com/bhauman/devcards -1. https://kiwidocs.js.org/ -1. https://github.com/Microsoft/tsdoc -1. https://github.com/PharkMillups/beautiful-docs -1. http://lwm.github.io/posts/html/document-haskell.html -1. http://lwm.github.io/texts/lets-write-documentation-for-haskell/ -1. https://groups.google.com/forum/#!msg/scala-internals/r2GnzCFc3TY/x3PmIq4cAgAJ -1. http://naildrivin5.com/blog/2016/12/08/learn-graphviz-and-up-your-diagramming-game.html -1. https://idyll-lang.github.io/ -1. https://opensource.com/article/17/9/modular-documentation -1. https://clojurecademy.github.io/dsl-documentation/# -1. https://www.asyncapi.com/ -1. http://jupyter.org/ -1. https://medium.freecodecamp.org/how-to-build-interactive-presentations-with-jupyter-notebook-and-reveal-js-c7e24f4bd9c5 -1. https://github.com/stevekrouse/unbreakable-links -1. https://www.divio.com/en/blog/documentation/ -1. https://github.com/Bogdan-Lyashenko/js-code-to-svg-flowchart -1. https://anbasile.github.io/programming/2015/12/25/hosting-reveal-pres-on-github/ -1. http://www.megacz.com/software/wix/ -1. https://github.com/documentationjs/documentation -1. https://www.cockroachlabs.com/blog/go-file-size/ +0. [conventional: comments](https://conventionalcomments.org/) +0. [Architecture decision record (ADR)](https://github.com/joelparkerhenderson/architecture_decision_record) +0. [Seamless API Specification](https://github.com/seamlessapis/seamless/tree/master/domain) +0. [Pollen: the book is a program](https://docs.racket-lang.org/pollen/) +0. [Documenting the Clojure/Script Ecosystem – Martin Klepsch](https://www.youtube.com/watch?v=mWrvd6SE7Vg) +0. http://apistylebook.com/ +0. https://docusaurus.io/ +0. https://gist.github.com/oakes/8db57ac808bf6ec144d627fd83a89da3 +0. https://github.com/oakes/Dynadoc +0. https://github.com/bhauman/devcards +0. https://kiwidocs.js.org/ +0. https://github.com/Microsoft/tsdoc +0. https://github.com/PharkMillups/beautiful-docs +0. http://lwm.github.io/posts/html/document-haskell.html +0. http://lwm.github.io/texts/lets-write-documentation-for-haskell/ +0. https://groups.google.com/forum/#!msg/scala-internals/r2GnzCFc3TY/x3PmIq4cAgAJ +0. http://naildrivin5.com/blog/2016/12/08/learn-graphviz-and-up-your-diagramming-game.html +0. https://idyll-lang.github.io/ +0. https://opensource.com/article/17/9/modular-documentation +0. https://clojurecademy.github.io/dsl-documentation/# +0. https://www.asyncapi.com/ +0. http://jupyter.org/ +0. https://medium.freecodecamp.org/how-to-build-interactive-presentations-with-jupyter-notebook-and-reveal-js-c7e24f4bd9c5 +0. https://github.com/stevekrouse/unbreakable-links +0. https://www.divio.com/en/blog/documentation/ +0. https://github.com/Bogdan-Lyashenko/js-code-to-svg-flowchart +0. https://anbasile.github.io/programming/2015/12/25/hosting-reveal-pres-on-github/ +0. http://www.megacz.com/software/wix/ +0. https://github.com/documentationjs/documentation +0. https://www.cockroachlabs.com/blog/go-file-size/ diff --git a/documentation/bookmark/error_messages.md b/documentation/bookmark/error_messages.md index f3b7a3120..5fc1d6d5a 100644 --- a/documentation/bookmark/error_messages.md +++ b/documentation/bookmark/error_messages.md @@ -1,5 +1,6 @@ # Reference -1. [Error Messages in Haskell, and how to Improve them](https://anthony.noided.media/blog/haskell/programming/2020/05/14/haskell-errors.html) -1. [The Futhark Error Index](https://futhark-lang.org/blog/2021-09-24-the-futhark-error-index.html) +0. [Error Message Style Guides of Various Languages](https://www.pypy.org/posts/2021/12/error-message-style-guides.html) +0. [Error Messages in Haskell, and how to Improve them](https://anthony.noided.media/blog/haskell/programming/2020/05/14/haskell-errors.html) +0. [The Futhark Error Index](https://futhark-lang.org/blog/2021-09-24-the-futhark-error-index.html) diff --git a/documentation/bookmark/extensibility.md b/documentation/bookmark/extensibility.md new file mode 100644 index 000000000..8e95e15e4 --- /dev/null +++ b/documentation/bookmark/extensibility.md @@ -0,0 +1,4 @@ +# Reference + +0. [Extensibility over configuration](https://www.gertgoeman.com/posts/extensibility-over-configuration/) + diff --git a/documentation/bookmark/game/development.md b/documentation/bookmark/game/development.md new file mode 100644 index 000000000..80125f550 --- /dev/null +++ b/documentation/bookmark/game/development.md @@ -0,0 +1,4 @@ +# Reference + +0. [Evan Debenham- Community-Driven Roguelike Development](https://www.youtube.com/watch?v=NMWQIdfCgQg) + diff --git a/documentation/bookmark/game/generation/move.md b/documentation/bookmark/game/generation/move.md new file mode 100644 index 000000000..95ceccb54 --- /dev/null +++ b/documentation/bookmark/game/generation/move.md @@ -0,0 +1,4 @@ +# Reference + +0. [Thomas Robertson - Towards a New Understanding of Procedural Super Attacks](https://www.youtube.com/watch?v=f1t4yPjfZyM) + diff --git a/documentation/bookmark/game/generation/plot.md b/documentation/bookmark/game/generation/plot.md new file mode 100644 index 000000000..65a0a42cc --- /dev/null +++ b/documentation/bookmark/game/generation/plot.md @@ -0,0 +1,5 @@ +# Reference + +0. [Best Practices for Procedural Narrative Generation](https://www.youtube.com/watch?v=k2rgzZ2WXKo) +0. [Jasmine Otto - Cyclic Plot Generation in a Narrative Instrument](https://www.youtube.com/watch?v=NjIDVIIg1lY) + diff --git a/documentation/bookmark/game/juice.md b/documentation/bookmark/game/juice.md new file mode 100644 index 000000000..33869e553 --- /dev/null +++ b/documentation/bookmark/game/juice.md @@ -0,0 +1,4 @@ +# Reference + +0. [Jeremiah Reid - Juice your Turns](https://www.youtube.com/watch?v=xSYVQc7cH-4) + diff --git a/documentation/bookmark/game/mechanic/bug.md b/documentation/bookmark/game/mechanic/bug.md new file mode 100644 index 000000000..4b95dbfc3 --- /dev/null +++ b/documentation/bookmark/game/mechanic/bug.md @@ -0,0 +1,4 @@ +# Reference + +0. [Jason Grinblat- Before you Fix a Leak, Ask if it's a Fountain](https://www.youtube.com/watch?v=kvCky6BbTuE) + diff --git a/documentation/bookmark/game/mechanic/relationship.md b/documentation/bookmark/game/mechanic/relationship.md new file mode 100644 index 000000000..f6b0c7874 --- /dev/null +++ b/documentation/bookmark/game/mechanic/relationship.md @@ -0,0 +1,4 @@ +# Reference + +0. [Brenda Romero - Dynamic Relationships and Traits in Empire of Sin](https://www.youtube.com/watch?v=_vf3HO3wn20) + diff --git a/documentation/bookmark/game/move.md b/documentation/bookmark/game/move.md new file mode 100644 index 000000000..468a96eef --- /dev/null +++ b/documentation/bookmark/game/move.md @@ -0,0 +1,4 @@ +# Reference + +0. [Dylan White - The Cost of Magic](https://www.youtube.com/watch?v=kvgKKRLil_8) + diff --git a/documentation/bookmark/game/tool.md b/documentation/bookmark/game/tool.md new file mode 100644 index 000000000..4694a517e --- /dev/null +++ b/documentation/bookmark/game/tool.md @@ -0,0 +1,4 @@ +# Reference + +0. [Spencer Egart- Tooling for Roguelikes and Procgen](https://www.youtube.com/watch?v=YfLYPIXGF7E) + diff --git a/documentation/bookmark/gpu_programming.md b/documentation/bookmark/gpu_programming.md new file mode 100644 index 000000000..78124fc76 --- /dev/null +++ b/documentation/bookmark/gpu_programming.md @@ -0,0 +1,4 @@ +# Reference + +0. [Generic GPU Kernels](https://mikeinnes.github.io/2017/08/24/cudanative.html) + diff --git a/documentation/bookmark/linux.md b/documentation/bookmark/linux.md new file mode 100644 index 000000000..c73958f37 --- /dev/null +++ b/documentation/bookmark/linux.md @@ -0,0 +1,4 @@ +# Reference + +0. [Portable binaries for Linux](http://s.minos.io/) + diff --git a/documentation/bookmark/math.md b/documentation/bookmark/math.md index 760e4d177..3dbafd686 100644 --- a/documentation/bookmark/math.md +++ b/documentation/bookmark/math.md @@ -1,405 +1,408 @@ # Logarithm -1. [Logarithm: The Complete Guide (Theory & Applications)](https://mathvault.ca/logarithm-theory/) +0. [Logarithm: The Complete Guide (Theory & Applications)](https://mathvault.ca/logarithm-theory/) # Ball arithmetic -1. [Ball arithmetic](http://www.texmacs.org/joris/ball/ball.html) +0. [Ball arithmetic](http://www.texmacs.org/joris/ball/ball.html) # Arithmetic -1. [The Definitive Higher Math Guide on Integer Long Division (and Its Variants)](https://mathvault.ca/long-division/) +0. [The Definitive Higher Math Guide on Integer Long Division (and Its Variants)](https://mathvault.ca/long-division/) # Tensor calculus -1. [Introduction to Tensor Calculus](http://www.ita.uni-heidelberg.de/~dullemond/lectures/tensor/tensor.pdf) +0. [Introduction to Tensor Calculus](http://www.ita.uni-heidelberg.de/~dullemond/lectures/tensor/tensor.pdf) # Geometry -1. [Perspectives on Projective Geometry: A Guided Tour through Real and Complex Geometry](https://www-m10.ma.tum.de/foswiki/pub/Lehre/WS0910/ProjektiveGeometrieWS0910/GeomBook.pdf) -1. [Symplectic Geometry for Engineers - Fundamentals](https://www.researchgate.net/publication/338124384_Symplectic_Geometry_for_Engineers_-_Fundamentals) +0. [Perspectives on Projective Geometry: A Guided Tour through Real and Complex Geometry](https://www-m10.ma.tum.de/foswiki/pub/Lehre/WS0910/ProjektiveGeometrieWS0910/GeomBook.pdf) +0. [Symplectic Geometry for Engineers - Fundamentals](https://www.researchgate.net/publication/338124384_Symplectic_Geometry_for_Engineers_-_Fundamentals) # Prime number -1. [The History of the Primality of One: A Selection of Sources](https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell2/cald6.pdf) +0. [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) +0. [Approximating the Sine Function](http://datagenetics.com/blog/july12019/index.html) # Period -1. https://en.wikipedia.org/wiki/Ring_of_periods -1. [PERIODS](http://www.ihes.fr/~maxim/TEXTS/Periods.pdf) +0. https://en.wikipedia.org/wiki/Ring_of_periods +0. [PERIODS](http://www.ihes.fr/~maxim/TEXTS/Periods.pdf) # Proof theory -1. [Mathematical Components](https://math-comp.github.io/mcb/) +0. [Mathematical Components](https://math-comp.github.io/mcb/) # Statistics -1. https://www.statisticsdonewrong.com/ +0. https://www.statisticsdonewrong.com/ # Topology -1. [What is Topology?](https://medium.com/cantors-paradise/what-is-topology-963ef4cc6365) -1. [Pointless topology](https://en.wikipedia.org/wiki/Pointless_topology) -1. [ELEMENTARY APPLIED TOPOLOGY](https://www.math.upenn.edu/~ghrist/notes.html) +0. [What is Topology?](https://medium.com/cantors-paradise/what-is-topology-963ef4cc6365) +0. [Pointless topology](https://en.wikipedia.org/wiki/Pointless_topology) +0. [ELEMENTARY APPLIED TOPOLOGY](https://www.math.upenn.edu/~ghrist/notes.html) # Library -1. https://github.com/ZacharyPatten/Towel +0. https://github.com/ZacharyPatten/Towel # Polynomials -1. https://brainbomb.org/0-1-efficient-metholds-for-evaluting-polynomials/ -1. https://en.wikipedia.org/wiki/Horner%27s_method +0. https://brainbomb.org/0-1-efficient-metholds-for-evaluting-polynomials/ +0. https://en.wikipedia.org/wiki/Horner%27s_method # Chaos Theory -1. http://ncase.me/attractors/ +0. http://ncase.me/attractors/ # Number Theory -1. https://twitter.com/johncarlosbaez/status/1184492139897507840 -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) +0. https://twitter.com/johncarlosbaez/status/1184492139897507840 +0. https://en.wikipedia.org/wiki/Division_algebra +0. [Division algebras](https://www.youtube.com/watch?v=3BZyds_KFWM&list=PLNxhIPHaOTRZMO1VjJcs7_3dgyJ2qU1yZ) +0. https://www.quantamagazine.org/the-octonion-math-that-could-underpin-physics-20180720 +0. http://illustratedtheoryofnumbers.com/ +0. [Topology of Numbers](http://pi.math.cornell.edu/~hatcher/TN/TNpage.html) ## Hyperreal number -1. [Yes, You Can Manipulate Infinity—in Math](https://mindmatters.ai/2019/10/yes-you-can-manipulate-infinity-in-math/) +0. [Yes, You Can Manipulate Infinity—in Math](https://mindmatters.ai/2019/10/yes-you-can-manipulate-infinity-in-math/) # Quaternions -1. [Maths - Quaternions](http://www.euclideanspace.com/maths/algebra/realNormedAlgebra/quaternions/index.htm) -1. [Stepping into a New Dimension: Using Quaternions to See the Invisible](https://medium.com/@vieyrasoftware/stepping-into-a-new-dimension-using-quaternions-to-see-the-invisible-478087c9ebbf) -1. [How Quaternions Produce 3D Rotation](https://penguinmaths.blogspot.com/2019/06/how-quaternions-produce-3d-rotation.html) -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) -1. [Rotations with quaternions](https://imadr.github.io/rotations-with-quaternions/) +0. [Quaternions: Part 1](https://liorsinai.github.io/mathematics/2021/11/05/quaternion-1-intro.html) +0. [Maths - Quaternions](http://www.euclideanspace.com/maths/algebra/realNormedAlgebra/quaternions/index.htm) +0. [Stepping into a New Dimension: Using Quaternions to See the Invisible](https://medium.com/@vieyrasoftware/stepping-into-a-new-dimension-using-quaternions-to-see-the-invisible-478087c9ebbf) +0. [How Quaternions Produce 3D Rotation](https://penguinmaths.blogspot.com/2019/06/how-quaternions-produce-3d-rotation.html) +0. https://www.3dgep.com/understanding-quaternions/ +0. https://probablydance.com/2017/08/05/intuitive-quaternions/ +0. [Quaternion algebras](https://math.dartmouth.edu/~jvoight/quat.html) +0. [Rotations with quaternions](https://imadr.github.io/rotations-with-quaternions/) # _Compendium of resources_ -1. [Free and Open-Source Textbooks](http://danaernst.com/resources/free-and-open-source-textbooks/) -1. [ALL IN ONE MATHEMATICS CHEAT SHEET](https://ourway.keybase.pub/mathematics_cheat_sheet.pdf) -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 +0. [Free and Open-Source Textbooks](http://danaernst.com/resources/free-and-open-source-textbooks/) +0. [ALL IN ONE MATHEMATICS CHEAT SHEET](https://ourway.keybase.pub/mathematics_cheat_sheet.pdf) +0. https://github.com/llSourcell/learn_math_fast +0. https://www.algorithm-archive.org/ +0. [3b1b featured creators #1](https://www.youtube.com/watch?v=VcgJro0sTiM) +0. [An infinite descent into pure mathematics](https://infinitedescent.xyz/) +0. https://hackernoon.com/be-a-better-programmer-with-these-40-mathematics-courses-d8ca48a2f8a2 +0. https://www.intmath.com/ +0. https://en.wikipedia.org/wiki/Graduate_Texts_in_Mathematics # Number systems -1. https://en.wikipedia.org/wiki/Negative_base +0. https://en.wikipedia.org/wiki/Negative_base # Discrete mathematics -1. [Applied Discrete Structures](http://discretemath.org/ads-latex/ads.pdf) -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) +0. [Applied Discrete Structures](http://discretemath.org/ads-latex/ads.pdf) +0. [Notes on Discrete Mathematics](http://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf) +0. [The system of integer functions, an efficient version of discrete mathematical analysis](https://arxiv.org/abs/1710.00676) +0. [Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra](http://math.sfsu.edu/beck/papers/ccd.pdf) +0. [Discrete Mathematics: An Open Introduction](http://discrete.openmathbooks.org/dmoi2/frontmatter.html) # Probability -1. [Introduction to Probability at anadvanced leve](https://www.stat.berkeley.edu/~aditya/resources/AllLectures2018Fall201A.pdf) +0. [Introduction to Probability at anadvanced leve](https://www.stat.berkeley.edu/~aditya/resources/AllLectures2018Fall201A.pdf) # Linear Algebra -1. [Linear Algebra And Multi Dimensional Geometry](https://mirtitles.org/2020/02/13/4129/) -1. [Interactive Linear Algebra](https://textbooks.math.gatech.edu/ila/) -1. [Don’t invert that matrix](https://www.johndcook.com/blog/2010/01/19/dont-invert-that-matrix/) -1. [“Don’t invert that matrix” – why and how](https://civilstat.com/2015/07/dont-invert-that-matrix-why-and-how/) -1. [Thirty-three Miniatures: Mathematical and Algorithmic Applications of Linear Algebra](https://kam.mff.cuni.cz/~matousek/stml-53-matousek-1.pdf) -1. [Covectors are Different than Vectors, Usually](http://infohost.nmt.edu/~parendt/Phys509/notes/2diracnot/node4.html) -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) -1. [3 Point Parameterization of Affine Transform](https://www.catid.io/affine3) +0. [Linear Algebra And Multi Dimensional Geometry](https://mirtitles.org/2020/02/13/4129/) +0. [Interactive Linear Algebra](https://textbooks.math.gatech.edu/ila/) +0. [Don’t invert that matrix](https://www.johndcook.com/blog/2010/01/19/dont-invert-that-matrix/) +0. [“Don’t invert that matrix” – why and how](https://civilstat.com/2015/07/dont-invert-that-matrix-why-and-how/) +0. [Thirty-three Miniatures: Mathematical and Algorithmic Applications of Linear Algebra](https://kam.mff.cuni.cz/~matousek/stml-53-matousek-1.pdf) +0. [Covectors are Different than Vectors, Usually](http://infohost.nmt.edu/~parendt/Phys509/notes/2diracnot/node4.html) +0. [Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares](https://web.stanford.edu/~boyd/vmls/vmls.pdf) +0. [Linear Algebra Done Wrong.](http://www.math.brown.edu/~treil/papers/LADW/LADW.html) +0. [Linear Algebra Done Right](http://linear.axler.net/) +0. [Down with Determinants!](http://www.axler.net/DwD.html) +0. https://github.com/jacobbogers/blasjs +0. https://graphicallinearalgebra.net/ +0. [Wild Linear Algebra](https://www.youtube.com/watch?v=yAb12PWrhV0&list=PLIljB45xT85BhzJ-oWNug1YtUjfWp1qAp &&& https://www.youtube.com/watch?v=nJdWFoliRnc&list=PLIljB45xT85DF5G-Hq0xPsVUnR5_wJRSw) +0. https://github.com/ferreiradaselva/mathc +0. http://www.fast.ai/2017/07/17/num-lin-alg/ +0. https://github.com/bluemathsoft/bm-linalg +0. [The Matrix Cookbook](https://www.math.uwaterloo.ca/~hwolkowi/matrixcookbook.pdf) +0. https://dhruvp.netlify.com/2018/12/31/matrices/ +0. https://www.nalgebra.org/ +0. http://immersivemath.com/ila/index.html +0. [Linear Logic and Linear Algebra](http://www.cs.bham.ac.uk/~drg/bll/steve.pdf) +0. https://www.math3ma.com/blog/matrices-probability-graphs +0. [Essence of linear algebra](https://www.youtube.com/watch?v=fNk_zzaMoSs&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab) +0. https://www.dhruvonmath.com/2018/12/31/matrices/ +0. http://blog.ezyang.com/2019/05/a-short-note-about-functional-linear-maps/ +0. https://www.math3ma.com/blog/matrices-as-tensor-network-diagrams +0. [Convolution is outer product](https://arxiv.org/abs/1905.01289) +0. [Graphical Calculus for products and convolutions](https://arxiv.org/abs/1903.01366) +0. [3 Point Parameterization of Affine Transform](https://www.catid.io/affine3) # Domain Theory -1. [A Brief Intro to Domain Theory](https://www.alignmentforum.org/posts/4C4jha5SdReWgg7dF/a-brief-intro-to-domain-theory) +0. [A Brief Intro to Domain Theory](https://www.alignmentforum.org/posts/4C4jha5SdReWgg7dF/a-brief-intro-to-domain-theory) # Category Theory -1. [Programming with Categories](https://www.youtube.com/watch?v=Y5YCE_mVjvg&list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS&index=1) -1. [Awesome Applied Category Theory](https://github.com/statebox/awesome-applied-ct) -1. [Categorical Query Language](https://www.categoricaldata.net/) -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) +0. [Programming with Categories](https://www.youtube.com/watch?v=Y5YCE_mVjvg&list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS&index=1) +0. [Awesome Applied Category Theory](https://github.com/statebox/awesome-applied-ct) +0. [Categorical Query Language](https://www.categoricaldata.net/) +0. [Abstract and Concrete Categories: The Joy of Cats](http://katmat.math.uni-bremen.de/acc/acc.pdf) +0. https://bartoszmilewski.com/ +0. [YOW! Lambda Jam 2018 - Mark Hopkins -All of Basic Category Theory](https://www.youtube.com/watch?v=9u1q3lH7VbE) +0. [Categorifying cardinal arithmetic](http://www.math.jhu.edu/~eriehl/arithmetic.pdf) +0. https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ +0. [Elements of ∞-Category Theory](http://www.math.jhu.edu/~eriehl/elements.pdf) +0. [Category Theory: A Gentle Introduction](https://www.logicmatters.net/resources/pdfs/GentleIntro.pdf) +0. [Applied Category Theory (@ MIT 2019)](https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5) +0. https://jvns.ca/blog/2019/03/26/what-are-monoidal-categories/ +0. [Daniela Sfregola - A Pragmatic Introduction to Category Theories - Code Mesh 2017](https://www.youtube.com/watch?v=8XGFFMPHG0o) +0. [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) +0. [Strong Types for Direct Logic](https://drive.google.com/file/d/1relKFB4aOMD2VZHM9qj3wWMXOq-q2AJr/view) # Geometric Algebra | Clifford Algebra -1. [Siggraph2019 Geometric Algebra](https://www.youtube.com/watch?v=tX4H_ctggYo) -1. [Dr Leo Dorst' Keynote talk at CGI2020](https://www.youtube.com/watch?v=T7xVTBpHMjA) -1. [GAME2020 - 1. Dr. Leo Dorst. Get Real!](https://www.youtube.com/watch?v=0fF2xToQmgs) -1. [GAME2020 3. Professor Anthony Lasenby. A new language for physics.](https://www.youtube.com/watch?v=x7eLEtmq6PY) -1. [HestenesJMM2019](https://www.youtube.com/watch?v=zsQQ7djCg_Y) -1. http://geocalc.clas.asu.edu/ -1. [Geometric Algebra](https://arxiv.org/abs/1205.5935) -1. [A Swift Introduction to Geometric Algebra](https://www.youtube.com/watch?v=60z_hpEAtD8) -1. [Euclidean Geometry and Geometric Algebra](http://geometry.mrao.cam.ac.uk/2020/06/euclidean-geometry-and-geometric-algebra/) -1. [Plane-based Geometric Algebra for Computer Science](https://bivector.net/PGA4CS.html) -1. [Differential geometric algebra foundations: Grassmann.jl Ascend](https://www.youtube.com/watch?v=7hlDRLEhc8o&feature=youtu.be) -1. [Projective Geometric Algebra Done Right](http://terathon.com/blog/projective-geometric-algebra-done-right/) -1. [Introduction to Clifford Algebra](https://www.av8n.com/physics/clifford-intro.htm) -1. [An Introduction to Geometric Algebra over R^2](https://bitworking.org/news/ga/2d) -1. [Exterior Product](https://medium.com/@marksaroufim/exterior-product-ecd5836c28ab) -1. [Projective geometric algebra: A modern framework for doing geometry](http://page.math.tu-berlin.de/~gunn/PGA/index.html) -1. [Geometric Algebra for Computer Graphics](https://slides.com/enkimute/siggraph/#/) -1. https://bivector.net/ -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 +0. [Symplectic Geometry meets Geometric Algebra in 2D](https://www.researchgate.net/publication/356781838_Symplectic_Geometry_meets_Geometric_Algebra_in_2D) +0. [Siggraph2019 Geometric Algebra](https://www.youtube.com/watch?v=tX4H_ctggYo) +0. [Dr Leo Dorst' Keynote talk at CGI2020](https://www.youtube.com/watch?v=T7xVTBpHMjA) +0. [GAME2020 - 1. Dr. Leo Dorst. Get Real!](https://www.youtube.com/watch?v=0fF2xToQmgs) +0. [GAME2020 3. Professor Anthony Lasenby. A new language for physics.](https://www.youtube.com/watch?v=x7eLEtmq6PY) +0. [HestenesJMM2019](https://www.youtube.com/watch?v=zsQQ7djCg_Y) +0. http://geocalc.clas.asu.edu/ +0. [Geometric Algebra](https://arxiv.org/abs/1205.5935) +0. [A Swift Introduction to Geometric Algebra](https://www.youtube.com/watch?v=60z_hpEAtD8) +0. [Euclidean Geometry and Geometric Algebra](http://geometry.mrao.cam.ac.uk/2020/06/euclidean-geometry-and-geometric-algebra/) +0. [Plane-based Geometric Algebra for Computer Science](https://bivector.net/PGA4CS.html) +0. [Differential geometric algebra foundations: Grassmann.jl Ascend](https://www.youtube.com/watch?v=7hlDRLEhc8o&feature=youtu.be) +0. [Projective Geometric Algebra Done Right](http://terathon.com/blog/projective-geometric-algebra-done-right/) +0. [Introduction to Clifford Algebra](https://www.av8n.com/physics/clifford-intro.htm) +0. [An Introduction to Geometric Algebra over R^2](https://bitworking.org/news/ga/2d) +0. [Exterior Product](https://medium.com/@marksaroufim/exterior-product-ecd5836c28ab) +0. [Projective geometric algebra: A modern framework for doing geometry](http://page.math.tu-berlin.de/~gunn/PGA/index.html) +0. [Geometric Algebra for Computer Graphics](https://slides.com/enkimute/siggraph/#/) +0. https://bivector.net/ +0. https://slehar.wordpress.com/2014/03/18/clifford-algebra-a-visual-introduction/ +0. [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) +0. [Let's remove Quaternions from every 3D Engine](http://marctenbosch.com/quaternions/) +0. [Geometric Algebra Playlist](https://www.youtube.com/playlist?list=PLLvlxwbzkr7igd6bL7959WWE7XInCCevt) +0. https://github.com/wolftype/versor +0. [Exploring Physics with Geometric Algebra, Book 1](http://peeterjoot.com/archives/math2015/gabookI.pdf) +0. [Joan Lasenby on Applications of Geometric Algebra in Engineering](https://www.youtube.com/watch?v=ikCIUzX9myY) +0. https://www.amazon.com/Geometric-Algebra-Computer-Graphics-Vince/dp/1846289963 +0. https://www.amazon.com/Geometric-Algebra-Computer-Science-Revised/dp/0123749425 +0. https://www.amazon.com/Space-Time-Algebra-David-Hestenes/dp/3319184121 +0. https://www.amazon.com/Introduction-Clifford-Algebras-Spinors/dp/0198782926 +0. https://gist.github.com/pervognsen/b204bf31af0809af078617af1609c8b8 +0. [Fundamentals of Grassmann Algebra](http://www.terathon.com/gdc12_lengyel.pdf) +0. https://github.com/chakravala/Grassmann.jl # Abstract Algebra -1. [A Brief Guide to A Few Algebraic Structures](https://argumatronic.com//posts/2019-06-21-algebra-cheatsheet.html) -1. [DUALITY FOR GROUPS](https://projecteuclid.org/download/pdf_1/euclid.bams/1183515045) -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) -1. [An Invitation to General Algebra and Universal Constructions](https://math.berkeley.edu/~gbergman/245/) +0. [A Brief Guide to A Few Algebraic Structures](https://argumatronic.com//posts/2019-06-21-algebra-cheatsheet.html) +0. [DUALITY FOR GROUPS](https://projecteuclid.org/download/pdf_1/euclid.bams/1183515045) +0. https://gowers.wordpress.com/2011/11/20/normal-subgroups-and-quotient-groups/ +0. [Abstract Algebra: Theory and Applications](http://abstract.ups.edu/) +0. [Group Theory](http://birdtracks.eu/version9.0/GroupTheory.pdf) +0. [VISUAL GROUP THEORY](http://web.bentley.edu/empl/c/ncarter/vgt/index.html) +0. [THE GEOMETRY OF REFLECTION GROUPS](http://people.mpim-bonn.mpg.de/geordie/mpg.pdf) +0. https://kubuszok.com/2018/algebras-we-love/ +0. [Notes on Computational Group Theory](https://www.math.colostate.edu/~hulpke/CGT/cgtnotes.pdf) +0. [An Invitation to General Algebra and Universal Constructions](https://math.berkeley.edu/~gbergman/245/) # Logic -1. http://openlogicproject.org/ +0. http://openlogicproject.org/ # Calculus -1. [The Fractional Derivative, what is it? | Introduction to Fractional Calculus](https://www.youtube.com/watch?v=A4sTAKN6yFA) -1. [Calculus on Manifolds](http://strangebeautiful.com/other-texts/spivak-calc-manifolds.pdf) -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. [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 +0. [What is Jacobian? | The right way of thinking derivatives and integrals](https://www.youtube.com/watch?v=wCZ1VEmVjVo) +0. [The Fractional Derivative, what is it? | Introduction to Fractional Calculus](https://www.youtube.com/watch?v=A4sTAKN6yFA) +0. [Calculus on Manifolds](http://strangebeautiful.com/other-texts/spivak-calc-manifolds.pdf) +0. [Calculus BLUE](https://www.youtube.com/watch?v=Jes5jwLl1q8&list=PL8erL0pXF3JYm7VaTdKDaWc8Q3FuP8Sa7) +0. [Extending the Algebraic Manipulability of Differentials](https://arxiv.org/abs/1801.09553) +0. https://en.wikipedia.org/wiki/Fractional_calculus +0. https://medium.com/@notaredpanda/fractional-calculus-48192f4e9c9f +0. [Fractional Calculus: Theory and Applications](https://www.mdpi.com/books/pdfview/book/755) +0. [EXTENDING THE ALGEBRAIC MANIPULABILITYOF DIFFERENTIALS](http://online.watsci.org/abstract_pdf/2019v26/v26n3a-pdf/4.pdf) +0. [Finite Calculus: A Tutorial for Solving Nasty Sums](https://www.cs.purdue.edu/homes/dgleich/publications/Gleich%202005%20-%20finite%20calculus.pdf) +0. 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) +0. [Continuous Calculus](http://www-users.math.umn.edu/~olver/ln_/cc.pdf) # Octonion -1. http://math.ucr.edu/home/baez/octonions/ +0. 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) +0. [differential geometry reconstructed: a unified systematic framework](http://www.geometry.org/tex/conc/dgstats.php) +0. [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) +0. [Functional Bits: Lambda Calculus based Algorithmic Information Theory](https://tromp.github.io/cl/LC.pdf) # Graph Theory -1. [Graphs and Geometry](http://web.cs.elte.hu/~lovasz/bookxx/geomgraphbook/geombook2019.01.11.pdf) -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) +0. [Graphs and Geometry](http://web.cs.elte.hu/~lovasz/bookxx/geomgraphbook/geombook2019.01.11.pdf) +0. [Graph-Based Algorithms for Boolean Function Manipulation](http://mtv.ece.ucsb.edu/courses/ece156B_14/randy_obdd86.pdf) +0. [better geometry through graph theory](http://ideolalia.com/2018/08/28/artifex.html) # Division by Zero -1. [29. Dividing by zero to invert matrices](https://graphicallinearalgebra.net/2016/06/22/29-inverting-matrices-and-dividing-by-zero/) -1. https://www.hillelwayne.com/post/divide-by-zero/ -1. https://www.1dividedby0.com/ +0. [29. Dividing by zero to invert matrices](https://graphicallinearalgebra.net/2016/06/22/29-inverting-matrices-and-dividing-by-zero/) +0. https://www.hillelwayne.com/post/divide-by-zero/ +0. https://www.1dividedby0.com/ # Partial Fractions -1. https://jaydaigle.net/blog/calculus/easier-partial-fractions/ +0. https://jaydaigle.net/blog/calculus/easier-partial-fractions/ # Non-commutative Algebra -1. [An Invitation to Noncommutative Algebra](https://arxiv.org/abs/1808.03172) +0. [An Invitation to Noncommutative Algebra](https://arxiv.org/abs/1808.03172) # Lambda Calculus -1. https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c +0. https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c # _Software Library_ -1. https://github.com/arguiot/TheoremJS -1. https://github.com/arguiot/Descartes +0. https://github.com/arguiot/TheoremJS +0. 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) +0. [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) +0. http://faculty.math.tsinghua.edu.cn/~bliu/ut.pdf +0. [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/ +0. [CMPT 813: Computational Geometry (Fall 2011)](http://www.cs.sfu.ca/~binay/813.2011/) +0. https://www.johndcook.com/blog/2018/09/26/polygon-area/ +0. http://s2geometry.io/devguide/s2cell_hierarchy.html +0. http://alienryderflex.com/polygon/ +0. 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) +0. ["REAL" ANALYSIS Is A DEGENERATE CASE of DISCRETE ANALYSIS](http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf) # Linear programming -1. https://en.wikibooks.org/wiki/GLPK -1. https://white.ucc.asn.au/2018/05/28/Optimizing-your-diet-with-JuMP.html +0. https://en.wikibooks.org/wiki/GLPK +0. https://white.ucc.asn.au/2018/05/28/Optimizing-your-diet-with-JuMP.html # Measure theory -1. [Resources for Learning Measure Theory](https://bcmullins.github.io/measure_theory_resources/) +0. [Resources for Learning Measure Theory](https://bcmullins.github.io/measure_theory_resources/) # Combinatorics -1. [Advances in Combinatorics](https://www.advancesincombinatorics.com/) -1. http://andy.kitchen/combinations.html -1. [Combinatorial Algorithms](http://www2.denizyuret.com/bib/kreher/donald1999combinatorial/combinatorialA.pdf) +0. [Advances in Combinatorics](https://www.advancesincombinatorics.com/) +0. http://andy.kitchen/combinations.html +0. [Combinatorial Algorithms](http://www2.denizyuret.com/bib/kreher/donald1999combinatorial/combinatorialA.pdf) # Vector -1. [A Student's Guide to Vectors and Tensors (Student's Guides)](https://www.amazon.com/Students-Guide-Vectors-Tensors-Guides/dp/0521171903) -1. https://www.researchgate.net/publication/327989714_Coordinate_Free_Vector_Algebra_in_R2 +0. [A Student's Guide to Vectors and Tensors (Student's Guides)](https://www.amazon.com/Students-Guide-Vectors-Tensors-Guides/dp/0521171903) +0. https://www.researchgate.net/publication/327989714_Coordinate_Free_Vector_Algebra_in_R2 # Knot theory -1. [KNOT THEORY and ITS APPLICATIONS](https://www.maths.ed.ac.uk/~v1ranick/papers/murasug3.pdf) -1. [Primes and Knots - Akshay Venkatesh](https://www.youtube.com/watch?v=jvoYgNYKyk0) -1. [The Knot Book](http://math.harvard.edu/~ctm/home/text/books/adams/knot_book/knot_book.pdf) +0. [KNOT THEORY and ITS APPLICATIONS](https://www.maths.ed.ac.uk/~v1ranick/papers/murasug3.pdf) +0. [Primes and Knots - Akshay Venkatesh](https://www.youtube.com/watch?v=jvoYgNYKyk0) +0. [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) +0. [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) +0. [ELEMENTARY DIFFERENTIAL EQUATIONS](http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_FREE_DIFFEQ_I.PDF) +0. [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 +0. http://nautil.us/issue/69/patterns/the-math-that-takes-newton-into-the-quantum-world +0. [Algebraic Geometry](http://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2014/main.pdf) +0. 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 +0. https://www.researchgate.net/publication/309533409_Beyond_Einstein_non-local_physics +0. https://www.theoretical-physics.com/dev/index.html # Spherical trigonometry -1. https://en.wikipedia.org/wiki/Haversine_formula +0. https://en.wikipedia.org/wiki/Haversine_formula # Hyperbolic geometry -1. [Intuitive Guide to Hyperbolic Functions](https://betterexplained.com/articles/hyperbolic-functions/) -1. [Hyperbolic Functions and Non-Hyperbolic Claims](https://elliptigon.com/hyperbolic-functions-explained/) +0. [Intuitive Guide to Hyperbolic Functions](https://betterexplained.com/articles/hyperbolic-functions/) +0. [Hyperbolic Functions and Non-Hyperbolic Claims](https://elliptigon.com/hyperbolic-functions-explained/) # **Temp Cache** -1. https://mathlets.org/mathlets/ -1. [Quadratic splines are useful too](https://wordsandbuttons.online/quadric_splines_are_useful_too.html) -1. [Derivations of Applied Mathematics](http://www.derivations.org/) -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 -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. [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) +0. https://mathlets.org/mathlets/ +0. [Quadratic splines are useful too](https://wordsandbuttons.online/quadric_splines_are_useful_too.html) +0. [Derivations of Applied Mathematics](http://www.derivations.org/) +0. https://www.juliahomotopycontinuation.org/ +0. https://marginalrevolution.com/marginalrevolution/2018/05/one-parameter-equation-can-exactly-fit-scatter-plot.html +0. https://plato.stanford.edu/entries/mathematics-inconsistent/ +0. http://immersivemath.com/ila/index.html?m=1 +0. https://stacks.math.columbia.edu/ +0. http://www.gutenberg.org/ebooks/17384 +0. http://illustratedtheoryofnumbers.com/ +0. [Construction of the Transreal Numbers and Algebraic Transfields](http://www.iaeng.org/IJAM/issues_v46/issue_1/IJAM_46_1_03.pdf) +0. http://simit-lang.org/language +0. http://wykobi.com/tutorial0.html +0. https://pron.github.io/computation-logic-algebra +0. https://github.com/rossant/awesome-math +0. [Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Engineering](https://www.cis.upenn.edu/~jean/math-basics.pdf) +0. http://math.chapman.edu/~jipsen/structures/doku.php/ +0. http://stacks.math.columbia.edu/browse +0. https://bitworking.org/news/ga/2d +0. https://www.youtube.com/watch?v=OmJ-4B-mS-Y +0. https://www.youtube.com/watch?v=ZihywtixUYo +0. https://www.youtube.com/user/njwildberger +0. http://www.hedonisticlearning.com/posts/category-theory-syntactically.html +0. https://www.youtube.com/watch?v=EA1FFtTGAfw&list=PLSekr_gm4hWLRNHB5-sbajyUzN5tLOZmx +0. https://www.artofproblemsolving.com/wiki/index.php/Modular_arithmetic/Introduction +0. [Mathematics for Computer Science](https://courses.csail.mit.edu/6.042/spring17/mcs.pdf) +0. http://www.paultaylor.eu/ASD/foufct/ +0. [Toward the Unification of Physics and Number Theory](http://www.quantumgravityresearch.org/wp-content/uploads/2017/02/Toward-the-Unification-of-Physics2-1.pdf) +0. https://jeremykun.com/2014/03/13/programming-with-finite-fields/ +0. https://courses.cs.washington.edu/courses/cse590b/13au/ +0. http://magma.maths.usyd.edu.au/magma/ +0. [A VIEW OF MATHEMATICS](http://www.alainconnes.org/docs/maths.pdf) +0. [Introduction to Tensor Analysis and the Calculus of Moving Surfaces](https://www.amazon.com/gp/product/1461478669) +0. https://en.wikipedia.org/wiki/Wheel_theory +0. http://wordsandbuttons.online/interactive_guide_to_homogeneous_coordinates.html +0. https://a-guide-to-the-purescript-numeric-hierarchy.readthedocs.io/en/latest/index.html +0. http://blog.wolfram.com/2016/12/22/the-semantic-representation-of-pure-mathematics/ +0. https://www.youtube.com/watch?v=psSyM1zp82k +0. [Viviane Pons - Experimental pure mathematics using Sage - PyCon 2015](https://www.youtube.com/watch?v=3LZiZKgVjaU) +0. http://www.sagemath.org/ +0. [The axioms of constructive geometry](https://www.sciencedirect.com/science/article/pii/0168007295000052) +0. 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 +0. http://www.tricki.org/tricki/map +0. https://maxow.github.io/posts/computational-geometry-set-operations-on-polytopes.html +0. http://blog.robertelder.org/fast-multiplication-using-fourier-transform/ +0. [Graphical Models in a Nutshell](https://ai.stanford.edu/~koller/Papers/Koller+al:SRL07.pdf) diff --git a/documentation/bookmark/math/geometry/computational.md b/documentation/bookmark/math/geometry/computational.md new file mode 100644 index 000000000..846b1556c --- /dev/null +++ b/documentation/bookmark/math/geometry/computational.md @@ -0,0 +1,4 @@ +# Reference + +0. [Primitives for Computational Geometry](https://graphics.stanford.edu/courses/cs348a-17-winter/Papers/Stolfi_Primitives_DECSRC_Report.pdf) + diff --git a/documentation/bookmark/math/geometry/dimension.md b/documentation/bookmark/math/geometry/dimension.md new file mode 100644 index 000000000..d896be446 --- /dev/null +++ b/documentation/bookmark/math/geometry/dimension.md @@ -0,0 +1,4 @@ +# Reference + +0. [Beyond the Third Dimension](https://www.math.brown.edu/tbanchof/Beyond3d/index.html) + diff --git a/documentation/bookmark/memory_management.md b/documentation/bookmark/memory_management.md index 5b7510df8..69ff6baeb 100644 --- a/documentation/bookmark/memory_management.md +++ b/documentation/bookmark/memory_management.md @@ -1,46 +1,50 @@ # Static -1. [ASAP: As Static As Possible memory management](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) +0. [ASAP: As Static As Possible memory management](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) # Allocation -1. [Always Bump Downwards](https://fitzgeraldnick.com/2019/11/01/always-bump-downwards.html) +0. [Always Bump Downwards](https://fitzgeraldnick.com/2019/11/01/always-bump-downwards.html) # Compaction -1. ["Compacting the Uncompactable" by Bobby Powers](https://www.youtube.com/watch?v=c1UBJbfR-H0) +0. ["Compacting the Uncompactable" by Bobby Powers](https://www.youtube.com/watch?v=c1UBJbfR-H0) # Reference counting -1. [Perceus: Garbage Free Reference Counting with Reuse (Extended version)](https://www.microsoft.com/en-us/research/publication/perceus-garbage-free-reference-counting-with-reuse/) -1. [Introducing --gc:arc](https://forum.nim-lang.org/t/5734) -1. [Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming](https://arxiv.org/abs/1908.05647) +0. [Perceus: Garbage Free Reference Counting with Reuse (Extended version)](https://www.microsoft.com/en-us/research/publication/perceus-garbage-free-reference-counting-with-reuse/) +0. [Introducing --gc:arc](https://forum.nim-lang.org/t/5734) +0. [Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming](https://arxiv.org/abs/1908.05647) # Layout -1. [Floorplan: Spatial Layout in Memory Management Systems](https://conf.researchr.org/details/gpce-2019/gpce-2019-papers/6/Floorplan-Spatial-Layout-in-Memory-Management-Systems) +0. [Floorplan: Spatial Layout in Memory Management Systems](https://conf.researchr.org/details/gpce-2019/gpce-2019-papers/6/Floorplan-Spatial-Layout-in-Memory-Management-Systems) # Garbage collection -1. [Deconstructing the Garbage-First Collector](https://users.cecs.anu.edu.au/~steveb/pubs/papers/g1-vee-2020.pdf) -1. [The Garbage Collection Handbook](http://gchandbook.org/) -1. [Baby's First Garbage Collector](http://journal.stuffwithstuff.com/2013/12/08/babys-first-garbage-collector/) +0. [Deconstructing the Garbage-First Collector](https://users.cecs.anu.edu.au/~steveb/pubs/papers/g1-vee-2020.pdf) +0. [The Garbage Collection Handbook](http://gchandbook.org/) +0. [Baby's First Garbage Collector](http://journal.stuffwithstuff.com/2013/12/08/babys-first-garbage-collector/) + +# Smart references + +0. [Smart References: There and Back Again - Erik Valkering [ CppCon 2018 ]](https://www.youtube.com/watch?v=bfm9m3xJQRY) # Reference -1. [Relative Pointers](https://www.gingerbill.org/article/2020/05/17/relative-pointers/) -1. [Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics](http://drops.dagstuhl.de/opus/volltexte/2016/6114/) -1. https://uridiumauthor.blogspot.com/2018/06/memory-management.html -1. https://github.com/mtrebi/memory-allocators -1. http://www.newlisp.org/MemoryManagement.html -1. http://gee.cs.oswego.edu/dl/html/malloc.html -1. https://shipilev.net/blog/2014/jmm-pragmatics/ -1. https://floooh.github.io/2018/06/17/handles-vs-pointers.html -1. https://www.codemag.com/Article/1807051/Introducing-.NET-Core-2.1-Flagship-Types-Span-T-and-Memory-T -1. https://stefansf.de/post/pointers-are-more-abstract-than-you-might-expect/ -1. [Memory Management Reference](https://www.memorymanagement.org/) -1. [Pseudomonarchia jemallocum: The false kingdom of jemalloc, or On exploiting the jemalloc memory manager](http://phrack.com/issues/68/10.html#article) -1. https://gankro.github.io/blah/rust-layouts-and-abis/ -1. https://paul.bone.id.au/2018/10/19/gc-falsehoods/ -1. [Safe Programming with Pointers through Stateful Views](https://www.cs.bu.edu/~hwxi/academic/papers/padl05.pdf) +0. [Relative Pointers](https://www.gingerbill.org/article/2020/05/17/relative-pointers/) +0. [Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics](http://drops.dagstuhl.de/opus/volltexte/2016/6114/) +0. https://uridiumauthor.blogspot.com/2018/06/memory-management.html +0. https://github.com/mtrebi/memory-allocators +0. http://www.newlisp.org/MemoryManagement.html +0. http://gee.cs.oswego.edu/dl/html/malloc.html +0. https://shipilev.net/blog/2014/jmm-pragmatics/ +0. https://floooh.github.io/2018/06/17/handles-vs-pointers.html +0. https://www.codemag.com/Article/1807051/Introducing-.NET-Core-2.1-Flagship-Types-Span-T-and-Memory-T +0. https://stefansf.de/post/pointers-are-more-abstract-than-you-might-expect/ +0. [Memory Management Reference](https://www.memorymanagement.org/) +0. [Pseudomonarchia jemallocum: The false kingdom of jemalloc, or On exploiting the jemalloc memory manager](http://phrack.com/issues/68/10.html#article) +0. https://gankro.github.io/blah/rust-layouts-and-abis/ +0. https://paul.bone.id.au/2018/10/19/gc-falsehoods/ +0. [Safe Programming with Pointers through Stateful Views](https://www.cs.bu.edu/~hwxi/academic/papers/padl05.pdf) diff --git a/documentation/bookmark/optimization.md b/documentation/bookmark/optimization.md index 968fd5e26..3df2cd1ae 100644 --- a/documentation/bookmark/optimization.md +++ b/documentation/bookmark/optimization.md @@ -1,69 +1,70 @@ # Inlining -1. [Defunctionalization](https://en.wikipedia.org/wiki/Defunctionalization) +0. [Defunctionalization](https://en.wikipedia.org/wiki/Defunctionalization) # Hashing -1. [Fibonacci Hashing: The Optimization that the World Forgot (or: a Better Alternative to Integer Modulo)](https://probablydance.com/2018/06/16/fibonacci-hashing-the-optimization-that-the-world-forgot-or-a-better-alternative-to-integer-modulo/) +0. [Fibonacci Hashing: The Optimization that the World Forgot (or: a Better Alternative to Integer Modulo)](https://probablydance.com/2018/06/16/fibonacci-hashing-the-optimization-that-the-world-forgot-or-a-better-alternative-to-integer-modulo/) -# Arithmetic +# Arithmetic | Math -1. [Labor of Division (Episode I)](https://ridiculousfish.com/blog/posts/labor-of-division-episode-i.html) +0. [ensmallen: flexible C++ library for efficient numerical optimization](http://ensmallen.org/docs.html) +0. [Labor of Division (Episode I)](https://ridiculousfish.com/blog/posts/labor-of-division-episode-i.html) # Compilation -1. ["Outperforming Imperative with Pure Functional Languages" by Richard Feldman](https://www.youtube.com/watch?v=vzfy4EKwG_Y) -1. [CompilerGym: Making compiler optimizations accessible to all](https://ai.facebook.com/blog/compilergym-making-compiler-optimizations-accessible-to-all) -1. [Future Directions for Optimizing Compilers](https://arxiv.org/abs/1809.02161) +0. ["Outperforming Imperative with Pure Functional Languages" by Richard Feldman](https://www.youtube.com/watch?v=vzfy4EKwG_Y) +0. [CompilerGym: Making compiler optimizations accessible to all](https://ai.facebook.com/blog/compilergym-making-compiler-optimizations-accessible-to-all) +0. [Future Directions for Optimizing Compilers](https://arxiv.org/abs/1809.02161) # Pre-fetching -1. [Prefetching in Functional Languages](https://www.cl.cam.ac.uk/~tmj32/papers/docs/ainsworth20-ismm.pdf) +0. [Prefetching in Functional Languages](https://www.cl.cam.ac.uk/~tmj32/papers/docs/ainsworth20-ismm.pdf) # Partial evaluation -1. [AnyDSL - A Partial Evaluation Framework for Programming High-Performance Libraries](https://anydsl.github.io/) +0. [AnyDSL - A Partial Evaluation Framework for Programming High-Performance Libraries](https://anydsl.github.io/) # 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) +0. [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. [Refterm Lecture Part 1 - Philosophies of Optimization](https://www.youtube.com/watch?v=pgoetgxecw8) -1. [Optimizations enabled by -ffast-math](https://kristerw.github.io/2021/10/19/fast-math/) -1. [Simple Code, High Performance](https://www.youtube.com/watch?v=Ge3aKEmZcqY) -1. [Negotiating with Compilers](https://en.algorithmica.org/hpc/analyzing-performance/compilation/) -1. [Do Low-level Optimizations Matter?](https://cantrip.org/sortfast.html) -1. [Inline caching](https://bernsteinbear.com/blog/inline-caching/) -1. [Weird and Wonderful Division Tricks](https://saml98.github.io/jekyll/update/2020/02/21/weird-division.htmls) -1. [Towards a Domain-Extensible Compiler: Optimizingan Image Processing Pipeline on Mobile CPUs](https://thok.eu/publications/2021/cgo.pdf) -1. [Compiler Detection of Function Call Side Effects](https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=B3D92D05C88C3D9C165785594350C169?doi=10.1.1.70.2096&rep=rep1&type=pdf) -1. [A Language for Describing Optimization Strategies](https://arxiv.org/abs/2002.02268) -1. https://docs.google.com/presentation/d/1tpeJZFObkeick4CF-mx0L3CeCgvT15B96aJeRpxEPcE/preview?slide=id.p -1. https://www.quora.com/What-is-the-future-of-optimizing-compilers?share=1 -1. https://advancedweb.hu/2016/05/27/jvm_jit_optimization_techniques/ &&& https://advancedweb.hu/2016/06/28/jvm_jit_optimization_techniques_part_2/ -1. http://www.scala-native.org/en/latest/blog/interflow.html -1. https://github.com/roman01la/closure-compiler-handbook -1. http://hubicka.blogspot.com/2018/06/gcc-8-link-time-and-interprocedural.html -1. [CppCon 2017: Matt Godbolt “What Has My Compiler Done for Me Lately? Unbolting the Compiler's Lid”](https://www.youtube.com/watch?v=bSkpMdDe4g4) -1. http://duriansoftware.com/joe/Optimizing-is-multiple-checks-with-modular-arithmetic.html? -1. https://www.ericsson.com/research-blog/outperforming-state-art-compilers-unison/ -1. http://compileroptimizations.com/index.html -1. https://polly.llvm.org/ -1. http://paulcavallaro.com/blog/optimizing-function-placement-with-call-chain-clustering/ -1. http://leto.net/docs/C-optimization.php -1. https://engineering.purdue.edu/~eigenman/ECE663/Handouts/bacon-compiling4hpc.pdf -1. http://venge.net/graydon/talks/CompilerTalk-2019.pdf -1. http://www2.imm.dtu.dk/pubdb/views/edoc_download.php/6620/pdf/imm6620.pdf -1. [Lost in translation: Exposing hidden compiler optimization opportunities](https://arxiv.org/pdf/1903.11397.pdf) -1. https://kristerw.blogspot.com/2019/04/how-llvm-optimizes-geometric-sums.html -1. https://nfrechette.github.io/2019/05/08/sign_flip_optimization/ -1. https://grin-tech.github.io/ -1. [Loop Optimizations in LLVM - Michael Kruse](https://www.youtube.com/watch?v=oAPgGYr8T3Y) -1. [Don’t think, just defunctionalize](https://www.joachim-breitner.de/blog/778-Don%E2%80%99t_think%2C_just_defunctionalize) +0. [Refterm Lecture Part 1 - Philosophies of Optimization](https://www.youtube.com/watch?v=pgoetgxecw8) +0. [Optimizations enabled by -ffast-math](https://kristerw.github.io/2021/10/19/fast-math/) +0. [Simple Code, High Performance](https://www.youtube.com/watch?v=Ge3aKEmZcqY) +0. [Negotiating with Compilers](https://en.algorithmica.org/hpc/analyzing-performance/compilation/) +0. [Do Low-level Optimizations Matter?](https://cantrip.org/sortfast.html) +0. [Inline caching](https://bernsteinbear.com/blog/inline-caching/) +0. [Weird and Wonderful Division Tricks](https://saml98.github.io/jekyll/update/2020/02/21/weird-division.htmls) +0. [Towards a Domain-Extensible Compiler: Optimizingan Image Processing Pipeline on Mobile CPUs](https://thok.eu/publications/2021/cgo.pdf) +0. [Compiler Detection of Function Call Side Effects](https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=B3D92D05C88C3D9C165785594350C169?doi=10.1.1.70.2096&rep=rep1&type=pdf) +0. [A Language for Describing Optimization Strategies](https://arxiv.org/abs/2002.02268) +0. https://docs.google.com/presentation/d/1tpeJZFObkeick4CF-mx0L3CeCgvT15B96aJeRpxEPcE/preview?slide=id.p +0. https://www.quora.com/What-is-the-future-of-optimizing-compilers?share=1 +0. https://advancedweb.hu/2016/05/27/jvm_jit_optimization_techniques/ &&& https://advancedweb.hu/2016/06/28/jvm_jit_optimization_techniques_part_2/ +0. http://www.scala-native.org/en/latest/blog/interflow.html +0. https://github.com/roman01la/closure-compiler-handbook +0. http://hubicka.blogspot.com/2018/06/gcc-8-link-time-and-interprocedural.html +0. [CppCon 2017: Matt Godbolt “What Has My Compiler Done for Me Lately? Unbolting the Compiler's Lid”](https://www.youtube.com/watch?v=bSkpMdDe4g4) +0. http://duriansoftware.com/joe/Optimizing-is-multiple-checks-with-modular-arithmetic.html? +0. https://www.ericsson.com/research-blog/outperforming-state-art-compilers-unison/ +0. http://compileroptimizations.com/index.html +0. https://polly.llvm.org/ +0. http://paulcavallaro.com/blog/optimizing-function-placement-with-call-chain-clustering/ +0. http://leto.net/docs/C-optimization.php +0. https://engineering.purdue.edu/~eigenman/ECE663/Handouts/bacon-compiling4hpc.pdf +0. http://venge.net/graydon/talks/CompilerTalk-2019.pdf +0. http://www2.imm.dtu.dk/pubdb/views/edoc_download.php/6620/pdf/imm6620.pdf +0. [Lost in translation: Exposing hidden compiler optimization opportunities](https://arxiv.org/pdf/1903.11397.pdf) +0. https://kristerw.blogspot.com/2019/04/how-llvm-optimizes-geometric-sums.html +0. https://nfrechette.github.io/2019/05/08/sign_flip_optimization/ +0. https://grin-tech.github.io/ +0. [Loop Optimizations in LLVM - Michael Kruse](https://www.youtube.com/watch?v=oAPgGYr8T3Y) +0. [Don’t think, just defunctionalize](https://www.joachim-breitner.de/blog/778-Don%E2%80%99t_think%2C_just_defunctionalize) # JavaScript -1. [Javascript Array.push is 945x faster than Array.concat](https://dev.to/uilicious/javascript-array-push-is-945x-faster-than-array-concat-1oki) +0. [Javascript Array.push is 945x faster than Array.concat](https://dev.to/uilicious/javascript-array-push-is-945x-faster-than-array-concat-1oki) diff --git a/documentation/bookmark/paradigm/logic_programming.md b/documentation/bookmark/paradigm/logic_programming.md index 20f6023a9..cf7b7d13c 100644 --- a/documentation/bookmark/paradigm/logic_programming.md +++ b/documentation/bookmark/paradigm/logic_programming.md @@ -1,69 +1,70 @@ # Concurrent Logic Programming -1. [The Joy of Concurrent Logic Programming](http://www.call-with-current-continuation.org/articles/the-joy-of-concurrent-logic-programming.txt) +0. [The Joy of Concurrent Logic Programming](http://www.call-with-current-continuation.org/articles/the-joy-of-concurrent-logic-programming.txt) # Unification -1. [Functors of the World, Unite!](https://www.youtube.com/watch?v=8k7YH9st_8U) +0. [Functors of the World, Unite!](https://www.youtube.com/watch?v=8k7YH9st_8U) # Inspiration -1. [Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?](https://arxiv.org/abs/1905.00402) +0. [Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?](https://arxiv.org/abs/1905.00402) # 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/ +0. https://book.simply-logical.space/ +0. [Higher-Order Logic Programming](https://www.lix.polytechnique.fr/~dale/papers/Handbook_Logic_AI_LP.pdf) +0. [HiLog: A foundation for higher-order logic programming](http://www.sciencedirect.com/science/article/pii/074310669390039J) +0. https://www.amazon.com/Reasoned-Schemer-MIT-Press-ebook/dp/B07B9SL4LR +0. [Can Logic Programming Execute as Fast as Imperative Programming?](https://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/CSD-90-600.pdf) +0. [Automatic Differentiation using Constraint Handling Rules in Prolog](https://arxiv.org/abs/1706.00231) +0. [A Framework for Extending microKanren with Constraints](https://arxiv.org/pdf/1701.00633.pdf) +0. https://www.amazon.com/Clause-Effect-Programming-Working-Programmer/dp/3540629718 +0. https://medium.com/@enkiv2/mycroft-a-predicate-logic-language-overview-post-mortem-e357fe80d53 +0. http://lambda-the-ultimate.org/node/112 +0. http://okmij.org/ftp/papers/LogicT.pdf +0. https://www.researchgate.net/publication/2274015_Relational_Programming_in_Libra +0. [Monadic-style backtracking](http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html) +0. [Prolog's control constructs in a functional setting - Axioms and implementation](http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html) +0. [Solving Problems Declaratively - Mark Engelberg](https://www.youtube.com/watch?v=TA9DBG8x-ys) +0. http://programming-puzzler.blogspot.com/2013/03/logic-programming-is-overrated.html +0. https://gist.github.com/swannodette/3217582 +0. [AppLP: A Dialogue on Applications of Logic Programming](https://arxiv.org/pdf/1704.02375.pdf) +0. [The Power of Prolog](https://www.metalevel.at/prolog) +0. https://www.amazon.com/Reasoned-Schemer-MIT-Press-ebook/dp/B004GEBQS6 +0. https://github.com/Web-Prolog/swi-web-prolog/blob/master/web-client/apps/swish/web-prolog.pdf +0. [Den of Clojure Build Your Own Logic Engine](https://www.youtube.com/watch?v=y1bVJOAfhKY) +0. https://eli.thegreenplace.net/2018/unification/ +0. http://boxbase.org/entries/2019/feb/11/dialogical-logic-programming/ +0. [Can logic programming execute as fast as imperative programming?](https://dl.acm.org/citation.cfm?id=128589) +0. https://synthese.wordpress.com/2010/08/21/prologs-death/ # Language -1. [Curry: A Truly Integrated Functional Logic Language](https://www-ps.informatik.uni-kiel.de/currywiki/) -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/ +0. [A Gentle Introduction to MicroKanren](https://erik-j.de/microkanren/) +0. [Curry: A Truly Integrated Functional Logic Language](https://www-ps.informatik.uni-kiel.de/currywiki/) +0. https://flix.github.io/ +0. http://logtalk.org/ +0. https://github.com/fnogatz/CHR.js +0. https://mercurylang.org/ +0. https://www.quora.com/What-are-examples-of-statically-typed-logic-programming-languages-ex-similar-to-Prolog +0. [Racklog: Prolog-Style Logic Programming](https://plt.eecs.northwestern.edu/snapshots/current/pdf-doc/racklog.pdf) +0. https://souffle-lang.github.io/ # Beyond logic programming -1. https://github.com/Web-Prolog/swi-web-prolog +0. 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/ +0. http://www.pathwayslms.com/swipltuts/clpfd/clpfd.html +0. https://stackabuse.com/constraint-programming-with-python-constraint/ # Constraint Handling Rules -1. http://chrjs.net/ +0. http://chrjs.net/ # Answer Set Programming -1. [What Is Answer Set Programming?](https://www.cs.utexas.edu/users/vl/papers/wiasp.pdf) +0. [What Is Answer Set Programming?](https://www.cs.utexas.edu/users/vl/papers/wiasp.pdf) diff --git a/documentation/bookmark/tool/text_editor.md b/documentation/bookmark/tool/text_editor.md index f835ab41f..c59667a4b 100644 --- a/documentation/bookmark/tool/text_editor.md +++ b/documentation/bookmark/tool/text_editor.md @@ -1,256 +1,257 @@ # Modal editing -1. [Beyond Vim and Emacs: A Scalable UI Paradigm](https://emacsconf.org/2020/talks/07/) +0. [Beyond Vim and Emacs: A Scalable UI Paradigm](https://emacsconf.org/2020/talks/07/) # Code navigation -1. ["Incremental, zero-config Code Nav using stack graphs" by Douglas Creager](https://www.youtube.com/watch?v=l2R1PTGcwrE) +0. [Introducing stack graphs](https://github.blog/2021-12-09-introducing-stack-graphs/) +0. ["Incremental, zero-config Code Nav using stack graphs" by Douglas Creager](https://www.youtube.com/watch?v=l2R1PTGcwrE) # Rendering -1. [Text Rendering Hates You](https://gankra.github.io/blah/text-hates-you/) -1. [Graphics for JVM](https://tonsky.me/blog/skija/) -1. https://github.com/JetBrains/skija/ -1. https://github.com/JetBrains/skiko/ -1. https://github.com/JetBrains/compose-jb +0. [Text Rendering Hates You](https://gankra.github.io/blah/text-hates-you/) +0. [Graphics for JVM](https://tonsky.me/blog/skija/) +0. https://github.com/JetBrains/skija/ +0. https://github.com/JetBrains/skiko/ +0. https://github.com/JetBrains/compose-jb # Font -1. [Google Noto Fonts: Beautiful and free fonts for all languages](https://www.google.com/get/noto/) +0. [Google Noto Fonts: Beautiful and free fonts for all languages](https://www.google.com/get/noto/) # Residential programming -1. [Residential Programming without Mutable State - Thomas Getgood](https://www.youtube.com/watch?v=Kgw9fblSOx4) +0. [Residential Programming without Mutable State - Thomas Getgood](https://www.youtube.com/watch?v=Kgw9fblSOx4) # Good Ideas -1. https://medium.com/@NikitaVoloboev/write-once-never-write-again-c2fa1f6c4e8 -1. [Inline: Efficient Source Code Editing and Manipulation with Code Portals](https://www.youtube.com/watch?v=NQ5h2Ibw6ck) -1. https://devclass.com/2019/02/15/atlassian-make-jira-invisible-target-developers-ides/ -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/ -1. https://medium.com/@evnbr/coding-in-color-3a6db2743a1e +0. https://medium.com/@NikitaVoloboev/write-once-never-write-again-c2fa1f6c4e8 +0. [Inline: Efficient Source Code Editing and Manipulation with Code Portals](https://www.youtube.com/watch?v=NQ5h2Ibw6ck) +0. https://devclass.com/2019/02/15/atlassian-make-jira-invisible-target-developers-ides/ +0. http://lispm.de/genera-concepts +0. 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. +0. https://www.emacswiki.org/emacs/UndoTree +0. https://jameshfisher.com/2014/05/11/your-syntax-highlighter-is-wrong/ +0. https://medium.com/@evnbr/coding-in-color-3a6db2743a1e # Voice -1. [Speaking in code: how to program by voice](https://www.nature.com/articles/d41586-018-05588-x) +0. [Speaking in code: how to program by voice](https://www.nature.com/articles/d41586-018-05588-x) # Refactoring -1. https://medium.com/zoosk-engineering/refactoring-at-scale-with-abstract-syntax-trees-a3f989ec8524 -1. https://about.sourcegraph.com/ +0. https://medium.com/zoosk-engineering/refactoring-at-scale-with-abstract-syntax-trees-a3f989ec8524 +0. https://about.sourcegraph.com/ # Visual programming -1. https://github.com/ivanreese/visual-programming-codex -1. [Lambda Days 2018 - Piotr Moczurad - Visual-textual functional programming with Luna](https://www.youtube.com/watch?v=6xUOuzafmO0) -1. https://www.luna-lang.org/ -1. https://github.com/hoodiecrow/Tclook -1. https://blog.sourcerer.io/build-interactive-diagrams-with-storm-react-diagrams-f172ae26af9d -1. https://www.jointjs.com/opensource -1. https://github.com/jagenjo/litegraph.js -1. https://github.com/retejs/rete -1. http://mikehadlow.blogspot.com/2018/10/visual-programming-why-its-bad-idea.html -1. https://ncase.me/joy/ -1. https://www.jointjs.com/ -1. [Lambda World 2018 - Diagrammatic Execution Models for Functional Languages - Keynote](https://www.youtube.com/watch?v=sgmpVedCsNM) -1. http://joshuahhh.com/projects/pane/ -1. [PANE: Programming with visible data](https://www.youtube.com/watch?v=fIEcXAHy6bU) -1. https://blog.statebox.org/why-visual-programming-doesnt-suck-2c1ece2a414e -1. https://nodered.org/ +0. https://github.com/ivanreese/visual-programming-codex +0. [Lambda Days 2018 - Piotr Moczurad - Visual-textual functional programming with Luna](https://www.youtube.com/watch?v=6xUOuzafmO0) +0. https://www.luna-lang.org/ +0. https://github.com/hoodiecrow/Tclook +0. https://blog.sourcerer.io/build-interactive-diagrams-with-storm-react-diagrams-f172ae26af9d +0. https://www.jointjs.com/opensource +0. https://github.com/jagenjo/litegraph.js +0. https://github.com/retejs/rete +0. http://mikehadlow.blogspot.com/2018/10/visual-programming-why-its-bad-idea.html +0. https://ncase.me/joy/ +0. https://www.jointjs.com/ +0. [Lambda World 2018 - Diagrammatic Execution Models for Functional Languages - Keynote](https://www.youtube.com/watch?v=sgmpVedCsNM) +0. http://joshuahhh.com/projects/pane/ +0. [PANE: Programming with visible data](https://www.youtube.com/watch?v=fIEcXAHy6bU) +0. https://blog.statebox.org/why-visual-programming-doesnt-suck-2c1ece2a414e +0. https://nodered.org/ # Reference -1. [Deft for Emacs](https://jblevins.org/projects/deft/) -1. [Text Editing Hates You Too](https://lord.io/text-editing-hates-you-too/) -1. [Build Your Own Text Editor](https://viewsourcecode.org/snaptoken/kilo/index.html) -1. [On the design of text editors](https://arxiv.org/abs/2008.06030) -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/) -1. [Why ContentEditable is Terrible](https://medium.engineering/why-contenteditable-is-terrible-122d8a40e480) -1. [Broot: A better way to navigate directories](https://github.com/Canop/broot) -1. https://www.simplethread.com/editor-plugins-belong-in-lock-file/ -1. [How to Design an IDE-Friendly Language with Peter Gromov @donnerpeter](https://www.youtube.com/watch?v=lubc8udiP_8) -1. https://shaunlebron.github.io/parinfer/ -1. https://www.reddit.com/r/emacs/comments/6ztnj9/what_are_the_things_that_you_do_not_like_in_emacs/?st=j7kdafu2&sh=af9ca25d -1. http://xenodium.com/#emacs-utilities-for-your-os -1. https://techcrunch.com/2017/02/19/why-is-android-studio-still-such-a-gruesome-embarrassment/ -1. http://emacslife.com/ -1. http://tinyletter.com/Flowsheets/letters/flowsheets-visualizations -1. http://www.averylaird.com/programming/editor/2017/09/30/the-piece-table/ -1. [Gallery of Programmer Interfaces](https://docs.google.com/presentation/d/1MD-CgzODFWzdpnYXr8bEgysfDmb8PDV6iCAjH5JIvaI/preview?slide=id.g1da0625f1b_0_56) -1. https://spacevim.org/2017/02/11/use-vim-as-a-java-ide.html -1. https://github.com/p-e-w/envy -1. https://enotuniq.org/python_as_a_dsl.html -1. [Lambda World 2018 - What FP can learn from Smalltalk by Aditya Siram](https://www.youtube.com/watch?v=baxtyeFVn3w) -1. https://chris-martin.org/2017/loc +0. [Deft for Emacs](https://jblevins.org/projects/deft/) +0. [Text Editing Hates You Too](https://lord.io/text-editing-hates-you-too/) +0. [Build Your Own Text Editor](https://viewsourcecode.org/snaptoken/kilo/index.html) +0. [On the design of text editors](https://arxiv.org/abs/2008.06030) +0. [The Piece Table - the Unsung Hero of Your Text Editor](https://darrenburns.net/posts/piece-table/) +0. [Build Your Own Text Editor](https://viewsourcecode.org/snaptoken/kilo/) +0. [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/) +0. [Text Editing Hates You Too](https://lord.io/blog/2019/text-editing-hates-you-too/) +0. [Why ContentEditable is Terrible](https://medium.engineering/why-contenteditable-is-terrible-122d8a40e480) +0. [Broot: A better way to navigate directories](https://github.com/Canop/broot) +0. https://www.simplethread.com/editor-plugins-belong-in-lock-file/ +0. [How to Design an IDE-Friendly Language with Peter Gromov @donnerpeter](https://www.youtube.com/watch?v=lubc8udiP_8) +0. https://shaunlebron.github.io/parinfer/ +0. https://www.reddit.com/r/emacs/comments/6ztnj9/what_are_the_things_that_you_do_not_like_in_emacs/?st=j7kdafu2&sh=af9ca25d +0. http://xenodium.com/#emacs-utilities-for-your-os +0. https://techcrunch.com/2017/02/19/why-is-android-studio-still-such-a-gruesome-embarrassment/ +0. http://emacslife.com/ +0. http://tinyletter.com/Flowsheets/letters/flowsheets-visualizations +0. http://www.averylaird.com/programming/editor/2017/09/30/the-piece-table/ +0. [Gallery of Programmer Interfaces](https://docs.google.com/presentation/d/1MD-CgzODFWzdpnYXr8bEgysfDmb8PDV6iCAjH5JIvaI/preview?slide=id.g1da0625f1b_0_56) +0. https://spacevim.org/2017/02/11/use-vim-as-a-java-ide.html +0. https://github.com/p-e-w/envy +0. https://enotuniq.org/python_as_a_dsl.html +0. [Lambda World 2018 - What FP can learn from Smalltalk by Aditya Siram](https://www.youtube.com/watch?v=baxtyeFVn3w) +0. https://chris-martin.org/2017/loc # Syntax Highlighting -1. [Syntax highlighting is backwards](https://www.benkuhn.net/syntax) -1. [Coding in color](https://medium.com/@evnbr/coding-in-color-3a6db2743a1e) -1. https://code.visualstudio.com/blogs/2017/02/08/syntax-highlighting-optimizations -1. https://github.com/alecthomas/chroma -1. https://www.crockford.com/contextcoloring.html +0. [Syntax highlighting is backwards](https://www.benkuhn.net/syntax) +0. [Coding in color](https://medium.com/@evnbr/coding-in-color-3a6db2743a1e) +0. https://code.visualstudio.com/blogs/2017/02/08/syntax-highlighting-optimizations +0. https://github.com/alecthomas/chroma +0. https://www.crockford.com/contextcoloring.html # Music -1. https://www.hooktheory.com/hookpad/app +0. https://www.hooktheory.com/hookpad/app # Data-Structures -1. [Data Structures for Text Sequences](https://www.cs.unm.edu/~crowley/papers/sds.pdf) +0. [Data Structures for Text Sequences](https://www.cs.unm.edu/~crowley/papers/sds.pdf) # Shell -1. https://masteringemacs.org/article/complete-guide-mastering-eshell -1. https://medium.com/readcomiccode/behold-z-the-unsung-jewel-that-rethinks-shell-navigation-dae262bb6bdc -1. https://gitlab.com/emacsomancer/equake -1. https://github.com/c-bata/go-prompt +0. https://masteringemacs.org/article/complete-guide-mastering-eshell +0. https://medium.com/readcomiccode/behold-z-the-unsung-jewel-that-rethinks-shell-navigation-dae262bb6bdc +0. https://gitlab.com/emacsomancer/equake +0. https://github.com/c-bata/go-prompt # Language Server Protocol -1. https://tomassetti.me/language-server-dot-visual-studio/ -1. https://github.com/Microsoft/language-server-protocol/blob/master/README.md -1. https://www.ncameron.org/blog/what-the-rls-can-do/ +0. https://tomassetti.me/language-server-dot-visual-studio/ +0. https://github.com/Microsoft/language-server-protocol/blob/master/README.md +0. https://www.ncameron.org/blog/what-the-rls-can-do/ # Semantic-oriented programming -1. https://en.wikipedia.org/wiki/Semantic-oriented_programming -1. https://prezi.com/gp6u1jpgkxej/what-are-soplets/ -1. http://symade.tigris.org/ +0. https://en.wikipedia.org/wiki/Semantic-oriented_programming +0. https://prezi.com/gp6u1jpgkxej/what-are-soplets/ +0. http://symade.tigris.org/ # Integrated Development Environment (IDE) -1. [Theia 1.0 - Finally a Good Browser IDE](https://dev.to/svenefftinge/theia-1-0-finally-a-good-browser-ide-3ok0) -1. https://www.eclipse.org/che/ +0. [Theia 1.0 - Finally a Good Browser IDE](https://dev.to/svenefftinge/theia-1-0-finally-a-good-browser-ide-3ok0) +0. https://www.eclipse.org/che/ # Advanced AST/source-code manipulation tools -1. https://caseywatts.com/2018/08/23/codemods.html -1. https://vimeo.com/189514610 -1. https://github.com/facebook/jscodeshift -1. http://astexplorer.net/ -1. https://github.com/avajs/ava-codemods +0. https://caseywatts.com/2018/08/23/codemods.html +0. https://vimeo.com/189514610 +0. https://github.com/facebook/jscodeshift +0. http://astexplorer.net/ +0. https://github.com/avajs/ava-codemods # Extensibility -1. [The Spoofax Language Workbench](https://metaborg.github.io/spoofax/) -1. [A Language Independent Task Engine for Incremental Name and Type Analysis](https://www.researchgate.net/publication/290110229_A_Language_Independent_Task_Engine_for_Incremental_Name_and_Type_Analysis) -1. [Extensible Type-Directed Editing](http://cattheory.com/extensibleTypeDirectedEditing.pdf) +0. [The Spoofax Language Workbench](https://metaborg.github.io/spoofax/) +0. [A Language Independent Task Engine for Incremental Name and Type Analysis](https://www.researchgate.net/publication/290110229_A_Language_Independent_Task_Engine_for_Incremental_Name_and_Type_Analysis) +0. [Extensible Type-Directed Editing](http://cattheory.com/extensibleTypeDirectedEditing.pdf) # Parsing -1. [tree-sitter](http://tree-sitter.github.io/tree-sitter/) -1. [tree-sitter: An incremental parsing system for programming tools](https://github.com/tree-sitter/tree-sitter) -1. https://blog.github.com/2018-10-31-atoms-new-parsing-system/ -1. ["Tree-sitter - a new parsing system for programming tools" by Max Brunsfeld](https://www.youtube.com/watch?v=Jes3bD6P0To) +0. [tree-sitter](http://tree-sitter.github.io/tree-sitter/) +0. [tree-sitter: An incremental parsing system for programming tools](https://github.com/tree-sitter/tree-sitter) +0. https://blog.github.com/2018-10-31-atoms-new-parsing-system/ +0. ["Tree-sitter - a new parsing system for programming tools" by Max Brunsfeld](https://www.youtube.com/watch?v=Jes3bD6P0To) # Notebook -1. https://tiddlywiki.com/ +0. https://tiddlywiki.com/ # Extension -1. https://github.com/Pext/Pext +0. https://github.com/Pext/Pext # Collaborative editing -1. https://github.com/gsilvamartin/RTCode -1. https://hackernoon.com/building-conclave-a-decentralized-real-time-collaborative-text-editor-a6ab438fe79f -1. https://github.com/xi-editor/xi-editor/issues/1187 -1. [Chronofold: a data structure for versioned text](https://arxiv.org/abs/2002.09511) +0. https://github.com/gsilvamartin/RTCode +0. https://hackernoon.com/building-conclave-a-decentralized-real-time-collaborative-text-editor-a6ab438fe79f +0. https://github.com/xi-editor/xi-editor/issues/1187 +0. [Chronofold: a data structure for versioned text](https://arxiv.org/abs/2002.09511) # Exemplar ## General -1. https://texteditors.org/cgi-bin/wiki.pl?EditorIndex -1. [Slate: A completely customizable framework for building rich text editors.](https://github.com/ianstormtaylor/slate) -1. [Trix: A rich text editor for everyday writing.](https://trix-editor.org/) -1. [Left](https://100r.co/site/left.html) -1. https://howl.io/ -1. [The Whole Code Catalog](https://futureofcoding.org/catalog/) -1. http://substance.io/ -1. https://www.querystorm.com/ -1. http://recursivedrawing.com/ -1. http://doc.cat-v.org/bell_labs/sam_lang_tutorial/sam_tut.pdf -1. https://github.com/typeintandem/tandem -1. https://github.com/atom/xray -1. http://strlen.com/treesheets/ -1. https://sekao.net/nightlight/ -1. http://cirru.org/ -1. http://www.sublimetext.com/ -1. https://atom.io/ -1. http://lighttable.com/ -1. https://www.visualstudio.com/vs/whatsnew/ -1. http://www.prototypingtools.co/ -1. https://nexttexteditor.com/ -1. https://medium.com/cirru-project/stack-editor-programming-by-functions-a961f1d9555c -1. https://github.com/Cirru/stack-editor -1. https://kclpure.kcl.ac.uk/portal/files/71018111/Frame_based_editing.pdf -1. http://reactide.io/ -1. http://jumpfm.org/ -1. https://isomorf.io/#!/ -1. http://granthika.co/ -1. https://portacle.github.io/ -1. https://quokkajs.com/ -1. https://github.com/jaredly/treed -1. https://github.com/raxod502/el-patch -1. http://www.jgrasp.org/tutorials200/jGRASP_00_Overview.pdf -1. http://codiad.com/ -1. https://github.com/sahilm/fuzzy -1. https://lively-next.org/ -1. http://www.expressionsofchange.org/ -1. https://github.com/onivim/oni -1. http://wiki.xxiivv.com/ronin -1. https://github.com/google/xi-editor -1. https://teletype.atom.io/ -1. https://github.com/martanne/vis -1. http://www.graspjs.com/ -1. http://kakoune.org/ -1. https://github.com/argimenes/standoff-properties-editor -1. https://www.conyedit.com/ -1. https://developer.mozilla.org/en-US/docs/Web/API/Document/execCommand -1. [YOW! Lambda Jam 2018 - Colin Fleming - Developing an IDE for Clojure code](https://www.youtube.com/watch?v=2sPYiGxU4kA) -1. https://github.com/shaunlebron/history-of-lisp-parens/blob/master/editors.md -1. https://www.leoeditor.com/ -1. https://storybook.js.org/ -1. https://grapesjs.com/ -1. https://two-wrongs.com/why-you-should-buy-into-the-emacs-platform -1. https://docs.slatejs.org/ -1. https://github.com/pel-daniel/mind-bicyles -1. https://github.com/metaseed/metaGo -1. https://github.com/argimenes/standoff-properties-editor -1. https://github.com/JeffreyBenjaminBrown/hode -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) +0. https://texteditors.org/cgi-bin/wiki.pl?EditorIndex +0. [Slate: A completely customizable framework for building rich text editors.](https://github.com/ianstormtaylor/slate) +0. [Trix: A rich text editor for everyday writing.](https://trix-editor.org/) +0. [Left](https://100r.co/site/left.html) +0. https://howl.io/ +0. [The Whole Code Catalog](https://futureofcoding.org/catalog/) +0. http://substance.io/ +0. https://www.querystorm.com/ +0. http://recursivedrawing.com/ +0. http://doc.cat-v.org/bell_labs/sam_lang_tutorial/sam_tut.pdf +0. https://github.com/typeintandem/tandem +0. https://github.com/atom/xray +0. http://strlen.com/treesheets/ +0. https://sekao.net/nightlight/ +0. http://cirru.org/ +0. http://www.sublimetext.com/ +0. https://atom.io/ +0. http://lighttable.com/ +0. https://www.visualstudio.com/vs/whatsnew/ +0. http://www.prototypingtools.co/ +0. https://nexttexteditor.com/ +0. https://medium.com/cirru-project/stack-editor-programming-by-functions-a961f1d9555c +0. https://github.com/Cirru/stack-editor +0. https://kclpure.kcl.ac.uk/portal/files/71018111/Frame_based_editing.pdf +0. http://reactide.io/ +0. http://jumpfm.org/ +0. https://isomorf.io/#!/ +0. http://granthika.co/ +0. https://portacle.github.io/ +0. https://quokkajs.com/ +0. https://github.com/jaredly/treed +0. https://github.com/raxod502/el-patch +0. http://www.jgrasp.org/tutorials200/jGRASP_00_Overview.pdf +0. http://codiad.com/ +0. https://github.com/sahilm/fuzzy +0. https://lively-next.org/ +0. http://www.expressionsofchange.org/ +0. https://github.com/onivim/oni +0. http://wiki.xxiivv.com/ronin +0. https://github.com/google/xi-editor +0. https://teletype.atom.io/ +0. https://github.com/martanne/vis +0. http://www.graspjs.com/ +0. http://kakoune.org/ +0. https://github.com/argimenes/standoff-properties-editor +0. https://www.conyedit.com/ +0. https://developer.mozilla.org/en-US/docs/Web/API/Document/execCommand +0. [YOW! Lambda Jam 2018 - Colin Fleming - Developing an IDE for Clojure code](https://www.youtube.com/watch?v=2sPYiGxU4kA) +0. https://github.com/shaunlebron/history-of-lisp-parens/blob/master/editors.md +0. https://www.leoeditor.com/ +0. https://storybook.js.org/ +0. https://grapesjs.com/ +0. https://two-wrongs.com/why-you-should-buy-into-the-emacs-platform +0. https://docs.slatejs.org/ +0. https://github.com/pel-daniel/mind-bicyles +0. https://github.com/metaseed/metaGo +0. https://github.com/argimenes/standoff-properties-editor +0. https://github.com/JeffreyBenjaminBrown/hode +0. https://tratt.net/laurie/blog/entries/an_editor_for_composed_programs.html +0. [Hjalfi makes smalltalk (in Javascript)](https://www.youtube.com/watch?v=JDunc6Cr7YQ) ## Structured editing -1. [The Animated Guide to Symex](https://countvajhula.com/2021/09/25/the-animated-guide-to-symex/) -1. [Leo](https://www.leoeditor.com/) -1. [Inspiring a future Clojure editor with forgotten Lisp UX - Shaun Lebron](https://www.youtube.com/watch?v=K0Tsa3smr1w) -1. [Dion Systems - The How And Why Of Reinventing The Wheel](https://vimeo.com/485177664) -1. [Towards Tactic Metaprogramming in Haskell](https://reasonablypolymorphic.com/blog/towards-tactics/index.html) -1. https://github.com/Raathigesh/waypoint -1. [Going beyond regular expressions with structural code search](https://about.sourcegraph.com/blog/going-beyond-regular-expressions-with-structural-code-search) -1. [俺のlisp](https://github.com/illiichi/orenolisp) -1. [豆腐 (Tofu): meaningful code editing](https://gregoor.github.io/tofu/) -1. [Tiled Text](http://www.tiledtext.com/projects/tiledtext) -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) -1. [The TeXmacs user interface and structured text editing](https://www.youtube.com/watch?v=Sc55nOSN0kQ) +0. [The Animated Guide to Symex](https://countvajhula.com/2021/09/25/the-animated-guide-to-symex/) +0. [Leo](https://www.leoeditor.com/) +0. [Inspiring a future Clojure editor with forgotten Lisp UX - Shaun Lebron](https://www.youtube.com/watch?v=K0Tsa3smr1w) +0. [Dion Systems - The How And Why Of Reinventing The Wheel](https://vimeo.com/485177664) +0. [Towards Tactic Metaprogramming in Haskell](https://reasonablypolymorphic.com/blog/towards-tactics/index.html) +0. https://github.com/Raathigesh/waypoint +0. [Going beyond regular expressions with structural code search](https://about.sourcegraph.com/blog/going-beyond-regular-expressions-with-structural-code-search) +0. [俺のlisp](https://github.com/illiichi/orenolisp) +0. [豆腐 (Tofu): meaningful code editing](https://gregoor.github.io/tofu/) +0. [Tiled Text](http://www.tiledtext.com/projects/tiledtext) +0. [Deuce: A Lightweight User Interface for Structured Editing](https://arxiv.org/abs/1707.00015) +0. ["Structured Editing for Elm* in Elm" by Ravi Chugh](https://www.youtube.com/watch?v=-TFL6E1uSHE) +0. [The TeXmacs user interface and structured text editing](https://www.youtube.com/watch?v=Sc55nOSN0kQ) ## Tree editor -1. http://justinpombrio.net/tree-editors/survey.html +0. http://justinpombrio.net/tree-editors/survey.html ## Image editor -1. https://www.ludigraphix.org/ +0. https://www.ludigraphix.org/ diff --git a/documentation/bookmark/type_theory/linear.md b/documentation/bookmark/type_theory/linear.md deleted file mode 100644 index 00f70e422..000000000 --- a/documentation/bookmark/type_theory/linear.md +++ /dev/null @@ -1,4 +0,0 @@ -# Reference - -1. [Chu construction on linear logic](http://boxbase.org/entries/2019/jul/15/chu-construction/) - diff --git a/documentation/bookmark/type_theory/sub_structural.md b/documentation/bookmark/type_theory/sub_structural.md new file mode 100644 index 000000000..7b87df049 --- /dev/null +++ b/documentation/bookmark/type_theory/sub_structural.md @@ -0,0 +1,6 @@ +# Reference + +0. [Linear Types Can Help](http://aidancully.blogspot.com/2021/12/linear-types-can-help.html) +0. [Less Painful Linear Types](http://aidancully.blogspot.com/2021/12/less-painful-linear-types.html) +0. [Chu construction on linear logic](http://boxbase.org/entries/2019/jul/15/chu-construction/) + diff --git a/documentation/bookmark/user_interface/accessibility.md b/documentation/bookmark/user_interface/accessibility.md index 6519470b3..d4f38e0c1 100644 --- a/documentation/bookmark/user_interface/accessibility.md +++ b/documentation/bookmark/user_interface/accessibility.md @@ -1,5 +1,6 @@ # Reference -1. [Detecting Hover-Capable Devices](https://css-irl.info/detecting-hover-capable-devices/) -1. [Nobody talks about the real reason to use Tabs over Spaces](https://www.reddit.com/r/javascript/comments/c8drjo/nobody_talks_about_the_real_reason_to_use_tabs/?st=jxuy98ok&sh=8487bdfa) +0. [Making Accessibility More Accessible](https://austingil.com/making-accessibility-more-accessible/) +0. [Detecting Hover-Capable Devices](https://css-irl.info/detecting-hover-capable-devices/) +0. [Nobody talks about the real reason to use Tabs over Spaces](https://www.reddit.com/r/javascript/comments/c8drjo/nobody_talks_about_the_real_reason_to_use_tabs/?st=jxuy98ok&sh=8487bdfa) diff --git a/documentation/bookmark/user_interface/desktop.md b/documentation/bookmark/user_interface/desktop.md index deb487c93..caeac6251 100644 --- a/documentation/bookmark/user_interface/desktop.md +++ b/documentation/bookmark/user_interface/desktop.md @@ -1,4 +1,8 @@ +# Qt + +0. [NodeGui](https://docs.nodegui.org/) + # Browser-based -1. [muon](https://github.com/ImVexed/muon) +0. [muon](https://github.com/ImVexed/muon) diff --git a/documentation/bookmark/user_interface/widget.md b/documentation/bookmark/user_interface/widget.md new file mode 100644 index 000000000..20f6a1a81 --- /dev/null +++ b/documentation/bookmark/user_interface/widget.md @@ -0,0 +1,4 @@ +# Reference + +1. [Floating UI](https://www.floating-ui.com/) + diff --git a/documentation/bookmark/web_browser.md b/documentation/bookmark/web_browser.md index cc698019a..7c12f5de2 100644 --- a/documentation/bookmark/web_browser.md +++ b/documentation/bookmark/web_browser.md @@ -1,5 +1,6 @@ # Exemplar +1. [Nyxt](https://nyxt.atlas.engineer/) 1. [Stack](https://stackbrowser.com/) 1. [Flow: The super fast, multithreaded HTML5 browser from Ekioh](https://www.ekioh.com/flow-browser/) 1. https://refresh.study/ @@ -36,6 +37,7 @@ # Reference +1. [Emacs with Nyxt: extend your editor with the power of a Lisp browser](https://nyxt.atlas.engineer/article/emacs-conf.org) 1. [Web Browser Engineering](https://browser.engineering/) 1. [Public Suffix List](https://publicsuffix.org/) 1. [Public Suffix List Problems](https://github.com/sleevi/psl-problems) -- cgit v1.2.3