OH: "Coq is hard when you need to do Hoare logic" @ Monadic Party speakers dinner

There's a devops joke in here somewhere

Want to do concurrency in Haskell? You're going to like this! It's a repo with all the things I used in my #MonadicParty talk series on Software Transactional Memory! I have heard that it was nice github.com/duijf/stm-cour…

Ever wished you could tell your 20-something self something? Difficult, but the next best thing is to apply for the execut.nl call for talks, where you can tell a bunch of IT students :)

I love alphabetized autocomplete suggestions

"What do you want for your birthday?" "A dragon." "Difficult. Something else?" "Properly documented software." "Alright. What color do you want your dragon to be?"

Channable open sources more Haskell! We wrote the fastest Haskell implementation of Aho Corasick (better than Rust)! Check out how we did it: tech.channable.com/posts/2019-03-…

Laurens Duijvesteijn on everything you wish you never had to know about distributed systems: "Distributed Disarray" conference.domcode.org/speakers/laure…

Announcing the third edition of Papers We Love (@[email protected]) Utrecht about SQL Isolation Levels! UtrechtTechCalendar meetup.com/papers-we-love…

.Laurens Duijvesteijn on "distributed disarray" at defmodule AMS.Elixir #myelixirstatus

In town for @[email protected] already, but no plans for tonight? Join us at Papers We Love and become our 100th member! meetup.com/papers-we-love…

Captheoremception at #domcode16 by Laurens Duijvesteijn

Had a blast at #domcode16! Thanks so much to the organisers for putting in the time and effort. It was really something special :)

By request: the references I used for my talk at #domcode16! Happy reading!

Read how we finally got Haskell in production at work! #haskell tech.channable.com/posts/2017-02-…

At work, we open sourced our first bit of Haskell code! Companion post just went up: tech.channable.com/posts/2017-07-…

Just published a new release of our HashiCorp, an IBM Company Vault companion vaultenv (written in #haskell)! I love being able to work on open-source projects while at Channable :) Check it out here: github.com/channable/vaul…

Unicode is a domain specific language for crashing systems