Services Blog About

Latest Blogpost

A dancing space leak

This is the story of a space leak in the Social Dance Today server and how we fixed it.

Date 2023-01-06

Blog

Archive

2023

2023-01-06 - A dancing space leak
2023-01-03 - 2022; year in review

2022

2022-12-16 - Announcing Dekking: Next generation code coverage reports for Haskell
2022-11-14 - Automate your feedback loops using feedback
2022-08-22 - How to deal with money in software
2022-06-28 - Announcing safe-coloured-text 0.2.0.0 with a quick primer on character encodings
2022-01-01 - 2021; Year in review

2021

2021-11-26 - Announcing genvalidity-1.0.0.0
2021-11-19 - Announcing autodocodec
2021-10-24 - Your testing portfolio
2021-10-23 - Test pollution and how to fix it
2021-10-22 - Why mocking is a bad idea
2021-09-11 - JSON Vulnerability in Haskell's Aeson library
2021-09-10 - The undefined trick
2021-05-19 - How to manage your work on GitHub with Smos
2021-04-11 - The ci.nix pattern
2021-03-07 - Announcing safe-coloured-text
2021-02-27 - Watching changes in Yesod
2021-02-04 - 2020; Year in review

2020

2020-11-07 - Haskell Templates Launch
2020-10-23 - Haskell Templates: First two templates available
2020-10-08 - Haskell Templates
2020-10-01 - Hacktoberfest 2020
2020-09-28 - Talk: Practical property testing
2020-08-07 - Self-management with Smos: Archiving
2020-07-28 - How to deal with money in software
2020-07-21 - Introduction Self-management with Smos: the waiting-action report
2020-07-14 - You are going to be 30 anyway, you might as well be a doctor - @Makingsofabw
2020-07-07 - Introduction to self-management with Smos: the next-action report
2020-06-28 - Announcing yamlparse-applicative, a self-documenting Yaml parsing library
2020-06-21 - Self-management: Clarify and Process
2020-06-14 - A language-agnostic introduction to property-based testing
2020-06-07 - Self-management: Capture
2020-05-28 - Talk: An overview of property testing
2020-05-21 - Pieces and tools of self-management
2020-05-14 - Option parsing in Haskell, Part 2: A standard approach to settings in Haskell
2020-05-07 - Introduction to self-management
2020-04-28 - Property testing in depth: genvalidity's fixed-size type generators
2020-04-14 - Fuzzy-time
2020-03-28 - Announcement: Worldwide empathy for medics
2020-03-14 - Announcement: Self-management training
2020-02-27 - Talk: Writing a text editor in Haskell with Brick @ F(by) 2020
2020-02-14 - Property testing in depth: genvalidity-criterion and genvalidity-* performance improvements
2020-01-28 - Property testing in depth: The size parameter
2020-01-14 - 2019; year in review

2019

2019-12-28 - Announcing mergeful, part 3: Cooperative agreement on a collection of values.
2019-12-14 - Announcing pretty-relative-time
2019-11-28 - Announcing mergeful, part 2: Cooperative agreement on zero or one values
2019-11-14 - Hacktoberfest in review
2019-10-28 - The polyball prank
2019-10-14 - Announcing mergeful, part 1: Cooperative agreement on a single value.
2019-09-28 - Hacktoberfest
2019-09-14 - How to put your /nix directory on a separate device
2019-08-28 - Millismos: Writing a simple forest-editor with brick.
2019-08-14 - Announcing cursor-brick
2019-07-28 - Cursors, Part 6: The Forest Cursor
2019-07-14 - Announcing yesod-static-remote
2019-06-28 - Microsmos: Writing a simple tree-editor with brick.
2019-06-14 - Announcing looper
2019-05-28 - Cursors, Part 5: The Tree Cursor
2019-05-14 - How I wrote a proof of concept in five hours and launched a first version in a week
2019-04-28 - Make your phone less addicting by eliminating color
2019-04-14 - Testing for beginners at Monadic Party
2019-03-28 - Nanosmos: Writing a simple text-editor with brick.
2019-03-14 - "Everything in moderation" is nonsense
2019-02-28 - Property Testing in Haskell
2019-02-14 - Cursors, Part 4: The Textfield cursor
2019-01-28 - The quitting list
2019-01-14 - Cursors, Part 3: The Nonempty List Cursor

2018

2018-12-28 - 2018; Year in review
2018-12-14 - Picosmos: Writing a simple single-line text-editor with brick.
2018-11-28 - Cursors, Part 2: The text cursor
2018-11-14 - Announcing Validity version 0.9.0.0: Validity of Double
2018-10-28 - Cursors, Part 1: Introduction with the List Cursor
2018-10-14 - Smos: Writing a Purely Functional Semantic Editor
2018-09-28 - Job Ad: Part-time Remote Virtual Assistant
2018-09-14 - Announcing exchangerates
2018-08-28 - Announcing genvalidity-hspec-optics
2018-08-14 - Speaking
2018-07-28 - Merge-free synchronisation with mergeless
2018-07-14 - Nix, Docker and Haskell
2018-06-28 - Website overhaul and support
2018-05-28 - Research as a build system with Shake
2018-04-28 - Intray
2018-03-28 - How to get less email
2018-02-28 - Tightening your feedback loop
2018-01-28 - 2017; Year in review

2017

2017-12-28 - Parsing command line arguments
2017-11-28 - Validity Talks with Patat
2017-10-28 - The madness of paths
2017-09-28 - Property discovery at Haskell eXchange 2017
2017-08-28 - The annoyance of twelve hour clocks

2016

2016-08-28 - Poop deprecation and shitty code
2016-08-21 - Safer paths, part 2 - Stop, Reconsider, Contribute
2016-08-14 - Safer paths, part 1 - valid and typed paths
2016-08-07 - I have not reached the burrito point yet. - Xavier Goás Aguililla
2016-07-31 - Adding documentation to the GHC API
2016-07-24 - Overcoming Boolean blindness with Evidence
2016-07-17 - Custom validity and validity-based testing in Haskell
2016-07-10 - Save time, not money
2016-06-26 - A configuration loading scheme for tools in Haskell
2016-06-19 - Writing a book in Haskell
2016-06-11 - A non-trivial term-constraint oracle, and a new Haskell teaching tool
2016-06-05 - Estimated reading time in Hakyll
2016-05-29 - Reducing the number of slot machines
2016-05-22 - It's not about how others look at me. It's about how I look at myself. - Will Fratalli
2016-05-15 - How to teach numbers
2016-05-07 - Mathematical induction, a practical guide
2016-04-30 - A functor is not a box
2016-04-24 - Sometimes magic is just someone spending more time on something than anyone else might reasonably expect. - Raymond Joseph Teller
2016-04-17 - Working from home? Wear Clothes!
2016-04-09 - Type safe Polyvariadic functions in Haskell
2016-04-03 - You don't want to finish life knowing you've never been an additional agenda item. - Zuber Anwar
2016-03-27 - Have a day - Unknown
2016-03-20 - How to enforce better technical debt practices
2016-03-13 - Error handling is code too!
2016-03-06 - Be careful recruiters, you're being selected too!
2016-02-28 - Testing the Super User Spark with HSpec
2016-02-21 - Return to taskwarrior
2016-02-14 - Math notation inspired by functional programming
2016-02-07 - teaching Haskell to a mathematician
2016-01-31 - A case against going to class
2016-01-24 - Erasmus, the good, the bad and the ugly
2016-01-17 - Function equality in Haskell
2016-01-10 - "Announcement: Teaching/Coaching"

2015

2015-12-27 - How I optimized for my exam
2015-12-20 - "Haphviz: Graphviz code generation with Haskell"
2015-12-12 - "HESS: Haskell E-mail Scraper Spider"
2015-12-06 - Configuration design style guide
2015-11-30 - Codomains reconsidered
2015-11-22 - Do away with predictable boiler-plate using Template Haskell
2015-11-15 - How not to be taken seriously.
2015-10-30 - Grading a small programming competition
2015-10-25 - The responsibility of an appointment
2015-10-17 - Debugging random segfaults
2015-10-11 - "Super User Spark: Blocks and Cards"
2015-10-04 - "Super User Spark: Outof and Alternatives"
2015-09-27 - "Super User Spark: Getting started"
2015-09-20 - "Postmortem: Rental Scam"
2015-09-13 - How to brute-force a mathematics course
2015-08-30 - "Bucketlist: Lemons"
2015-08-23 - "EDEN: the project Euler Development ENgine"
2015-08-02 - Chronicle, A command-line journal system with optional encryption
2015-07-26 - A year of blogging
2015-07-19 - How to synchronise and back up your dotfiles with the Super User Spark
2015-07-12 - "GTD with Taskwarrior, part 5: Doing"
2015-07-05 - "GTD with Taskwarrior, part 4: Processing"
2015-06-28 - "GTD with Taskwarrior, Part 3: Tickling"
2015-06-21 - "GTD with Taskwarrior, Part 2: Collection"
2015-06-14 - "GTD with Taskwarrior, Part 1: Intro"
2015-05-17 - Stupidity can break anything - Danny Hughes
2015-05-03 - Don't find fault, find a remedy. - Henry Ford
2015-04-12 - Do you think he plans it all out, or just makes it up as he goes along? - Becket's Officer
2015-04-05 - How to prevent someone from using your WiFi, or at least annoy them a little
2015-03-29 - If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is. - John von Neumann
2015-03-22 - A base n numeral system
2015-03-15 - People often say that motivation doesn't last. Well, neither does bathing - that's why we recommend it daily. - Zig Ziglar
2015-03-08 - Rows and columns
2015-03-01 - Why I don't like TV
2015-02-22 - What do we do with our time?
2015-02-15 - Because I didn’t know it couldn’t be done, I was enabled to do it. - Bill Atkinson
2015-02-08 - Another new keyboard
2015-02-01 - The annoyance of percentages
2015-01-25 - Get some paper, put it in a typewriter, type FADE IN... and keep typing. - Peter Falk
2015-01-18 - "A sleep experiment: The results"
2015-01-08 - "A sleep experiment: The setup"
2015-01-03 - How to start single-tasking

2014

2014-12-28 - Every piece of meat I have is the best - Banzan
2014-12-21 - Stress free mailboxes
2014-12-14 - You don't say "Good luck!". You say "Don't give up!". - The Roots
2014-12-07 - A poor man's backup system
2014-11-30 - If you’re the smartest person in the room, you’re in the wrong room. - unknown
2014-11-23 - Monads by Example
2014-11-16 - How to get up early
2014-11-09 - I like offending people, because I think people who get offended should be offended. - Linus Torvalds
2014-11-02 - "The hidden 'at least'"
2014-10-26 - The less you do, the more of it you can do. - Scott Hanselman
2014-10-19 - The magic of audiobooks
2014-10-05 - Altruism doesn't exist, but that's a good thing!
2014-09-28 - Change the way you use your terminal use with this function
2014-09-24 - Today is a gift. That's why it is called the present. - Unknown
2014-09-21 - Confusing definitions
2014-09-17 - We were all huddled together, as wet as water could make us. - Benjamin Franklin
2014-09-14 - Getting started with git
2014-09-10 - Everyone you will ever meet knows something you don't. - Bill Nye
2014-09-07 - "Between programming and mathematics: Statements and Expressions"
2014-09-03 - I stopped believing in God when I realised it's just dog backwards - Neil Sutherland
2014-08-31 - The switch to dvorak and an ergonomic keyboard
2014-08-27 - If you're skating on thin ice, you might as well dance. - Anita Shreve
2014-08-24 - The magic of thinking paper
2014-08-20 - God does not play dice. - Albert Einstein
2014-08-17 - How to synchronise and back up your dotfiles with the Super User Stone
2014-08-13 - Obsessed is just a word the lazy use to describe the dedicated. - Russel Warren
2014-08-09 - Intersections of Circles
2014-08-02 - The magic of getting up early
2014-07-29 - Why I don't like GUIs

© CS SYD. Tom Sydney Kerckhove | Technical Leader | Speaker | Coach.