From 104130efba46a875eba566384578f8aa8593ad37 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 1 Jul 2022 18:53:58 -0400 Subject: Moved "lux/macro/code" to "lux/meta/code". --- documentation/bookmark/analysis/static.md | 1 + documentation/bookmark/audio.md | 1 + documentation/bookmark/blockchain.md | 1 + documentation/bookmark/coding_style.md | 7 +++ documentation/bookmark/concurrency/clock.md | 5 ++ .../bookmark/concurrency/lock_free_programming.md | 2 + documentation/bookmark/documentation.md | 1 + documentation/bookmark/game/engine.md | 3 ++ documentation/bookmark/law/gdpr.md | 5 ++ documentation/bookmark/math.md | 55 ++++++++++++++++++++++ documentation/bookmark/optimization/simd.md | 5 -- .../simd__single_instruction_multiple_data.md | 7 +++ .../bookmark/programming_language/syntax.md | 1 + documentation/bookmark/security/authentication.md | 2 + 14 files changed, 91 insertions(+), 5 deletions(-) create mode 100644 documentation/bookmark/coding_style.md create mode 100644 documentation/bookmark/concurrency/clock.md create mode 100644 documentation/bookmark/law/gdpr.md delete mode 100644 documentation/bookmark/optimization/simd.md create mode 100644 documentation/bookmark/optimization/simd__single_instruction_multiple_data.md (limited to 'documentation/bookmark') diff --git a/documentation/bookmark/analysis/static.md b/documentation/bookmark/analysis/static.md index 0300a44d1..daae87e7b 100644 --- a/documentation/bookmark/analysis/static.md +++ b/documentation/bookmark/analysis/static.md @@ -1,6 +1,7 @@ # Reference 0. []() +0. [Souffle: Logic Defined Static Analysis.](https://souffle-lang.github.io/index.html) 0. [Fusing Industry and Academia at GitHub (Experience Report)](https://arxiv.org/abs/2206.09206) 0. [Software can literally be perfect](https://www.youtube.com/watch?v=Lf7ML_ErWvQ) 0. [Magmide](https://github.com/magmide/magmide) diff --git a/documentation/bookmark/audio.md b/documentation/bookmark/audio.md index fef45b127..f2e88a58d 100644 --- a/documentation/bookmark/audio.md +++ b/documentation/bookmark/audio.md @@ -1,5 +1,6 @@ # Reference 0. []() +0. [Ambisonics](https://en.wikipedia.org/wiki/Ambisonics) 0. [JUCE: The leading framework for multi-platform audio applications](https://juce.com/) diff --git a/documentation/bookmark/blockchain.md b/documentation/bookmark/blockchain.md index 014e8cb8f..6dc4be393 100644 --- a/documentation/bookmark/blockchain.md +++ b/documentation/bookmark/blockchain.md @@ -1,5 +1,6 @@ # Reference 0. []() +0. [OpenAttestation: Document Endorsement and Verification Framework](https://www.openattestation.com/) 0. [Crypto is crashing but the tech behind it could save luxury brands billions](https://edition.cnn.com/2022/06/26/business/aura-blockchain-luxury-counterfeit-hnk-spc-intl/index.html) diff --git a/documentation/bookmark/coding_style.md b/documentation/bookmark/coding_style.md new file mode 100644 index 000000000..6df265f00 --- /dev/null +++ b/documentation/bookmark/coding_style.md @@ -0,0 +1,7 @@ +# Reference + +0. []() +0. [the gizmo's role in markup](https://t-ravis.com/post/doc/the_gizmos_role_in_markup/) +0. [the hard problem: naming functions and other gizmos](https://t-ravis.com/post/doc/naming_functions_methods_and_other_gizmos/) +0. [WHAT functions and WHY functions](https://t-ravis.com/post/doc/what_functions_and_why_functions/) + diff --git a/documentation/bookmark/concurrency/clock.md b/documentation/bookmark/concurrency/clock.md new file mode 100644 index 000000000..b62ce80e8 --- /dev/null +++ b/documentation/bookmark/concurrency/clock.md @@ -0,0 +1,5 @@ +# Reference + +0. []() +0. [A Tree Clock Data Structure for Causal Orderings in Concurrent Executions](https://dl.acm.org/doi/pdf/10.1145/3503222.3507734) + diff --git a/documentation/bookmark/concurrency/lock_free_programming.md b/documentation/bookmark/concurrency/lock_free_programming.md index d904c8841..7a64aa21f 100644 --- a/documentation/bookmark/concurrency/lock_free_programming.md +++ b/documentation/bookmark/concurrency/lock_free_programming.md @@ -1,5 +1,7 @@ # Reference +0. []() +0. [Handling Concurrency Without Locks: How to not let concurrency cripple your system](https://hakibenita.com/django-concurrency) 0. [Nonblocking Algorithms and Scalable Multicore Programming: Exploring some alternatives to lock-based synchronization](https://queue.acm.org/detail.cfm?id=2492433) 0. [Design and Implementation of Highly Scalable Quantifiable Data Structures in C++ - CppCon 2021](https://www.youtube.com/watch?v=ECWsLj0pgbI) 0. [Building a Lock-free Multi-producer, Multi-consumer Queue for Tcmalloc - Matt Kulukundis - CppCon 21](https://www.youtube.com/watch?v=_qaKkHuHYE0) diff --git a/documentation/bookmark/documentation.md b/documentation/bookmark/documentation.md index 470a27b3e..ab65452ba 100644 --- a/documentation/bookmark/documentation.md +++ b/documentation/bookmark/documentation.md @@ -65,6 +65,7 @@ # Reference 0. []() +0. [TimelineJS: Easy-to-make, beautiful timelines.](http://timeline.knightlab.com/) 0. [Introduction to the Zettelkasten Method](https://zettelkasten.de/introduction/) 0. [Building a community of open-source documentation contributors](https://news.ycombinator.com/newest?next=31705868&n=1171) 0. [Documentation in the Era of Concepts and Ranges - Christopher Di Bella & Sy Brand - CppCon 2021](https://www.youtube.com/watch?v=nm45t2fnUms) diff --git a/documentation/bookmark/game/engine.md b/documentation/bookmark/game/engine.md index 45d78ec5b..848857189 100644 --- a/documentation/bookmark/game/engine.md +++ b/documentation/bookmark/game/engine.md @@ -2,11 +2,14 @@ ## General +0. []() +0. [MonoGame: One framework for creating powerful cross-platform games](https://www.monogame.net/) 0. [Heaps.io](https://heaps.io/index.html) 0. [The Machinery](https://ourmachinery.com/) 0. [Open 3D Engine](https://www.o3de.org/) ## Specialized +0. []() 0. [RPG Paper Maker](http://rpg-paper-maker.com/) diff --git a/documentation/bookmark/law/gdpr.md b/documentation/bookmark/law/gdpr.md new file mode 100644 index 000000000..48035be6b --- /dev/null +++ b/documentation/bookmark/law/gdpr.md @@ -0,0 +1,5 @@ +# Reference + +0. []() +0. [Is my cookie illegal?: Twelve questions from developers to privacy experts.](https://volument.com/blog/is-my-cookie-illegal) + diff --git a/documentation/bookmark/math.md b/documentation/bookmark/math.md index 113ec69a7..9c36118ed 100644 --- a/documentation/bookmark/math.md +++ b/documentation/bookmark/math.md @@ -1,66 +1,82 @@ # Logarithm +0. []() 0. [Logarithm: The Complete Guide (Theory & Applications)](https://mathvault.ca/logarithm-theory/) # Ball arithmetic +0. []() 0. [Ball arithmetic](http://www.texmacs.org/joris/ball/ball.html) # Arithmetic +0. []() 0. [The Definitive Higher Math Guide on Integer Long Division (and Its Variants)](https://mathvault.ca/long-division/) # Tensor calculus +0. []() 0. [Introduction to Tensor Calculus](http://www.ita.uni-heidelberg.de/~dullemond/lectures/tensor/tensor.pdf) # Geometry +0. []() 0. [Perspectives on Projective Geometry: A Guided Tour through Real and Complex Geometry](https://www-m10.ma.tum.de/foswiki/pub/Lehre/WS0910/ProjektiveGeometrieWS0910/GeomBook.pdf) 0. [Symplectic Geometry for Engineers - Fundamentals](https://www.researchgate.net/publication/338124384_Symplectic_Geometry_for_Engineers_-_Fundamentals) # Prime number +0. []() 0. [The History of the Primality of One: A Selection of Sources](https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell2/cald6.pdf) # Trigonometry +0. []() 0. [Approximating the Sine Function](http://datagenetics.com/blog/july12019/index.html) # Period +0. []() 0. https://en.wikipedia.org/wiki/Ring_of_periods 0. [PERIODS](http://www.ihes.fr/~maxim/TEXTS/Periods.pdf) # Proof theory +0. []() 0. [Mathematical Components](https://math-comp.github.io/mcb/) # Statistics +0. []() 0. https://www.statisticsdonewrong.com/ # Topology +0. []() 0. [What is Topology?](https://medium.com/cantors-paradise/what-is-topology-963ef4cc6365) 0. [Pointless topology](https://en.wikipedia.org/wiki/Pointless_topology) 0. [ELEMENTARY APPLIED TOPOLOGY](https://www.math.upenn.edu/~ghrist/notes.html) # Library +0. []() 0. https://github.com/ZacharyPatten/Towel # Polynomials +0. []() 0. https://brainbomb.org/0-1-efficient-metholds-for-evaluting-polynomials/ 0. https://en.wikipedia.org/wiki/Horner%27s_method # Chaos Theory +0. []() 0. http://ncase.me/attractors/ # Number Theory +0. []() +0. [Introduction to number theory (Berkeley Math 115)](https://www.youtube.com/playlist?list=PL8yHsr3EFj53L8sMbzIhhXSAOpuZ1Fov8) 0. https://twitter.com/johncarlosbaez/status/1184492139897507840 0. https://en.wikipedia.org/wiki/Division_algebra 0. [Division algebras](https://www.youtube.com/watch?v=3BZyds_KFWM&list=PLNxhIPHaOTRZMO1VjJcs7_3dgyJ2qU1yZ) @@ -70,8 +86,10 @@ ## Hyperreal number +0. []() 0. [Yes, You Can Manipulate Infinity—in Math](https://mindmatters.ai/2019/10/yes-you-can-manipulate-infinity-in-math/) +0. []() # Quaternions 0. [Quaternions: Part 1](https://liorsinai.github.io/mathematics/2021/11/05/quaternion-1-intro.html) @@ -85,6 +103,7 @@ # _Compendium of resources_ +0. []() 0. [How to Learn Advanced Mathematics Without Heading to University - Part 1](https://www.quantstart.com/articles/How-to-Learn-Advanced-Mathematics-Without-Heading-to-University-Part-1/) 0. [How to Learn Advanced Mathematics Without Heading to University - Part 2](https://www.quantstart.com/articles/How-to-Learn-Advanced-Mathematics-Without-Heading-to-University-Part-2/) 0. [How to Learn Advanced Mathematics Without Heading to University - Part 3](https://www.quantstart.com/articles/How-to-Learn-Advanced-Mathematics-Without-Heading-to-University-Part-3/) @@ -101,10 +120,12 @@ # Number systems +0. []() 0. https://en.wikipedia.org/wiki/Negative_base # Discrete mathematics +0. []() 0. [Applied Discrete Structures](http://discretemath.org/ads-latex/ads.pdf) 0. [Notes on Discrete Mathematics](http://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf) 0. [The system of integer functions, an efficient version of discrete mathematical analysis](https://arxiv.org/abs/1710.00676) @@ -113,14 +134,17 @@ # Probability +0. []() 0. [Introduction to Probability at anadvanced leve](https://www.stat.berkeley.edu/~aditya/resources/AllLectures2018Fall201A.pdf) # Domain Theory +0. []() 0. [A Brief Intro to Domain Theory](https://www.alignmentforum.org/posts/4C4jha5SdReWgg7dF/a-brief-intro-to-domain-theory) # Category Theory +0. []() 0. [Programming with Categories](https://www.youtube.com/watch?v=Y5YCE_mVjvg&list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS&index=1) 0. [Awesome Applied Category Theory](https://github.com/statebox/awesome-applied-ct) 0. [Categorical Query Language](https://www.categoricaldata.net/) @@ -138,10 +162,12 @@ # Direct Logic +0. []() 0. [Strong Types for Direct Logic](https://drive.google.com/file/d/1relKFB4aOMD2VZHM9qj3wWMXOq-q2AJr/view) # Geometric Algebra | Clifford Algebra +0. []() 0. [Symplectic Geometry meets Geometric Algebra in 2D](https://www.researchgate.net/publication/356781838_Symplectic_Geometry_meets_Geometric_Algebra_in_2D) 0. [Siggraph2019 Geometric Algebra](https://www.youtube.com/watch?v=tX4H_ctggYo) 0. [Dr Leo Dorst' Keynote talk at CGI2020](https://www.youtube.com/watch?v=T7xVTBpHMjA) @@ -178,6 +204,7 @@ # Abstract Algebra +0. []() 0. [A Brief Guide to A Few Algebraic Structures](https://argumatronic.com//posts/2019-06-21-algebra-cheatsheet.html) 0. [DUALITY FOR GROUPS](https://projecteuclid.org/download/pdf_1/euclid.bams/1183515045) 0. https://gowers.wordpress.com/2011/11/20/normal-subgroups-and-quotient-groups/ @@ -191,10 +218,12 @@ # Logic +0. []() 0. http://openlogicproject.org/ # Calculus +0. []() 0. [What is Jacobian? | The right way of thinking derivatives and integrals](https://www.youtube.com/watch?v=wCZ1VEmVjVo) 0. [The Fractional Derivative, what is it? | Introduction to Fractional Calculus](https://www.youtube.com/watch?v=A4sTAKN6yFA) 0. [Calculus on Manifolds](http://strangebeautiful.com/other-texts/spivak-calc-manifolds.pdf) @@ -209,61 +238,74 @@ # Continuous Calculus +0. []() 0. [Continuous Calculus](http://www-users.math.umn.edu/~olver/ln_/cc.pdf) # Octonion +0. []() 0. http://math.ucr.edu/home/baez/octonions/ # Differential Geometry +0. []() 0. [differential geometry reconstructed: a unified systematic framework](http://www.geometry.org/tex/conc/dgstats.php) 0. [Differential geometry reconstructed: a unified systematic framework](http://www.topology.org/tex/conc/dg.html) # Information Theory +0. []() 0. [Functional Bits: Lambda Calculus based Algorithmic Information Theory](https://tromp.github.io/cl/LC.pdf) # Graph Theory +0. []() 0. [Graphs and Geometry](http://web.cs.elte.hu/~lovasz/bookxx/geomgraphbook/geombook2019.01.11.pdf) 0. [Graph-Based Algorithms for Boolean Function Manipulation](http://mtv.ece.ucsb.edu/courses/ece156B_14/randy_obdd86.pdf) 0. [better geometry through graph theory](http://ideolalia.com/2018/08/28/artifex.html) # Division by Zero +0. []() 0. [29. Dividing by zero to invert matrices](https://graphicallinearalgebra.net/2016/06/22/29-inverting-matrices-and-dividing-by-zero/) 0. https://www.hillelwayne.com/post/divide-by-zero/ 0. https://www.1dividedby0.com/ # Partial Fractions +0. []() 0. https://jaydaigle.net/blog/calculus/easier-partial-fractions/ # Non-commutative Algebra +0. []() 0. [An Invitation to Noncommutative Algebra](https://arxiv.org/abs/1808.03172) # Lambda Calculus +0. []() 0. https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c # _Software Library_ +0. []() 0. https://github.com/arguiot/TheoremJS 0. https://github.com/arguiot/Descartes # Set Theory +0. []() 0. [Set Theory and Algebra in Computer Science: A Gentle Introduction to Mathematical Modeling](https://pdfs.semanticscholar.org/d106/6b6de601c1d7d5af25af3f7091bc7ad3ad51.pdf) # Uncertainty Theory +0. []() 0. http://faculty.math.tsinghua.edu.cn/~bliu/ut.pdf 0. [An Introduction to the Mathematics of Uncertainty: including Set Theory, Logic, Probability, Fuzzy Sets, Rough Sets, and Evidence Theory](https://www.creighton.edu/fileadmin/user/CCAS/programs/fuzzy_math/docs/MOU.pdf) # Computational Geometry +0. []() 0. [CMPT 813: Computational Geometry (Fall 2011)](http://www.cs.sfu.ca/~binay/813.2011/) 0. https://www.johndcook.com/blog/2018/09/26/polygon-area/ 0. http://s2geometry.io/devguide/s2cell_hierarchy.html @@ -272,45 +314,54 @@ # Finitism +0. []() 0. ["REAL" ANALYSIS Is A DEGENERATE CASE of DISCRETE ANALYSIS](http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf) # Linear programming +0. []() 0. https://en.wikibooks.org/wiki/GLPK 0. https://white.ucc.asn.au/2018/05/28/Optimizing-your-diet-with-JuMP.html # Measure theory +0. []() 0. [Resources for Learning Measure Theory](https://bcmullins.github.io/measure_theory_resources/) # Combinatorics +0. []() 0. [Advances in Combinatorics](https://www.advancesincombinatorics.com/) 0. http://andy.kitchen/combinations.html 0. [Combinatorial Algorithms](http://www2.denizyuret.com/bib/kreher/donald1999combinatorial/combinatorialA.pdf) # Vector +0. []() 0. [A Student's Guide to Vectors and Tensors (Student's Guides)](https://www.amazon.com/Students-Guide-Vectors-Tensors-Guides/dp/0521171903) 0. https://www.researchgate.net/publication/327989714_Coordinate_Free_Vector_Algebra_in_R2 # Knot theory +0. []() 0. [KNOT THEORY and ITS APPLICATIONS](https://www.maths.ed.ac.uk/~v1ranick/papers/murasug3.pdf) 0. [Primes and Knots - Akshay Venkatesh](https://www.youtube.com/watch?v=jvoYgNYKyk0) 0. [The Knot Book](http://math.harvard.edu/~ctm/home/text/books/adams/knot_book/knot_book.pdf) # Axiom +0. []() 0. [INTRODUCTION TO AXIOMATIC REASONING](http://www.math.harvard.edu/~mazur/papers/Axiomatic.pdf) # Differential equations +0. []() 0. [ELEMENTARY DIFFERENTIAL EQUATIONS](http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_FREE_DIFFEQ_I.PDF) 0. [Lecture Notes on Difference Equations](http://people.math.aau.dk/~matarne/11-imat/notes2011a.pdf) # Algebraic geometry +0. []() 0. [The Stacks project](https://stacks.math.columbia.edu/) 0. http://nautil.us/issue/69/patterns/the-math-that-takes-newton-into-the-quantum-world 0. [Algebraic Geometry](http://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2014/main.pdf) @@ -318,20 +369,24 @@ # Physics +0. []() 0. https://www.researchgate.net/publication/309533409_Beyond_Einstein_non-local_physics 0. https://www.theoretical-physics.com/dev/index.html # Spherical trigonometry +0. []() 0. https://en.wikipedia.org/wiki/Haversine_formula # Hyperbolic geometry +0. []() 0. [Intuitive Guide to Hyperbolic Functions](https://betterexplained.com/articles/hyperbolic-functions/) 0. [Hyperbolic Functions and Non-Hyperbolic Claims](https://elliptigon.com/hyperbolic-functions-explained/) # **Temp Cache** +0. []() 0. https://mathlets.org/mathlets/ 0. [Quadratic splines are useful too](https://wordsandbuttons.online/quadric_splines_are_useful_too.html) 0. [Derivations of Applied Mathematics](http://www.derivations.org/) diff --git a/documentation/bookmark/optimization/simd.md b/documentation/bookmark/optimization/simd.md deleted file mode 100644 index fa90da369..000000000 --- a/documentation/bookmark/optimization/simd.md +++ /dev/null @@ -1,5 +0,0 @@ -# Reference - -0. [Closing the Performance Gap Between Lisp and C](https://zenodo.org/record/6335627#.YpzmCDnMJH5) -0. [Vectorization, dependencies and outer loop vectorization: if you can’t beat them, join them](https://johnysswlab.com/vectorization-dependencies-and-outer-loop-vectorization-if-you-cant-beat-them-join-them/) - diff --git a/documentation/bookmark/optimization/simd__single_instruction_multiple_data.md b/documentation/bookmark/optimization/simd__single_instruction_multiple_data.md new file mode 100644 index 000000000..a0cb71744 --- /dev/null +++ b/documentation/bookmark/optimization/simd__single_instruction_multiple_data.md @@ -0,0 +1,7 @@ +# Reference + +0. []() +0. [10x Performance Improvement for Expression Evaluation Made Possible by Vectorized Execution and the Community](https://en.pingcap.com/blog/10x-performance-improvement-for-expression-evaluation-made-possible-by-vectorized-execution/) +0. [Closing the Performance Gap Between Lisp and C](https://zenodo.org/record/6335627#.YpzmCDnMJH5) +0. [Vectorization, dependencies and outer loop vectorization: if you can’t beat them, join them](https://johnysswlab.com/vectorization-dependencies-and-outer-loop-vectorization-if-you-cant-beat-them-join-them/) + diff --git a/documentation/bookmark/programming_language/syntax.md b/documentation/bookmark/programming_language/syntax.md index 5d28ea88d..b472a2c6b 100644 --- a/documentation/bookmark/programming_language/syntax.md +++ b/documentation/bookmark/programming_language/syntax.md @@ -1,6 +1,7 @@ # Reference 0. []() +0. [Wisp: Whitespace to Lisp](https://www.draketo.de/proj/wisp/) 0. [Composable and Compilable Macros: You Want it When?](https://www.cs.utah.edu/plt/publications/macromod.pdf) 0. [From Macros to Reusable Generative Programming](http://cs.brown.edu/~sk/Publications/Papers/Published/kfd-macro-to-gen-prog/) 0. [Not everything is an expression](https://codewords.recurse.com/issues/two/not-everything-is-an-expression) diff --git a/documentation/bookmark/security/authentication.md b/documentation/bookmark/security/authentication.md index 96284cf57..152f17b1b 100644 --- a/documentation/bookmark/security/authentication.md +++ b/documentation/bookmark/security/authentication.md @@ -1,5 +1,7 @@ # Reference +0. []() +0. [A07:2021 – Identification and Authentication Failures ](https://owasp.org/Top10/A07_2021-Identification_and_Authentication_Failures/) 0. [The future of authentication is both stateful and stateless](https://clerk.dev/blog/future-of-auth-stateless-and-stateful) 0. [Move beyond passwords](https://developer.apple.com/videos/play/wwdc2021/10106/) 0. [WebAuthn.io](https://webauthn.io/) -- cgit v1.2.3