#introduction time! I'm Oskar, and I spend most of my time online talking and writing about #programming, including but not limited to #Haskell and #FP, #testing, #architecture, #FOSS, #Linux, and #web. I have a blog at https://wickstrom.tech and I produce screencasts at https://haskell-at-work.com when there's time.
See you around!
I'm also getting to confront my highly irrational fear of snakes (I dug up a harmless baby snake.) Guessing that they have hatched in this ridge soil. Not sure how to reconcile that with progress bars, though.
New blog post:
Specifying State Machines with Temporal Logic
Wohooo, finding bugs in TodoMVC editing mode impls with the new spec. Editing mode is pretty well-defined in the Application Specification, so I can actually call them bugs, I guess.
TodoMVC has been an extremely interesting case study with all these minor differences in how the frameworks do things, and how they encourage implementations to do things in certain ways. It's really hard to write a single spec that works reasonably for all of them.
This mostly makes writing the Quickstrom spec harder (only having access to the DOM), but it also seems quite weird from a state change perspective, even if the user cannot visibly tell the difference.
So there's probably some JS state what the item used to be before starting the edit. And when you press Escape, that's used to restore the item.
Cleaning done. Next step is wood oil. 👍
I'm overwhelmed with gratitude at this point.
6% towards the goal already! 👌
Swede hacking on open-source software and playing guitar.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!