Learning diary › Year 2024 › October, 2024 › 2024-10-25 [2024-10-25]

✍️source

#benchmark #formal #rust #tui
- work on native-land
    - trying to make GA and math benchmark work, also evaluating the feasibility of benchmarking C++ libraries from Rust
    - pass CI on runpod
- work on formal-land, make Verso work
- debug various TUI tools