🦞🌯 Lobster Roll

I've generally been in favor of using parenthesis for all method calls that are passed arguments in Ruby, with the argument that not using them makes it impossible to tell which methods are called in what order with what params in lines that chain multiple methods together. In this article, the auth...

"Some observers objected to Go's C-like block structure with braces, preferring the use of spaces for indentation, in the style of Python or Haskell. However, we have had extensive experience tracking down build and test failures caused by cross-language builds where a Python snippet embedded in ano...

Abstract: "We present an approach to modeling and verifying machine-code programs that exhibit non-determinism. Specifi- cally, we add support for system calls to our formal, executable model of the user-level x86 instruction-set architecture (ISA). The resulting model, imp...