Oskar Wickström

Finding Bugs in a Coding Agent with Lightweight DST

Machine: Learning; Human: Unlearning;

How I Built "The Monospace Web"

A Flexible Minimalist Neovim for 2024

Statically Typed Functional Programming with Python 3.12

Specifying State Machines with Temporal Logic

Introducing Quickstrom: High-confidence browser testing

The TodoMVC Showdown: Testing with WebCheck

Time Travelling and Fixing Bugs with Property-Based Testing

Property-Based Testing in a Screencast Editor, Case Study 3: Integration Testing

Property-Based Testing in a Screencast Editor, Case Study 2: Video Scene Classification

Property-Based Testing in a Screencast Editor, Case Study 1: Timeline Flattening

Property-Based Testing in a Screencast Editor: Introduction

Why I'm No Longer Taking Donations

Writing a Screencast Video Editor in Haskell

Declarative GTK+ Programming with Haskell

Finite-State Machines, Part 2: Explicit Typed State Transitions

Finite-State Machines, Part 1: Modeling with Haskell Data Types

Motor: Finite-State Machines in Haskell

Automating the Build of your Technical Presentation

Tagless Final Encoding of a Test Language

Hyper: Elegant Weapons for a More Civilized Page

Taking a Step Back from Oden

Custom Formatting in HTML and LaTeX Code Listings using Pandoc

Paramount Color Scheme for Vim