From 6766be5427b1788a44e07151e3fabe33ec4f8b37 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 11 Mar 2022 05:52:21 -0400 Subject: Added an easy way to export Lux functionality to host programs (everywhere else). --- documentation/bookmark/back_end/c.md | 1 + documentation/bookmark/back_end/llvm.md | 4 ++ documentation/bookmark/batch.md | 4 ++ documentation/bookmark/documentation.md | 1 + documentation/bookmark/optics.md | 45 +++++++++++----------- documentation/bookmark/paradigm/object_oriented.md | 4 ++ documentation/bookmark/platform/node_js.md | 4 ++ documentation/bookmark/productivity.md | 4 ++ documentation/bookmark/reversible_computing.md | 4 ++ documentation/bookmark/security.md | 1 + documentation/bookmark/testing.md | 18 +++++---- documentation/bookmark/user_interface/graphic.md | 26 ++++++------- 12 files changed, 74 insertions(+), 42 deletions(-) create mode 100644 documentation/bookmark/back_end/llvm.md create mode 100644 documentation/bookmark/batch.md create mode 100644 documentation/bookmark/paradigm/object_oriented.md create mode 100644 documentation/bookmark/platform/node_js.md create mode 100644 documentation/bookmark/productivity.md create mode 100644 documentation/bookmark/reversible_computing.md (limited to 'documentation') diff --git a/documentation/bookmark/back_end/c.md b/documentation/bookmark/back_end/c.md index 71a372b3b..8e08e7326 100644 --- a/documentation/bookmark/back_end/c.md +++ b/documentation/bookmark/back_end/c.md @@ -1,5 +1,6 @@ # Reference +0. [Cello: High Level C](https://libcello.org/) 0. [C as a scripting language thanks to TinyCC](https://ciesie.com/post/tinycc_dynamic_compilation/) 0. [mlibc: Portable C standard library](https://github.com/managarm/mlibc) diff --git a/documentation/bookmark/back_end/llvm.md b/documentation/bookmark/back_end/llvm.md new file mode 100644 index 000000000..55a99f6e8 --- /dev/null +++ b/documentation/bookmark/back_end/llvm.md @@ -0,0 +1,4 @@ +# Reference + +0. [Taming Undefined Behavior in LLVM](https://www.cs.utah.edu/~regehr/papers/undef-pldi17.pdf) + diff --git a/documentation/bookmark/batch.md b/documentation/bookmark/batch.md new file mode 100644 index 000000000..596c72d23 --- /dev/null +++ b/documentation/bookmark/batch.md @@ -0,0 +1,4 @@ +# Reference + +0. [Automatically Process Your Operations in Bulk With Coroutines - Francesco Zoffoli - CppCon 2021](https://www.youtube.com/watch?v=XVZpTaYahdE) + diff --git a/documentation/bookmark/documentation.md b/documentation/bookmark/documentation.md index 8a76e9348..405bee172 100644 --- a/documentation/bookmark/documentation.md +++ b/documentation/bookmark/documentation.md @@ -31,6 +31,7 @@ # Philosophy +0. [What Makes Documentation Bad?](https://arunkprasad.com/log/what-makes-documentation-bad/) 0. [Forget reusability, aim for perfection](https://www.openbsd.org/papers/bsdcan18-mandoc.pdf) 0. https://increment.com/documentation/ 0. https://blog.stoplight.io/writing-documentation-when-you-arent-a-technical-writer-part-two-59997587cc2a diff --git a/documentation/bookmark/optics.md b/documentation/bookmark/optics.md index e3662b356..e47bfa6a8 100644 --- a/documentation/bookmark/optics.md +++ b/documentation/bookmark/optics.md @@ -1,25 +1,26 @@ # Reference -1. [Optics By Example](https://leanpub.com/optics-by-example) -1. [Profunctor optics, a categorical update](https://arxiv.org/abs/2001.07488) -1. [On Lawful Lenses](https://blog.statebox.org/on-lawful-lenses-6e18a1e17bdf) -1. https://medium.com/urbint-engineering/haskell-lens-operator-onboarding-a235481e8fac -1. https://fstarlang.github.io/general/2018/01/12/lens-indexed-lenses.html -1. [Jeremy Gibbons - Profunctor Optics Modular Data Accessors](https://www.youtube.com/watch?v=sfWzUMViP0M &&& http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf) -1. http://hackage.haskell.org/package/profunctors-3.3.0.1/docs/Data-Profunctor.html -1. https://github.com/purescript-contrib/purescript-profunctor-lenses -1. https://hackage.haskell.org/package/lens-4.16/docs/Control-Lens-Indexed.html -1. http://oleg.fi/gists/posts/2017-04-18-glassery.html -1. http://oleg.fi/gists/posts/2017-12-23-functor-optics.html -1. [Edward Kmett - Monad Transformer Lenses](https://www.youtube.com/watch?v=Bxcz23GOJqc) -1. [Brian McKenna - Productionisation of Functional Optics](https://www.youtube.com/watch?v=H01dw-BMmlE) -1. [YOW! Lambda Jam 2017 Ken Scambler - Lenses for the Masses – Introducing Goggles](https://www.youtube.com/watch?v=oIhdOqaKSEg) -1. https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/ -1. [Profunctor Optics: The Categorical Approach - Bartosz Milewski](https://www.youtube.com/watch?v=l1FCXUi6Vlw) -1. https://calmm-js.github.io/partial.lenses/ -1. http://evincarofautumn.blogspot.com/2016/01/thoughts-on-using-fractional-types-to.html -1. https://www.slideshare.net/davidoverton/comonad -1. http://codingismycraft.com/index.php/2017/10/04/adding-descriptors-to-your-python-arsenal/ -1. [Lenses embody Products, Prisms embody Sums](https://blog.jle.im/entry/lenses-products-prisms-sums.html) -1. http://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/ +0. [Optics vs Lenses, Operationally](https://www.brunogavranovic.com/posts/2022-02-10-optics-vs-lenses-operationally.html) +0. [Optics By Example](https://leanpub.com/optics-by-example) +0. [Profunctor optics, a categorical update](https://arxiv.org/abs/2001.07488) +0. [On Lawful Lenses](https://blog.statebox.org/on-lawful-lenses-6e18a1e17bdf) +0. https://medium.com/urbint-engineering/haskell-lens-operator-onboarding-a235481e8fac +0. https://fstarlang.github.io/general/2018/01/12/lens-indexed-lenses.html +0. [Jeremy Gibbons - Profunctor Optics Modular Data Accessors](https://www.youtube.com/watch?v=sfWzUMViP0M &&& http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf) +0. http://hackage.haskell.org/package/profunctors-3.3.0.1/docs/Data-Profunctor.html +0. https://github.com/purescript-contrib/purescript-profunctor-lenses +0. https://hackage.haskell.org/package/lens-4.16/docs/Control-Lens-Indexed.html +0. http://oleg.fi/gists/posts/2017-04-18-glassery.html +0. http://oleg.fi/gists/posts/2017-12-23-functor-optics.html +0. [Edward Kmett - Monad Transformer Lenses](https://www.youtube.com/watch?v=Bxcz23GOJqc) +0. [Brian McKenna - Productionisation of Functional Optics](https://www.youtube.com/watch?v=H01dw-BMmlE) +0. [YOW! Lambda Jam 2017 Ken Scambler - Lenses for the Masses – Introducing Goggles](https://www.youtube.com/watch?v=oIhdOqaKSEg) +0. https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/ +0. [Profunctor Optics: The Categorical Approach - Bartosz Milewski](https://www.youtube.com/watch?v=l1FCXUi6Vlw) +0. https://calmm-js.github.io/partial.lenses/ +0. http://evincarofautumn.blogspot.com/2016/01/thoughts-on-using-fractional-types-to.html +0. https://www.slideshare.net/davidoverton/comonad +0. http://codingismycraft.com/index.php/2017/10/04/adding-descriptors-to-your-python-arsenal/ +0. [Lenses embody Products, Prisms embody Sums](https://blog.jle.im/entry/lenses-products-prisms-sums.html) +0. http://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/ diff --git a/documentation/bookmark/paradigm/object_oriented.md b/documentation/bookmark/paradigm/object_oriented.md new file mode 100644 index 000000000..1271c1f91 --- /dev/null +++ b/documentation/bookmark/paradigm/object_oriented.md @@ -0,0 +1,4 @@ +# Reference + +0. [The Impoliteness of Overriding Methods](http://journal.stuffwithstuff.com/2012/12/19/the-impoliteness-of-overriding-methods/) + diff --git a/documentation/bookmark/platform/node_js.md b/documentation/bookmark/platform/node_js.md new file mode 100644 index 000000000..2fcfcf3ac --- /dev/null +++ b/documentation/bookmark/platform/node_js.md @@ -0,0 +1,4 @@ +# Reference + +0. [pkg: Package your Node.js project into an executable](https://github.com/vercel/pkg) + diff --git a/documentation/bookmark/productivity.md b/documentation/bookmark/productivity.md new file mode 100644 index 000000000..8aca77642 --- /dev/null +++ b/documentation/bookmark/productivity.md @@ -0,0 +1,4 @@ +# Reference + +0. [Resumption Strategies for Interrupted Programming Tasks](https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.188.54&rep=rep1&type=pdf) + diff --git a/documentation/bookmark/reversible_computing.md b/documentation/bookmark/reversible_computing.md new file mode 100644 index 000000000..ce6ce34c7 --- /dev/null +++ b/documentation/bookmark/reversible_computing.md @@ -0,0 +1,4 @@ +# Reference + +0. [Stanford Seminar - Generalized Reversible Computing and the Unconventional Computing Landscape](https://www.youtube.com/watch?v=IQZ_bQbxSXk) + diff --git a/documentation/bookmark/security.md b/documentation/bookmark/security.md index 619a182d7..301a2e163 100644 --- a/documentation/bookmark/security.md +++ b/documentation/bookmark/security.md @@ -75,6 +75,7 @@ # Vulnerability +0. [Big List of Naughty Strings](https://github.com/minimaxir/big-list-of-naughty-strings) 0. [SAML is insecure by design](https://joonas.fi/2021/08/saml-is-insecure-by-design/) 0. [Against Cipher Agility in Cryptography Protocols](https://paragonie.com/blog/2019/10/against-agility-in-cryptography-protocols) 0. [Padding the struct: How a compiler optimization can disclose stack memory](https://www.nccgroup.trust/us/about-us/newsroom-and-events/blog/2019/october/padding-the-struct-how-a-compiler-optimization-can-disclose-stack-memory/) diff --git a/documentation/bookmark/testing.md b/documentation/bookmark/testing.md index d81994e40..6d12ee5a2 100644 --- a/documentation/bookmark/testing.md +++ b/documentation/bookmark/testing.md @@ -1,25 +1,29 @@ # Concolic Testing -1. [Robby Findler: Concolic Testing with Higher-Order Inputs](https://www.youtube.com/watch?v=aO9nOCqNdfQ) +0. [Robby Findler: Concolic Testing with Higher-Order Inputs](https://www.youtube.com/watch?v=aO9nOCqNdfQ) # Symbolic -1. [Crux](https://crux.galois.com/) +0. [Crux](https://crux.galois.com/) # White box -1. [Ricardo Peña - White-Box Path Generation in Recursive Programs - Lambda Days 2020](https://www.youtube.com/watch?v=7RXJhPaQCkc) +0. [Ricardo Peña - White-Box Path Generation in Recursive Programs - Lambda Days 2020](https://www.youtube.com/watch?v=7RXJhPaQCkc) # Mocking -1. [Testing Without Mocks: A Pattern Language](https://www.jamesshore.com/Blog/Testing-Without-Mocks.html) +0. [Testing Without Mocks: A Pattern Language](https://www.jamesshore.com/Blog/Testing-Without-Mocks.html) # Visual Testing -1. [Stories are tests](https://storybook.js.org/blog/stories-are-tests/) -1. [Visual Testing Handbook](https://storybook.js.org/tutorials/visual-testing-handbook/) +0. [Stories are tests](https://storybook.js.org/blog/stories-are-tests/) +0. [Visual Testing Handbook](https://storybook.js.org/tutorials/visual-testing-handbook/) # Cross-Branch Testing -1. [Cross-Branch Testing](https://www.hillelwayne.com/post/cross-branch-testing/) +0. [Cross-Branch Testing](https://www.hillelwayne.com/post/cross-branch-testing/) + +# Reference + +0. [Test Anything Protocol](http://testanything.org/) diff --git a/documentation/bookmark/user_interface/graphic.md b/documentation/bookmark/user_interface/graphic.md index 43304c329..e3a964837 100644 --- a/documentation/bookmark/user_interface/graphic.md +++ b/documentation/bookmark/user_interface/graphic.md @@ -1,34 +1,34 @@ # User experience (UX) -1. https://lawsofux.com/ +0. https://lawsofux.com/ # Widget -1. [imask.js: vanilla javascript input mask](https://imask.js.org/) -1. [Progress bar.js](https://kimmobrunfeldt.github.io/progressbar.js/) +0. [imask.js: vanilla javascript input mask](https://imask.js.org/) +0. [Progress bar.js](https://kimmobrunfeldt.github.io/progressbar.js/) # Design -1. [Zero-Width Space](https://css-tricks.com/zero-width-space/) -1. [Ant Design](https://ant.design/) -1. [7 Practical Tips for Cheating at Design](https://medium.com/refactoring-ui/7-practical-tips-for-cheating-at-design-40c736799886) -1. [Smart progress bars](https://honeypot.net/post/smart-progress-bars/) +0. [Zero-Width Space](https://css-tricks.com/zero-width-space/) +0. [Ant Design](https://ant.design/) +0. [7 Practical Tips for Cheating at Design](https://medium.com/refactoring-ui/7-practical-tips-for-cheating-at-design-40c736799886) +0. [Smart progress bars](https://honeypot.net/post/smart-progress-bars/) # Dark Patterns -1. https://neal.fun/dark-patterns/ +0. https://neal.fun/dark-patterns/ # Immediate mode -1. [Sol on Immediate Mode GUIs (IMGUI)](http://sol.gfxile.net/imgui/) -1. [Immediate-Mode Graphical User Interfaces (2005)](https://caseymuratori.com/blog_0001) +0. [Sol on Immediate Mode GUIs (IMGUI)](http://sol.gfxile.net/imgui/) +0. [Immediate-Mode Graphical User Interfaces (2005)](https://caseymuratori.com/blog_0001) # Accessibility -1. [What I’ve learned about accessibility in SPAs](https://nolanlawson.com/2019/11/05/what-ive-learned-about-accessibility-in-spas/) +0. [What I’ve learned about accessibility in SPAs](https://nolanlawson.com/2019/11/05/what-ive-learned-about-accessibility-in-spas/) # Inspiratioon -1. [zircle ui: A frontend library to develop zoomable user interfaces](https://zircleui.github.io/docs/) -1. []() +0. [zircle ui: A frontend library to develop zoomable user interfaces](https://zircleui.github.io/docs/) +0. https://open-ui.org/ -- cgit v1.2.3