I’ve noticed that starting a new fish shell takes at least 2 seconds, and it’s really starting to annoy me. Profiling I decided to profile my config.fish script. Since I couldn’t find any profilers, I resorted to the oldest method: putting print and time statements everywhere in my fish script. I quickly found that the main bottleneck was the section initializing my env tools, so I wrapped it in the time command to measure the execution time....
If you’re looking for a TUI alternative to Devdocs/Zeal/Dash, you are in the right place. Dedoc Dedoc is a small CLI tool for fetching documentation from the Devdocs API. It’s written in Rust and it just works. Commands dedoc fetch - Get the latest metainfo of available documentations. dedoc list - List all available documentation, have to be run after dedoc fetch. dedoc download <doc> - Download the documentation. dedoc search <query> - Search for a documentation....
I’ve struggled choosing the best type checker for Python. Let’s compare them and decide which one is the best. Requirements The choice of a type checker depends on several factors. I’ve set the following requirements: Maintainability Integration with the IDE Ease of use Popularity Candidates I’ve picked several candidates for comparison based on their popularity and the number of stars on GitHub. The initial analysis of their repositories provides the following statistics:...