Learning diary › Year 2025 › April, 2025 › 2025-04-24 [2025-04-24]

✍️source

#diagram #duckdb #gpu #idea #llvm #optimization #os #tla #wasm #✍️
- Abusing DuckDB-WASM by making SQL draw 3D graphics (Sort Of)
    - a very cool idea
    - I should learn more about modern databases
- found Bluefish
    - a JS diagram library with quite some potential
    - some teaser examples were added by this commit
- Exploiting undefined behavior in c/c++ programs for optimization: A study on the performance impact[popescu2025exploiting]
    - so there are actually many performance-wise well defined UBs in LLVM
- GPU Compilation with MLIR
    - found MLIR Python Bindings
- skimmed Some possible roles for AI of Grothendieck topos theory by Laurent Lafforgue (2022)
- made a start on improving PDF organization in and out of MarginNote
- looked for ways to manipulate iCloud files programatically
    - noticed that `rclone` supports iCloud too
    - but `~/Library/Mobile Documents/com~apple~CloudDocs` already works well for my purpose