New

The latest blog posts to take off on Hacker News. 1,357 posts.

Software Engineering
2019
1233

German for Programmers

After 2 years of learning German I’ve noticed that, for the most part, you can go a long way by mapping foreign concepts to ones that you already know. In particular, I’ve had success mapping aspects of German grammar to programming concepts I use every day. After all, programmers deal with weird grammars all the…

1238

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…

1249

Dotfile madness

My own home directory contains 25 ordinary files and 144 hidden files. The dotfiles contain data that doesn't belong to me: it belongs to the programmers whose programs decided to hijack the primary location designed as a storage for my personal files. I can't place those dotfiles anywhere else and they will appear…

1250

Cargo's next few years

The Cargo team have been thinking about and discussing long-term plans for Cargo. In this post I'll talk about what we hope Cargo will look like around the time of the next edition (assuming there is another edition and that it happens in about three years, neither of which is

1256

Racket v7.2

_posted by Vincent St-Amour_ Racket version 7.2 is now available from http://racket-lang.org/ Racket-on-Chez is done in a useful sense, but we'll wait until it gets better before making it the default Racket implementation. For more information, see htt...