I've been waiting for the astral type checker for a while: mypy is just excruciatingly slow, and every astral product tends to be a superperformer. And finally, it looks like it's coming together, with a preview release!

During my PhD, I wrangled with beamer for important presentations, but I always yearned for a simpler markdown-based system for smaller, recurrent presentations. I just discovered slidev, and it just checked every feature I would want from this, and more.

An interesting CLI math tool, with its own language and sane defaults.

An interesting CLI tool designed to call on to LLMs from the CLI with isolated short prompts. Seems to adhere to core Unix philosophy unlike most AI tools out there. Handles both local and hosted LLMs.

A rust-based alternative to neovim with opinionated defaults. After setting up an LSP for Python, it immediately became my daily driver.

A handy rust-based TUI application to view and manipulate data from CSV and databases. Supports SQL syntax to query the data regardless of its sources.

A very useful CLI tool to perform benchmarking tests. Very useful to test a bash script of a simple script file without any complicated profiling.