aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark
diff options
context:
space:
mode:
authorEduardo Julian2021-07-17 22:48:54 -0400
committerEduardo Julian2021-07-17 22:48:54 -0400
commit442d1557b879a8a4bd76f441f72a17bfb71cf05f (patch)
tree7726138a487b3d64081c2cfdf99a564cf2b6ed7b /documentation/bookmark
parent2c99b4515447315d76a8dc203a2dbcafc09506ea (diff)
Now allowing compilers to generate custom-named outputs.
Diffstat (limited to '')
-rw-r--r--documentation/bookmark/abstraction.md4
-rw-r--r--documentation/bookmark/arithmetic.md11
-rw-r--r--documentation/bookmark/browser.md1
-rw-r--r--documentation/bookmark/combinatory_logic.md5
-rw-r--r--documentation/bookmark/compiler.md1
-rw-r--r--documentation/bookmark/computational_effect.md4
-rw-r--r--documentation/bookmark/computer_science.md7
-rw-r--r--documentation/bookmark/concurrency.md4
-rw-r--r--documentation/bookmark/concurrency/actor.md4
-rw-r--r--documentation/bookmark/concurrency/security.md4
-rw-r--r--documentation/bookmark/data_science.md1
-rw-r--r--documentation/bookmark/database.md1
-rw-r--r--documentation/bookmark/game_programming.md1
-rw-r--r--documentation/bookmark/infrastructure/containers.md4
-rw-r--r--documentation/bookmark/integer.md4
-rw-r--r--documentation/bookmark/lazy_evaluation.md4
-rw-r--r--documentation/bookmark/macro.md4
-rw-r--r--documentation/bookmark/optimization.md5
-rw-r--r--documentation/bookmark/paradigm/logic_programming.md8
-rw-r--r--documentation/bookmark/paradigm/subjective_programming.md4
-rw-r--r--documentation/bookmark/platform/jvm.md1
-rw-r--r--documentation/bookmark/public_resource.md4
-rw-r--r--documentation/bookmark/quantum_computing.md4
-rw-r--r--documentation/bookmark/rendering.md5
-rw-r--r--documentation/bookmark/resource_management.md5
-rw-r--r--documentation/bookmark/sorting.md5
-rw-r--r--documentation/bookmark/system.md4
-rw-r--r--documentation/bookmark/type_theory/dependent_types.md1
-rw-r--r--documentation/bookmark/type_theory/inference.md4
-rw-r--r--documentation/bookmark/type_theory/unit.md1
-rw-r--r--documentation/bookmark/unsafe_programming.md5
-rw-r--r--documentation/bookmark/user_interface/accessibility.md1
32 files changed, 121 insertions, 0 deletions
diff --git a/documentation/bookmark/abstraction.md b/documentation/bookmark/abstraction.md
new file mode 100644
index 000000000..b66a147b0
--- /dev/null
+++ b/documentation/bookmark/abstraction.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [YOW! Lambda Jam 2017 Conal Elliott - Teaching New Tricks to Old Programs #YOWLambdaJam](https://www.youtube.com/watch?v=vzLK_xE9Zy8)
+
diff --git a/documentation/bookmark/arithmetic.md b/documentation/bookmark/arithmetic.md
new file mode 100644
index 000000000..c58dd4923
--- /dev/null
+++ b/documentation/bookmark/arithmetic.md
@@ -0,0 +1,11 @@
+# Saturation
+
+1. [Saturation arithmetic](https://en.wikipedia.org/wiki/Saturation_arithmetic)
+
+# Interval
+
+1. [Growing a Language, by Guy Steele](https://www.youtube.com/watch?v=_ahvzDzKdB0&t=2214s)
+1. [Yet another alternative to floating-point numbers](https://wordsandbuttons.online/yet_another_alternative_to_floating_point_numbers.html)
+1. [Interval arithmetic](https://en.wikipedia.org/wiki/Interval_arithmetic)
+1. [How do you compute the midpoint of an interval?](https://hal.archives-ouvertes.fr/file/index/docid/576641/filename/computing-midpoint.pdf)
+
diff --git a/documentation/bookmark/browser.md b/documentation/bookmark/browser.md
index 018b3b7b7..5fc699317 100644
--- a/documentation/bookmark/browser.md
+++ b/documentation/bookmark/browser.md
@@ -37,6 +37,7 @@
# Reference
1. [Public Suffix List](https://publicsuffix.org/)
+1. [Public Suffix List Problems](https://github.com/sleevi/psl-problems)
1. https://www.opera.com/gx
1. https://evertpot.com/tabs-are-the-wrong-abstraction/
1. http://news.mit.edu/2018/system-patches-private-browsing-0223
diff --git a/documentation/bookmark/combinatory_logic.md b/documentation/bookmark/combinatory_logic.md
new file mode 100644
index 000000000..1ded7e08e
--- /dev/null
+++ b/documentation/bookmark/combinatory_logic.md
@@ -0,0 +1,5 @@
+# Reference
+
+1. [YOW! Lambda Jam 2018 - Edward Kmett - Combinators Revisited](https://www.youtube.com/watch?v=zhj_tUMwTe0)
+1. [Combinatory Logic in Programming](https://doc.lagout.org/science/0_Computer%20Science/2_Algorithms/Combinatory%20Logic%20in%20Programming.pdf)
+
diff --git a/documentation/bookmark/compiler.md b/documentation/bookmark/compiler.md
index 390c22c5e..6cb381190 100644
--- a/documentation/bookmark/compiler.md
+++ b/documentation/bookmark/compiler.md
@@ -1,5 +1,6 @@
# Methodology
+1. [Scope herding with delimited continuations](https://blog.moertel.com/posts/2005-09-13-scope-herding-with-delimited-continuations.html)
1. [Compiling with Continuations by Andrew W. Appel](https://www.amazon.com/dp/0521416957)
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)
diff --git a/documentation/bookmark/computational_effect.md b/documentation/bookmark/computational_effect.md
new file mode 100644
index 000000000..d3d75ac09
--- /dev/null
+++ b/documentation/bookmark/computational_effect.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [A Categorical View of Computational Effects](https://www.youtube.com/watch?v=6t6bsWVOIzs)
+
diff --git a/documentation/bookmark/computer_science.md b/documentation/bookmark/computer_science.md
new file mode 100644
index 000000000..273d2300a
--- /dev/null
+++ b/documentation/bookmark/computer_science.md
@@ -0,0 +1,7 @@
+# Reference
+
+1. [PROGRAM DESIGN BY CALCULATION](http://www4.di.uminho.pt/~jno/ps/pdbc.pdf)
+1. [A Short Skinny on Relations & the Algebra of Programming](http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/)
+1. [Tensorial logic: A primitive logic of tensor and negation](https://www.irif.fr/~mellies/tensorial-logic.html)
+1. [Introduction to Theoretical Computer Science](https://introtcs.org/public/index.html)
+
diff --git a/documentation/bookmark/concurrency.md b/documentation/bookmark/concurrency.md
new file mode 100644
index 000000000..4d82d1c69
--- /dev/null
+++ b/documentation/bookmark/concurrency.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [OneFile - The world's first wait-free Software Transactional Memory](http://concurrencyfreaks.blogspot.com/2019/04/onefile-worlds-first-wait-free-software.html)
+
diff --git a/documentation/bookmark/concurrency/actor.md b/documentation/bookmark/concurrency/actor.md
new file mode 100644
index 000000000..bf6a3b621
--- /dev/null
+++ b/documentation/bookmark/concurrency/actor.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [otplike – Erlang/OTP processes and behaviours for Clojure - Alexey Aristov](https://www.youtube.com/watch?v=nHvRbZZhUDQ)
+
diff --git a/documentation/bookmark/concurrency/security.md b/documentation/bookmark/concurrency/security.md
new file mode 100644
index 000000000..1d48a21d8
--- /dev/null
+++ b/documentation/bookmark/concurrency/security.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control](http://erights.org/talks/thesis/markm-thesis.pdf)
+
diff --git a/documentation/bookmark/data_science.md b/documentation/bookmark/data_science.md
index d505d3178..aecf4e81f 100644
--- a/documentation/bookmark/data_science.md
+++ b/documentation/bookmark/data_science.md
@@ -1,4 +1,5 @@
# Reference
+1. [Exponential smoothing](https://en.wikipedia.org/wiki/Exponential_smoothing)
1. [High Performance Data With Clojure Chris Nuernberger](https://www.youtube.com/watch?v=5mUGu4RlwKE)
diff --git a/documentation/bookmark/database.md b/documentation/bookmark/database.md
index 5dc141142..2506f07c4 100644
--- a/documentation/bookmark/database.md
+++ b/documentation/bookmark/database.md
@@ -24,6 +24,7 @@
# Query
+1. [Comprehending Ringads](http://lambda-the-ultimate.org/node/5525)
1. [Reasons why SELECT * is bad for SQL performance](https://tanelpoder.com/posts/reasons-why-select-star-is-bad-for-sql-performance/)
1. [A Short Story About SQL’s Biggest Rival](https://www.holistics.io/blog/quel-vs-sql/)
1. https://calcite.apache.org/
diff --git a/documentation/bookmark/game_programming.md b/documentation/bookmark/game_programming.md
index 483c9b356..3191e7087 100644
--- a/documentation/bookmark/game_programming.md
+++ b/documentation/bookmark/game_programming.md
@@ -178,6 +178,7 @@
# Entity Component System (ECS)
+1. [Component Graph System](https://github.com/kvark/froggy/wiki/Component-Graph-System)
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/
diff --git a/documentation/bookmark/infrastructure/containers.md b/documentation/bookmark/infrastructure/containers.md
new file mode 100644
index 000000000..46f02845c
--- /dev/null
+++ b/documentation/bookmark/infrastructure/containers.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [The Ideal Versus the Real: Revisiting the History of Virtual Machines and Containers](https://arxiv.org/abs/1904.12226)
+
diff --git a/documentation/bookmark/integer.md b/documentation/bookmark/integer.md
new file mode 100644
index 000000000..e6630ed20
--- /dev/null
+++ b/documentation/bookmark/integer.md
@@ -0,0 +1,4 @@
+# Parsing
+
+1. [Faster Integer Parsing](https://rust-malaysia.github.io/code/2020/07/11/faster-integer-parsing.html)
+
diff --git a/documentation/bookmark/lazy_evaluation.md b/documentation/bookmark/lazy_evaluation.md
new file mode 100644
index 000000000..e20487b81
--- /dev/null
+++ b/documentation/bookmark/lazy_evaluation.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Call-by-Need Is Clairvoyant Call-by-Value](http://www.cs.nott.ac.uk/~pszgmh/clairvoyant.pdf)
+
diff --git a/documentation/bookmark/macro.md b/documentation/bookmark/macro.md
new file mode 100644
index 000000000..7a5f6255a
--- /dev/null
+++ b/documentation/bookmark/macro.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Fortifying Macros](https://www2.ccs.neu.edu/racket/pubs/icfp10-cf.pdf)
+
diff --git a/documentation/bookmark/optimization.md b/documentation/bookmark/optimization.md
index fe23c3e2a..e9e6f2109 100644
--- a/documentation/bookmark/optimization.md
+++ b/documentation/bookmark/optimization.md
@@ -1,3 +1,7 @@
+# Hashing
+
+1. [Fibonacci Hashing: The Optimization that the World Forgot (or: a Better Alternative to Integer Modulo)](https://probablydance.com/2018/06/16/fibonacci-hashing-the-optimization-that-the-world-forgot-or-a-better-alternative-to-integer-modulo/)
+
# Arithmetic
1. [Labor of Division (Episode I)](https://ridiculousfish.com/blog/posts/labor-of-division-episode-i.html)
@@ -20,6 +24,7 @@
# Reference
+1. [Do Low-level Optimizations Matter?](https://cantrip.org/sortfast.html)
1. [Inline caching](https://bernsteinbear.com/blog/inline-caching/)
1. [Weird and Wonderful Division Tricks](https://saml98.github.io/jekyll/update/2020/02/21/weird-division.htmls)
1. [Towards a Domain-Extensible Compiler: Optimizingan Image Processing Pipeline on Mobile CPUs](https://thok.eu/publications/2021/cgo.pdf)
diff --git a/documentation/bookmark/paradigm/logic_programming.md b/documentation/bookmark/paradigm/logic_programming.md
index d48cd9e27..caf03f67d 100644
--- a/documentation/bookmark/paradigm/logic_programming.md
+++ b/documentation/bookmark/paradigm/logic_programming.md
@@ -1,3 +1,11 @@
+# Unification
+
+1. [Functors of the World, Unite!](https://www.youtube.com/watch?v=8k7YH9st_8U)
+
+# Inspiration
+
+1. [Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?](https://arxiv.org/abs/1905.00402)
+
# Reference
1. https://book.simply-logical.space/
diff --git a/documentation/bookmark/paradigm/subjective_programming.md b/documentation/bookmark/paradigm/subjective_programming.md
new file mode 100644
index 000000000..964571c7e
--- /dev/null
+++ b/documentation/bookmark/paradigm/subjective_programming.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Dancing with Symmetry to Harness the Power of Complexity: Subjective Programming in Context](https://www.infoq.com/presentations/oop-language-context/)
+
diff --git a/documentation/bookmark/platform/jvm.md b/documentation/bookmark/platform/jvm.md
index 7e8969b91..f804b80e2 100644
--- a/documentation/bookmark/platform/jvm.md
+++ b/documentation/bookmark/platform/jvm.md
@@ -1,5 +1,6 @@
# Reference
+1. [String concatenation, redux](https://cl4es.github.io/2019/05/14/String-Concat-Redux.html)
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/public_resource.md b/documentation/bookmark/public_resource.md
new file mode 100644
index 000000000..147744b5c
--- /dev/null
+++ b/documentation/bookmark/public_resource.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Public API Lists](https://github.com/public-api-lists/public-api-lists)
+
diff --git a/documentation/bookmark/quantum_computing.md b/documentation/bookmark/quantum_computing.md
new file mode 100644
index 000000000..229c39289
--- /dev/null
+++ b/documentation/bookmark/quantum_computing.md
@@ -0,0 +1,4 @@
+# Programming Language
+
+1. [Silq](https://silq.ethz.ch/)
+
diff --git a/documentation/bookmark/rendering.md b/documentation/bookmark/rendering.md
index 7ee38f83d..4222fea4b 100644
--- a/documentation/bookmark/rendering.md
+++ b/documentation/bookmark/rendering.md
@@ -1,3 +1,8 @@
+# Physically Based Rendering
+
+1. [Physically Based Rendering](https://www.pbr-book.org/3ed-2018/contents)
+1. [Physically Based Rendering in Filament](https://google.github.io/filament/Filament.html)
+
# Reference
1. [Geometry Types for Graphics Programming](https://www.cs.cornell.edu/~asampson/media/papers/gator-oopsla2020-preprint.pdf)
diff --git a/documentation/bookmark/resource_management.md b/documentation/bookmark/resource_management.md
new file mode 100644
index 000000000..3b353ccab
--- /dev/null
+++ b/documentation/bookmark/resource_management.md
@@ -0,0 +1,5 @@
+# Reference
+
+1. [Understanding ResourceT](https://www.fpcomplete.com/blog/2017/06/understanding-resourcet/)
+1. [Composable resource management in Scala](https://bszwej.medium.com/composable-resource-management-in-scala-ce902bda48b2)
+
diff --git a/documentation/bookmark/sorting.md b/documentation/bookmark/sorting.md
new file mode 100644
index 000000000..3906a4d3f
--- /dev/null
+++ b/documentation/bookmark/sorting.md
@@ -0,0 +1,5 @@
+# Reference
+
+1. [discrimination: Fast generic linear-time sorting, joins and container construction.](https://hackage.haskell.org/package/discrimination-0.1)
+1. [Radix Sort, Trie Trees, and Maps from Representable Functors](https://chrispenner.ca/posts/representable-discrimination)
+
diff --git a/documentation/bookmark/system.md b/documentation/bookmark/system.md
new file mode 100644
index 000000000..01cd20ef8
--- /dev/null
+++ b/documentation/bookmark/system.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [On system rollback and totalised fields: An algebraic approach to system change](http://markburgess.org/papers/totalfield.pdf)
+
diff --git a/documentation/bookmark/type_theory/dependent_types.md b/documentation/bookmark/type_theory/dependent_types.md
index c46522210..6feb91d99 100644
--- a/documentation/bookmark/type_theory/dependent_types.md
+++ b/documentation/bookmark/type_theory/dependent_types.md
@@ -5,6 +5,7 @@
# Reference
+1. [The Gentle Art of Levitation](http://lambda-the-ultimate.org/node/5526)
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)
diff --git a/documentation/bookmark/type_theory/inference.md b/documentation/bookmark/type_theory/inference.md
new file mode 100644
index 000000000..f5ee9cb07
--- /dev/null
+++ b/documentation/bookmark/type_theory/inference.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Functors of the World, Unite!](https://www.youtube.com/watch?v=8k7YH9st_8U)
+
diff --git a/documentation/bookmark/type_theory/unit.md b/documentation/bookmark/type_theory/unit.md
index 5f5306117..cf23e396c 100644
--- a/documentation/bookmark/type_theory/unit.md
+++ b/documentation/bookmark/type_theory/unit.md
@@ -1,4 +1,5 @@
# Reference
+1. https://en.wikipedia.org/wiki/Metric_prefix#Metric_units
1. [unittyped: An extendable library for type-safe computations including units.](https://hackage.haskell.org/package/unittyped)
diff --git a/documentation/bookmark/unsafe_programming.md b/documentation/bookmark/unsafe_programming.md
new file mode 100644
index 000000000..82a6f0e6d
--- /dev/null
+++ b/documentation/bookmark/unsafe_programming.md
@@ -0,0 +1,5 @@
+# Reference
+
+1. [Pure destination-passing style in Linear Haskell](https://www.tweag.io/blog/2020-11-11-linear-dps/)
+1. [Episode 27: I Promise; Trust Me](https://newrustacean.com/show_notes/e027/struct.script)
+
diff --git a/documentation/bookmark/user_interface/accessibility.md b/documentation/bookmark/user_interface/accessibility.md
index 5a0645773..6519470b3 100644
--- a/documentation/bookmark/user_interface/accessibility.md
+++ b/documentation/bookmark/user_interface/accessibility.md
@@ -1,4 +1,5 @@
# Reference
+1. [Detecting Hover-Capable Devices](https://css-irl.info/detecting-hover-capable-devices/)
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)