Ruby compilation that is better adjusted to both normal Ruby and MRuby.

6 files changed, 50 insertions, 38 deletions

diff --git a/documentation/bookmark/architecture.md b/documentation/bookmark/architecture.md
index 66449caf8..d7b2a9ccf 100644
--- a/documentation/bookmark/architecture.md
+++ b/documentation/bookmark/architecture.md
@@ -1,4 +1,5 @@
 # Reference
 
+1. [Polylith](https://polylith.gitbook.io/polylith)
 1. [Awesome Software Architecture](https://mehdihadeli.github.io/awesome-software-architecture/)
 
diff --git a/documentation/bookmark/cryptography.md b/documentation/bookmark/cryptography.md
index f86e70ccb..0ac7ce947 100644
--- a/documentation/bookmark/cryptography.md
+++ b/documentation/bookmark/cryptography.md
@@ -1,61 +1,62 @@
 # Constant-time programming
 
-1. [Constant-Time WebAssembly](https://github.com/PLSysSec/ct-wasm)
-1. [Verifying Constant-Time Implementations](https://michael-emmi.github.io/papers/conf-uss-AlmeidaBBDE16.pdf)
-1. https://www.bearssl.org/ctmul.html
-1. [FaCT: A Flexible, Constant-Time Programming Language](https://cseweb.ucsd.edu/~dstefan/pubs/cauligi:2017:fact.pdf)
-1. [FaCT: A DSL for Timing-Sensitive Computation](https://ranjitjhala.github.io/static/fact_dsl.pdf)
-1. ["FaCT: A New Language for Constant-Time Programming" by Sunjay Cauligi](https://www.youtube.com/watch?v=kbn9UCRK2Qg)
+0. [Constant-Time WebAssembly](https://github.com/PLSysSec/ct-wasm)
+0. [Verifying Constant-Time Implementations](https://michael-emmi.github.io/papers/conf-uss-AlmeidaBBDE16.pdf)
+0. https://www.bearssl.org/ctmul.html
+0. [FaCT: A Flexible, Constant-Time Programming Language](https://cseweb.ucsd.edu/~dstefan/pubs/cauligi:2017:fact.pdf)
+0. [FaCT: A DSL for Timing-Sensitive Computation](https://ranjitjhala.github.io/static/fact_dsl.pdf)
+0. ["FaCT: A New Language for Constant-Time Programming" by Sunjay Cauligi](https://www.youtube.com/watch?v=kbn9UCRK2Qg)
 
 # Zero-knowledge proof
 
-1. ["Rhapsody in Zero Knowledge: Proving Without Revealing" by Tony Arcieri](https://www.youtube.com/watch?v=jKSz7W5dTgY)
-1. [Zero-Knowledge Proofs: What are they, how do they work, and are they fast yet?](https://zkp.science/)
+0. ["Rhapsody in Zero Knowledge: Proving Without Revealing" by Tony Arcieri](https://www.youtube.com/watch?v=jKSz7W5dTgY)
+0. [Zero-Knowledge Proofs: What are they, how do they work, and are they fast yet?](https://zkp.science/)
 
 # Hash
 
-1. [On future-proof cryptographic hashes](https://pascalprecht.github.io/posts/future-proofed-hashes-with-multihash/)
+0. [On future-proof cryptographic hashes](https://pascalprecht.github.io/posts/future-proofed-hashes-with-multihash/)
 
 # Library
 
-1. [aykxt/crypto](https://github.com/aykxt/crypto)
-1. [zinc: Introduce minimal cryptography library](https://git.kernel.org/pub/scm/linux/kernel/git/zx2c4/linux.git/commit/?h=zinc)
-1. https://joshlf.com/post/2018/11/06/introducing-mundane/
-1. https://github.com/akhawaja/ecc-crypto-helper
-1. [Introducing CIRCL: An Advanced Cryptographic Library](https://blog.cloudflare.com/introducing-circl/)
+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)
+0. https://joshlf.com/post/2018/11/06/introducing-mundane/
+0. https://github.com/akhawaja/ecc-crypto-helper
+0. [Introducing CIRCL: An Advanced Cryptographic Library](https://blog.cloudflare.com/introducing-circl/)
 
 # Criticism
 
-1. [Fuck RSA](https://blog.trailofbits.com/2019/07/08/fuck-rsa/)
+0. [Fuck RSA](https://blog.trailofbits.com/2019/07/08/fuck-rsa/)
 
 # Reference
 
-1. [Sunjay Cauligi - Constant-time crypto programming with FaCT](https://www.youtube.com/watch?v=SSEHF_u79e4)
-1. https://blog.acolyer.org/2018/07/06/oblix-an-efficient-oblivious-search-index/
-1. https://cryptography.pizza/
-1. [HACL∗: A Verified Modern Cryptographic Library](https://eprint.iacr.org/2017/536.pdf)
-1. [How to Use Java Cryptography API Securely](https://www.youtube.com/watch?v=3HIdaSgxMlo)
-1. [A Graduate Course in Applied Cryptography](http://toc.cryptotextbook.net/home)
-1. https://github.com/InstantWebP2P/tweetnacl-java
-1. https://github.com/kevinburke/nacl
-1. https://github.com/miracl/MIRACL
-1. https://github.com/open-quantum-safe/liboqs
-1. https://www.bearssl.org/bigint.html
-1. https://timtaubert.de/blog/2018/08/bitslicing-an-introduction/
-1. [CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem](https://arxiv.org/abs/1808.01348)
-1. https://arstechnica.com/information-technology/2013/10/a-relatively-easy-to-understand-primer-on-elliptic-curve-cryptography/
-1. https://medium.com/@dbkats/a-gentle-introduction-to-attribute-based-encryption-edca31744ac6
-1. https://cryptoswift.io/
+0. [Sunjay Cauligi - Constant-time crypto programming with FaCT](https://www.youtube.com/watch?v=SSEHF_u79e4)
+0. https://blog.acolyer.org/2018/07/06/oblix-an-efficient-oblivious-search-index/
+0. https://cryptography.pizza/
+0. [HACL∗: A Verified Modern Cryptographic Library](https://eprint.iacr.org/2017/536.pdf)
+0. [How to Use Java Cryptography API Securely](https://www.youtube.com/watch?v=3HIdaSgxMlo)
+0. [A Graduate Course in Applied Cryptography](http://toc.cryptotextbook.net/home)
+0. https://github.com/InstantWebP2P/tweetnacl-java
+0. https://github.com/kevinburke/nacl
+0. https://github.com/miracl/MIRACL
+0. https://github.com/open-quantum-safe/liboqs
+0. https://www.bearssl.org/bigint.html
+0. https://timtaubert.de/blog/2018/08/bitslicing-an-introduction/
+0. [CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem](https://arxiv.org/abs/1808.01348)
+0. https://arstechnica.com/information-technology/2013/10/a-relatively-easy-to-understand-primer-on-elliptic-curve-cryptography/
+0. https://medium.com/@dbkats/a-gentle-introduction-to-attribute-based-encryption-edca31744ac6
+0. https://cryptoswift.io/
 
 # Language
 
-1. https://cryptol.net/
-1. [Formally Verified Cryptographic Web Applicationsin WebAssembly](https://eprint.iacr.org/2019/542.pdf)
+0. https://cryptol.net/
+0. [Formally Verified Cryptographic Web Applicationsin WebAssembly](https://eprint.iacr.org/2019/542.pdf)
 
 # Randomness extractor
 
-1. [An introduction to randomness extractors](https://cs.haifa.ac.il/~ronen/online_papers/ICALPinvited.pdf)
+0. [An introduction to randomness extractors](https://cs.haifa.ac.il/~ronen/online_papers/ICALPinvited.pdf)
 
 # Homomorphic Encryption
 
-1. [Practical Homomorphic Encryption Over the Integers](https://arxiv.org/abs/1702.07588)
+0. [Practical Homomorphic Encryption Over the Integers](https://arxiv.org/abs/1702.07588)
diff --git a/documentation/bookmark/memory_management.md b/documentation/bookmark/memory_management.md
index 8a5a1c0a9..5b7510df8 100644
--- a/documentation/bookmark/memory_management.md
+++ b/documentation/bookmark/memory_management.md
@@ -22,6 +22,7 @@
 
 # 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/)
 
diff --git a/documentation/bookmark/music.md b/documentation/bookmark/music.md
index 1e3bba2c5..d6b712fc1 100644
--- a/documentation/bookmark/music.md
+++ b/documentation/bookmark/music.md
@@ -1,12 +1,16 @@
+# Analysis
+
+0. [Three Types of Music Analysis](https://flujoo.github.io/en/three-types-of-music-analysis/)
+
 # Language
 
-1. [alda: Alda is a text-based programming language for music composition. It allows you to write and play back music using only a text editor and the command line.](https://alda.io/)
+0. [alda: Alda is a text-based programming language for music composition. It allows you to write and play back music using only a text editor and the command line.](https://alda.io/)
 
 # Async music
 
-1. [async music](https://async.art/music)
+0. [async music](https://async.art/music)
 
 # Reference
 
-1. [Open Music Theory](http://openmusictheory.com/)
+0. [Open Music Theory](http://openmusictheory.com/)
 
diff --git a/documentation/bookmark/optimization.md b/documentation/bookmark/optimization.md
index 5ecf29694..968fd5e26 100644
--- a/documentation/bookmark/optimization.md
+++ b/documentation/bookmark/optimization.md
@@ -1,3 +1,7 @@
+# Inlining
+
+1. [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/)
diff --git a/documentation/bookmark/type_theory/dependent.md b/documentation/bookmark/type_theory/dependent.md
index abdc01942..f731e988a 100644
--- a/documentation/bookmark/type_theory/dependent.md
+++ b/documentation/bookmark/type_theory/dependent.md
@@ -1,5 +1,6 @@
 # Exemplar
 
+1. [Mononym: Type-Level Named Values in Rust - Part 1: Demo and Implementation](https://maybevoid.com/blog/mononym-part-1/)
 1. [POMPOM LANGUAGE](https://github.com/caotic123/PomPom-Language)
 1. [A simple type-theoretic language:  Mini-TT](http://www.cse.chalmers.se/~bengt/papers/GKminiTT.pdf)
 1. https://cedille.github.io/