owi @owi@mastodon.social

#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.

I also do #music, mostly acoustic #guitar nowadays, and only spare time.

See you around!

https://nix.dev/tutorials/continuous-integration-github-actions.html

Nix, Cachix and GitHub Actions. I just switched to this setup and it's looking very good.

Thanks @domenkozar@twitter.com !

I'm using http://WebCheck.tools to test some utilities built by the Swedish tax agency. Tax calculators and such.

I do wonder why they are loading shaders...

I guess it's a matter of familiarity, but the 2-column layout of most CS papers drives me crazy. It's like my brain is unable to focus on such texts. That other column is always distracting my eyes. The PDF medium in itself is problematic, but it's the layout that gets me.

Long awaited

Jumped on the bandwagon and made a custom @github@twitter.com profile page. Simple and nice feature!

People interested in WebCheck! What kind of systems would you like to test with it? I'd be very grateful for some examples that I can write small versions of. Thx!

In WebCheck's case, it's to verify that DOM queries do not depend on the results of other DOM queries. You may branch on the results of queries, but the queries themselves need to be statically known.

They could very well be represented explicitly, as WebCheck uses and extended PureScript language, but I don't want to add the extra noise for users. It's only used for a single construct.

Turns out WebCheck needs selective applicative functors. But they'll be built in and checked in a static analysis pass, rather than explicitly represented. Any other examples of DSLs or similar where they show up that I can borrow inspiration and wisdom from? cc @andreymokhov@twitter.com

Our lovely baby is of course the best companion. 😍 Weirdly enough, he keeps me more focused overall. 🤔

GHC was a good companion before. Now, with a 3 month old baby grabbing my attention every 10 seconds, it is essential.

🎉 We made it, 100 readers! 🥳

https://leanpub.com/property-based-testing-in-a-screencast-editor

Next goal: 200 readers! ☺️

Is there a VSCode extension that restores Emacs keybindings in the integrated terminal? C-p, C-e, C-k, etc. I know I can mess with `commandsToSkipShell` but I was thinking maybe someone had bundled that up as an extension?

The TodoMVC Showdown: Testing with WebCheck

https://wickstrom.tech/programming/2020/07/02/the-todomvc-showdown-testing-with-webcheck.html

The TodoMVC showdown featuring http://webcheck.tools is soon landing on the blog. Very much looking forward to share my results. Teaser: I've found both state management bugs and race conditions.

Get regular updates with the newsletter: https://buttondown.email/webcheck

WebCheck might need a name change. Sigh, this always happens...

Unique, descriptive, memorable. Pick two?

Maybe you could hit all three. Ideas?

jQuery made it through!

The TodoMVC specification party with http://webcheck.tools continues. It's not looking good for the Vanilla JS or DUEL implementations this time.

Summer office decorations! I think this is hops?

My dream goal for http://webcheck.tools: that it becomes "the @jepsen_io@twitter.com for webapps"

Really looking forward to building in nemeses, such as intercepting requests, slowing them down or cutting the connection, messing about with clearing the browser-stored state, cookies, etc.