From 4610968193df10af12c91f699fec39aeb3ef703a Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 10 Jul 2021 03:10:43 -0400 Subject: Made the "try" macro into a common one, instead of a host-specific one. --- documentation/bookmark/Cache.md | 4 ---- documentation/bookmark/cache.md | 5 +++++ documentation/bookmark/comonad.md | 4 ++++ documentation/bookmark/compiler.md | 8 ++++++++ documentation/bookmark/constraint/memory.md | 4 ++++ documentation/bookmark/data_structure.md | 6 ++++++ documentation/bookmark/database/lock.md | 4 ++++ documentation/bookmark/debugging.md | 1 + documentation/bookmark/exception.md | 4 ++++ documentation/bookmark/floating point.md | 8 -------- documentation/bookmark/floating_point.md | 20 ++++++++++++++++++++ documentation/bookmark/game_programming.md | 1 + documentation/bookmark/inspiration.md | 17 +++++++++++++++++ documentation/bookmark/logging.md | 5 +++++ documentation/bookmark/multiple_dispatch.md | 4 ++++ documentation/bookmark/optimization.md | 12 ++++++++++++ documentation/bookmark/packaging.md | 4 ++++ documentation/bookmark/partial_evaluation.md | 4 ++++ documentation/bookmark/platform/jvm.md | 1 + documentation/bookmark/plugin.md | 4 ++++ documentation/bookmark/process.md | 2 ++ documentation/bookmark/program_verification.md | 4 ++++ documentation/bookmark/random_generation.md | 4 ++++ documentation/bookmark/rendering.md | 4 ++++ documentation/bookmark/security.md | 11 ++++++++++- documentation/bookmark/type_theory/quantitative.md | 4 ++++ .../bookmark/user_interface/accessibility.md | 4 ++++ documentation/bookmark/user_interface/color.md | 1 + 28 files changed, 141 insertions(+), 13 deletions(-) delete mode 100644 documentation/bookmark/Cache.md create mode 100644 documentation/bookmark/cache.md create mode 100644 documentation/bookmark/comonad.md create mode 100644 documentation/bookmark/compiler.md create mode 100644 documentation/bookmark/constraint/memory.md create mode 100644 documentation/bookmark/data_structure.md create mode 100644 documentation/bookmark/database/lock.md create mode 100644 documentation/bookmark/exception.md delete mode 100644 documentation/bookmark/floating point.md create mode 100644 documentation/bookmark/floating_point.md create mode 100644 documentation/bookmark/logging.md create mode 100644 documentation/bookmark/multiple_dispatch.md create mode 100644 documentation/bookmark/packaging.md create mode 100644 documentation/bookmark/partial_evaluation.md create mode 100644 documentation/bookmark/plugin.md create mode 100644 documentation/bookmark/program_verification.md create mode 100644 documentation/bookmark/random_generation.md create mode 100644 documentation/bookmark/rendering.md create mode 100644 documentation/bookmark/type_theory/quantitative.md create mode 100644 documentation/bookmark/user_interface/accessibility.md (limited to 'documentation/bookmark') 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/) -- cgit v1.2.3