Tootfinder

This "mini web tool" site has tools tech people tend to frequently use. I like that the "Image to text" tool lets us just paste image from clipboard; and not have to load from a file. And text extraction happens entirely in the browser. 👍👍
#tools #technology

I Audited the #Privacy of Popular #FreeDev #Tools — The Results Are Terrifying

🪛 5,300-year-old 'bow drill' rewrites story of ancient Egyptian tools
#tools

5,300-year-old 'bow drill' rewrites story of ancient Egyptian tools
A new study reveals that Egyptians were using a mechanically sophisticated drilling tool far earlier than previously suggested. Researchers at Newcastle University, and the Academy of Fine Arts, Vienna, have re-examined a small copper-alloy object excavated a century ago from a cemetery at Badari in Upper Egypt, and concluded it is the earliest identified rotary metal drill from ancient Egypt, dating to the Predynastic period (late 4th millennium BCE), before the first pharaohs ruled. The study…

Bookmarked: ToolFindr #DH #Tools Open, community-curated, and built on the Tool Registry F…

Did you clone a large amount of git repos? Is ~/workspace/ a giant mess? Need to declutter?
If a remote exists and all branches have been pushed (or merged), and you trust the git host to stay up, maybe we don't need to keep the local copy.
Or if there's local branch refs for commits that have never been pushed, maybe they should be.
#git #github #tools #devtools