From 7db42ab1b9d3c764772ca63c74bf44bb2b8b8325 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 9 Jul 2022 14:35:38 -0400 Subject: First-class programs instead of having a "lux program" extension. --- documentation/bookmark/memory_management/reference_counting.md | 1 + documentation/bookmark/methodology.md | 5 ----- documentation/bookmark/security/data.md | 5 +++++ documentation/bookmark/software/methodology.md | 7 +++++++ documentation/bookmark/type_theory/set.md | 7 +++++++ documentation/bookmark/type_theory/union_and_intersection.md | 5 ----- documentation/bookmark/web_framework.md | 1 + 7 files changed, 21 insertions(+), 10 deletions(-) delete mode 100644 documentation/bookmark/methodology.md create mode 100644 documentation/bookmark/security/data.md create mode 100644 documentation/bookmark/software/methodology.md create mode 100644 documentation/bookmark/type_theory/set.md delete mode 100644 documentation/bookmark/type_theory/union_and_intersection.md (limited to 'documentation/bookmark') 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/set.md b/documentation/bookmark/type_theory/set.md new file mode 100644 index 000000000..aa8abc587 --- /dev/null +++ b/documentation/bookmark/type_theory/set.md @@ -0,0 +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/type_theory/union_and_intersection.md b/documentation/bookmark/type_theory/union_and_intersection.md deleted file mode 100644 index 3f053f60b..000000000 --- a/documentation/bookmark/type_theory/union_and_intersection.md +++ /dev/null @@ -1,5 +0,0 @@ -# Reference - -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) -- cgit v1.2.3