From d37982f0af44714d95caf24d7f944e4e659b3e69 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 6 Jan 2022 14:28:32 -0400 Subject: Fixes for the pure-Lux JVM compiler machinery. [Part 2] --- documentation/bookmark/back_end/wren.md | 4 + documentation/bookmark/debugging.md | 107 +++++++++---------- documentation/bookmark/exception.md | 3 +- documentation/bookmark/game/accessibility.md | 5 + documentation/bookmark/game/combat/damage.md | 4 + documentation/bookmark/game/data.md | 4 + documentation/bookmark/game/item.md | 4 + documentation/bookmark/game/mechanic/crafting.md | 4 + documentation/bookmark/game/progression.md | 5 + documentation/bookmark/game/storytelling.md | 5 + .../bookmark/game/storytelling/intrigue.md | 8 ++ documentation/bookmark/game/storytelling/magic.md | 4 + .../bookmark/game/storytelling/villain.md | 4 + documentation/bookmark/math.md | 32 ------ documentation/bookmark/math/linear_algebra.md | 33 ++++++ .../optimization/branchless_programming.md | 4 + .../bookmark/paradigm/probabilistic_programming.md | 117 +++++++++++---------- documentation/bookmark/parallelism.md | 4 +- 18 files changed, 205 insertions(+), 146 deletions(-) create mode 100644 documentation/bookmark/back_end/wren.md create mode 100644 documentation/bookmark/game/accessibility.md create mode 100644 documentation/bookmark/game/combat/damage.md create mode 100644 documentation/bookmark/game/data.md create mode 100644 documentation/bookmark/game/item.md create mode 100644 documentation/bookmark/game/mechanic/crafting.md create mode 100644 documentation/bookmark/game/progression.md create mode 100644 documentation/bookmark/game/storytelling.md create mode 100644 documentation/bookmark/game/storytelling/intrigue.md create mode 100644 documentation/bookmark/game/storytelling/magic.md create mode 100644 documentation/bookmark/game/storytelling/villain.md create mode 100644 documentation/bookmark/math/linear_algebra.md create mode 100644 documentation/bookmark/optimization/branchless_programming.md (limited to 'documentation') diff --git a/documentation/bookmark/back_end/wren.md b/documentation/bookmark/back_end/wren.md new file mode 100644 index 000000000..8649c720b --- /dev/null +++ b/documentation/bookmark/back_end/wren.md @@ -0,0 +1,4 @@ +# Reference + +0. [Meta Class](https://wren.io/modules/meta/meta.html) + diff --git a/documentation/bookmark/debugging.md b/documentation/bookmark/debugging.md index 60227f63c..64e9bdbc6 100644 --- a/documentation/bookmark/debugging.md +++ b/documentation/bookmark/debugging.md @@ -1,86 +1,87 @@ # Exemplar -1. [Flow-storm debugger](https://github.com/jpmonettas/flow-storm-debugger) +0. [Flow-storm debugger](https://github.com/jpmonettas/flow-storm-debugger) # Service -1. https://www.bugreplay.com/ +0. https://www.bugreplay.com/ # Input -1. [Debugging Inputs](https://www.dropbox.com/s/ddn3fe55lws1rdr/icse2020-ddmax.pdf) +0. [Debugging Inputs](https://www.dropbox.com/s/ddn3fe55lws1rdr/icse2020-ddmax.pdf) # Omniscient debugging -1. https://pernos.co/ +0. https://pernos.co/ # Tracing -1. ["Understanding Microservices with Distributed Tracing" by Lita Cho](https://www.youtube.com/watch?v=URCLeycMrhU) +0. ["Understanding Microservices with Distributed Tracing" by Lita Cho](https://www.youtube.com/watch?v=URCLeycMrhU) # 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/) -1. [Writing a Debugger](http://system.joekain.com/debugger/) -1. https://en.wikipedia.org/wiki/Jinx_Debugger -1. http://www.mattzeunert.com/2017/12/07/better-types-of-debuggers.html -1. https://www.youtube.com/watch?v=ipDhvd1NsmE -1. http://georgejahad.com/clojure/cdt.html -1. http://endlessparentheses.com/cider-debug-a-visual-interactive-debugger-for-clojure.html -1. https://github.com/razum2um/clj-debugger -1. https://stories.jotform.com/how-to-become-a-good-debugger-9324543fea33#.1ctzqfyly -1. https://www.microsoft.com/en-us/research/publication/time-travel-debugging-javascriptnode-js/ -1. http://valgrind.org/ -1. http://fitzgeraldnick.com/2015/06/19/source-maps-are-insufficient.html -1. http://stefan-marr.de/downloads/draft-marr-et-al-concurrency-agnostic-protocol-for-debugging.pdf -1. https://tip.golang.org/doc/diagnostics.html -1. https://github.com/solo-io/squash -1. http://www.michaelburge.us/2017/09/27/delta-debugging-in-haskell.html -1. https://undo.io/ -1. [Clojure Compilation, Backwards - Nicola Mometto](https://www.youtube.com/watch?v=2SGFeegEt9E) -1. https://zorbash.com/post/debugging-elixir-applications/ -1. [Compose :: Melbourne 2017 - Ronen Narkis - Re-ops, a Functional Live-Infrastructure as Code](https://www.youtube.com/watch?v=iopuirQuK-s) -1. [Compose :: Melbourne 2017 - Jurriaan Hage - Domain-Specific Type Error Diagnosis in GHC](https://www.youtube.com/watch?v=GbCfmnTmQDc) -1. https://raygun.com/javascript-debugging-tips -1. https://github.com/bpiel/sayid -1. [Algorithmic Program Debugging](http://cpsc.yale.edu/sites/default/files/files/tr237.pdf) -1. [Effect-Driven QuickChecking of Compilers](http://janmidtgaard.dk/papers/Midtgaard-al%3AICFP17-full.pdf) -1. https://www.youtube.com/watch?v=_KrZzaShDew -1. [NodeJS uses the Chome debugger protocol:](https://developer.chrome.com/devtools/docs/debugger-protocol) -1. http://www.dwarfstd.org/ -1. https://docs.oracle.com/javase/7/docs/technotes/guides/jpda/jdwp-spec.html -1. [Coarse Hierarchical Delta Debugging](http://www.inf.u-szeged.hu/~akiss/pub/pdf/hodovan2017coarsehdd.pdf) -1. [Improving live debugging of concurrent threads through thread histories](http://scg.unibe.ch/scgbib?query=Lesk17a&display=abstract) -1. [The JVM is Not Observable Enough (and What To Do About It)](https://www.cs.kent.ac.uk/people/staff/srk21//papers/kell12jvm-preprint.pdf) -1. http://nikhilism.com/post/2019/retrieving-function-arguments-while-unwinding-the-stack/ -1. https://backtrace.io/blog/engineering/compile-once-debug-twice-picking-a-compiler-for-debuggability-1of3/ -1. https://singaporedatacompany.com/blog/more-developers-more-problems -1. https://github.com/gruns/icecream -1. https://lemire.me/blog/2016/06/21/i-do-not-use-a-debugger/ -1. https://the.agilesql.club/2019/05/how-to-load-test-a-sql-database/?u=h +0. [Unobtrusive runtime warnings for libraries](https://www.pointfree.co/blog/posts/70-unobtrusive-runtime-warnings-for-libraries) +0. [Debugging in Clojure](https://blog.davemartin.me/posts/debugging-in-clojure/) +0. [The Debugging Book: Tools and Techniques for Automated Software Debugging](https://www.debuggingbook.org/) +0. [The Power Of Collaborative Debugging](https://robert.ocallahan.org/2019/11/the-power-of-collaborative-debugging.html) +0. [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/) +0. [Writing a Debugger](http://system.joekain.com/debugger/) +0. https://en.wikipedia.org/wiki/Jinx_Debugger +0. http://www.mattzeunert.com/2017/12/07/better-types-of-debuggers.html +0. https://www.youtube.com/watch?v=ipDhvd1NsmE +0. http://georgejahad.com/clojure/cdt.html +0. http://endlessparentheses.com/cider-debug-a-visual-interactive-debugger-for-clojure.html +0. https://github.com/razum2um/clj-debugger +0. https://stories.jotform.com/how-to-become-a-good-debugger-9324543fea33#.1ctzqfyly +0. https://www.microsoft.com/en-us/research/publication/time-travel-debugging-javascriptnode-js/ +0. http://valgrind.org/ +0. http://fitzgeraldnick.com/2015/06/19/source-maps-are-insufficient.html +0. http://stefan-marr.de/downloads/draft-marr-et-al-concurrency-agnostic-protocol-for-debugging.pdf +0. https://tip.golang.org/doc/diagnostics.html +0. https://github.com/solo-io/squash +0. http://www.michaelburge.us/2017/09/27/delta-debugging-in-haskell.html +0. https://undo.io/ +0. [Clojure Compilation, Backwards - Nicola Mometto](https://www.youtube.com/watch?v=2SGFeegEt9E) +0. https://zorbash.com/post/debugging-elixir-applications/ +0. [Compose :: Melbourne 2017 - Ronen Narkis - Re-ops, a Functional Live-Infrastructure as Code](https://www.youtube.com/watch?v=iopuirQuK-s) +0. [Compose :: Melbourne 2017 - Jurriaan Hage - Domain-Specific Type Error Diagnosis in GHC](https://www.youtube.com/watch?v=GbCfmnTmQDc) +0. https://raygun.com/javascript-debugging-tips +0. https://github.com/bpiel/sayid +0. [Algorithmic Program Debugging](http://cpsc.yale.edu/sites/default/files/files/tr237.pdf) +0. [Effect-Driven QuickChecking of Compilers](http://janmidtgaard.dk/papers/Midtgaard-al%3AICFP17-full.pdf) +0. https://www.youtube.com/watch?v=_KrZzaShDew +0. [NodeJS uses the Chome debugger protocol:](https://developer.chrome.com/devtools/docs/debugger-protocol) +0. http://www.dwarfstd.org/ +0. https://docs.oracle.com/javase/7/docs/technotes/guides/jpda/jdwp-spec.html +0. [Coarse Hierarchical Delta Debugging](http://www.inf.u-szeged.hu/~akiss/pub/pdf/hodovan2017coarsehdd.pdf) +0. [Improving live debugging of concurrent threads through thread histories](http://scg.unibe.ch/scgbib?query=Lesk17a&display=abstract) +0. [The JVM is Not Observable Enough (and What To Do About It)](https://www.cs.kent.ac.uk/people/staff/srk21//papers/kell12jvm-preprint.pdf) +0. http://nikhilism.com/post/2019/retrieving-function-arguments-while-unwinding-the-stack/ +0. https://backtrace.io/blog/engineering/compile-once-debug-twice-picking-a-compiler-for-debuggability-1of3/ +0. https://singaporedatacompany.com/blog/more-developers-more-problems +0. https://github.com/gruns/icecream +0. https://lemire.me/blog/2016/06/21/i-do-not-use-a-debugger/ +0. https://the.agilesql.club/2019/05/how-to-load-test-a-sql-database/?u=h # Benchmark -1. https://github.com/smarr/ReBench +0. https://github.com/smarr/ReBench # Performance -1. ["Software Performance: A Shape Not a Number" by Kay Ousterhout](https://www.youtube.com/watch?v=f7HCeE377-0) -1. ["A Practical Look at Performance Theory" by Kavya Joshi](https://www.youtube.com/watch?v=bEYY3M0d-w8) -1. https://nsirap.com/posts/001-web-porformance-api/ +0. ["Software Performance: A Shape Not a Number" by Kay Ousterhout](https://www.youtube.com/watch?v=f7HCeE377-0) +0. ["A Practical Look at Performance Theory" by Kavya Joshi](https://www.youtube.com/watch?v=bEYY3M0d-w8) +0. https://nsirap.com/posts/001-web-porformance-api/ # Profiling -1. https://www.opsian.com/blog/what-is-continuous-profiling/ +0. https://www.opsian.com/blog/what-is-continuous-profiling/ # Time-travelling -1. [Travelling through time with WinDbg at a system level](https://www.youtube.com/watch?v=mB9LIztjSKg) +0. [Travelling through time with WinDbg at a system level](https://www.youtube.com/watch?v=mB9LIztjSKg) # Monitoring -1. https://www.erlang-solutions.com/blog/introducing-telemetry.html +0. https://www.erlang-solutions.com/blog/introducing-telemetry.html diff --git a/documentation/bookmark/exception.md b/documentation/bookmark/exception.md index e47382a77..09b43b1eb 100644 --- a/documentation/bookmark/exception.md +++ b/documentation/bookmark/exception.md @@ -1,4 +1,5 @@ # Reference -1. [You don't understand exceptions, but you should](https://matt.might.net/articles/implementing-exceptions/) +0. [Using Coroutines to Implement C++ Exceptions for Freestanding Environments - Eyal Zedaka - CppCon 21](https://www.youtube.com/watch?v=TsXYqnUXrwM) +0. [You don't understand exceptions, but you should](https://matt.might.net/articles/implementing-exceptions/) diff --git a/documentation/bookmark/game/accessibility.md b/documentation/bookmark/game/accessibility.md new file mode 100644 index 000000000..410627f7b --- /dev/null +++ b/documentation/bookmark/game/accessibility.md @@ -0,0 +1,5 @@ +# Reference + +0. [Michael Langford - For the Squishies: Making Roguelikes Accessible to Children and their Parents](https://www.youtube.com/watch?v=wPN5bPxWXm8) +0. [Accessibility Best Practices: Mobility Considerations](https://www.youtube.com/watch?v=-XBjj69-uK0) + diff --git a/documentation/bookmark/game/combat/damage.md b/documentation/bookmark/game/combat/damage.md new file mode 100644 index 000000000..25a2b672b --- /dev/null +++ b/documentation/bookmark/game/combat/damage.md @@ -0,0 +1,4 @@ +# Reference + +0. [Hurting Your Players but Making it Fun || D&D w/ Dael Kingsmill](https://www.youtube.com/watch?v=thl54TR5Nb4) + diff --git a/documentation/bookmark/game/data.md b/documentation/bookmark/game/data.md new file mode 100644 index 000000000..bfee78703 --- /dev/null +++ b/documentation/bookmark/game/data.md @@ -0,0 +1,4 @@ +# Reference + +0. [Allie Signet & Joe Maliksi - SIBR - Sports, Splorts, and Statistics: Why Data Accessibility Matters](https://www.youtube.com/watch?v=WeRCGy3-uPY) + diff --git a/documentation/bookmark/game/item.md b/documentation/bookmark/game/item.md new file mode 100644 index 000000000..e97e75e3b --- /dev/null +++ b/documentation/bookmark/game/item.md @@ -0,0 +1,4 @@ +# Reference + +0. [Cooler Magic Items for D&D! (Ep. #216)](https://www.youtube.com/watch?v=Qk3EJpMKGFw) + diff --git a/documentation/bookmark/game/mechanic/crafting.md b/documentation/bookmark/game/mechanic/crafting.md new file mode 100644 index 000000000..b2c89efa8 --- /dev/null +++ b/documentation/bookmark/game/mechanic/crafting.md @@ -0,0 +1,4 @@ +# Reference + +0. [Building Better Crafting Systems](https://www.youtube.com/watch?v=Nj7EaryBgak) + diff --git a/documentation/bookmark/game/progression.md b/documentation/bookmark/game/progression.md new file mode 100644 index 000000000..9b3458e30 --- /dev/null +++ b/documentation/bookmark/game/progression.md @@ -0,0 +1,5 @@ +# Reference + +0. [Why D&D Shouldn't Use Character Levels || D&D w/ Dael Kingsmill](https://www.youtube.com/watch?v=SnPX8zfAAFQ) +0. [The Problem with Leveling Up In Dungeons & Dragons (Ep. #228)](https://www.youtube.com/watch?v=2mcCBdXe1Vg) + diff --git a/documentation/bookmark/game/storytelling.md b/documentation/bookmark/game/storytelling.md new file mode 100644 index 000000000..43e7ee536 --- /dev/null +++ b/documentation/bookmark/game/storytelling.md @@ -0,0 +1,5 @@ +# Reference + +0. [How James Bond Can Improve Your Dungeons & Dragons Game (Ep. 213)](https://www.youtube.com/watch?v=QRJXiRbXEek) +0. [The ONE CLASSIC Book Every DM Needs to Read (Ep. 212)](https://www.youtube.com/watch?v=lfbnNxSFK6U) + diff --git a/documentation/bookmark/game/storytelling/intrigue.md b/documentation/bookmark/game/storytelling/intrigue.md new file mode 100644 index 000000000..9896a1d4c --- /dev/null +++ b/documentation/bookmark/game/storytelling/intrigue.md @@ -0,0 +1,8 @@ +# Reference + +0. []() + +# Exemplar + +0. [Review: Warhammer--Power Behind the Throne (Ep #223)](https://www.youtube.com/watch?v=K7IuyXt2wKg) + diff --git a/documentation/bookmark/game/storytelling/magic.md b/documentation/bookmark/game/storytelling/magic.md new file mode 100644 index 000000000..571cc0093 --- /dev/null +++ b/documentation/bookmark/game/storytelling/magic.md @@ -0,0 +1,4 @@ +# Reference + +0. [Wizards Good, Warlocks Bad || D&D w/ Dael Kingsmill](https://www.youtube.com/watch?v=sCXpucf16-k) + diff --git a/documentation/bookmark/game/storytelling/villain.md b/documentation/bookmark/game/storytelling/villain.md new file mode 100644 index 000000000..89a742807 --- /dev/null +++ b/documentation/bookmark/game/storytelling/villain.md @@ -0,0 +1,4 @@ +# Reference + +0. [Running Villains || D&D Baddies with Dael Kingsmill](https://www.youtube.com/watch?v=dRkbqK9SqJ0) + diff --git a/documentation/bookmark/math.md b/documentation/bookmark/math.md index 3dbafd686..78de206a0 100644 --- a/documentation/bookmark/math.md +++ b/documentation/bookmark/math.md @@ -111,38 +111,6 @@ 0. [Introduction to Probability at anadvanced leve](https://www.stat.berkeley.edu/~aditya/resources/AllLectures2018Fall201A.pdf) -# Linear Algebra - -0. [Linear Algebra And Multi Dimensional Geometry](https://mirtitles.org/2020/02/13/4129/) -0. [Interactive Linear Algebra](https://textbooks.math.gatech.edu/ila/) -0. [Don’t invert that matrix](https://www.johndcook.com/blog/2010/01/19/dont-invert-that-matrix/) -0. [“Don’t invert that matrix” – why and how](https://civilstat.com/2015/07/dont-invert-that-matrix-why-and-how/) -0. [Thirty-three Miniatures: Mathematical and Algorithmic Applications of Linear Algebra](https://kam.mff.cuni.cz/~matousek/stml-53-matousek-1.pdf) -0. [Covectors are Different than Vectors, Usually](http://infohost.nmt.edu/~parendt/Phys509/notes/2diracnot/node4.html) -0. [Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares](https://web.stanford.edu/~boyd/vmls/vmls.pdf) -0. [Linear Algebra Done Wrong.](http://www.math.brown.edu/~treil/papers/LADW/LADW.html) -0. [Linear Algebra Done Right](http://linear.axler.net/) -0. [Down with Determinants!](http://www.axler.net/DwD.html) -0. https://github.com/jacobbogers/blasjs -0. https://graphicallinearalgebra.net/ -0. [Wild Linear Algebra](https://www.youtube.com/watch?v=yAb12PWrhV0&list=PLIljB45xT85BhzJ-oWNug1YtUjfWp1qAp &&& https://www.youtube.com/watch?v=nJdWFoliRnc&list=PLIljB45xT85DF5G-Hq0xPsVUnR5_wJRSw) -0. https://github.com/ferreiradaselva/mathc -0. http://www.fast.ai/2017/07/17/num-lin-alg/ -0. https://github.com/bluemathsoft/bm-linalg -0. [The Matrix Cookbook](https://www.math.uwaterloo.ca/~hwolkowi/matrixcookbook.pdf) -0. https://dhruvp.netlify.com/2018/12/31/matrices/ -0. https://www.nalgebra.org/ -0. http://immersivemath.com/ila/index.html -0. [Linear Logic and Linear Algebra](http://www.cs.bham.ac.uk/~drg/bll/steve.pdf) -0. https://www.math3ma.com/blog/matrices-probability-graphs -0. [Essence of linear algebra](https://www.youtube.com/watch?v=fNk_zzaMoSs&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab) -0. https://www.dhruvonmath.com/2018/12/31/matrices/ -0. http://blog.ezyang.com/2019/05/a-short-note-about-functional-linear-maps/ -0. https://www.math3ma.com/blog/matrices-as-tensor-network-diagrams -0. [Convolution is outer product](https://arxiv.org/abs/1905.01289) -0. [Graphical Calculus for products and convolutions](https://arxiv.org/abs/1903.01366) -0. [3 Point Parameterization of Affine Transform](https://www.catid.io/affine3) - # Domain Theory 0. [A Brief Intro to Domain Theory](https://www.alignmentforum.org/posts/4C4jha5SdReWgg7dF/a-brief-intro-to-domain-theory) diff --git a/documentation/bookmark/math/linear_algebra.md b/documentation/bookmark/math/linear_algebra.md new file mode 100644 index 000000000..b2376d58f --- /dev/null +++ b/documentation/bookmark/math/linear_algebra.md @@ -0,0 +1,33 @@ +# Reference + +0. [Basic Linear Algebra Subprograms](https://en.wikipedia.org/wiki/Basic_Linear_Algebra_Subprograms) +0. [Linear Algebra And Multi Dimensional Geometry](https://mirtitles.org/2020/02/13/4129/) +0. [Interactive Linear Algebra](https://textbooks.math.gatech.edu/ila/) +0. [Don’t invert that matrix](https://www.johndcook.com/blog/2010/01/19/dont-invert-that-matrix/) +0. [“Don’t invert that matrix” – why and how](https://civilstat.com/2015/07/dont-invert-that-matrix-why-and-how/) +0. [Thirty-three Miniatures: Mathematical and Algorithmic Applications of Linear Algebra](https://kam.mff.cuni.cz/~matousek/stml-53-matousek-1.pdf) +0. [Covectors are Different than Vectors, Usually](http://infohost.nmt.edu/~parendt/Phys509/notes/2diracnot/node4.html) +0. [Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares](https://web.stanford.edu/~boyd/vmls/vmls.pdf) +0. [Linear Algebra Done Wrong.](http://www.math.brown.edu/~treil/papers/LADW/LADW.html) +0. [Linear Algebra Done Right](http://linear.axler.net/) +0. [Down with Determinants!](http://www.axler.net/DwD.html) +0. https://github.com/jacobbogers/blasjs +0. https://graphicallinearalgebra.net/ +0. [Wild Linear Algebra](https://www.youtube.com/watch?v=yAb12PWrhV0&list=PLIljB45xT85BhzJ-oWNug1YtUjfWp1qAp &&& https://www.youtube.com/watch?v=nJdWFoliRnc&list=PLIljB45xT85DF5G-Hq0xPsVUnR5_wJRSw) +0. https://github.com/ferreiradaselva/mathc +0. http://www.fast.ai/2017/07/17/num-lin-alg/ +0. https://github.com/bluemathsoft/bm-linalg +0. [The Matrix Cookbook](https://www.math.uwaterloo.ca/~hwolkowi/matrixcookbook.pdf) +0. https://dhruvp.netlify.com/2018/12/31/matrices/ +0. https://www.nalgebra.org/ +0. http://immersivemath.com/ila/index.html +0. [Linear Logic and Linear Algebra](http://www.cs.bham.ac.uk/~drg/bll/steve.pdf) +0. https://www.math3ma.com/blog/matrices-probability-graphs +0. [Essence of linear algebra](https://www.youtube.com/watch?v=fNk_zzaMoSs&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab) +0. https://www.dhruvonmath.com/2018/12/31/matrices/ +0. http://blog.ezyang.com/2019/05/a-short-note-about-functional-linear-maps/ +0. https://www.math3ma.com/blog/matrices-as-tensor-network-diagrams +0. [Convolution is outer product](https://arxiv.org/abs/1905.01289) +0. [Graphical Calculus for products and convolutions](https://arxiv.org/abs/1903.01366) +0. [3 Point Parameterization of Affine Transform](https://www.catid.io/affine3) + diff --git a/documentation/bookmark/optimization/branchless_programming.md b/documentation/bookmark/optimization/branchless_programming.md new file mode 100644 index 000000000..069ead4a7 --- /dev/null +++ b/documentation/bookmark/optimization/branchless_programming.md @@ -0,0 +1,4 @@ +# Reference + +0. [Branchless Programming in C++ - Fedor Pikus - CppCon 2021](https://www.youtube.com/watch?v=g-WPhYREFjk) + diff --git a/documentation/bookmark/paradigm/probabilistic_programming.md b/documentation/bookmark/paradigm/probabilistic_programming.md index d89ed1de1..f1a46d27b 100644 --- a/documentation/bookmark/paradigm/probabilistic_programming.md +++ b/documentation/bookmark/paradigm/probabilistic_programming.md @@ -1,76 +1,77 @@ # Library -1. [Soss](https://github.com/cscherrer/Soss.jl) +0. [Soss](https://github.com/cscherrer/Soss.jl) # Ranked Programming -1. [Ranked Programming](https://github.com/tjitze/ranked-programming/blob/master/documentation/ranked_programming.pdf) -1. https://github.com/tjitze/ranked-programming +0. [Ranked Programming](https://github.com/tjitze/ranked-programming/blob/master/documentation/ranked_programming.pdf) +0. https://github.com/tjitze/ranked-programming # Inference -1. [Gen: A general-purpose probabilistic programming system with programmable inference.](https://probcomp.github.io/Gen/) -1. [Probabilistic Programming with Programmable Inference](https://people.csail.mit.edu/rinard/paper/pldi18.pdf) -1. https://www.microsoft.com/en-us/research/blog/dowhy-a-library-for-causal-inference/ +0. [Gen: A general-purpose probabilistic programming system with programmable inference.](https://probcomp.github.io/Gen/) +0. [Probabilistic Programming with Programmable Inference](https://people.csail.mit.edu/rinard/paper/pldi18.pdf) +0. https://www.microsoft.com/en-us/research/blog/dowhy-a-library-for-causal-inference/ # Reference -1. [Foundations of Probabilistic Programming](https://www.cambridge.org/core/books/foundations-of-probabilistic-programming/819623B1B5B33836476618AC0621F0EE) -1. [An unorthodox path for implementing a probabilistic programming language](http://hyperparameter.space/blog/an-unorthodox-path-for-implementing-a-probabilistic-programming-language/) -1. [The Distribution Monad](http://blog.russelldmatt.com/2018/10/15/the-distribution-monad.html) -1. ["New programming constructs for probabilistic AI" by Marco Cusumano-Towner](https://www.youtube.com/watch?v=xNutxms6SH4) -1. [A tour of probabilistic programming language APIs](https://colcarroll.github.io/ppl-api/) -1. [Paradigms of Probabilistic Programming](https://www.youtube.com/watch?v=CmH1xxKRbiE) -1. [Anatomy of a Probabilistic Programming Framework](https://eigenfoo.xyz/prob-prog-frameworks/) -1. [Probabilistic Programming with monad‑bayes, Part 1: First Steps](https://www.tweag.io/posts/2019-09-20-monad-bayes-1.html) -1. [Probabilistic Programming with monad‑bayes, Part 2: Linear Regression](https://www.tweag.io/posts/2019-11-08-monad-bayes-2.html) -1. [FACTORIE](http://factorie.cs.umass.edu/) -1. [End-User Probabilistic Programming (DRAFT)](https://www.cs.uoregon.edu/research/summerschool/summer19/lecture_notes/DRAFT___Probabilistic_Programming_for_End_Users.pdf) -1. http://willcrichton.net/notes/probabilistic-programming-under-the-hood/ -1. [Ask HN: What companies are using probabilistic programming?](https://news.ycombinator.com/item?id=17220861) -1. https://www-forbes-com.cdn.ampproject.org/v/s/www.forbes.com/sites/quora/2018/05/18/even-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept/amp/?amp_js_v=a1&_gsa=1#amp_tf=From%20%251%24s&share=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2Famp%2F%23amp_tf%3DFrom%2520%25251%2524s&share=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2F&share=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2F -1. [Deep Probabilistic Programming Languages: A Qualitative Study](https://arxiv.org/abs/1804.06458) -1. [A Provably Correct Sampler for Probabilistic Programs](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/final.pdf) -1. [Practical Probabilistic Programming with Monads](http://mlg.eng.cam.ac.uk/pub/pdf/SciGhaGor15.pdf) -1. [Probabilistic Functional Programming in Haskell](https://web.engr.oregonstate.edu/~erwig/papers/PFP_JFP06.pdf) -1. [The Probability Monad](https://www.youtube.com/watch?v=qZ4O-1VYv4c) -1. https://www.chrisstucchio.com/blog/2016/probability_the_monad.html -1. http://dippl.org/ -1. [Deep Probabilistic Programming](https://arxiv.org/abs/1701.03757v1) -1. [Symbolic Conditioning of Arrays in Probabilistic Programs](http://homes.soic.indiana.edu/pravnar/disintegrate-arrays.pdf) -1. http://probabilistic-programming.org/wiki/Home -1. http://underscore.io/blog/posts/2016/04/21/probabilistic-programming.html -1. https://moalquraishi.wordpress.com/2015/03/29/the-state-of-probabilistic-programming/ -1. https://en.wikipedia.org/wiki/Probabilistic_programming_language -1. https://probmods.org/ -1. http://adriansampson.net/doc/ppl.html -1. http://blog.fastforwardlabs.com/2017/10/02/pp-bibliography.html -1. http://blog.fastforwardlabs.com/2017/01/30/the-algorithms-behind-probabilistic-programming.html -1. https://arxiv.org/abs/1701.03757 -1. [Typed functional probabilistic programming: ready for practical use?](https://www.youtube.com/watch?v=DGZXoi6ehwA) -1. [Generative probabilistic programming: applications and new ideas](https://www.youtube.com/watch?v=M_vG_6pq0XM) -1. [Probabilistic Programming for Programming Languages People](https://github.com/sampsyo/ppl-intro) -1. [Bayesian Methods for Hackers](https://github.com/CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers) -1. [An Introduction to Probabilistic Programming](https://arxiv.org/abs/1809.10756) -1. http://www.stormchecker.org/index.html -1. https://betanalpha.github.io/assets/case_studies/conditional_probability_theory.html -1. https://kaomorphism.com/2019/01/17/How-To-Predict-Any-Three-Events-More-Accurately.html -1. [Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic](https://www.youtube.com/watch?v=CXiCJ7M72Wc) +0. [Probabilistic programming with continuations](https://julesh.com/2020/08/15/probabilistic-programming-with-continuations/) +0. [Foundations of Probabilistic Programming](https://www.cambridge.org/core/books/foundations-of-probabilistic-programming/819623B1B5B33836476618AC0621F0EE) +0. [An unorthodox path for implementing a probabilistic programming language](http://hyperparameter.space/blog/an-unorthodox-path-for-implementing-a-probabilistic-programming-language/) +0. [The Distribution Monad](http://blog.russelldmatt.com/2018/10/15/the-distribution-monad.html) +0. ["New programming constructs for probabilistic AI" by Marco Cusumano-Towner](https://www.youtube.com/watch?v=xNutxms6SH4) +0. [A tour of probabilistic programming language APIs](https://colcarroll.github.io/ppl-api/) +0. [Paradigms of Probabilistic Programming](https://www.youtube.com/watch?v=CmH1xxKRbiE) +0. [Anatomy of a Probabilistic Programming Framework](https://eigenfoo.xyz/prob-prog-frameworks/) +0. [Probabilistic Programming with monad‑bayes, Part 1: First Steps](https://www.tweag.io/posts/2019-09-20-monad-bayes-1.html) +0. [Probabilistic Programming with monad‑bayes, Part 2: Linear Regression](https://www.tweag.io/posts/2019-11-08-monad-bayes-2.html) +0. [FACTORIE](http://factorie.cs.umass.edu/) +0. [End-User Probabilistic Programming (DRAFT)](https://www.cs.uoregon.edu/research/summerschool/summer19/lecture_notes/DRAFT___Probabilistic_Programming_for_End_Users.pdf) +0. http://willcrichton.net/notes/probabilistic-programming-under-the-hood/ +0. [Ask HN: What companies are using probabilistic programming?](https://news.ycombinator.com/item?id=17220861) +0. https://www-forbes-com.cdn.ampproject.org/v/s/www.forbes.com/sites/quora/2018/05/18/even-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept/amp/?amp_js_v=a1&_gsa=1#amp_tf=From%20%251%24s&share=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2Famp%2F%23amp_tf%3DFrom%2520%25251%2524s&share=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2F&share=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2F +0. [Deep Probabilistic Programming Languages: A Qualitative Study](https://arxiv.org/abs/1804.06458) +0. [A Provably Correct Sampler for Probabilistic Programs](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/final.pdf) +0. [Practical Probabilistic Programming with Monads](http://mlg.eng.cam.ac.uk/pub/pdf/SciGhaGor15.pdf) +0. [Probabilistic Functional Programming in Haskell](https://web.engr.oregonstate.edu/~erwig/papers/PFP_JFP06.pdf) +0. [The Probability Monad](https://www.youtube.com/watch?v=qZ4O-1VYv4c) +0. https://www.chrisstucchio.com/blog/2016/probability_the_monad.html +0. http://dippl.org/ +0. [Deep Probabilistic Programming](https://arxiv.org/abs/1701.03757v1) +0. [Symbolic Conditioning of Arrays in Probabilistic Programs](http://homes.soic.indiana.edu/pravnar/disintegrate-arrays.pdf) +0. http://probabilistic-programming.org/wiki/Home +0. http://underscore.io/blog/posts/2016/04/21/probabilistic-programming.html +0. https://moalquraishi.wordpress.com/2015/03/29/the-state-of-probabilistic-programming/ +0. https://en.wikipedia.org/wiki/Probabilistic_programming_language +0. https://probmods.org/ +0. http://adriansampson.net/doc/ppl.html +0. http://blog.fastforwardlabs.com/2017/10/02/pp-bibliography.html +0. http://blog.fastforwardlabs.com/2017/01/30/the-algorithms-behind-probabilistic-programming.html +0. https://arxiv.org/abs/1701.03757 +0. [Typed functional probabilistic programming: ready for practical use?](https://www.youtube.com/watch?v=DGZXoi6ehwA) +0. [Generative probabilistic programming: applications and new ideas](https://www.youtube.com/watch?v=M_vG_6pq0XM) +0. [Probabilistic Programming for Programming Languages People](https://github.com/sampsyo/ppl-intro) +0. [Bayesian Methods for Hackers](https://github.com/CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers) +0. [An Introduction to Probabilistic Programming](https://arxiv.org/abs/1809.10756) +0. http://www.stormchecker.org/index.html +0. https://betanalpha.github.io/assets/case_studies/conditional_probability_theory.html +0. https://kaomorphism.com/2019/01/17/How-To-Predict-Any-Three-Events-More-Accurately.html +0. [Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic](https://www.youtube.com/watch?v=CXiCJ7M72Wc) # DSL -1. [Embedded probabilistic domain-specific language Hakaru10 (discrete and continuous distributions, MCMC (MH) sampling)](http://okmij.org/ftp/kakuritu/Hakaru10/index.html) -1. https://github.com/p2t2/figaro -1. http://www.robots.ox.ac.uk/~fwood/anglican/ -1. [Probabilistic programming and meta-programming in Clojure - Vikash Mansinghka](https://www.youtube.com/watch?v=KLGwLkmh8gI) +0. [Embedded probabilistic domain-specific language Hakaru10 (discrete and continuous distributions, MCMC (MH) sampling)](http://okmij.org/ftp/kakuritu/Hakaru10/index.html) +0. https://github.com/p2t2/figaro +0. http://www.robots.ox.ac.uk/~fwood/anglican/ +0. [Probabilistic programming and meta-programming in Clojure - Vikash Mansinghka](https://www.youtube.com/watch?v=KLGwLkmh8gI) # Language -1. [Bean Machine: A Declarative Probabilistic Programming Language For Efficient Programmable Inference](https://pgm2020.cs.aau.dk/wp-content/uploads/2020/09/tehrani20.pdf) -1. [Reactive Probabilistic Programming](https://arxiv.org/abs/1908.07563) -1. https://hakaru-dev.github.io/ -1. http://probcomp.csail.mit.edu/venture/ -1. https://github.com/tjitze/RankPL/ -1. http://turing.guru/ -1. https://eng.uber.com/pyro/ +0. [Bean Machine: A Declarative Probabilistic Programming Language For Efficient Programmable Inference](https://pgm2020.cs.aau.dk/wp-content/uploads/2020/09/tehrani20.pdf) +0. [Reactive Probabilistic Programming](https://arxiv.org/abs/1908.07563) +0. https://hakaru-dev.github.io/ +0. http://probcomp.csail.mit.edu/venture/ +0. https://github.com/tjitze/RankPL/ +0. http://turing.guru/ +0. https://eng.uber.com/pyro/ diff --git a/documentation/bookmark/parallelism.md b/documentation/bookmark/parallelism.md index a1829df9c..67c8f418d 100644 --- a/documentation/bookmark/parallelism.md +++ b/documentation/bookmark/parallelism.md @@ -1,5 +1,5 @@ # Reference -1. [Arachne: Towards Core-Aware Scheduling](https://github.com/PlatformLab/Arachne) -1. []() +0. [C++ Standard Parallelism - Bryce Adelstein Lelbach - CppCon 2021](https://www.youtube.com/watch?v=LW_T2RGXego) +0. [Arachne: Towards Core-Aware Scheduling](https://github.com/PlatformLab/Arachne) -- cgit v1.2.3