First-class programs instead of having a "lux program" extension.

6 files changed, 16 insertions, 5 deletions

diff --git a/documentation/bookmark/memory_management/reference_counting.md b/documentation/bookmark/memory_management/reference_counting.md
index 024713c2f..2601bad95 100644
--- a/documentation/bookmark/memory_management/reference_counting.md
+++ b/documentation/bookmark/memory_management/reference_counting.md
@@ -1,6 +1,7 @@
 # Reference
 
 0. []()
+0. [Reference Counting with Frame Limited Reuse (extended version, v2)](https://www.microsoft.com/en-us/research/publication/reference-counting-with-frame-limited-reuse-extended-version/)
 0. [Implementing the Perceus reference counting GC](https://dev.to/raviqqe/implementing-the-perceus-reference-counting-gc-5662)
 0. [Perceus: Garbage Free Reference Counting with Reuse (Extended version)](https://www.microsoft.com/en-us/research/publication/perceus-garbage-free-reference-counting-with-reuse/)
 0. [StaticRc](https://github.com/matthieu-m/static-rc)
diff --git a/documentation/bookmark/methodology.md b/documentation/bookmark/methodology.md
deleted file mode 100644
index 63e770046..000000000
--- a/documentation/bookmark/methodology.md
+++ /dev/null
@@ -1,5 +0,0 @@
-# Reference
-
-1. [Managing developer identities in autonomous teams](https://kislayverma.com/organizations/managing-developer-identities-in-autonomous-teams/)
-1. [Risk-First](https://riskfirst.org/)
-
diff --git a/documentation/bookmark/security/data.md b/documentation/bookmark/security/data.md
new file mode 100644
index 000000000..d80f51f2d
--- /dev/null
+++ b/documentation/bookmark/security/data.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. []()
+0. [Enarx: WebAssembly + Confidential Computing](https://enarx.dev/)
+
diff --git a/documentation/bookmark/software/methodology.md b/documentation/bookmark/software/methodology.md
new file mode 100644
index 000000000..a5e2384a4
--- /dev/null
+++ b/documentation/bookmark/software/methodology.md
@@ -0,0 +1,7 @@
+# Reference
+
+0. []()
+0. [Rugged Software](https://ruggedsoftware.org/)
+0. [Managing developer identities in autonomous teams](https://kislayverma.com/organizations/managing-developer-identities-in-autonomous-teams/)
+0. [Risk-First](https://riskfirst.org/)
+
diff --git a/documentation/bookmark/type_theory/union_and_intersection.md b/documentation/bookmark/type_theory/set.md
index 3f053f60b..aa8abc587 100644
--- a/documentation/bookmark/type_theory/union_and_intersection.md
+++ b/documentation/bookmark/type_theory/set.md
@@ -1,5 +1,7 @@
 # Reference
 
+0. []()
+0. [Programming with union, intersection, and negation types](https://arxiv.org/abs/2111.03354)
 0. [Union and intersection contracts are hard, actually](https://www.tweag.io/blog/2022-04-28-union-intersection-contracts/)
 	0. [Union and intersection contracts are hard, actually](https://arxiv.org/abs/2106.06278)
 
diff --git a/documentation/bookmark/web_framework.md b/documentation/bookmark/web_framework.md
index 08b1aacd0..1163c8ee0 100644
--- a/documentation/bookmark/web_framework.md
+++ b/documentation/bookmark/web_framework.md
@@ -18,6 +18,7 @@
 # Reference
 
 0. []()
+0. [Functional UI](https://take.surf/2022/07/04/functional-ui)
 0. [UIs Are Not Pure Functions of the Model - React.js and Cocoa Side by Side](https://blog.metaobject.com/2018/12/uis-are-not-pure-functions-of-model.html)
 0. [UIs are streaming DAGs](https://hyperfiddle.notion.site/UIs-are-streaming-DAGs-e181461681a8452bb9c7a9f10f507991)
 0. [You Might Not Need an Effect](https://beta-reactjs-org-git-you-might-not-fbopensource.vercel.app/learn/you-might-not-need-an-effect)