aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/bookmark')
-rw-r--r--documentation/bookmark/analysis/static.md5
-rw-r--r--documentation/bookmark/code/mod.md (renamed from documentation/bookmark/Code mods.md)0
-rw-r--r--documentation/bookmark/code/query.md5
-rw-r--r--documentation/bookmark/concurrency/structured.md5
-rw-r--r--documentation/bookmark/floating_point.md5
-rw-r--r--documentation/bookmark/machine_learning/gradient.md4
-rw-r--r--documentation/bookmark/operating_system.md357
-rw-r--r--documentation/bookmark/optimization.md1
-rw-r--r--documentation/bookmark/optimization/memoization.md5
9 files changed, 209 insertions, 178 deletions
diff --git a/documentation/bookmark/analysis/static.md b/documentation/bookmark/analysis/static.md
new file mode 100644
index 000000000..b70b9f50d
--- /dev/null
+++ b/documentation/bookmark/analysis/static.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. [Software can literally be perfect](https://www.youtube.com/watch?v=Lf7ML_ErWvQ)
+0. [Magmide](https://github.com/magmide/magmide)
+
diff --git a/documentation/bookmark/Code mods.md b/documentation/bookmark/code/mod.md
index 88da7aae5..88da7aae5 100644
--- a/documentation/bookmark/Code mods.md
+++ b/documentation/bookmark/code/mod.md
diff --git a/documentation/bookmark/code/query.md b/documentation/bookmark/code/query.md
new file mode 100644
index 000000000..4db580b7b
--- /dev/null
+++ b/documentation/bookmark/code/query.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. [Find bugs in your code with CodeQL](https://www.youtube.com/watch?v=y_-pIbsr7jc)
+0. [CodeQL](https://codeql.github.com/)
+
diff --git a/documentation/bookmark/concurrency/structured.md b/documentation/bookmark/concurrency/structured.md
new file mode 100644
index 000000000..0567167c2
--- /dev/null
+++ b/documentation/bookmark/concurrency/structured.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. [Seamless, Fearless, and Structured Concurrency](https://verdagon.dev/blog/seamless-fearless-structured-concurrency)
+0. [Handling user input with structured concurrency](https://dubroy.com/blog/handling-user-input-with-structured-concurrency/)
+
diff --git a/documentation/bookmark/floating_point.md b/documentation/bookmark/floating_point.md
index 373dc13f9..c18d7fa7e 100644
--- a/documentation/bookmark/floating_point.md
+++ b/documentation/bookmark/floating_point.md
@@ -1,3 +1,8 @@
+# Parsing
+
+0. [fast_float number parsing library: 4x faster than strtod](https://github.com/fastfloat/fast_float)
+0. [Fast float parsing in practice](https://lemire.me/blog/2020/03/10/fast-float-parsing-in-practice/)
+
# Precision
0. [Calcium](https://fredrikj.net/calcium/)
diff --git a/documentation/bookmark/machine_learning/gradient.md b/documentation/bookmark/machine_learning/gradient.md
new file mode 100644
index 000000000..1d1db6ddb
--- /dev/null
+++ b/documentation/bookmark/machine_learning/gradient.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Gradients without Backpropagation](https://arxiv.org/abs/2202.08587)
+
diff --git a/documentation/bookmark/operating_system.md b/documentation/bookmark/operating_system.md
index b1fd5e452..9c96dbc5b 100644
--- a/documentation/bookmark/operating_system.md
+++ b/documentation/bookmark/operating_system.md
@@ -1,282 +1,283 @@
# Code-generation
-1. [It’s Time for a Modern Synthesis Kernel](https://blog.regehr.org/archives/1676)
+0. [It’s Time for a Modern Synthesis Kernel](https://blog.regehr.org/archives/1676)
# Intepreter
-1. [Jitk: A Trustworthy In-Kernel Interpreter Infrastructure](https://css.csail.mit.edu/jitk/)
+0. [Jitk: A Trustworthy In-Kernel Interpreter Infrastructure](https://css.csail.mit.edu/jitk/)
# Architecture
-1. [TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines](https://arxiv.org/abs/1807.05308)
+0. [TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines](https://arxiv.org/abs/1807.05308)
# Graphics | Rendering
-1. [Text Rendering Hates You](https://gankra.github.io/blah/text-hates-you/)
-1. https://fuchsia.googlesource.com/garnet/+/master/docs/ui/scenic.md
+0. [Text Rendering Hates You](https://gankra.github.io/blah/text-hates-you/)
+0. https://fuchsia.googlesource.com/garnet/+/master/docs/ui/scenic.md
# Exemplar
## Operating system
-1. [CLOSOS: Specication of a Lisp operating system.](http://metamodular.com/lispos.pdf)
-1. [CLOSOS: Specication of a Lisp operating system.](http://metamodular.com/closos.pdf)
-1. https://medium.com/@jasonyuan/introducing-mercury-os-f4de45a04289
-1. http://lsneff.me/why-nebulet/ ||| https://github.com/nebulet/nebulet
-1. http://exposnitc.github.io/index.html
-1. https://www.gocosmos.org/
-1. http://www.microkernel.info/
-1. http://webosose.org/
-1. https://ostree.readthedocs.io/en/latest/manual/introduction/
-1. http://www.helenos.org/
-1. http://nixos.org/
-1. https://github.com/klange/toaruos
-1. http://greenteapress.com/thinkos/
-1. http://kolibrios.org/en/
-1. http://menuetos.net/
-1. https://sailfishos.org/
-1. http://www.barrelfish.org/index.html
-1. https://samypesse.gitbooks.io/how-to-create-an-operating-system/
-1. https://lumina-desktop.org/
-1. 2015 01 GNU Guix The Emacs of Distros &&& https://www.youtube.com/watch?v=AzebnJkfdvM
-1. The Synthesis Kernel &&& https://www.usenix.org/legacy/publications/compsystems/1988/win_pu.pdf
-1. http://zoo.cs.yale.edu/classes/cs422/pios
-1. https://fuchsia.googlesource.com/docs/+/HEAD/book.md
-1. https://externos.io/
-1. http://www.shadowdefender.com/
-1. https://pureos.net/
-1. http://progmp.net/
-1. http://www.uruk.org/emu/Taos.html
-1. http://www.dickpountain.co.uk/home/computing/byte-articles/the-taos-operating-system-1991?hn
-1. https://www.redox-os.org/
-1. https://system76.com/pop
-1. http://habitatchronicles.com/2017/05/what-are-capabilities/ &&& ( Start reading where it says "Embedded systems" )
-1. http://genode.org/documentation/general-overview/index
-1. https://camlistore.org/
-1. https://opensource.com/article/17/10/flintos
-1. https://sortix.org/
-1. https://www.kickstarter.com/projects/xiki/xikihub-the-social-command-line
-1. https://www.tockos.org/
-1. http://hydros-project.org/
-1. Twizzler: An Operating System for Next-Generation Memory Hierarchies &&& https://www.ssrc.ucsc.edu/Papers/ssrctr-17-01.pdf
-1. http://www.includeos.org/
-1. https://harvey-os.org/
-1. https://github.com/jvburnes/node9
-1. http://unleashed-os.org/
-1. https://github.com/GreenteaOS/Greentea
-1. https://xinu.cs.purdue.edu/
-1. https://browsix.org/
-1. https://github.com/frzb/coinboot
-1. http://www.jbox.dk/sanos/index.htm
-1. https://www.osrtos.com/
-1. [CLOSOS Specification of a Lisp operating system.](http://metamodular.com/lispos.pdf)
-1. http://metamodular.com/Common-Lisp/lispos.html
-1. http://riot-os.org/
-1. http://www.scs.stanford.edu/histar/
-1. http://sel4.systems/
+0. [CLOSOS: Specication of a Lisp operating system.](http://metamodular.com/lispos.pdf)
+0. [CLOSOS: Specication of a Lisp operating system.](http://metamodular.com/closos.pdf)
+0. https://medium.com/@jasonyuan/introducing-mercury-os-f4de45a04289
+0. http://lsneff.me/why-nebulet/ ||| https://github.com/nebulet/nebulet
+0. http://exposnitc.github.io/index.html
+0. https://www.gocosmos.org/
+0. http://www.microkernel.info/
+0. http://webosose.org/
+0. https://ostree.readthedocs.io/en/latest/manual/introduction/
+0. http://www.helenos.org/
+0. http://nixos.org/
+0. https://github.com/klange/toaruos
+0. http://greenteapress.com/thinkos/
+0. http://kolibrios.org/en/
+0. http://menuetos.net/
+0. https://sailfishos.org/
+0. http://www.barrelfish.org/index.html
+0. https://samypesse.gitbooks.io/how-to-create-an-operating-system/
+0. https://lumina-desktop.org/
+0. 2015 01 GNU Guix The Emacs of Distros &&& https://www.youtube.com/watch?v=AzebnJkfdvM
+0. The Synthesis Kernel &&& https://www.usenix.org/legacy/publications/compsystems/1988/win_pu.pdf
+0. http://zoo.cs.yale.edu/classes/cs422/pios
+0. https://fuchsia.googlesource.com/docs/+/HEAD/book.md
+0. https://externos.io/
+0. http://www.shadowdefender.com/
+0. https://pureos.net/
+0. http://progmp.net/
+0. http://www.uruk.org/emu/Taos.html
+0. http://www.dickpountain.co.uk/home/computing/byte-articles/the-taos-operating-system-1991?hn
+0. https://www.redox-os.org/
+0. https://system76.com/pop
+0. http://habitatchronicles.com/2017/05/what-are-capabilities/ &&& ( Start reading where it says "Embedded systems" )
+0. http://genode.org/documentation/general-overview/index
+0. https://camlistore.org/
+0. https://opensource.com/article/17/10/flintos
+0. https://sortix.org/
+0. https://www.kickstarter.com/projects/xiki/xikihub-the-social-command-line
+0. https://www.tockos.org/
+0. http://hydros-project.org/
+0. Twizzler: An Operating System for Next-Generation Memory Hierarchies &&& https://www.ssrc.ucsc.edu/Papers/ssrctr-17-01.pdf
+0. http://www.includeos.org/
+0. https://harvey-os.org/
+0. https://github.com/jvburnes/node9
+0. http://unleashed-os.org/
+0. https://github.com/GreenteaOS/Greentea
+0. https://xinu.cs.purdue.edu/
+0. https://browsix.org/
+0. https://github.com/frzb/coinboot
+0. http://www.jbox.dk/sanos/index.htm
+0. https://www.osrtos.com/
+0. [CLOSOS Specification of a Lisp operating system.](http://metamodular.com/lispos.pdf)
+0. http://metamodular.com/Common-Lisp/lispos.html
+0. http://riot-os.org/
+0. http://www.scs.stanford.edu/histar/
+0. http://sel4.systems/
## Unikernel
-1. https://hermitcore.org/2018/06/06/A-Rust-based-Unikernel/
-1. http://unikernel.org/
-1. https://xenproject.org/linux-foundation/80-developers/207-unikraft.html
-1. https://fourlightyears.blogspot.com/2018/08/what-i-could-not-undiscover-about.html
-1. https://mirage.io/
-1. [Unikernels: No Longer an Academic Exercise](http://250bpm.com/blog:138)
-1. https://github.com/hermitcore/libhermit-rs
-1. https://next.redhat.com/2018/11/14/ukl-a-unikernel-based-on-linux/
-1. https://github.com/joekoolade/JOE
-1. https://ssrg-vt.github.io/hermitux/
-1. https://nanovms.com/dev/tutorials/running-forth-unikernels
-1. [Unikernels: The Next Stage of Linux’s Dominance](https://www.cs.bu.edu/~jappavoo/Resources/Papers/unikernel-hotos19.pdf)
-1. https://grapheneproject.io/
-1. https://ops.city/
+0. [State of the art for Unikernels](https://github.com/seeker89/unikernels)
+0. https://hermitcore.org/2018/06/06/A-Rust-based-Unikernel/
+0. http://unikernel.org/
+0. https://xenproject.org/linux-foundation/80-developers/207-unikraft.html
+0. https://fourlightyears.blogspot.com/2018/08/what-i-could-not-undiscover-about.html
+0. https://mirage.io/
+0. [Unikernels: No Longer an Academic Exercise](http://250bpm.com/blog:138)
+0. https://github.com/hermitcore/libhermit-rs
+0. https://next.redhat.com/2018/11/14/ukl-a-unikernel-based-on-linux/
+0. https://github.com/joekoolade/JOE
+0. https://ssrg-vt.github.io/hermitux/
+0. https://nanovms.com/dev/tutorials/running-forth-unikernels
+0. [Unikernels: The Next Stage of Linux’s Dominance](https://www.cs.bu.edu/~jappavoo/Resources/Papers/unikernel-hotos19.pdf)
+0. https://grapheneproject.io/
+0. https://ops.city/
## Microkernel
-1. [Snap: a Microkernel Approach to Host Networking](https://storage.googleapis.com/pub-tools-public-publication-data/pdf/36f0f9b41e969a00d75da7693571e988996c9f4c.pdf)
+0. [Snap: a Microkernel Approach to Host Networking](https://storage.googleapis.com/pub-tools-public-publication-data/pdf/36f0f9b41e969a00d75da7693571e988996c9f4c.pdf)
## Real-time
-1. https://en.wikipedia.org/wiki/VxWorks
+0. https://en.wikipedia.org/wiki/VxWorks
# Reference
-1. [The little book about OS development](http://littleosbook.github.io/)
-1. [Rethinking files](https://www.devever.net/~hl/objectworld)
-1. [Writing an OS in Rust (Second Edition)](https://os.phil-opp.com/)
-1. https://archiveos.org/
-1. https://lwn.net/Articles/615809/
-1. https://www.tweag.io/posts/2018-03-15-bazel-nix.html
-1. Type-Safe Operating System Abstractions &&& https://www.cs.dartmouth.edu/~trdata/reports/TR2004-526.pdf
-1. https://www.hillelwayne.com/post/nix/
-1. https://github.com/pervognsen/bitwise
-1. True parallelism, with no concept of threads - Alfred Bratterud - Meeting C++ 2017 &&& https://www.youtube.com/watch?v=9IXivbSA_5A
-1. http://ccl.cse.nd.edu/software/parrot/
-1. http://greenteapress.com/wp/think-os/
-1. https://gustavus.edu/mcs/max/os-book/
-1. https://sywtwaosir.wordpress.com/
-1. https://communityblog.fedoraproject.org/modularity-dead-long-live-modularity/
-1. https://en.wikipedia.org/wiki/WinFS
-1. An alternative device-tree source language &&& https://lwn.net/SubscriberLink/730217/556c557e8a3bf0a0/
-1. https://joshondesign.com/2017/08/18/idealos_essay
-1. https://tuhdo.github.io/os01/
-1. https://www.usenix.org/legacy/events/usenix03/tech/full_papers/padioleau/padioleau_html/index.html
-1. https://medium.com/@ifesdjeen/on-disk-io-part-3-lsm-trees-8b2da218496f
-1. https://medium.com/@ifesdjeen/on-disk-storage-part-4-b-trees-30791060741
-1. http://fare.tunes.org/LispM.html
-1. http://queue.acm.org/detail.cfm?id=1317400
-1. The Art of Unix Programming &&& http://www.catb.org/esr/writings/taoup/html/index.html
-1. https://shivambharuka.wordpress.com/2017/10/25/arrakis-the-operating-system-is-the-control-plane/
-1. [Arrakis: The Operating System is the Control Plane](https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-peter_simon.pdf)
-1. https://sortix.org/os-test/
-1. https://existentialtype.wordpress.com/2016/07/11/pclsring-in-semantics/
-1. Database/Operating System Co-Design &&& https://www.research-collection.ethz.ch/handle/20.500.11850/136
-1. YOW! Lambda Jam 2017 Brian McKenna - Nix for Functional Systems &&& https://www.youtube.com/watch?v=mIxtBVKo7JE
-1. [Mouse Programming with libgpm](https://www.linuxjournal.com/article/4600)
-1. https://developer.apple.com/library/archive/documentation/DeviceDrivers/Conceptual/WritingDeviceDriver/CPluPlusRuntime/CPlusPlusRuntime.html
-1. https://yarchive.net/comp/linux/everything_is_file.html
-1. [Operating Systems: Three Easy Pieces](http://pages.cs.wisc.edu/~remzi/OSTEP/)
-1. http://www.drdobbs.com/parallel/booting-an-intel-architecture-system-par/232300699
-1. [The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security](http://ts.data61.csiro.au/publications/csiro_full_text/Biggs_LH_18.pdf)
-1. https://medium.com/@enkiv2/composability-homogeneity-and-language-based-systems-fb00e2c2458
-1. [Write your own Operating System](https://www.youtube.com/playlist?list=PLHh55M_Kq4OApWScZyPl5HhgsTJS9MZ6M)
-1. [Light-weight Contexts: An OS Abstraction for Safety and Performance](https://people.mpi-sws.org/~druschel/publications/osdi16.pdf)
-1. https://augustl.com/blog/2014/an_immutable_operating_system/
+0. [The little book about OS development](http://littleosbook.github.io/)
+0. [Rethinking files](https://www.devever.net/~hl/objectworld)
+0. [Writing an OS in Rust (Second Edition)](https://os.phil-opp.com/)
+0. https://archiveos.org/
+0. https://lwn.net/Articles/615809/
+0. https://www.tweag.io/posts/2018-03-15-bazel-nix.html
+0. Type-Safe Operating System Abstractions &&& https://www.cs.dartmouth.edu/~trdata/reports/TR2004-526.pdf
+0. https://www.hillelwayne.com/post/nix/
+0. https://github.com/pervognsen/bitwise
+0. True parallelism, with no concept of threads - Alfred Bratterud - Meeting C++ 2017 &&& https://www.youtube.com/watch?v=9IXivbSA_5A
+0. http://ccl.cse.nd.edu/software/parrot/
+0. http://greenteapress.com/wp/think-os/
+0. https://gustavus.edu/mcs/max/os-book/
+0. https://sywtwaosir.wordpress.com/
+0. https://communityblog.fedoraproject.org/modularity-dead-long-live-modularity/
+0. https://en.wikipedia.org/wiki/WinFS
+0. An alternative device-tree source language &&& https://lwn.net/SubscriberLink/730217/556c557e8a3bf0a0/
+0. https://joshondesign.com/2017/08/18/idealos_essay
+0. https://tuhdo.github.io/os01/
+0. https://www.usenix.org/legacy/events/usenix03/tech/full_papers/padioleau/padioleau_html/index.html
+0. https://medium.com/@ifesdjeen/on-disk-io-part-3-lsm-trees-8b2da218496f
+0. https://medium.com/@ifesdjeen/on-disk-storage-part-4-b-trees-30791060741
+0. http://fare.tunes.org/LispM.html
+0. http://queue.acm.org/detail.cfm?id=1317400
+0. The Art of Unix Programming &&& http://www.catb.org/esr/writings/taoup/html/index.html
+0. https://shivambharuka.wordpress.com/2017/10/25/arrakis-the-operating-system-is-the-control-plane/
+0. [Arrakis: The Operating System is the Control Plane](https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-peter_simon.pdf)
+0. https://sortix.org/os-test/
+0. https://existentialtype.wordpress.com/2016/07/11/pclsring-in-semantics/
+0. Database/Operating System Co-Design &&& https://www.research-collection.ethz.ch/handle/20.500.11850/136
+0. YOW! Lambda Jam 2017 Brian McKenna - Nix for Functional Systems &&& https://www.youtube.com/watch?v=mIxtBVKo7JE
+0. [Mouse Programming with libgpm](https://www.linuxjournal.com/article/4600)
+0. https://developer.apple.com/library/archive/documentation/DeviceDrivers/Conceptual/WritingDeviceDriver/CPluPlusRuntime/CPlusPlusRuntime.html
+0. https://yarchive.net/comp/linux/everything_is_file.html
+0. [Operating Systems: Three Easy Pieces](http://pages.cs.wisc.edu/~remzi/OSTEP/)
+0. http://www.drdobbs.com/parallel/booting-an-intel-architecture-system-par/232300699
+0. [The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security](http://ts.data61.csiro.au/publications/csiro_full_text/Biggs_LH_18.pdf)
+0. https://medium.com/@enkiv2/composability-homogeneity-and-language-based-systems-fb00e2c2458
+0. [Write your own Operating System](https://www.youtube.com/playlist?list=PLHh55M_Kq4OApWScZyPl5HhgsTJS9MZ6M)
+0. [Light-weight Contexts: An OS Abstraction for Safety and Performance](https://people.mpi-sws.org/~druschel/publications/osdi16.pdf)
+0. https://augustl.com/blog/2014/an_immutable_operating_system/
# Higher-Order
-1. https://www.yoctoproject.org/
+0. https://www.yoctoproject.org/
# Formats
-1. http://iokit.racing/machotricks.pdf
+0. http://iokit.racing/machotricks.pdf
# Error-handling
-1. http://joeduffyblog.com/2016/02/07/the-error-model/
-1. https://code.fb.com/production-engineering/open-sourcing-oomd-a-new-approach-to-handling-ooms/
-1. https://os.phil-opp.com/double-fault-exceptions/
+0. http://joeduffyblog.com/2016/02/07/the-error-model/
+0. https://code.fb.com/production-engineering/open-sourcing-oomd-a-new-approach-to-handling-ooms/
+0. https://os.phil-opp.com/double-fault-exceptions/
# Tools
-1. https://osquery.io/
-1. https://github.com/facebook/osquery
+0. https://osquery.io/
+0. https://github.com/facebook/osquery
# Shell
-1. [Magritte: A Language for Pipe-Based Programming](http://files.jneen.net/academic/thesis.pdf)
-1. https://latacora.singles/2018/06/21/loud-subshells.html
-1. https://github.com/ipetkov/conch-runtime
-1. https://www.spinellis.gr/sw/dgsh/
+0. [Magritte: A Language for Pipe-Based Programming](http://files.jneen.net/academic/thesis.pdf)
+0. https://latacora.singles/2018/06/21/loud-subshells.html
+0. https://github.com/ipetkov/conch-runtime
+0. https://www.spinellis.gr/sw/dgsh/
# File-system
-1. https://medium.com/@siddontang/use-fuse-to-inject-failure-to-i-o-deb5f2e7800a
-1. [Spiffy: Enabling File-System Aware Storage Applications](https://www.usenix.org/conference/fast18/presentation/sun)
-1. https://github.com/bindh3x/libnicko
-1. https://github.com/floyernick/fleep-py
-1. https://brauner.github.io/2018/08/05/unprivileged-file-capabilities.html
-1. http://louwrentius.com/the-sorry-state-of-cow-file-systems.html
-1. https://www.notthewizard.com/2014/06/17/are-files-appends-really-atomic/
-1. https://medium.com/datadriveninvestor/writing-your-own-file-system-is-not-as-hard-as-you-may-think-aa4af09329cd
-1. http://www.betrfs.org/
-1. https://docs.microsoft.com/en-us/windows/desktop/projfs/projected-file-system
-1. [The Lustre Storage Architecture](https://arxiv.org/abs/1903.01955)
+0. https://medium.com/@siddontang/use-fuse-to-inject-failure-to-i-o-deb5f2e7800a
+0. [Spiffy: Enabling File-System Aware Storage Applications](https://www.usenix.org/conference/fast18/presentation/sun)
+0. https://github.com/bindh3x/libnicko
+0. https://github.com/floyernick/fleep-py
+0. https://brauner.github.io/2018/08/05/unprivileged-file-capabilities.html
+0. http://louwrentius.com/the-sorry-state-of-cow-file-systems.html
+0. https://www.notthewizard.com/2014/06/17/are-files-appends-really-atomic/
+0. https://medium.com/datadriveninvestor/writing-your-own-file-system-is-not-as-hard-as-you-may-think-aa4af09329cd
+0. http://www.betrfs.org/
+0. https://docs.microsoft.com/en-us/windows/desktop/projfs/projected-file-system
+0. [The Lustre Storage Architecture](https://arxiv.org/abs/1903.01955)
# Shared libraries | Dynamic Loading
-1. https://amir.rachum.com/blog/2016/09/17/shared-libraries/
-1. https://www.kix.in/2008/06/19/an-alternative-to-shared-libraries/
-1. https://www.akkadia.org/drepper/no_static_linking.html
-1. https://amir.rachum.com/blog/2016/09/17/shared-libraries/
+0. https://amir.rachum.com/blog/2016/09/17/shared-libraries/
+0. https://www.kix.in/2008/06/19/an-alternative-to-shared-libraries/
+0. https://www.akkadia.org/drepper/no_static_linking.html
+0. https://amir.rachum.com/blog/2016/09/17/shared-libraries/
# Packages
-1. [Piotr Gaczkowski - Nix -- the functional package manager - Lambda Days 2020](https://www.youtube.com/watch?v=6AvwC25fd_U)
-1. https://snapcraft.io/
-1. https://code.fb.com/data-infrastructure/xars-a-more-efficient-open-source-system-for-self-contained-executables/
+0. [Piotr Gaczkowski - Nix -- the functional package manager - Lambda Days 2020](https://www.youtube.com/watch?v=6AvwC25fd_U)
+0. https://snapcraft.io/
+0. https://code.fb.com/data-infrastructure/xars-a-more-efficient-open-source-system-for-self-contained-executables/
# System Calls
-1. [1001 Ways of Implementing a System Call](https://x86.lol/generic/2019/07/04/kernel-entry.html)
-1. https://eli.thegreenplace.net/2018/basics-of-futexes/
-1. [FlexSC: Flexible System Call Scheduling with Exception-Less System Calls](https://www.usenix.org/legacy/event/osdi10/tech/full_papers/Soares.pdf)
+0. [1001 Ways of Implementing a System Call](https://x86.lol/generic/2019/07/04/kernel-entry.html)
+0. https://eli.thegreenplace.net/2018/basics-of-futexes/
+0. [FlexSC: Flexible System Call Scheduling with Exception-Less System Calls](https://www.usenix.org/legacy/event/osdi10/tech/full_papers/Soares.pdf)
# Security
-1. https://en.wikipedia.org/wiki/Reference_monitor
-1. [FINE-CFI: Fine-grained Control-Flow Integrity for Operating System Kernels](http://www.cs.wayne.edu/fengwei/paper/fine-cfi-tifs18.pdf)
-1. https://unsat.cs.washington.edu/projects/hyperkernel/
-1. [Capsicum](https://oshogbo.vexillium.org/blog/57/)
-1. [OS-level Attacks and Defenses: from Software to Hardware-based Exploits](http://tuprints.ulb.tu-darmstadt.de/8482/1/gens_diss.pdf)
-1. [Time Protection: The Missing OS Abstraction](https://ts.data61.csiro.au/publications/csiro_full_text//Ge_YCH_19.pdf)
-1. [Light-weight Contexts: An OS Abstraction for Safety and Performance](https://www.usenix.org/system/files/conference/osdi16/osdi16-litton.pdf)
-1. https://natsys-lab.blogspot.com/2019/05/goodbye-fast-system-calls.html
+0. https://en.wikipedia.org/wiki/Reference_monitor
+0. [FINE-CFI: Fine-grained Control-Flow Integrity for Operating System Kernels](http://www.cs.wayne.edu/fengwei/paper/fine-cfi-tifs18.pdf)
+0. https://unsat.cs.washington.edu/projects/hyperkernel/
+0. [Capsicum](https://oshogbo.vexillium.org/blog/57/)
+0. [OS-level Attacks and Defenses: from Software to Hardware-based Exploits](http://tuprints.ulb.tu-darmstadt.de/8482/1/gens_diss.pdf)
+0. [Time Protection: The Missing OS Abstraction](https://ts.data61.csiro.au/publications/csiro_full_text//Ge_YCH_19.pdf)
+0. [Light-weight Contexts: An OS Abstraction for Safety and Performance](https://www.usenix.org/system/files/conference/osdi16/osdi16-litton.pdf)
+0. https://natsys-lab.blogspot.com/2019/05/goodbye-fast-system-calls.html
# Driver
-1. https://blogs.windows.com/buildingapps/2018/08/15/introducing-driver-module-framework/#J6CWEbpcH0OwgWbP.97
-1. [Toward Compositional Verification of Interruptible OS Kernels and Device Drivers](http://flint.cs.yale.edu/flint/publications/device-journal.pdf)
-1. [Writing Network Drivers in Haskell](https://www.net.in.tum.de/fileadmin/bibtex/publications/theses/2019-ixy-haskell.pdf)
+0. https://blogs.windows.com/buildingapps/2018/08/15/introducing-driver-module-framework/#J6CWEbpcH0OwgWbP.97
+0. [Toward Compositional Verification of Interruptible OS Kernels and Device Drivers](http://flint.cs.yale.edu/flint/publications/device-journal.pdf)
+0. [Writing Network Drivers in Haskell](https://www.net.in.tum.de/fileadmin/bibtex/publications/theses/2019-ixy-haskell.pdf)
# Networking
-1. [Computer Networks: A Systems Approach](https://github.com/SystemsApproach/book)
+0. [Computer Networks: A Systems Approach](https://github.com/SystemsApproach/book)
# Kernel
-1. [A new kernel polling interface](https://lwn.net/Articles/743714/)
-1. [Composing Abstractions using the null-Kernel](https://people.mpi-sws.org/~dg/papers/hotosxvii.pdf)
+0. [A new kernel polling interface](https://lwn.net/Articles/743714/)
+0. [Composing Abstractions using the null-Kernel](https://people.mpi-sws.org/~dg/papers/hotosxvii.pdf)
# I/O
-1. [The block I/O latency controller](https://lwn.net/Articles/758963/)
-1. [I/O Is Faster Than the CPU – Let’s Partition Resources and Eliminate (Most) OS Abstractions](https://penberg.org/parakernel-hotos19.pdf)
+0. [The block I/O latency controller](https://lwn.net/Articles/758963/)
+0. [I/O Is Faster Than the CPU – Let’s Partition Resources and Eliminate (Most) OS Abstractions](https://penberg.org/parakernel-hotos19.pdf)
# Init System
-1. https://davmac.wordpress.com/2018/10/26/on-the-vagaries-of-init-systems/
+0. https://davmac.wordpress.com/2018/10/26/on-the-vagaries-of-init-systems/
# Homogeneous Operating Systems
-1. https://ecc-comp.blogspot.com/2014/12/homogeneous-operating-systems-are-better.html
+0. https://ecc-comp.blogspot.com/2014/12/homogeneous-operating-systems-are-better.html
# Update System
-1. https://theupdateframework.github.io/overview.html
+0. https://theupdateframework.github.io/overview.html
# Signal
-1. http://delyan.me/code-review-signals/
+0. http://delyan.me/code-review-signals/
# Daemon
-1. https://chaoticlab.io/c/c++/unix/2018/10/01/daemonize.html
+0. https://chaoticlab.io/c/c++/unix/2018/10/01/daemonize.html
# Memory
-1. [Memory Systems and Memory-Centric Computing Systems](http://people.inf.ethz.ch/omutlu/acaces2018.html)
-1. https://en.wikipedia.org/wiki/Page_replacement_algorithm
-1. [Compress Objects, Not Cache Lines:An Object-Based Compressed Memory Hierarchy](https://people.csail.mit.edu/poantsai/papers/2019.zippads.asplos.pdf)
+0. [Memory Systems and Memory-Centric Computing Systems](http://people.inf.ethz.ch/omutlu/acaces2018.html)
+0. https://en.wikipedia.org/wiki/Page_replacement_algorithm
+0. [Compress Objects, Not Cache Lines:An Object-Based Compressed Memory Hierarchy](https://people.csail.mit.edu/poantsai/papers/2019.zippads.asplos.pdf)
# Hardware
-1. [There's No Such Thing as a General-purpose Processor](https://queue.acm.org/detail.cfm?id=2687011)
+0. [There's No Such Thing as a General-purpose Processor](https://queue.acm.org/detail.cfm?id=2687011)
# Reliability
-1. [CuriOS: Improving Reliability through Operating System Structure](http://people.cs.ksu.edu/~danielwang/Investigation/System_Security/curios.pdf)
+0. [CuriOS: Improving Reliability through Operating System Structure](http://people.cs.ksu.edu/~danielwang/Investigation/System_Security/curios.pdf)
# Booting | Bootstrapping
-1. https://puri.sm/posts/pureboot-the-high-security-boot-process/
+0. https://puri.sm/posts/pureboot-the-high-security-boot-process/
# Virtualization
-1. [virtio: Towards a De-Facto Standard For Virtual I/O Devices](https://www.ozlabs.org/~rusty/virtio-spec/virtio-paper.pdf)
+0. [virtio: Towards a De-Facto Standard For Virtual I/O Devices](https://www.ozlabs.org/~rusty/virtio-spec/virtio-paper.pdf)
# Separation kernel
-1. [High-Assurance Separation Kernels: A Survey on Formal Methods](https://arxiv.org/abs/1701.01535)
+0. [High-Assurance Separation Kernels: A Survey on Formal Methods](https://arxiv.org/abs/1701.01535)
diff --git a/documentation/bookmark/optimization.md b/documentation/bookmark/optimization.md
index 3df2cd1ae..b3d61c084 100644
--- a/documentation/bookmark/optimization.md
+++ b/documentation/bookmark/optimization.md
@@ -31,6 +31,7 @@
# Reference
+0. [Algorithms for Modern Hardware](https://en.algorithmica.org/hpc/)
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)
diff --git a/documentation/bookmark/optimization/memoization.md b/documentation/bookmark/optimization/memoization.md
new file mode 100644
index 000000000..62c0bb9db
--- /dev/null
+++ b/documentation/bookmark/optimization/memoization.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. [Skip: A programming language to skip the things you have already computed](http://skiplang.com/)
+0. https://github.com/skiplang/skip
+