Topics /

Tools & Productivity

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

2025
246

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…

250

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…

252

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…

258

About AI Evals

A guide to AI and LLM evals for engineers and product managers. Learn how to test AI systems, analyze failures, and improve retrieval, agents, and AI products.

260

My other email client is a daemon

I have a slight problem wherein every time I start up a game of NetHack, I completely lose touch with my surroundings for hours on end. Thankfully The DevTeam Thinks Of Everything and there’s a solution that allows communication with the outside world without breaking immersion: the mail daemon!

261

JJ Cheat Sheet

I’ve been learning Jujutsu a.k.a. jj , a version control system that’s compatible with git repos. It’s clicked for me in a way that git hasn’t even after many years of use.

262

Customizing tmux

I have been exploring some new tools here and there. When I started watching Primeagen, I took a note of several tools that he was using and advocating for. One of them was tmux. What is tmux? tmux is a terminal multiplexer. What that means is you can have many terminals in one. According to tmux wiki: tmux is a…

266

Walkie-Textie Wireless Communicator

The Walkie-Textie is a simple handheld device with a 12-key keypad and OLED display that allows you to send and receive text messages using the LoRa wireless protocol. It's ideal for situations where there's no mobile signal, such as when you're camping or hiking in a remote area, when you don't want the cost of a…