New

The latest blog posts to take off on Hacker News. 6,504 posts.

Tools & Productivity
Any year
2359

Darktable 4.0

We’re proud to announce the new feature release of darktable, 4.0.0! The github release is here: https://github.com/darktable-org/darktable/releases/tag/release-4.0.0. As always, please don’t use the autogenerated tarball provided by github, but only our tar.xz file. The checksums are: $ sha256sum…

2362

Learn TLA+

tl;dr: online TLA+ manual/advanced techniques/examples here. TLA+ is a tool for testing abstract software designs. I first stumbled on it in 2016 and found it so useful I wrote a free online guide to help others learn it. Then I decided the guide wasn’t good enough and wrote Practical TLA+ in 2018. Then I decided the…