Topics /

Tools & Productivity

The most popular blog posts about tools & productivity on Hacker News. 6,503 posts.

Any year
3073

Markdown is an excellent choice for documentation

Every few months, it seems a new post decrying the use of markdown for documentation (or other things) rises to the top of Hacker News. There are often good reasons for preferring a more structured option, like reStructuredText, LaTeX, or Asciidoc. Especially in projects where more formal text is required, or where…

3074

A Unix Utility You Should Know About: Pipe Viewer

Hi all! I'm starting a new article series here. This one is going to be about Unix utilities that you should know about. The articles will discuss one Unix program at a time. I'll try to write a good introduction to the tool and give as many examples as I can think of. The first post in this series is going to be…

3077

Hengefinder: Finding when the sun aligns with your street

Next week in Manhattan, the sunset will align perfectly with the east-west streets of the city grid. It’s beautiful, and people know it. Twice a year, crowds gather to see the brief moment when the sun sits perfectly on the horizon, framed by skyscrapers on either side. It’s called Manhattanhenge , after Stonehenge.

3086

Vanced Discontinuation

Since many users are having trouble understanding the reason for the discontinuation of vanced, we wanted to brief you on all the expected theories with their answers. Vanced NFT/LTT theory: 1. Vanced NFT:- Some users believe that Google had sent cease & desist letter because the Vanced Team had posted NFT to earn…

3089

Test, don't just verify

AI-assisted mechnical proving companies are raising funds on billion dollar valuations , new people are trying proof assistants, overwhelmingly Lean, at unprecedented rates. Models achieve fascinating results in competitions previously considered to contain some of the hardest problems in the world, such as IMO, ICPC…