From 442d1557b879a8a4bd76f441f72a17bfb71cf05f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 17 Jul 2021 22:48:54 -0400 Subject: Now allowing compilers to generate custom-named outputs. --- documentation/bookmark/abstraction.md | 4 ++++ documentation/bookmark/arithmetic.md | 11 +++++++++++ documentation/bookmark/browser.md | 1 + documentation/bookmark/combinatory_logic.md | 5 +++++ documentation/bookmark/compiler.md | 1 + documentation/bookmark/computational_effect.md | 4 ++++ documentation/bookmark/computer_science.md | 7 +++++++ documentation/bookmark/concurrency.md | 4 ++++ documentation/bookmark/concurrency/actor.md | 4 ++++ documentation/bookmark/concurrency/security.md | 4 ++++ documentation/bookmark/data_science.md | 1 + documentation/bookmark/database.md | 1 + documentation/bookmark/game_programming.md | 1 + documentation/bookmark/infrastructure/containers.md | 4 ++++ documentation/bookmark/integer.md | 4 ++++ documentation/bookmark/lazy_evaluation.md | 4 ++++ documentation/bookmark/macro.md | 4 ++++ documentation/bookmark/optimization.md | 5 +++++ documentation/bookmark/paradigm/logic_programming.md | 8 ++++++++ documentation/bookmark/paradigm/subjective_programming.md | 4 ++++ documentation/bookmark/platform/jvm.md | 1 + documentation/bookmark/public_resource.md | 4 ++++ documentation/bookmark/quantum_computing.md | 4 ++++ documentation/bookmark/rendering.md | 5 +++++ documentation/bookmark/resource_management.md | 5 +++++ documentation/bookmark/sorting.md | 5 +++++ documentation/bookmark/system.md | 4 ++++ documentation/bookmark/type_theory/dependent_types.md | 1 + documentation/bookmark/type_theory/inference.md | 4 ++++ documentation/bookmark/type_theory/unit.md | 1 + documentation/bookmark/unsafe_programming.md | 5 +++++ documentation/bookmark/user_interface/accessibility.md | 1 + 32 files changed, 121 insertions(+) create mode 100644 documentation/bookmark/abstraction.md create mode 100644 documentation/bookmark/arithmetic.md create mode 100644 documentation/bookmark/combinatory_logic.md create mode 100644 documentation/bookmark/computational_effect.md create mode 100644 documentation/bookmark/computer_science.md create mode 100644 documentation/bookmark/concurrency.md create mode 100644 documentation/bookmark/concurrency/actor.md create mode 100644 documentation/bookmark/concurrency/security.md create mode 100644 documentation/bookmark/infrastructure/containers.md create mode 100644 documentation/bookmark/integer.md create mode 100644 documentation/bookmark/lazy_evaluation.md create mode 100644 documentation/bookmark/macro.md create mode 100644 documentation/bookmark/paradigm/subjective_programming.md create mode 100644 documentation/bookmark/public_resource.md create mode 100644 documentation/bookmark/quantum_computing.md create mode 100644 documentation/bookmark/resource_management.md create mode 100644 documentation/bookmark/sorting.md create mode 100644 documentation/bookmark/system.md create mode 100644 documentation/bookmark/type_theory/inference.md create mode 100644 documentation/bookmark/unsafe_programming.md (limited to 'documentation') 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) -- cgit v1.2.3