aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
authorEduardo Julian2021-07-10 03:10:43 -0400
committerEduardo Julian2021-07-10 03:10:43 -0400
commit4610968193df10af12c91f699fec39aeb3ef703a (patch)
tree27d1578548ad49f5aefe76fb696a7af10361c9cf /documentation
parentf3e869d0246e956399ec31a074c6c6299ff73602 (diff)
Made the "try" macro into a common one, instead of a host-specific one.
Diffstat (limited to '')
-rw-r--r--documentation/bookmark/Cache.md4
-rw-r--r--documentation/bookmark/cache.md5
-rw-r--r--documentation/bookmark/comonad.md4
-rw-r--r--documentation/bookmark/compiler.md8
-rw-r--r--documentation/bookmark/constraint/memory.md4
-rw-r--r--documentation/bookmark/data_structure.md6
-rw-r--r--documentation/bookmark/database/lock.md4
-rw-r--r--documentation/bookmark/debugging.md1
-rw-r--r--documentation/bookmark/exception.md4
-rw-r--r--documentation/bookmark/floating point.md8
-rw-r--r--documentation/bookmark/floating_point.md20
-rw-r--r--documentation/bookmark/game_programming.md1
-rw-r--r--documentation/bookmark/inspiration.md17
-rw-r--r--documentation/bookmark/logging.md5
-rw-r--r--documentation/bookmark/multiple_dispatch.md4
-rw-r--r--documentation/bookmark/optimization.md12
-rw-r--r--documentation/bookmark/packaging.md4
-rw-r--r--documentation/bookmark/partial_evaluation.md4
-rw-r--r--documentation/bookmark/platform/jvm.md1
-rw-r--r--documentation/bookmark/plugin.md4
-rw-r--r--documentation/bookmark/process.md2
-rw-r--r--documentation/bookmark/program_verification.md4
-rw-r--r--documentation/bookmark/random_generation.md4
-rw-r--r--documentation/bookmark/rendering.md4
-rw-r--r--documentation/bookmark/security.md11
-rw-r--r--documentation/bookmark/type_theory/quantitative.md4
-rw-r--r--documentation/bookmark/user_interface/accessibility.md4
-rw-r--r--documentation/bookmark/user_interface/color.md1
28 files changed, 141 insertions, 13 deletions
diff --git a/documentation/bookmark/Cache.md b/documentation/bookmark/Cache.md
deleted file mode 100644
index cba5d6826..000000000
--- a/documentation/bookmark/Cache.md
+++ /dev/null
@@ -1,4 +0,0 @@
-# Reference
-
-1. https://github.com/eko/gocache
-
diff --git a/documentation/bookmark/cache.md b/documentation/bookmark/cache.md
new file mode 100644
index 000000000..529b43255
--- /dev/null
+++ b/documentation/bookmark/cache.md
@@ -0,0 +1,5 @@
+# Reference
+
+1. [Ring - Cache interface as a programming language integration](https://ring-cache.readthedocs.io/en/stable/)
+1. https://github.com/eko/gocache
+
diff --git a/documentation/bookmark/comonad.md b/documentation/bookmark/comonad.md
new file mode 100644
index 000000000..f7f9886c1
--- /dev/null
+++ b/documentation/bookmark/comonad.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Functional Flocks](https://ec-jones.github.io/flocking.html)
+
diff --git a/documentation/bookmark/compiler.md b/documentation/bookmark/compiler.md
new file mode 100644
index 000000000..326bfff9b
--- /dev/null
+++ b/documentation/bookmark/compiler.md
@@ -0,0 +1,8 @@
+# Security
+
+1. [A Brief Tour of Formally Secure Compilation](http://ceur-ws.org/Vol-2315/paper03.pdf)
+
+# Framework
+
+1. [Nanopass Framework: Clean Compiler Creation Language](http://nanopass.org/)
+
diff --git a/documentation/bookmark/constraint/memory.md b/documentation/bookmark/constraint/memory.md
new file mode 100644
index 000000000..e255f5a0b
--- /dev/null
+++ b/documentation/bookmark/constraint/memory.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Small Memory Software: Patterns for systems with limited memory](http://smallmemory.com/)
+
diff --git a/documentation/bookmark/data_structure.md b/documentation/bookmark/data_structure.md
new file mode 100644
index 000000000..ebf7070e2
--- /dev/null
+++ b/documentation/bookmark/data_structure.md
@@ -0,0 +1,6 @@
+# Reference
+
+1. [6.851: Advanced Data Structures (Spring'21)](https://courses.csail.mit.edu/6.851/spring21/)
+1. [An Efficient Representation for Sparse Sets](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.30.7319&rep=rep1&type=pdf)
+1. [Red-black tree implementation notes](http://jstimpfle.de/blah/rbtree/main.html)
+
diff --git a/documentation/bookmark/database/lock.md b/documentation/bookmark/database/lock.md
new file mode 100644
index 000000000..c68ba5f64
--- /dev/null
+++ b/documentation/bookmark/database/lock.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Progressive Locks : fast, upgradable read/write locks](http://wtarreau.blogspot.com/2018/02/progressive-locks-fast-upgradable.html)
+
diff --git a/documentation/bookmark/debugging.md b/documentation/bookmark/debugging.md
index 8fb385ed6..d2fe2693d 100644
--- a/documentation/bookmark/debugging.md
+++ b/documentation/bookmark/debugging.md
@@ -31,6 +31,7 @@
# Reference
+1. [Debugging in Clojure](https://blog.davemartin.me/posts/debugging-in-clojure/)
1. [The Debugging Book: Tools and Techniques for Automated Software Debugging](https://www.debuggingbook.org/)
1. [The Power Of Collaborative Debugging](https://robert.ocallahan.org/2019/11/the-power-of-collaborative-debugging.html)
1. [Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs](https://stefan-marr.de/2019/07/what-if-we-could-see-all-concurrency-bugs-in-the-debugger/)
diff --git a/documentation/bookmark/exception.md b/documentation/bookmark/exception.md
new file mode 100644
index 000000000..e47382a77
--- /dev/null
+++ b/documentation/bookmark/exception.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [You don't understand exceptions, but you should](https://matt.might.net/articles/implementing-exceptions/)
+
diff --git a/documentation/bookmark/floating point.md b/documentation/bookmark/floating point.md
deleted file mode 100644
index 93921b0a9..000000000
--- a/documentation/bookmark/floating point.md
+++ /dev/null
@@ -1,8 +0,0 @@
-# Reference
-
-1. [What aspect of portable floating point did Java back down on?](https://retrocomputing.stackexchange.com/questions/18143/what-aspect-of-portable-floating-point-did-java-back-down-on)
-
-# Algorithm
-
-1. [Kahan summation algorithm](https://en.wikipedia.org/wiki/Kahan_summation_algorithm)
-
diff --git a/documentation/bookmark/floating_point.md b/documentation/bookmark/floating_point.md
new file mode 100644
index 000000000..55c84d2f2
--- /dev/null
+++ b/documentation/bookmark/floating_point.md
@@ -0,0 +1,20 @@
+# Random generation
+
+1. [Uniform random floats: How to generate a double-precision floating-point number in [0, 1] uniformly at random given a uniform random source of bits](https://mumble.net/~campbell/2014/04/28/uniform-random-float)
+
+# Correctness
+
+1. [Herbie: Find and fix floating-point problems.](https://herbie.uwplse.org/)
+
+# Format
+
+1. [decimal128 floating-point format](https://en.wikipedia.org/wiki/Decimal128_floating-point_format)
+
+# Reference
+
+1. [What aspect of portable floating point did Java back down on?](https://retrocomputing.stackexchange.com/questions/18143/what-aspect-of-portable-floating-point-did-java-back-down-on)
+
+# Algorithm
+
+1. [Kahan summation algorithm](https://en.wikipedia.org/wiki/Kahan_summation_algorithm)
+
diff --git a/documentation/bookmark/game_programming.md b/documentation/bookmark/game_programming.md
index be969f87d..483c9b356 100644
--- a/documentation/bookmark/game_programming.md
+++ b/documentation/bookmark/game_programming.md
@@ -178,6 +178,7 @@
# Entity Component System (ECS)
+1. [Why Vanilla ECS Is Not Enough](https://ajmmertens.medium.com/why-vanilla-ecs-is-not-enough-d7ed4e3bebe5)
1. [On DOTS: Entity Component System](https://blogs.unity3d.com/2019/03/08/on-dots-entity-component-system/)
1. http://cowboyprogramming.com/2007/01/05/evolve-your-heirachy/
1. [Bob Nystrom - Is There More to Game Architecture than ECS?](https://www.youtube.com/watch?v=JxI3Eu5DPwE)
diff --git a/documentation/bookmark/inspiration.md b/documentation/bookmark/inspiration.md
index dfef668ad..be02d1bd7 100644
--- a/documentation/bookmark/inspiration.md
+++ b/documentation/bookmark/inspiration.md
@@ -1,3 +1,16 @@
+# Tool
+
+1. [Toward the next generation of programming tools: Programmers have built great tools for others. It’s time they built some for themselves.](https://www.oreilly.com/radar/toward-the-next-generation-of-programming-tools/)
+
+# Software engineering
+
+1. [8LU - Are we *really* engineers? by Hillel Wayne](https://www.youtube.com/watch?v=3018ABlET1Y)
+
+# Human-machine interaction
+
+1. [How a computer should talk to people](https://moscow.sci-hub.se/3290/2c0a7f4bb78d9f9521ad2d2e92463d5f/dean1982.pdf)
+1. [The Tyranny of the Minimum Viable User](https://old.reddit.com/r/dredmorbius/comments/69wk8y/the_tyranny_of_the_minimum_viable_user/)
+
# Possibility
1. [Lambda World 2018 - What FP can learn from Smalltalk by Aditya Siram](https://www.youtube.com/watch?v=baxtyeFVn3w)
@@ -28,3 +41,7 @@
1. [The dark side of ergonomics](https://vorner.github.io/2018/04/08/Dark-side-of-ergonomics.html)
1. []()
+# Robustness
+
+1. [Volatile Software](https://stevelosh.com/blog/2012/04/volatile-software/)
+
diff --git a/documentation/bookmark/logging.md b/documentation/bookmark/logging.md
new file mode 100644
index 000000000..cb4cc64ed
--- /dev/null
+++ b/documentation/bookmark/logging.md
@@ -0,0 +1,5 @@
+# Reference
+
+1. [IceCream — Never use print() to debug again](https://github.com/gruns/icecream)
+1. [Capabilities of Elixir's Logger](https://blog.appsignal.com/2020/10/13/capabilities-of-elixir-logger.html)
+
diff --git a/documentation/bookmark/multiple_dispatch.md b/documentation/bookmark/multiple_dispatch.md
new file mode 100644
index 000000000..0dfb33200
--- /dev/null
+++ b/documentation/bookmark/multiple_dispatch.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [JuliaCon 2019 | The Unreasonable Effectiveness of Multiple Dispatch | Stefan Karpinski](https://www.youtube.com/watch?v=kc9HwsxE1OY)
+
diff --git a/documentation/bookmark/optimization.md b/documentation/bookmark/optimization.md
index f94497546..fe23c3e2a 100644
--- a/documentation/bookmark/optimization.md
+++ b/documentation/bookmark/optimization.md
@@ -1,3 +1,11 @@
+# Arithmetic
+
+1. [Labor of Division (Episode I)](https://ridiculousfish.com/blog/posts/labor-of-division-episode-i.html)
+
+# Compilation
+
+1. [Future Directions for Optimizing Compilers](https://arxiv.org/abs/1809.02161)
+
# Pre-fetching
1. [Prefetching in Functional Languages](https://www.cl.cam.ac.uk/~tmj32/papers/docs/ainsworth20-ismm.pdf)
@@ -40,3 +48,7 @@
1. [Loop Optimizations in LLVM - Michael Kruse](https://www.youtube.com/watch?v=oAPgGYr8T3Y)
1. [Don’t think, just defunctionalize](https://www.joachim-breitner.de/blog/778-Don%E2%80%99t_think%2C_just_defunctionalize)
+# JavaScript
+
+1. [Javascript Array.push is 945x faster than Array.concat](https://dev.to/uilicious/javascript-array-push-is-945x-faster-than-array-concat-1oki)
+
diff --git a/documentation/bookmark/packaging.md b/documentation/bookmark/packaging.md
new file mode 100644
index 000000000..cbfaba779
--- /dev/null
+++ b/documentation/bookmark/packaging.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Open Sourcing Metapod, Personalized Executable for All.](https://rainway.com/blog/2019/05/14/open-source-metapod/)
+
diff --git a/documentation/bookmark/partial_evaluation.md b/documentation/bookmark/partial_evaluation.md
new file mode 100644
index 000000000..922982219
--- /dev/null
+++ b/documentation/bookmark/partial_evaluation.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Partial Evaluation and Automatic Program Generation](https://www.itu.dk/~sestoft/pebook/pebook.html)
+
diff --git a/documentation/bookmark/platform/jvm.md b/documentation/bookmark/platform/jvm.md
index 2ed871a36..db2b13a6c 100644
--- a/documentation/bookmark/platform/jvm.md
+++ b/documentation/bookmark/platform/jvm.md
@@ -1,4 +1,5 @@
# Reference
+1. [JVM Internals](https://blog.jamesdbloom.com/JVMInternals.html)
1. [JVM Anatomy Quarks](https://shipilev.net/jvm/anatomy-quarks/)
diff --git a/documentation/bookmark/plugin.md b/documentation/bookmark/plugin.md
new file mode 100644
index 000000000..41ee56658
--- /dev/null
+++ b/documentation/bookmark/plugin.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [How to build a plugin system on the web and also sleep well at night](https://www.figma.com/blog/how-we-built-the-figma-plugin-system/)
+
diff --git a/documentation/bookmark/process.md b/documentation/bookmark/process.md
index 448461579..5c08d58cf 100644
--- a/documentation/bookmark/process.md
+++ b/documentation/bookmark/process.md
@@ -1,4 +1,6 @@
# Reference
+1. [Get your work recognized: write a brag document](https://jvns.ca/blog/brag-documents/)
+1. [Danger: Formalize your Pull Request etiquette.](https://github.com/danger/danger)
1. [No code reviews by default](https://raycast.com/blog/no-code-reviews-by-default/)
diff --git a/documentation/bookmark/program_verification.md b/documentation/bookmark/program_verification.md
new file mode 100644
index 000000000..12ed44865
--- /dev/null
+++ b/documentation/bookmark/program_verification.md
@@ -0,0 +1,4 @@
+# Domain Theory
+
+1. [Domain Theory: the forgotten step in program verification](https://bertrandmeyer.com/2012/04/11/domain-theory-the-forgotten-step-in-program-verification/)
+
diff --git a/documentation/bookmark/random_generation.md b/documentation/bookmark/random_generation.md
new file mode 100644
index 000000000..408d5da32
--- /dev/null
+++ b/documentation/bookmark/random_generation.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Efficiently Generating a Number in a Range](https://www.pcg-random.org/posts/bounded-rands.html)
+
diff --git a/documentation/bookmark/rendering.md b/documentation/bookmark/rendering.md
new file mode 100644
index 000000000..7ee38f83d
--- /dev/null
+++ b/documentation/bookmark/rendering.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Geometry Types for Graphics Programming](https://www.cs.cornell.edu/~asampson/media/papers/gator-oopsla2020-preprint.pdf)
+
diff --git a/documentation/bookmark/security.md b/documentation/bookmark/security.md
index 6439b9e20..32a5a7d90 100644
--- a/documentation/bookmark/security.md
+++ b/documentation/bookmark/security.md
@@ -1,5 +1,14 @@
-# Secrets
+# Memory
+1. [Provably Safe Pointers for a Parallel World](https://www.youtube.com/watch?v=ugf58HNd7Rg)
+
+# User/human-level
+
+1. [Security Checklist: Tools and resources designed to improve your online privacy, safety, and security.](https://brianlovin.com/security)
+
+# Secrets | Confidentiality
+
+1. [ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-level Code](https://www.microsoft.com/en-us/research/publication/an-instrumenting-compiler-for-enforcing-confidentiality-in-low-level-code/)
1. [How to Handle Secrets on the Command Line](https://smallstep.com/blog/command-line-secrets/)
# Capability
diff --git a/documentation/bookmark/type_theory/quantitative.md b/documentation/bookmark/type_theory/quantitative.md
new file mode 100644
index 000000000..0c2fd800c
--- /dev/null
+++ b/documentation/bookmark/type_theory/quantitative.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [The Syntax and Semantics of Quantitative Type Theory](https://bentnib.org/quantitative-type-theory.html)
+
diff --git a/documentation/bookmark/user_interface/accessibility.md b/documentation/bookmark/user_interface/accessibility.md
new file mode 100644
index 000000000..5a0645773
--- /dev/null
+++ b/documentation/bookmark/user_interface/accessibility.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Nobody talks about the real reason to use Tabs over Spaces](https://www.reddit.com/r/javascript/comments/c8drjo/nobody_talks_about_the_real_reason_to_use_tabs/?st=jxuy98ok&sh=8487bdfa)
+
diff --git a/documentation/bookmark/user_interface/color.md b/documentation/bookmark/user_interface/color.md
index 512a49f1a..80595d1b1 100644
--- a/documentation/bookmark/user_interface/color.md
+++ b/documentation/bookmark/user_interface/color.md
@@ -1,5 +1,6 @@
# Reference
+1. [CSS Gradient Fixer](https://www.da.vidbuchanan.co.uk/widgets/css-gradient-fixer/)
1. [Towards richer colors on the Web](https://darker.ink/writings/Towards-richer-colors-on-the-Web)
1. [How software gets color wrong](https://bottosson.github.io/posts/colorwrong/)