Skip to content

Commit

Permalink
Permlink for monthly diary
Browse files Browse the repository at this point in the history
  • Loading branch information
utensil committed Sep 16, 2024
1 parent 6921893 commit 70a7119
Showing 1 changed file with 29 additions and 17 deletions.
46 changes: 29 additions & 17 deletions trees/uts-0018.tree
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand All @@ -25,40 +29,40 @@
- [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}
- Read \citek{baez2010algebra} and make 97 notes
- [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)
}
\li{Make a start on [[spin-0010]]}
}
}

\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
Expand All @@ -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}
Expand All @@ -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 DiracHestenes 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!
Expand All @@ -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]]
Expand All @@ -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/).
}

}

}

}

0 comments on commit 70a7119

Please sign in to comment.