From 0abd5bd3c0e38e352e9ba38268e04e1c858ab01e Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 15 Jul 2021 00:45:15 -0400 Subject: Re-named "spec" hierarchy to "specification". --- documentation/bookmark/compiler.md | 6 ++++++ documentation/bookmark/floating_point.md | 5 +++++ documentation/bookmark/inspiration.md | 2 +- documentation/bookmark/logging.md | 1 + documentation/bookmark/money.md | 4 ++++ documentation/bookmark/platform/js.md | 4 ++++ documentation/bookmark/platform/jvm.md | 1 + documentation/bookmark/platform/ruby.md | 4 ++++ documentation/bookmark/probabilistic_data_structure.md | 1 + documentation/bookmark/process.md | 8 ++++++++ documentation/bookmark/program_transformation.md | 4 ++++ documentation/bookmark/regular_expression.md | 4 ++++ documentation/bookmark/time.md | 3 +++ documentation/bookmark/type_theory.md | 7 +++++++ documentation/bookmark/type_theory/cost_analysis.md | 1 + documentation/bookmark/type_theory/dependent_types.md | 1 + documentation/bookmark/type_theory/linear.md | 4 ++++ documentation/bookmark/type_theory/unit.md | 4 ++++ documentation/bookmark/user_interface/graphic.md | 1 + 19 files changed, 64 insertions(+), 1 deletion(-) create mode 100644 documentation/bookmark/money.md create mode 100644 documentation/bookmark/platform/js.md create mode 100644 documentation/bookmark/platform/ruby.md create mode 100644 documentation/bookmark/program_transformation.md create mode 100644 documentation/bookmark/regular_expression.md create mode 100644 documentation/bookmark/type_theory.md create mode 100644 documentation/bookmark/type_theory/linear.md create mode 100644 documentation/bookmark/type_theory/unit.md (limited to 'documentation/bookmark') 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 -- cgit v1.2.3