Nondeterminism in Formal Specification • Buttondown
Just an unordered collections of thoughts on this. In programming languages, nondeterminism tends to come from randomness, concurrency, or external forces...| buttondown.com
A simple way to encode dependency injection using the Reader monad and objects in OCaml (to work well with type inference).| gr-im.github.io
Bug Bash 2025 Conference Experience| concerningquality.com
Just an unordered collections of thoughts on this. In programming languages, nondeterminism tends to come from randomness, concurrency, or external forces...| buttondown.com
Automated tests are important. Without them, programmers waste a huge amount of time manually checking and fixing their code.| www.jamesshore.com
A few weeks ago, I released a massive update to my article, “Testing Without Mocks: A Pattern Language.” It’s 45 pages long if you print it. (Which you absolutely could. I have a fantastic print stylesheet.) Along with it, I released my new Nullables Hub, which has all sorts of resources related to that article.| www.jamesshore.com
Or, the one in which we hand-craft nano Unix tools using Bash functions.| EvalApply.org
Topics: code smells, pop-culture, blogging and work habits.| codeinthehole.com
This post is part of the 2018 F# Advent Calendar.| fsharpforfunandprofit.com
While most front-ends today have largely agreed on the design of the rendering subsystem, we seem to be grappling with design of the interactive subsystem.| Interjected Future
