aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/bookmark')
-rw-r--r--documentation/bookmark/back_end/c.md1
-rw-r--r--documentation/bookmark/back_end/llvm.md4
-rw-r--r--documentation/bookmark/batch.md4
-rw-r--r--documentation/bookmark/documentation.md1
-rw-r--r--documentation/bookmark/optics.md45
-rw-r--r--documentation/bookmark/paradigm/object_oriented.md4
-rw-r--r--documentation/bookmark/platform/node_js.md4
-rw-r--r--documentation/bookmark/productivity.md4
-rw-r--r--documentation/bookmark/reversible_computing.md4
-rw-r--r--documentation/bookmark/security.md1
-rw-r--r--documentation/bookmark/testing.md18
-rw-r--r--documentation/bookmark/user_interface/graphic.md26
12 files changed, 74 insertions, 42 deletions
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/