aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/bookmark')
-rw-r--r--documentation/bookmark/compiler.md6
-rw-r--r--documentation/bookmark/floating_point.md5
-rw-r--r--documentation/bookmark/inspiration.md2
-rw-r--r--documentation/bookmark/logging.md1
-rw-r--r--documentation/bookmark/money.md4
-rw-r--r--documentation/bookmark/platform/js.md4
-rw-r--r--documentation/bookmark/platform/jvm.md1
-rw-r--r--documentation/bookmark/platform/ruby.md4
-rw-r--r--documentation/bookmark/probabilistic_data_structure.md1
-rw-r--r--documentation/bookmark/process.md8
-rw-r--r--documentation/bookmark/program_transformation.md4
-rw-r--r--documentation/bookmark/regular_expression.md4
-rw-r--r--documentation/bookmark/time.md3
-rw-r--r--documentation/bookmark/type_theory.md7
-rw-r--r--documentation/bookmark/type_theory/cost_analysis.md1
-rw-r--r--documentation/bookmark/type_theory/dependent_types.md1
-rw-r--r--documentation/bookmark/type_theory/linear.md4
-rw-r--r--documentation/bookmark/type_theory/unit.md4
-rw-r--r--documentation/bookmark/user_interface/graphic.md1
19 files changed, 64 insertions, 1 deletions
diff --git a/documentation/bookmark/compiler.md b/documentation/bookmark/compiler.md
index 326bfff9b..5d582a174 100644
--- a/documentation/bookmark/compiler.md
+++ b/documentation/bookmark/compiler.md
@@ -1,8 +1,14 @@
+# Methodology
+
+1. [Collapsing Towers of Interpreters](https://www.cs.purdue.edu/homes/rompf/papers/amin-popl18.pdf)
+1. [Miniphases: Compilation using Modular and Efficient Tree Transformations](https://infoscience.epfl.ch/record/228518/files/paper.pdf)
+
# Security
1. [A Brief Tour of Formally Secure Compilation](http://ceur-ws.org/Vol-2315/paper03.pdf)
# Framework
+1. [The GENTLE Compiler Construction System](http://gentle.compilertools.net/index.html)
1. [Nanopass Framework: Clean Compiler Creation Language](http://nanopass.org/)
diff --git a/documentation/bookmark/floating_point.md b/documentation/bookmark/floating_point.md
index 55c84d2f2..56cbc3eb9 100644
--- a/documentation/bookmark/floating_point.md
+++ b/documentation/bookmark/floating_point.md
@@ -1,3 +1,7 @@
+# Comparison
+
+1. [Approximate Equality for Floating Point](https://github.com/apple/swift-evolution/blob/master/proposals/0259-approximately-equal.md)
+
# 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)
@@ -12,6 +16,7 @@
# Reference
+1. [How Java’s Floating-Point Hurts Everyone Everywhere](https://people.eecs.berkeley.edu/~wkahan/JAVAhurt.pdf)
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
diff --git a/documentation/bookmark/inspiration.md b/documentation/bookmark/inspiration.md
index be02d1bd7..87b095b6f 100644
--- a/documentation/bookmark/inspiration.md
+++ b/documentation/bookmark/inspiration.md
@@ -39,7 +39,7 @@
1. [Local State is Poison](https://awelonblue.wordpress.com/2012/10/21/local-state-is-poison/)
1. [The dark side of ergonomics](https://vorner.github.io/2018/04/08/Dark-side-of-ergonomics.html)
-1. []()
+1. [A Plea for Lean Software](https://cr.yp.to/bib/1995/wirth.pdf)
# Robustness
diff --git a/documentation/bookmark/logging.md b/documentation/bookmark/logging.md
index cb4cc64ed..8f89b529e 100644
--- a/documentation/bookmark/logging.md
+++ b/documentation/bookmark/logging.md
@@ -1,5 +1,6 @@
# Reference
+1. [The Value of Correlation IDs](https://www.rapid7.com/blog/post/2016/12/23/the-value-of-correlation-ids/)
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/money.md b/documentation/bookmark/money.md
new file mode 100644
index 000000000..ecae99905
--- /dev/null
+++ b/documentation/bookmark/money.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Dinero.js: Dinero.js is a library for working with monetary values in JavaScript.](https://dinerojs.com/)
+
diff --git a/documentation/bookmark/platform/js.md b/documentation/bookmark/platform/js.md
new file mode 100644
index 000000000..4a5a5b4c0
--- /dev/null
+++ b/documentation/bookmark/platform/js.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Maybe you don't need Rust and WASM to speed up your JS ](https://mrale.ph/blog/2018/02/03/maybe-you-dont-need-rust-to-speed-up-your-js.html)
+
diff --git a/documentation/bookmark/platform/jvm.md b/documentation/bookmark/platform/jvm.md
index db2b13a6c..7e8969b91 100644
--- a/documentation/bookmark/platform/jvm.md
+++ b/documentation/bookmark/platform/jvm.md
@@ -1,5 +1,6 @@
# Reference
+1. [Beware of computation in static initializer](https://pangin.pro/posts/computation-in-static-initializer)
1. [JVM Internals](https://blog.jamesdbloom.com/JVMInternals.html)
1. [JVM Anatomy Quarks](https://shipilev.net/jvm/anatomy-quarks/)
diff --git a/documentation/bookmark/platform/ruby.md b/documentation/bookmark/platform/ruby.md
new file mode 100644
index 000000000..8b124a598
--- /dev/null
+++ b/documentation/bookmark/platform/ruby.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Weird Ruby: Positive and Negative Strings](https://metaredux.com/posts/2019/05/10/weird-ruby-positive-and-negative-strings.html)
+
diff --git a/documentation/bookmark/probabilistic_data_structure.md b/documentation/bookmark/probabilistic_data_structure.md
index 0e1fe5986..10529136d 100644
--- a/documentation/bookmark/probabilistic_data_structure.md
+++ b/documentation/bookmark/probabilistic_data_structure.md
@@ -5,6 +5,7 @@
# Reference
+1. [Ribbon filter: practically smaller than Bloom and Xor](https://arxiv.org/abs/2103.02515)
1. [Teaching Bloom Filters new tricks](https://toao.com/blog/teaching-bloom-filters-new-tricks)
1. [Xor Filters: Faster and Smaller Than Bloom Filters](https://lemire.me/blog/2019/12/19/xor-filters-faster-and-smaller-than-bloom-filters/)
1. [Morton Filters: Faster, Space-Efficient Cuckoo Filters via Biasing, Compression, and Decoupled Logical Sparsity](http://www.vldb.org/pvldb/vol11/p1041-breslow.pdf)
diff --git a/documentation/bookmark/process.md b/documentation/bookmark/process.md
index be1326cbb..e13ea3a19 100644
--- a/documentation/bookmark/process.md
+++ b/documentation/bookmark/process.md
@@ -1,3 +1,11 @@
+# Architecture
+
+1. [Why Write ADRs](https://github.blog/2020-08-13-why-write-adrs/)
+
+# Release
+
+1. [semantic-release: Fully automated version management and package publishing](https://github.com/semantic-release/semantic-release)
+
# Reference
1. [Conventional Commits: A specification for adding human and machine readable meaning to commit messages](https://www.conventionalcommits.org/en/v1.0.0/)
diff --git a/documentation/bookmark/program_transformation.md b/documentation/bookmark/program_transformation.md
new file mode 100644
index 000000000..a29095910
--- /dev/null
+++ b/documentation/bookmark/program_transformation.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [The Program Transformation Wiki](http://program-transformation.org/)
+
diff --git a/documentation/bookmark/regular_expression.md b/documentation/bookmark/regular_expression.md
new file mode 100644
index 000000000..584f5649d
--- /dev/null
+++ b/documentation/bookmark/regular_expression.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Paper: Hyperscan: A Fast Multi-pattern Regex Matcher for Modern CPUs](https://branchfree.org/2019/02/28/paper-hyperscan-a-fast-multi-pattern-regex-matcher-for-modern-cpus/)
+
diff --git a/documentation/bookmark/time.md b/documentation/bookmark/time.md
index caa6f16a6..6053c5d87 100644
--- a/documentation/bookmark/time.md
+++ b/documentation/bookmark/time.md
@@ -1,4 +1,7 @@
# Reference
+1. [Calendarific: Worldwide Holidays and Observances RESTful API](https://calendarific.com/)
+1. [UTC with Smoothed Leap Seconds (UTC-SLS)](https://www.cl.cam.ac.uk/~mgk25/time/utc-sls/)
+1. [Hashed and Hierarchical Timing Wheels](https://paulcavallaro.com/blog/hashed-and-hierarchical-timing-wheels/)
1. [Storing UTC is not a silver bullet](https://codeblog.jonskeet.uk/2019/03/27/storing-utc-is-not-a-silver-bullet/)
diff --git a/documentation/bookmark/type_theory.md b/documentation/bookmark/type_theory.md
new file mode 100644
index 000000000..b27a26a37
--- /dev/null
+++ b/documentation/bookmark/type_theory.md
@@ -0,0 +1,7 @@
+# Reference
+
+1. [Statically typed PostgreSQL queries in TypeScript](https://www.cs.mcgill.ca/~mxia3/2016/11/18/Statically-typed-PostgreSQL-queries-and-typescript-schemats/)
+1. [Lambdas are Codatatypes](http://blog.ielliott.io/lambdas-are-codatatypes/)
+1. [SPL LIFT— Statically Analyzing Software Product Linesin Minutes Instead of Years](https://www.bodden.de/pubs/bmb+13spllift.pdf)
+1. [jQuery, but for types](https://willcrichton.net/notes/jquery-for-types/)
+
diff --git a/documentation/bookmark/type_theory/cost_analysis.md b/documentation/bookmark/type_theory/cost_analysis.md
index 6e92c792e..61f16fe8d 100644
--- a/documentation/bookmark/type_theory/cost_analysis.md
+++ b/documentation/bookmark/type_theory/cost_analysis.md
@@ -1,4 +1,5 @@
# Reference
+1. [TiML: a functional language for practical complexity analysis with invariants](https://dl.acm.org/doi/10.1145/3133903)
1. [Liquidate Your Assets: Reasoning about Resource Usage in Liquid Haskell](http://www.cs.nott.ac.uk/~pszgmh/liquidate.pdf)
diff --git a/documentation/bookmark/type_theory/dependent_types.md b/documentation/bookmark/type_theory/dependent_types.md
index 68fef10f3..c46522210 100644
--- a/documentation/bookmark/type_theory/dependent_types.md
+++ b/documentation/bookmark/type_theory/dependent_types.md
@@ -5,6 +5,7 @@
# Reference
+1. [Programming up to Congruence](http://www.cs.yale.edu/homes/vilhelm/papers/popl15congruence.pdf)
1. [From Scheme to Dependent Types in 100 lines by Gershom Bazerman (Part 1)](https://vimeo.com/134561872)
1. [From Scheme to Dependent Types in 100 Lines by Gershom Bazerman (Part 2)](https://vimeo.com/135746080)
1. [Program = Proof](http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf)
diff --git a/documentation/bookmark/type_theory/linear.md b/documentation/bookmark/type_theory/linear.md
new file mode 100644
index 000000000..00f70e422
--- /dev/null
+++ b/documentation/bookmark/type_theory/linear.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Chu construction on linear logic](http://boxbase.org/entries/2019/jul/15/chu-construction/)
+
diff --git a/documentation/bookmark/type_theory/unit.md b/documentation/bookmark/type_theory/unit.md
new file mode 100644
index 000000000..5f5306117
--- /dev/null
+++ b/documentation/bookmark/type_theory/unit.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [unittyped: An extendable library for type-safe computations including units.](https://hackage.haskell.org/package/unittyped)
+
diff --git a/documentation/bookmark/user_interface/graphic.md b/documentation/bookmark/user_interface/graphic.md
index 35d3115ec..43304c329 100644
--- a/documentation/bookmark/user_interface/graphic.md
+++ b/documentation/bookmark/user_interface/graphic.md
@@ -4,6 +4,7 @@
# Widget
+1. [imask.js: vanilla javascript input mask](https://imask.js.org/)
1. [Progress bar.js](https://kimmobrunfeldt.github.io/progressbar.js/)
# Design