Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Oskar Wickström
Software design, testing, functional programming, and other delightful things.
Posts
There and Back Again: From Quickstrom to Bombadil
January 28, 2026
Computer Says No: Error Reporting for LTL
November 1, 2025
Programming in the Sun: A Year with the Daylight Computer
October 10, 2025
Finding Bugs in a Coding Agent with Lightweight DST
August 28, 2025
Machine: Learning; Human: Unlearning;
Feb 11, 2025
How I Built "The Monospace Web"
Sept 26, 2024
A Flexible Minimalist Neovim for 2024
Aug 12, 2024
Statically Typed Functional Programming with Python 3.12
May 23, 2024
Specifying State Machines with Temporal Logic
May 05, 2021
Introducing Quickstrom: High-confidence browser testing
August 27, 2020
The TodoMVC Showdown: Testing with WebCheck
July 02, 2020
Time Travelling and Fixing Bugs with Property-Based Testing
November 17, 2019
Property-Based Testing in a Screencast Editor, Case Study 3: Integration Testing
June 02, 2019
Property-Based Testing in a Screencast Editor, Case Study 2: Video Scene Classification
April 17, 2019
Property-Based Testing in a Screencast Editor, Case Study 1: Timeline Flattening
March 24, 2019
Property-Based Testing in a Screencast Editor: Introduction
March 02, 2019
Why I'm No Longer Taking Donations
December 29, 2018
Writing a Screencast Video Editor in Haskell
October 26, 2018
Declarative GTK+ Programming with Haskell
September 04, 2018
Finite-State Machines, Part 2: Explicit Typed State Transitions
November 19, 2017
Finite-State Machines, Part 1: Modeling with Haskell Data Types
November 10, 2017
Motor: Finite-State Machines in Haskell
October 27, 2017
Automating the Build of your Technical Presentation
September 24, 2017
Tagless Final Encoding of a Test Language
June 05, 2017
Hyper: Elegant Weapons for a More Civilized Page
January 06, 2017
Taking a Step Back from Oden
October 10, 2016
Custom Formatting in HTML and LaTeX Code Listings using Pandoc
July 10, 2016
Paramount Color Scheme for Vim
May 15, 2016
Home
Atom feed
X
Bluesky
Mastodon
LinkedIn
CV