#compiler #ebpf #elixir #lean #tui #zig
- looking for Zig libraries for TUI, `io_uring`, eBPF, scripting, e-graph
    - the candidates are `libvaxis`, `libxev`, `zbpf`, `Cyber`, `zegg`, respectively
- found Juniper CAS, which is exactly my original dream for lean-ga
- found Beaver: MLIR Toolkit in Elixir and Zig.
    - one relevant application is Manx
- Building a high-performance database buffer pool in Zig using io_uring's new fixed-buffer mode
- How io_uring and eBPF Will Revolutionize Programming in Linux
- found Performance Analysis and Tuning on Modern CPUs

#cg #compiler #elixir #gpu #rust #shader #software #tla
- Bootstrapping Understanding: An Introduction to Reverse Engineering
- Bug in Outlook PST Password Protection (2006)
- Erlang’s not about lightweight processes and message passing…
    - further reading: Making reliable distributed systems in the presence of software errors[armstrong2003making]
- found Rust to C compiler - 95.9% test pass rate, odd platforms
- Shadertoys ported to Rust GPU
- Build a Static Site in Elixir Under 5 Minutes with Phoenix Components while looking for SSG in Elixir

#agent #software
- 12-factor-agents: Principles to build LLM-powered software good enough to put in the hands of production customers
- found cargo-mutants: Inject bugs and see if your tests catch them
- found DeepCoder: A Fully Open-Source 14B Coder at O3-mini Level

#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.

#compiler #neovim #os #render #rust
- Beautiful CI for Bazel
- found Real-Time Rendering Resources
- The Gamma Knife model of incidents (2019)
- Thinking like a compiler: places and values in Rust
- Writing good comments: the why, not the how (2020)
- My neovim markdown setup in 2025

#✍️
- Model error
- wrote 4 bugs caught me off guard recently