diff options
author | Eduardo Julian | 2022-07-09 14:35:38 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-09 14:35:38 -0400 |
commit | 7db42ab1b9d3c764772ca63c74bf44bb2b8b8325 (patch) | |
tree | bd1c865dea0902790f3e462cec4f9bc8d8ae428f /documentation | |
parent | fc2737b5226eda69c12bc593e83e22ed54e4d3af (diff) |
First-class programs instead of having a "lux program" extension.
Diffstat (limited to '')
-rw-r--r-- | documentation/bookmark/memory_management/reference_counting.md | 1 | ||||
-rw-r--r-- | documentation/bookmark/methodology.md | 5 | ||||
-rw-r--r-- | documentation/bookmark/security/data.md | 5 | ||||
-rw-r--r-- | documentation/bookmark/software/methodology.md | 7 | ||||
-rw-r--r-- | documentation/bookmark/type_theory/set.md (renamed from documentation/bookmark/type_theory/union_and_intersection.md) | 2 | ||||
-rw-r--r-- | documentation/bookmark/web_framework.md | 1 |
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) |