Topics /

Tools & Productivity

The most popular blog posts about tools & productivity on Hacker News. 4,415 posts.

Any year
1531

Setting up a Raspberry Pi 4 home server

With the release of the raspberry pi 4, which features a 1.5 Ghz processor, 1-4 Gb RAM, built-in networking and USB 3.0 ports, I decided to finally take the plunge and set up a home server with the pi. In this post we will go through setting up and configuring the pi to do 2 main things: 1) function as a media center…

1533

Programming the Z3 SMT solver

Abstract. This tutorial provides a programmer ' s introduction to the Satisfiability Modulo Theories Solver Z3. It describes how to use Z3 through scripts, provided in the Python scripting language, and it describes several of the algorithms underlying the decision procedures within Z3. It aims to broadly cover almost…

1535

Jeffgeerling.com has been migrated to Hugo

Since 2009, this website has run on Drupal. Starting with Drupal 6, and progressing through major site upgrades and migrations to 7, 8, 9, and 10, I used the site as a way to dogfood the same CMS (Content Management System) I used in my day job for over a decade. But as time progressed—especially after completing a…

1538

Vibe coding cleanup as a service

The rise of AI-powered coding has created an unexpected market: cleaning up the technical debt from prompt-generated software. Here's why 'Vibe Coding cleanup' is becoming a legitimate service category and what it means for the future of software development.

1544

I nearly lost the Lightroom catalog with of all my photos

This is what my photos looked like after I moved them to NAS With 50MB RAWs, hard drives fill up in no time. In the last five years I collected enough important photos to start thinking about a reliable storage solution that works well with Lightroom. I opted for Synology DS218 with two Seagate IronWolf drives.

1545

Note Taking in 2021

[Update 2021-06-22] If you’re more interested in the Tiddlywiki aspect of this post you can also check this Tiddlywiki Google Groups thread. [Update 2021-06-18] This post caught some attention on this Hackernews thread. You might want to check the comments. Based on the recommendations in the thread I’ve put together…

1556

Multi-Layered Calendars

Calendars cover the entire spectrum of time. Past, present and future. They are the closest thing we have to a time machine. Calendars allow us to travel forward in time and see the future. More importantly, they allow us to change the future.

1558

I Tried to Reduce Pylint Memory Usage

Through work I have to deal with a pretty huge codebase, and run Pylint on it during our continuous integration process. It's always been a bit slow, but recently I also noticed that it was consuming a lot of memory, causing OOM failures if we tried to run it too much in parallel.

1560

Transparent telemetry for open-source projects

How do software developers understand which parts of their software are being used and whether they are performing as expected? The modern answer is telemetry , which means software sending data to answer those questions back to a collection server. This post is about why I believe telemetry is important for…