From 70a7119727f4518c2659a370d79160c8bd877d08 Mon Sep 17 00:00:00 2001 From: utensil Date: Mon, 16 Sep 2024 18:21:07 +0800 Subject: [PATCH] Permlink for monthly diary --- trees/uts-0018.tree | 46 ++++++++++++++++++++++++++++----------------- 1 file changed, 29 insertions(+), 17 deletions(-) diff --git a/trees/uts-0018.tree b/trees/uts-0018.tree index c6aec1e..6077364 100644 --- a/trees/uts-0018.tree +++ b/trees/uts-0018.tree @@ -7,16 +7,20 @@ \p{I wish to keep a reading diary, to keep track of partial reading progress. } -\mdblock{2024-09-12}{ +\subtree[2024]{ + +\subtree[2024-09]{ + +\mdblock{09-12}{ } -\mdblock{2024-09-11}{ +\mdblock{09-11}{ - trying to figure out curvature calculation in shaders - [Screen Space Curvature Shader](https://madebyevan.com/shaders/curvature/) is a trick to mimic curvature calculation in shaders,using [dFdx, dFdy in GLSL](https://registry.khronos.org/OpenGL-Refpages/gl4/html/dFdx.xhtml), [Curvature shader by iY0Yi](https://www.shadertoy.com/view/fsGXzc) used it but it shows certain shower door effect - [glsl-autodiff](https://github.com/sibaku/glsl-autodiff) properly uses forward auto differentiation to calculate curvature in shaders, but it requires rewrite every math function for bookkeeping the gradient and the Hessian } -\mdblock{2024-09-10}{ +\mdblock{09-10}{ - work out shader for [[uts-001D]] - inspired by [Surface Plotter](https://github.com/jaxry/surface-plotter) ([demo](https://jaxry.github.io/surface-plotter/)), read - [Marching Cubes](http://algorithm-interest-group.com/assets/slides/marching_cubes.pdf) @@ -25,24 +29,24 @@ - [Marching Cubes Part 1: Explaining marching cubes](https://polycoding.net/marching-cubes/part-1/) } -\mdblock{2024-09-09}{ +\mdblock{09-09}{ - add `egglog` and `ginac`, and streamline the build process of Rust WASM dependencies - reading source of projects using egg: `jafioti/luminal`, `marcusrossel/lean-egg`, `verified-optimization/CvxLean` etc. TODO: read more egg papers: \citek{rossel2024bridging}\citek{rossel2024equality}\citek{bentkamp2023verified} } -\mdblock{2024-09-08}{ +\mdblock{09-08}{ - mark candidates for rendering PDB: [[uts-001A]] - fail to run Z3 in browser (due to `SharedArrayBuffer` again) - read the source of examples of [uwal](https://github.com/UstymUkhman/uwal) and the corresponding articles at [webgpufundamentals.org](https://webgpufundamentals.org/) - [[uts-001B]] and [[uts-001C]] } -\mdblock{2024-09-07}{ +\mdblock{09-07}{ - Skim through \citek{lengyel2024foundations} - experiments on compute shaders } -\mdblock{2024-09-06}{ +\mdblock{09-06}{ - Polish [[ca-0001]] - Some more on [[uts-000C]] - Re-skim \citek{trautman1997clifford} @@ -50,7 +54,7 @@ - [Notes on Distributed Systems for Young Bloods (2013)](https://www.somethingsimilar.com/2013/01/14/notes-on-distributed-systems-for-young-bloods/) } -\block{2024-09-05}{ +\block{09-05}{ \ul{ \li{Ported the rest of the prelimilary part of \citek{wieser2024blueprint} to [[ca-0001]], except [#{Z_2}-graded derivations #{i_f}, anti-derivation](https://utensil.github.io/lean-ga/blueprint/sec-ops.html#antiDeriv) } @@ -58,7 +62,7 @@ } } -\mdblock{2024-09-04}{ +\mdblock{09-04}{ - \citek{hamilton2023supergeometric} and \citek{hamilton2023unification}: illuminating path towards a unified theory of four fundamental forces, the first theory seemingly capable of reaching the same level of elegance and simplicity as \citek{wilson2024discrete}, the authors are also aware of potential issues and worked out viable solutions to address them. Unfortunately, there are no citations as of now. - \citek{trautman1997clifford} has certain historical remarks and a unusual approach that spinor representations are treated first for odd-dimensional spaces spaces @@ -69,7 +73,7 @@ spaces - Meta Flow Matching: Integrating Vector Fields on the Wasserstein Manifold } -\mdblock{2024-09-03}{ +\mdblock{09-03}{ - \citet{ch. 1-4}{grassmann2000extension} - \citet{sec. 1.1-2.8}{browne2012grassmann} - \citek{loret2024universe} @@ -78,7 +82,7 @@ spaces - Look, Ma, No Matrices! - Spacetime Algebra and Octonions: Links with the groups used in particle physics and computer graphics - Construction of Exceptional Lie Algebra G2 and Non-Associative Algebras using Clifford Algebra - - On Multidimensional Dirac–Hestenes Equation + - On Multidimensional Dirac-Hestenes Equation - On Rank of Multivectors in Geometric Algebra - From Null Monomials to Versors in Conformal Geometry - Look, Ma, No Trigonometry! @@ -92,7 +96,9 @@ spaces } -\mdblock{2024-08-11~2024-08-31}{ +\subtree[2024-01~08]{ + +\mdblock{08-11~08-31}{ The readings during this period are reflected in - [[uts-000G]] @@ -103,20 +109,26 @@ Many experiments on Forester are done, as summarized in [[uts-000X]]. } -\mdblock{2024-07-27~2024-08-11}{ +\mdblock{07-27~08-11}{ The readings during this period are yet to be reflected in [[ag-0001]]. } -\mdblock{2024-05-09~2024-07-27}{ +\mdblock{05-09~07-27}{ The readings during this period are reflected in [[tt-0001]]. -[[uts-000C]] was ported to Forester on 2024-07-22. +[[uts-000C]] was ported to Forester on 07-22. } -\mdblock{2024-04-25~2024-05-24}{ +\mdblock{04-25~05-24}{ The readings during this period are reflected in [[spin-0001]]. Some are yet to be reflected in [[hopf-0001]]. } -\mdblock{2024-01-01~2024-06-14}{ +\mdblock{01-01~06-14}{ The readings during this period are reflected in [My math interests in 2024](https://utensil.github.io/blog/posts/math-2024/). +} + +} + +} + } \ No newline at end of file