From 09a29c952edb851e13edd454bd118c1c1ae83ade Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 25 Nov 2022 01:26:00 -0400 Subject: Added support for saturation arithmetic. --- documentation/bookmark/abstract_interpretation.md | 5 +++-- documentation/bookmark/biological_engineering.md | 4 ++++ documentation/bookmark/business/billing.md | 1 + documentation/bookmark/compiler/optimization.md | 8 ++++++++ documentation/bookmark/food.md | 4 +++- documentation/bookmark/math/geometry/computational.md | 1 + documentation/bookmark/meta_programming/reflection.md | 4 ++++ documentation/bookmark/optimization/compiler.md | 6 ------ documentation/bookmark/real_time_programming.md | 1 + documentation/bookmark/runtime_code_manipulation.md | 4 ++++ documentation/bookmark/software/dependency_management.md | 4 ++++ documentation/bookmark/type_theory/soundness.md | 4 ++++ documentation/bookmark/user_interface/container/tree_view.md | 4 ++++ 13 files changed, 41 insertions(+), 9 deletions(-) create mode 100644 documentation/bookmark/biological_engineering.md create mode 100644 documentation/bookmark/compiler/optimization.md create mode 100644 documentation/bookmark/meta_programming/reflection.md delete mode 100644 documentation/bookmark/optimization/compiler.md create mode 100644 documentation/bookmark/runtime_code_manipulation.md create mode 100644 documentation/bookmark/software/dependency_management.md create mode 100644 documentation/bookmark/type_theory/soundness.md create mode 100644 documentation/bookmark/user_interface/container/tree_view.md (limited to 'documentation/bookmark') diff --git a/documentation/bookmark/abstract_interpretation.md b/documentation/bookmark/abstract_interpretation.md index ce790a93b..cddd6efba 100644 --- a/documentation/bookmark/abstract_interpretation.md +++ b/documentation/bookmark/abstract_interpretation.md @@ -1,5 +1,6 @@ # Reference -1. [Principles of Abstract Interpretation](https://mitpress.mit.edu/books/principles-abstract-interpretation) -1. ["Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng](https://www.youtube.com/watch?v=_fA7vkVJhF8) +0. [SSA Translation is an Abstract Interpretation](https://binsec.github.io/assets/publications/papers/2023-popl-full-with-appendices.pdf) +0. [Principles of Abstract Interpretation](https://mitpress.mit.edu/books/principles-abstract-interpretation) +0. ["Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng](https://www.youtube.com/watch?v=_fA7vkVJhF8) diff --git a/documentation/bookmark/biological_engineering.md b/documentation/bookmark/biological_engineering.md new file mode 100644 index 000000000..7533eebc4 --- /dev/null +++ b/documentation/bookmark/biological_engineering.md @@ -0,0 +1,4 @@ +# Reference + +0. [Metabolic engineering](https://en.wikipedia.org/wiki/Metabolic_engineering) + diff --git a/documentation/bookmark/business/billing.md b/documentation/bookmark/business/billing.md index 5668af3b4..4449d3752 100644 --- a/documentation/bookmark/business/billing.md +++ b/documentation/bookmark/business/billing.md @@ -1,4 +1,5 @@ # Reference 0. [Engineers need open source to end their billing nightmares](https://www.getlago.com/blog/engineers-need-open-source-to-end-their-billing-nightmares) +0. [Lago: Open Source Metering & Usage-Based Billing](https://github.com/getlago/lago) diff --git a/documentation/bookmark/compiler/optimization.md b/documentation/bookmark/compiler/optimization.md new file mode 100644 index 000000000..ee0524cad --- /dev/null +++ b/documentation/bookmark/compiler/optimization.md @@ -0,0 +1,8 @@ +# Reference + +0. [Common subexpression elimination](https://en.wikipedia.org/wiki/Common_subexpression_elimination) +0. [Partial-redundancy elimination](https://en.wikipedia.org/wiki/Partial-redundancy_elimination) +0. [Value numbering](https://en.wikipedia.org/wiki/Value_numbering) +0. [Compiler Optimizations](https://compileroptimizations.com/) +0. [The Exo Language](https://exo-lang.dev/) + diff --git a/documentation/bookmark/food.md b/documentation/bookmark/food.md index cbd63febe..f989424fe 100644 --- a/documentation/bookmark/food.md +++ b/documentation/bookmark/food.md @@ -1,6 +1,8 @@ # Reference -0. []() +0. [](https://www.rebootfood.org/) +0. [Edible Microorganisms—An Overlooked Technology Option to Counteract Agricultural Expansion](https://www.frontiersin.org/articles/10.3389/fsufs.2019.00032/full) +0. [The truffle industry is a big scam. Not just truffle oil, everything](https://www.tasteatlas.com/truffle-industry-is-a-big-scam) 0. [Ikejime](https://en.wikipedia.org/wiki/Ikejime) 0. [Redefine Meat](https://www.redefinemeat.com/) 0. [Solar Foods](https://solarfoods.com/) diff --git a/documentation/bookmark/math/geometry/computational.md b/documentation/bookmark/math/geometry/computational.md index 846b1556c..51ad85d34 100644 --- a/documentation/bookmark/math/geometry/computational.md +++ b/documentation/bookmark/math/geometry/computational.md @@ -1,4 +1,5 @@ # Reference +0. [Computational Geometry Algorithms Library](https://www.cgal.org/) 0. [Primitives for Computational Geometry](https://graphics.stanford.edu/courses/cs348a-17-winter/Papers/Stolfi_Primitives_DECSRC_Report.pdf) diff --git a/documentation/bookmark/meta_programming/reflection.md b/documentation/bookmark/meta_programming/reflection.md new file mode 100644 index 000000000..19653b5cd --- /dev/null +++ b/documentation/bookmark/meta_programming/reflection.md @@ -0,0 +1,4 @@ +# Reference + +0. [Mirrors: Design Principles for Meta-level Facilities of Object-Oriented Programming Languages](http://bracha.org/mirrors.pdf) + diff --git a/documentation/bookmark/optimization/compiler.md b/documentation/bookmark/optimization/compiler.md deleted file mode 100644 index 4c1f525c3..000000000 --- a/documentation/bookmark/optimization/compiler.md +++ /dev/null @@ -1,6 +0,0 @@ -# Reference - -0. []() -0. [Compiler Optimizations](https://compileroptimizations.com/) -0. [The Exo Language](https://exo-lang.dev/) - diff --git a/documentation/bookmark/real_time_programming.md b/documentation/bookmark/real_time_programming.md index 9537a805e..9e0dd3097 100644 --- a/documentation/bookmark/real_time_programming.md +++ b/documentation/bookmark/real_time_programming.md @@ -1,4 +1,5 @@ # Reference +0. [Using locks in real-time audio processing, safely](https://timur.audio/using-locks-in-real-time-audio-processing-safely) 0. [Real-time Programming with the C++ Standard Library - Timur Doumler - CppCon 2021](https://www.youtube.com/watch?v=Tof5pRedskI) diff --git a/documentation/bookmark/runtime_code_manipulation.md b/documentation/bookmark/runtime_code_manipulation.md new file mode 100644 index 000000000..b857feb65 --- /dev/null +++ b/documentation/bookmark/runtime_code_manipulation.md @@ -0,0 +1,4 @@ +# Reference + +0. [DynamoRIO](https://dynamorio.org/) + diff --git a/documentation/bookmark/software/dependency_management.md b/documentation/bookmark/software/dependency_management.md new file mode 100644 index 000000000..91c88af62 --- /dev/null +++ b/documentation/bookmark/software/dependency_management.md @@ -0,0 +1,4 @@ +# Reference + +0. [Optional dependencies don’t work](https://michael.stapelberg.ch/posts/2019-05-23-optional-dependencies/) + diff --git a/documentation/bookmark/type_theory/soundness.md b/documentation/bookmark/type_theory/soundness.md new file mode 100644 index 000000000..1a63d68ad --- /dev/null +++ b/documentation/bookmark/type_theory/soundness.md @@ -0,0 +1,4 @@ +# Reference + +0. [A Logical Approach to Type Soundness](https://iris-project.org/pdfs/2022-submitted-logical-type-soundness.pdf) + diff --git a/documentation/bookmark/user_interface/container/tree_view.md b/documentation/bookmark/user_interface/container/tree_view.md new file mode 100644 index 000000000..549460746 --- /dev/null +++ b/documentation/bookmark/user_interface/container/tree_view.md @@ -0,0 +1,4 @@ +# Reference + +0. [Tree views in CSS](https://iamkate.com/code/tree-views/) + -- cgit v1.2.3