Most cited

Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 57 posts.

Tools & Productivity
2019
10

Clojure - Deps and CLI Guide

In all the above scenarios you might want to use other Clojure and Java libraries (dependencies or 'deps'). These may be libraries you are writing locally, projects in git (e.g. on GitHub) or, commonly, libraries available in the Maven ecosystem and hosted by central repositories like Maven Central or Clojars.

18

Low-Cost VPS Testing

Last time around I was looking for a large dedicated VPS in the $100/month price range. Since then I have started deploying a lot more tiny cloud instances that cost less than $10/month to run just one or two apps. So this time around I am looking for the best bang for the buck for less $10 per month. Unmanaged, of…

20

Why Bother with What Three Words?

I'll be wording this post carefully as What 3 Words (W3W) have a tenacious PR team and, probably, have a lot more lawyers than I do. W3W is a closed product. It is a for-profit company masquerading as an open standard. And that annoys me. A brief primer. The world is a sphere. We can reference any point on the surface…

21

Mail Data Loss in macOS 10.15

I’m working on more posts about the Catalina release, but I wanted to start with a short warning. I’ve heard a bunch of reports of data loss in Apple Mail. Thankfully, none seem to be caused by my apps . (Ironically, one of the bugs I’ve encountered is the inability to delete messages via AppleScript.) And, in fact…

26

I do not use a debugger (2016)

I learned to program with BASIC back when I was twelve. I would write elaborate programs and run them. Invariably, they would surprise me by failing to do what I expect. I would struggle for a time, but I'd eventually give up and just accept that whatever "bugs" I had created were there to stay. … Continue reading I…

28

Reinventing Firefox for Android

With Firefox Preview, we’re combining the best of what our lightweight Focus application and our current mobile browsers have to offer to create a best in class mobile experience. The new application is powered by Firefox's own mobile browser engine -- GeckoView -- the same high-performance, feature enabling motor…

30

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…