Hacker GitHub

← All repos

BurntSushi/imdb-rename

View on GitHub ↗ ★ 253 Rust

A command line tool to rename media files based on titles from IMDb.

5 mentions on Hacker News by 2 people: 1 story, 4 comments · first 2019-04-16 · latest 2023-11-30

Mentions per year 5 mentions · busiest year 2021 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …is nowhere near 101 level. This is what a 101-level inverted index implementation looks like: https://github.com/BurntSushi/imdb-rename In other words, absolutely nothing like what GitHub built. Nowhere close.
    comment by burntsushi · 2023-02-06 · in The technology behind GitHub’s new code search
  2. …safety contract[3] is a bit strained. But it works. [1] - https://github.com/BurntSushi/fst/ [2] - https://github.com/BurntSushi/imdb-rename [3] - https://docs.rs/grep-searcher/0.1.7/grep_searcher/struct.Mma...
    comment by burntsushi · 2021-03-13 · in Speed of Rust vs. C
  3. …of what you're suggesting to make it more concrete. [1] - https://crates.io/crates/fst [2] - https://github.com/BurntSushi/imdb-rename [3] - https://crates.io/crates/regex-automata [4] - https://docs.rs/regex-automata/0.1.9/regex_automata/#…
    comment by burntsushi · 2021-01-23 · in But how, exactly, do databases use mmap?
  4. If you liked goim, then you'll definitely want to check out its replacement: https://github.com/BurntSushi/imdb-rename/ It's even faster and comes with its own built in evaluation. There's also no more reliance on an external database.
    comment by burntsushi · 2019-04-16 · in Ripgrep 11 Released