From 4ea7563c46a07dbe1cb84547a60e9398144917ae Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 16 Nov 2022 23:17:45 -0400 Subject: Added generic logging abstraction/machinery. --- documentation/bookmark/analysis/static/separation_logic.md | 4 ++++ documentation/bookmark/bookmarklet.md | 4 ++++ documentation/bookmark/css.md | 2 +- documentation/bookmark/data/structure/probabilistic/cuckoo_filter.md | 5 +++++ documentation/bookmark/database/local.md | 4 ++++ documentation/bookmark/design/input.md | 3 ++- documentation/bookmark/error/message.md | 1 + documentation/bookmark/game/platform/ps2__playstation_2.md | 4 ++++ documentation/bookmark/observability.md | 4 ++++ documentation/bookmark/optimization/condensation.md | 4 ++++ documentation/bookmark/optimization/low_level/x86.md | 4 ++++ documentation/bookmark/paradigm/probabilistic_programming.md | 1 + documentation/bookmark/research/data.md | 4 ++++ documentation/bookmark/security/ifc__information_flow_control.md | 5 +++++ documentation/bookmark/software/modifiability.md | 4 ++++ documentation/bookmark/state_machine/behavior_tree.md | 4 ++++ 16 files changed, 55 insertions(+), 2 deletions(-) create mode 100644 documentation/bookmark/analysis/static/separation_logic.md create mode 100644 documentation/bookmark/bookmarklet.md create mode 100644 documentation/bookmark/data/structure/probabilistic/cuckoo_filter.md create mode 100644 documentation/bookmark/database/local.md create mode 100644 documentation/bookmark/game/platform/ps2__playstation_2.md create mode 100644 documentation/bookmark/observability.md create mode 100644 documentation/bookmark/optimization/condensation.md create mode 100644 documentation/bookmark/optimization/low_level/x86.md create mode 100644 documentation/bookmark/research/data.md create mode 100644 documentation/bookmark/security/ifc__information_flow_control.md create mode 100644 documentation/bookmark/software/modifiability.md create mode 100644 documentation/bookmark/state_machine/behavior_tree.md (limited to 'documentation/bookmark') diff --git a/documentation/bookmark/analysis/static/separation_logic.md b/documentation/bookmark/analysis/static/separation_logic.md new file mode 100644 index 000000000..9541dc47a --- /dev/null +++ b/documentation/bookmark/analysis/static/separation_logic.md @@ -0,0 +1,4 @@ +# Reference + +0. [A Primer on Separation Logic (and Automatic Program Verification and Analysis)](http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/Marktoberdorf11LectureNotes.pdf) + diff --git a/documentation/bookmark/bookmarklet.md b/documentation/bookmark/bookmarklet.md new file mode 100644 index 000000000..8fd9b7204 --- /dev/null +++ b/documentation/bookmark/bookmarklet.md @@ -0,0 +1,4 @@ +# Reference + +0. [Bookmarkleter](https://chriszarate.github.io/bookmarkleter/) + diff --git a/documentation/bookmark/css.md b/documentation/bookmark/css.md index 6a9301265..48f61e3e9 100644 --- a/documentation/bookmark/css.md +++ b/documentation/bookmark/css.md @@ -1,10 +1,10 @@ # Methodology -0. []() 0. [CUBE CSS](https://cube.fyi/) # Reference +0. [CSS-Only Type Grinding: Casting Tokens (sm|md|etc) into Useful Values](https://www.bitovi.com/blog/css-only-type-grinding-casting-tokens-into-useful-values) 0. [CSS Classes considered harmful](https://www.keithcirkel.co.uk/css-classes-considered-harmful/) 0. [Meet the top layer: a solution to z-index:10000](https://developer.chrome.com/blog/what-is-the-top-layer/) 0. [Not All Zeros are Equal: And every ‘best practice’ comes with caveats](https://www.oddbird.net/2022/08/04/zero-units/) diff --git a/documentation/bookmark/data/structure/probabilistic/cuckoo_filter.md b/documentation/bookmark/data/structure/probabilistic/cuckoo_filter.md new file mode 100644 index 000000000..0162b2a4b --- /dev/null +++ b/documentation/bookmark/data/structure/probabilistic/cuckoo_filter.md @@ -0,0 +1,5 @@ +# Reference + +0. [Cuckoo Filter: Practically Better Than Bloom](https://www.eecs.harvard.edu/~michaelm/postscripts/cuckoo-conext2014.pdf) +0. [Cuckoo Hashing and Cuckoo Filters](https://www.cs.toronto.edu/~noahfleming/CuckooHashing.pdf) + diff --git a/documentation/bookmark/database/local.md b/documentation/bookmark/database/local.md new file mode 100644 index 000000000..358a1b200 --- /dev/null +++ b/documentation/bookmark/database/local.md @@ -0,0 +1,4 @@ +# Reference + +0. [In Search of a Local-First Database](https://jaredforsyth.com/posts/in-search-of-a-local-first-database/) + diff --git a/documentation/bookmark/design/input.md b/documentation/bookmark/design/input.md index 23eefcbe9..e5a4aeaf9 100644 --- a/documentation/bookmark/design/input.md +++ b/documentation/bookmark/design/input.md @@ -1,5 +1,6 @@ # Reference -0. []() +0. [Pitfalls of debounced functions](https://www.shukantpal.com/blog/software/pitfalls-of-debounced-functions/) +0. [Should required fields be marked?](https://user-interface.io/should-required-fields-be-marked/) 0. [A WEB COMPONENT FOR MATH INPUT](https://cortexjs.io/mathlive/) diff --git a/documentation/bookmark/error/message.md b/documentation/bookmark/error/message.md index 62c93e8dd..b9c2af76b 100644 --- a/documentation/bookmark/error/message.md +++ b/documentation/bookmark/error/message.md @@ -1,5 +1,6 @@ # Reference +0. [When life gives you lemons, write better error messages: When it comes to error handling, it truly is a team sport](https://wix-ux.com/when-life-gives-you-lemons-write-better-error-messages-46c5223e1a2f) 0. [Rethinking errors, warnings, and lints](http://neugierig.org/software/blog/2022/01/rethinking-errors.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) diff --git a/documentation/bookmark/game/platform/ps2__playstation_2.md b/documentation/bookmark/game/platform/ps2__playstation_2.md new file mode 100644 index 000000000..01eb7cb37 --- /dev/null +++ b/documentation/bookmark/game/platform/ps2__playstation_2.md @@ -0,0 +1,4 @@ +# Reference + +0. [Tyra: Open source game engine for PlayStation 2™](https://github.com/h4570/tyra) + diff --git a/documentation/bookmark/observability.md b/documentation/bookmark/observability.md new file mode 100644 index 000000000..29e9ab3a9 --- /dev/null +++ b/documentation/bookmark/observability.md @@ -0,0 +1,4 @@ +# Reference + +0. [jHiccup: a non-intrusive instrumentation tool that logs and records platform "hiccups"](https://github.com/giltene/jHiccup) + diff --git a/documentation/bookmark/optimization/condensation.md b/documentation/bookmark/optimization/condensation.md new file mode 100644 index 000000000..180120120 --- /dev/null +++ b/documentation/bookmark/optimization/condensation.md @@ -0,0 +1,4 @@ +# Reference + +0. [Selectively Shifting and Constraining Computation](https://openjdk.org/projects/leyden/notes/02-shift-and-constrain) + diff --git a/documentation/bookmark/optimization/low_level/x86.md b/documentation/bookmark/optimization/low_level/x86.md new file mode 100644 index 000000000..583649e28 --- /dev/null +++ b/documentation/bookmark/optimization/low_level/x86.md @@ -0,0 +1,4 @@ +# Reference + +0. [Optimizing subroutines in assembly language: An optimization guide for x86 platforms](https://www.agner.org/optimize/optimizing_assembly.pdf) + diff --git a/documentation/bookmark/paradigm/probabilistic_programming.md b/documentation/bookmark/paradigm/probabilistic_programming.md index f1a46d27b..5a03479e7 100644 --- a/documentation/bookmark/paradigm/probabilistic_programming.md +++ b/documentation/bookmark/paradigm/probabilistic_programming.md @@ -15,6 +15,7 @@ # Reference +0. [Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation](https://proceedings.mlr.press/v15/wingate11a.html) 0. [Probabilistic programming with continuations](https://julesh.com/2020/08/15/probabilistic-programming-with-continuations/) 0. [Foundations of Probabilistic Programming](https://www.cambridge.org/core/books/foundations-of-probabilistic-programming/819623B1B5B33836476618AC0621F0EE) 0. [An unorthodox path for implementing a probabilistic programming language](http://hyperparameter.space/blog/an-unorthodox-path-for-implementing-a-probabilistic-programming-language/) diff --git a/documentation/bookmark/research/data.md b/documentation/bookmark/research/data.md new file mode 100644 index 000000000..cbc35f8c1 --- /dev/null +++ b/documentation/bookmark/research/data.md @@ -0,0 +1,4 @@ +# Reference + +0. [Academic Torrents](https://academictorrents.com/) + diff --git a/documentation/bookmark/security/ifc__information_flow_control.md b/documentation/bookmark/security/ifc__information_flow_control.md new file mode 100644 index 000000000..582021e80 --- /dev/null +++ b/documentation/bookmark/security/ifc__information_flow_control.md @@ -0,0 +1,5 @@ +# Reference + +0. [Language-Based Information-Flow Security](https://ifc-challenge.appspot.com/static/pdfs/jsac.pdf) +0. [Information Flow Control Challenge](https://ifc-challenge.appspot.com/) + diff --git a/documentation/bookmark/software/modifiability.md b/documentation/bookmark/software/modifiability.md new file mode 100644 index 000000000..48e707241 --- /dev/null +++ b/documentation/bookmark/software/modifiability.md @@ -0,0 +1,4 @@ +# Reference + +0. [An argument for self-modifying applications](https://macoy.me/blog/programming/SelfModifyingApplications) + diff --git a/documentation/bookmark/state_machine/behavior_tree.md b/documentation/bookmark/state_machine/behavior_tree.md new file mode 100644 index 000000000..a650c436c --- /dev/null +++ b/documentation/bookmark/state_machine/behavior_tree.md @@ -0,0 +1,4 @@ +# Reference + +0. [BehaviorTree.CPP](https://www.behaviortree.dev/) + -- cgit v1.2.3