aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--documentation/bookmark/business/compensation.md5
-rw-r--r--documentation/bookmark/business/sales/referral.md5
-rw-r--r--documentation/bookmark/compilation/target/c++.md1
-rw-r--r--documentation/bookmark/compilation/target/js__javascript.md1
-rw-r--r--documentation/bookmark/css.md2
-rw-r--r--documentation/bookmark/food.md1
-rw-r--r--documentation/bookmark/game/design.md5
-rw-r--r--documentation/bookmark/game/replayability.md5
-rw-r--r--documentation/bookmark/operating_system.md35
-rw-r--r--documentation/bookmark/security/verification/formal.md2
10 files changed, 62 insertions, 0 deletions
diff --git a/documentation/bookmark/business/compensation.md b/documentation/bookmark/business/compensation.md
new file mode 100644
index 000000000..8b6d02af4
--- /dev/null
+++ b/documentation/bookmark/business/compensation.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. []()
+0. [Compensation as a Reflection of Values](https://oxide.computer/blog/compensation-as-a-reflection-of-values)
+
diff --git a/documentation/bookmark/business/sales/referral.md b/documentation/bookmark/business/sales/referral.md
new file mode 100644
index 000000000..ea2edf7c4
--- /dev/null
+++ b/documentation/bookmark/business/sales/referral.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. []()
+0. [How to design a referral program](https://andrewchen.com/how-to-design-a-referral-program/)
+
diff --git a/documentation/bookmark/compilation/target/c++.md b/documentation/bookmark/compilation/target/c++.md
index 2e1c893ef..1a82f8212 100644
--- a/documentation/bookmark/compilation/target/c++.md
+++ b/documentation/bookmark/compilation/target/c++.md
@@ -23,6 +23,7 @@
# Reference
0. []()
+0. [The jank programming language](https://jank-lang.org/)
0. [Conan, the C/C++ Package Manager](https://conan.io/)
0. [C++ keywords: noexcept (since C++11)](https://en.cppreference.com/w/cpp/keyword/noexcept)
0. [alignas specifier (since C++11)](https://en.cppreference.com/w/cpp/language/alignas)
diff --git a/documentation/bookmark/compilation/target/js__javascript.md b/documentation/bookmark/compilation/target/js__javascript.md
index 6655cfa61..ea50f7f79 100644
--- a/documentation/bookmark/compilation/target/js__javascript.md
+++ b/documentation/bookmark/compilation/target/js__javascript.md
@@ -1,6 +1,7 @@
# Reference
0. []()
+0. [Optimizing for JavaScript is hard](https://jfmengels.net/optimizing-javascript-is-hard/)
0. [Roll your own JavaScript runtime](https://deno.com/blog/roll-your-own-javascript-runtime)
0. [How JavaScript Array Works Internally?](https://blog.gauravthakur.in/how-javascript-array-works-internally)
0. [Maybe you don't need Rust and WASM to speed up your JS ](https://mrale.ph/blog/2018/02/03/maybe-you-dont-need-rust-to-speed-up-your-js.html)
diff --git a/documentation/bookmark/css.md b/documentation/bookmark/css.md
index 50af40496..c1231143a 100644
--- a/documentation/bookmark/css.md
+++ b/documentation/bookmark/css.md
@@ -1,10 +1,12 @@
# Methodology
+0. []()
0. [CUBE CSS](https://cube.fyi/)
# Reference
0. []()
+0. [Not All Zeros are Equal: And every ‘best practice’ comes with caveats](https://www.oddbird.net/2022/08/04/zero-units/)
0. [Style scoping versus shadow DOM: which is fastest?](https://nolanlawson.com/2022/06/22/style-scoping-versus-shadow-dom-which-is-fastest/)
0. [Got Spaghetti Stylesheets? 4 Techniques for Managing CSS Complexity](https://blog.shimin.io/4-techniques-for-managing-css-complexity/)
0. [Why is :hover:after valid but not :after:hover? CSS Pseudo-Class and Pseudo-Element Selectors](https://blog.shimin.io/pseudo-class-and-pseudo-element-selectors/)
diff --git a/documentation/bookmark/food.md b/documentation/bookmark/food.md
index e46dbe88d..cbd63febe 100644
--- a/documentation/bookmark/food.md
+++ b/documentation/bookmark/food.md
@@ -1,6 +1,7 @@
# Reference
0. []()
+0. [Ikejime](https://en.wikipedia.org/wiki/Ikejime)
0. [Redefine Meat](https://www.redefinemeat.com/)
0. [Solar Foods](https://solarfoods.com/)
0. [Remilk](https://www.remilk.com/)
diff --git a/documentation/bookmark/game/design.md b/documentation/bookmark/game/design.md
new file mode 100644
index 000000000..05d3d9abb
--- /dev/null
+++ b/documentation/bookmark/game/design.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. []()
+0. [How to design an Abstract Strategy Board Game *Top 10 Mechanisms*](https://www.youtube.com/watch?v=fBWDfXE9xsU)
+
diff --git a/documentation/bookmark/game/replayability.md b/documentation/bookmark/game/replayability.md
new file mode 100644
index 000000000..ac9eefaed
--- /dev/null
+++ b/documentation/bookmark/game/replayability.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. []()
+0. [Replayability in Game Design](https://medium.com/super-jump/replayability-in-game-design-798fbb91a726)
+
diff --git a/documentation/bookmark/operating_system.md b/documentation/bookmark/operating_system.md
index 4b1b90904..9942aa1d2 100644
--- a/documentation/bookmark/operating_system.md
+++ b/documentation/bookmark/operating_system.md
@@ -1,17 +1,21 @@
# Code-generation
+0. []()
0. [It’s Time for a Modern Synthesis Kernel](https://blog.regehr.org/archives/1676)
# Intepreter
+0. []()
0. [Jitk: A Trustworthy In-Kernel Interpreter Infrastructure](https://css.csail.mit.edu/jitk/)
# Architecture
+0. []()
0. [TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines](https://arxiv.org/abs/1807.05308)
# Graphics | Rendering
+0. []()
0. [Text Rendering Hates You](https://gankra.github.io/blah/text-hates-you/)
0. https://fuchsia.googlesource.com/garnet/+/master/docs/ui/scenic.md
@@ -19,6 +23,7 @@
## Operating system
+0. []()
0. [Phantom - forward-thinking concept of OS that's not Linux derived](http://phantomos.org/)
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)
@@ -78,6 +83,7 @@
## Unikernel
+0. []()
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/
@@ -96,14 +102,18 @@
## Microkernel
+0. []()
0. [Snap: a Microkernel Approach to Host Networking](https://storage.googleapis.com/pub-tools-public-publication-data/pdf/36f0f9b41e969a00d75da7693571e988996c9f4c.pdf)
## Real-time
+0. []()
0. https://en.wikipedia.org/wiki/VxWorks
# Reference
+0. []()
+0. [Purely Functional Operating Systems](https://eighty-twenty.org/2022/06/23/henderson-functional-operating-systems-1982)
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/)
@@ -148,25 +158,30 @@
# Higher-Order
+0. []()
0. https://www.yoctoproject.org/
# Formats
+0. []()
0. http://iokit.racing/machotricks.pdf
# Error-handling
+0. []()
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
+0. []()
0. https://osquery.io/
0. https://github.com/facebook/osquery
# Shell
+0. []()
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
@@ -174,6 +189,7 @@
# File-system
+0. []()
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
@@ -188,6 +204,7 @@
# Shared libraries | Dynamic Loading
+0. []()
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
@@ -195,18 +212,21 @@
# Packages
+0. []()
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
+0. []()
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
+0. []()
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/
@@ -218,67 +238,82 @@
# Driver
+0. []()
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
+0. []()
0. [Computer Networks: A Systems Approach](https://github.com/SystemsApproach/book)
# Kernel
+0. []()
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
+0. []()
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
+0. []()
0. https://davmac.wordpress.com/2018/10/26/on-the-vagaries-of-init-systems/
# Homogeneous Operating Systems
+0. []()
0. https://ecc-comp.blogspot.com/2014/12/homogeneous-operating-systems-are-better.html
# Update System
+0. []()
0. https://theupdateframework.github.io/overview.html
# Signal
+0. []()
0. http://delyan.me/code-review-signals/
# Daemon
+0. []()
0. https://chaoticlab.io/c/c++/unix/2018/10/01/daemonize.html
# Memory
+0. []()
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
+0. []()
0. [There's No Such Thing as a General-purpose Processor](https://queue.acm.org/detail.cfm?id=2687011)
# Reliability
+0. []()
0. [CuriOS: Improving Reliability through Operating System Structure](http://people.cs.ksu.edu/~danielwang/Investigation/System_Security/curios.pdf)
# Booting | Bootstrapping
+0. []()
0. https://puri.sm/posts/pureboot-the-high-security-boot-process/
# Virtualization
+0. []()
0. [virtio: Towards a De-Facto Standard For Virtual I/O Devices](https://www.ozlabs.org/~rusty/virtio-spec/virtio-paper.pdf)
# Separation kernel
+0. []()
0. [High-Assurance Separation Kernels: A Survey on Formal Methods](https://arxiv.org/abs/1701.01535)
diff --git a/documentation/bookmark/security/verification/formal.md b/documentation/bookmark/security/verification/formal.md
index ed59c673a..c2e450d7e 100644
--- a/documentation/bookmark/security/verification/formal.md
+++ b/documentation/bookmark/security/verification/formal.md
@@ -1,4 +1,6 @@
# Reference
+0. []()
+0. [Certifying Interpreters in Racket](https://kmicinski.com/certifying-interpreters)
0. [Verifying Dynamic Trait Objects in Rust](https://www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-preprint.pdf)