aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/bookmark')
-rw-r--r--documentation/bookmark/abstract_interpretation.md5
-rw-r--r--documentation/bookmark/biological_engineering.md4
-rw-r--r--documentation/bookmark/business/billing.md1
-rw-r--r--documentation/bookmark/compiler/optimization.md8
-rw-r--r--documentation/bookmark/food.md4
-rw-r--r--documentation/bookmark/math/geometry/computational.md1
-rw-r--r--documentation/bookmark/meta_programming/reflection.md4
-rw-r--r--documentation/bookmark/optimization/compiler.md6
-rw-r--r--documentation/bookmark/real_time_programming.md1
-rw-r--r--documentation/bookmark/runtime_code_manipulation.md4
-rw-r--r--documentation/bookmark/software/dependency_management.md4
-rw-r--r--documentation/bookmark/type_theory/soundness.md4
-rw-r--r--documentation/bookmark/user_interface/container/tree_view.md4
13 files changed, 41 insertions, 9 deletions
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/)
+