#gpu
- work on native-land about GPU computation, see relavant README updates.

#bevy #game #idea #rust
- watch Chris Biscardi - Bevy: A case study in ergonomic Rust
- have a better idea about the game about fly, evade, slingshot, and shoot around black holes, 4D implicit surfaces
- explore sketchfab, polyhaven, and openverse, and have a basic idea about how to use them in the early stage of the game
- learn about itch.io to surveying existing games, and a open revenue sharing platform to release games
- found Algebraic geometry: A problem solving approach[garrity2013algebraic]

#lean #os
- C++ Package Managers: The Ultimate Roundup, and start using xrepo for C/C++ package management, it also supports a wide range of package repositories, including Conan, Conda, Vcpkg, Homebrew, Apt, and Cargo. But not BinaryBuilder.jl ecosystem (see also this FAQ).
- clarify the license for GinacLean, laying the ground for potential future work around Cadabra 2, which is licensed under GPLv3
- learn about Kento Okura's forest and Glade and Nota

#formal #gpu #lean #llvm #os #vulkan #web #z3
- add more plans in formal-land
- recovered Research Codebase Manifesto from Lean-MLIR
- recovered quotes from CICM 2020 Slack chat
- make CubeCL example work
- add CI with WebGPU on Mac & Ubuntu thanks to `llvmpipe`, `lavapipe`, `Vulkan SDK`, `Mesa` setup by tracel-ai/github-actions/setup-linux@v1
- found Lorenz and modular flows: a visual introduction

#news #os #rust
- learned about lobste.rs, a computing-focused community centered around link aggregation and discussion, a bit like Hacker News but less noise maybe
- Rewriting Rust and Josh Triplett's comment
- A multi-level superoptimizer for tensor programs[wu2024multi] and learn about mirage
- port My math interests in 2024
- make the Railscasts theme for Zed