Susan Potter

Slide deck from conference talk discussing how property-based testing offers a launchpad to discover and practice thinking in properties in your software development activities to test your software smarter.

In this blog post, an experienced software engineer shares their successful deployment of a pure functional serverless function to AWS using PureScript.

Discover the critical distinctions between `any` and `unknown` in TypeScript, and unleash the full potential of static typing.

Dive into the fundamentals of DynamoDB and discover its unique data modeling concepts.

Embarking on functional programming within an established software organization is a daunting task, but this talk reveals some secrets and wisdom acquired from experience trying to build a team this way.

My absolute favorite format of film is the short film.

On any given day this news discussion site can receive traffic peaks up to five times our base traffic, sometimes requiring us to scale out to double our backend app server capacity within a 10-20 minutes window (sometimes at unpredictable times).

An excellent tool when you need to troubleshoot distributed systems is ss, which provides visibility into TCP states of your live connections.

Profunctors are the abstraction that makes lenses, prisms, and other optics composable.

Notation conventions The following table provides a quick overview of conventions used in symbolic operators in the lens library.

Maintaining configurations for different nodes and cloud resources in a [micro]service architecture has been an absolute nightmare in the past.

Discover how economics concepts can change your approach to software development, technical leadership, and reliability engineering.

A passage I came across recently amused me and I wished to share: A mathematician, a physicist, and an engineer are riding a train through Scotland.

If we were starting greenfield development of a service or web application today we would likely employ a number of practices and design choices that are known to optimise application responsiveness, resiliency, elasticity, and/or composability.

Note from a talk I gave at Strangeloop showing how Curry-Howard can be applied to structuring types to represent logical propositions using Idris as the teaching language.

Prerequisites wget is installed tar is installed Purpose If you really don't want to install Nix under /nix (or you can't) then you can install Nix in your home directory like in the homedir_install.sh script included in this Gist.

Originally published as a Gist here: https://gist.github.com/mbbx6spp/60577af8dc4106d6e710cd804292ce20 Minor modifications in formatting and an extra line of no-judgement was added to this text from the original Gist.

This talk will introduce the audience to the Nix packaging, NixOS, and related ecosystem tools for Erlang/Elixir developers.

This post is a quick and handy guide that introduces the concept of parametricity and explains how it can be leveraged in software development.

Explore the building blocks in Scala using Scalaz that offer enormous benefits of algebraic thinking from domain modeling, validation, data types, and even the intricate realm of distributed systems.

Unlock the power of algebraic data types to revolutionize your programming!

In functional programming, words from Category Theory are thrown around, but how useful are they really?

Discover the hidden gems of pure functional programming, immutability, and static typing, as we delve into the realm of elegance, robustness, and concise code.

I am hoping this will serve as a reference for coworkers and others new to Erlang and OTP to be able to figure out the terminology easier than I had to.

Find out how to build decentralized, fault-tolerant, stateful application services using core concepts and techniques from the Amazon Dynamo paper using riak_core as a toolkit.

This meetup I will be walking the audience through how to setup, configure and maintain distributed development workflows using Git (the distributed VCS developers either love or hate).

Discover the limitations of JSON Pointer as a querying mechanism for JSON documents and the potential solution lying in XPath.

Here is a snippet showing how to use the Meck API which is a mocking library in Erlang.

The promise of cloud computing provides business benefits from reduced costs to increased flexibility.

Presenting traditional and less traditional approaches to designing concurrent systems in the 2010s using approaches that can be used across many languages and some runtimes.

Erlang, a powerful programming language designed for fault tolerance and high availability, challenges traditional error handling with its groundbreaking concept of "let it fail."

Updated for Python3 recently: class Predicate: """ Define predicate algebra. >>> isEven=Predicate(lambda x: x % 2 == 0) >>> isOdd=Predicate(lambda x: x % 2 == 1) >>> isEven(6) True >>> isOdd(6) False >>> isEmpty=Predicate(lambda s: s == "") >>> isNotEmpty…

The demise of Moore's Law has ushered in a new era of multi-core processors, posing challenges for software professionals.

Have you heard of Darcs or Git?