Topics /

Tools & Productivity

The most popular blog posts about tools & productivity on Hacker News. 550 posts.

2025
339

How to Store Data on Paper?

How to print my voice? How to put music on paper? How to print an executable program? All this boils down to storing digital data on paper. This is also called paper data storage . Arrived in this domain from poetry, I’ve been investigating the area for some time. Here is what I found.

340

Rethinking CLI interfaces for AI

We need to augment our command line tools and design APIs so they can be better used by LLM Agents. The designs are inadequate for LLMs as they are now – especially if you're constrained by the tiny context windows available with local models.

348

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…

355

My favourite fonts to use with LaTeX (2022)

TeX and related systems are often associated with their default fonts, Donald Knuth’s Computer Modern (CM) typefaces. While these fonts are excellent, they have become so ubiquitous in the scientific community that many LaTeX users have sought alternative fonts for their documents. As a result, a plethora of font…

357

The Joy of Linux Theming in the Age of Bootable Containers

Having spent a couple of decades in the Linux world, I have always had an interest in Linux desktop environments and how they are themed. I would often come across a post on /r/unixporn that inspired me to try to customize the look and feel of my desktop environment. So I would install Xfce, LXQt or Sway and try to…