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

✍️source

#elixir #os #rust
- Archiving URLs
    - maybe I should use tools like ArchiveBox to prevent link rot
- Mistakes and cool things to do with arena allocators
- found shorty: a C++ library for concise lambdas
- Parser Combinators Beat Regexes
- found facet: Rust reflection, serialization, deserialization — know the shape of your types
    - thus found unsynn: a minimalist rust parser library
- $handle_undefined_function in Elixir/Erlang
- found Twee, an equational theorem prover again
    - from Automated Equational Reasoning with Twee Pt 1.