Property-Based Testing in Practice
Property-based testing (PBT) is a testing methodology where users
write executable formal specifications of software components and
an automated harness checks these specifications against many
automatically generated inputs. From its roots in the QuickCheck
library in Haskell, PBT has made significant inroads in mainstream
languages and industrial practice at companies such as Amazon,
Volvo, and Stripe. As PBT extends its reach, it is important to understand
how developers are usin … ⌘ Read more
KDE Linux deep dive: package management is amazing, which is why we don’t include it
Comments ⌘ Read more
An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes (1989)
Comments ⌘ Read more
Computational Complexity (2023)
This essay explores Computational Complexity, most notably the growth of functions with Big-Oh notation, this essay also includes graphical demonstrations of different types of complex functions represented as mathematical functions.
Libera Chat receives legal advice that the Online Safety Act does not apply to them
Comments ⌘ Read more
Tag proposal: conflicts
Given that we’ve recently been flooded with posts about conflicts in relation to Ruby Central, DHH, Omarchy, Rust in Linux, and now Freedesktop, can we have a tag for this kind of thing? I accept that it’s important and on topic but I’d like to be able to take a break. ⌘ Read more
Technology for Humans: Conversation with Ruby Central’s executive director, Shan Cureton
Comments ⌘ Read more
The Agentic Loop: Treating testing as a continuous cycle with specialized agents
Comments ⌘ Read more