diff options
Diffstat (limited to '')
| -rw-r--r-- | documentation/bookmark/business/compensation.md | 5 | ||||
| -rw-r--r-- | documentation/bookmark/business/sales/referral.md | 5 | ||||
| -rw-r--r-- | documentation/bookmark/compilation/target/c++.md | 1 | ||||
| -rw-r--r-- | documentation/bookmark/compilation/target/js__javascript.md | 1 | ||||
| -rw-r--r-- | documentation/bookmark/css.md | 2 | ||||
| -rw-r--r-- | documentation/bookmark/food.md | 1 | ||||
| -rw-r--r-- | documentation/bookmark/game/design.md | 5 | ||||
| -rw-r--r-- | documentation/bookmark/game/replayability.md | 5 | ||||
| -rw-r--r-- | documentation/bookmark/operating_system.md | 35 | ||||
| -rw-r--r-- | documentation/bookmark/security/verification/formal.md | 2 |
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) |