Supposedly a property test library

Ceri Storey wrote “Over the past few weeks, I’ve been in­spired to create a new prop­erty testing lib­rary for rust, very much in­spired by the work in hy­po­thesis. Why use sup­pos­i­tions over say, quickcheck? For one, this takes in­spir­a­tion from hy­po­thesis and theft. While it’s still in it’s early days, the gen­er­ator system (in­spired by hy­po­thesis’ gen­er­ators means…”

A quick tour of LLVM’s Sanitizer coverage

Ceri Storey wrote “After reading about the new coverage features in hy­po­thesis, I’ve become in­t­erested in how guided fuzzing (as im­ple­mented by Amer­ican Fuzzy Lop or LLVM’s lib­Fuzzer works in­tern­ally with Rust and LLVM. The first step is to un­der­stand how cov­erage works. Clang’s San­it­izer Cov­erage doc­u­ment­a­tion ex­plains the func­tion­ality very well, so I’ll not re­peat too much of that. First of all, I started…”

Gasconade: Making blog posts for Twitter users

Tom Parker wrote “Recently there’s been a lot of Twitter posts with the text ‘1/X’ or ‘Thread:’ in them, followed by umpteen other tweets because apparently the relevant poster both refuses to follow the parsimonious limits of the Twitter platform, and for some reason also refuses to write an actual blog post. Given these days the technical act…”

Hamlet

Generating Beatnik code

Tom Parker wrote “Beatnik is an esoteric programming language that’s been recently amusing me (as they occasionally do). The core idea is that words in the source code are interpreted as their Scrabble scores, and those scores then do things (mostly involving messing with a stack). This leads then to the possibility of an alternate form of the language,…”

Pigtail: task queues with Potboiler

Tom Parker wrote “Last month, I wrote about Potboiler, my AP Event Sourcing system. At the time I’d built a K/V store on top of Potboiler, mostly just as a test application. Potboiler isn’t really intended to be talked to directly by most clients, but will have some other form of service or store that sits on top…”

Potboiler

Tom Parker wrote “Over the last couple of years I’ve been reading and talking about a lot of things related to distributed systems. This is a common train of thought around here, and after working on this on and off for the past 18 months or so (the version you’re seeing here is in fact version 3 having repeatedly changed…”

Dawn: Mobile bus stops display

Tom Parker wrote “When I’m out and about, I find myself repeatedly wanting to know when a bus will stop near where I am. This generally involves a phone as the TfL Countdown displays are a bit thin on the ground. Despite the advent of such things as Citymapper, I’ve still been a fan of the Countdown mobile website,…”

By Engineers11 (Own work) [CC BY-SA 3.0 (http://creativecommons.org/licenses/by-sa/3.0)], via Wikimedia Commons

Scripting vs. Engineering

Ian Rogers wrote “I’ve come to the conclusion that the terms like “programming”, “coding” etc. have become horribly ambiguous which has enabled: organisations to offer courses on html/css editing as “coding” people to make claims like “nodejs is more productive than java” (which is a nonsense statement either way) various arguments along the lines of “is X a…”

Kitten videos: an engineering approach

Tom Parker wrote “A little while ago one of my colleagues put up a kitten video feed on one of the spare monitors in the office. This was liked, but as we rapidly found out there was a few problems. Biggest of which is that kittens have a fairly well known failure state: they fall asleep. Sleeping kittens are…”