Laurens Duijvesteijn @_duijf
Crazy about concurrency duijf.io Utrecht, The Netherlands Joined September 2016-
Tweets56
-
Followers101
-
Following64
-
Likes49
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-…
"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?"
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 :)
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…
OH: "Coq is hard when you need to do Hoare logic" @ Monadic Party speakers dinner
Unicode is a domain specific language for crashing systems
Just published a new release of our @HashiCorp Vault companion vaultenv (written in #haskell)! I love being able to work on open-source projects while at @channable_nl :) Check it out here: github.com/channable/vaul…
Hello world, hold on to your bytes. We are live! In exactly 2 months exec(ut), a new IT-conference, will take place at Media Plaza, Jaarbeurs Utrecht. On April 23, nine speakers will give tech-related talks. More info? Go to execut.nl for info and tickets!
At work, we open sourced our first bit of Haskell code! Companion post just went up: tech.channable.com/posts/2017-07-…
Read how we finally got Haskell in production at work! #haskell tech.channable.com/posts/2017-02-…
By request: the references I used for my talk at #domcode16! Happy reading!
Had a blast at #domcode16! Thanks so much to the organisers for putting in the time and effort. It was really something special :)
In one picture, the real value of conferences #domcode16
Captheoremception at #domcode16 by @_duijf
In town for @DomCode already, but no plans for tonight? Join us at Papers We Love and become our 100th member! meetup.com/papers-we-love…
.@_duijf on "distributed disarray" at @amselixir #myelixirstatus
Announcing the third edition of @papers_we_love Utrecht about SQL Isolation Levels! @UtrechtTechCal meetup.com/papers-we-love…
Laurens Duijvesteijn on everything you wish you never had to know about distributed systems: "Distributed Disarray" conference.domcode.org/speakers/laure…

Erkeurer @Erkeurer699
23 Followers 907 Following
Jonathan Catchpowle @catchpowle
141 Followers 2K Following Staff Engineer @pleo • Organiser of @remix_london
Phil Wolstenholme @wo... @philw_
1K Followers 2K Following Lead frontend eng, https://t.co/exGDNqmh9Y @coopuk @coopdigital. Interested in the web (FE, #a11y, perf), environment, bikes (everyday/utility) and science.
Alexis Rico 🦋 @SferaDev
325 Followers 1K Following Staff Software Engineer | Tech Lead @xata | TypeScript 🪄
Guðmundur Bjarni @gudmundur
1K Followers 697 Following Building at @vercel. Former builder at @github & @heroku.
Nadeem Bitar @shinzui
568 Followers 1K Following Technologist • Software engineer • Engineering leader • Product developer • Photographer • Swimmer • Japanophile • Lover of beautiful things.
Alma Liezenga @alma_liezenga
24 Followers 105 Following Computer vision Scientist @ TNO | Graduate of Engineering & Policy Analysis @ TU Delft
Asjad Baig @AsjadSB
40 Followers 280 Following
Danny Verpoort 🐘�... @dannyverp
151 Followers 504 Following Senior Software engineer at https://t.co/1x5oApPCeQ. Passion for #PHP #Java #architecture #cleancode #patterns #JS. https://t.co/Jflra0OIM5
Dawid Furman @dfurmans
233 Followers 1K Following A computer and human language passionate. Enthusiast of the functional paradigm. SolYNaranjaS guitar artist. Motorcycles&Rollerblades Java&Scala Developer
Saïd @saiidrahmi
123 Followers 828 Following
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Chris Chalcraft @cchalc
790 Followers 4K Following interested in linux, functional programming, data science & geophysics. also love duplicate bridge. https://t.co/DyQUd6WNTu
Gautier Vaillant @gautiervaill
46 Followers 1K Following
Monadic Party @monadic_party
309 Followers 294 Following A Haskell summer school in Poznan and a meetup from Warsaw. We love functional programming.
justin @jusrin00
2K Followers 812 Following 90% random content, some programming. i have many repos and posts about nix, purescript, etc😷 𝔗𝔥𝔞𝔩... @thalesmg
32 Followers 1K Following
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
Soares Chen @soareschen
2K Followers 2K Following Find me on #BlueSky at https://t.co/UWKMDbv9aJ ∘ Haskell ∘ Rust ∘ @MaybeVoid ∘ Programming Language Theory
Cintia Fernandes @Cintia_BF
36 Followers 84 Following Sales Development Representative at Plataformatec
Michał Kawalec @monad_cat
1K Followers 1K Following @[email protected] ; Principal Engineer at @xteam, @monadic_party organizer, mathematical physicist MPhys from @EdinburghUni. Co-creator of @partiarazem
Kirk Bateman @kbateman
646 Followers 1K Following ...node.js, erlang, mobile, android, php, ios... and a bit of everything else
Bang Nguyen @_bangn
41 Followers 323 Following
Frederick Ollinger @codingequanimi2
288 Followers 2K Following Techno-Optimist / DevOps Work: GCP / Terraform Play: FreeBSD / C++ / Rust / JS (currently learning) Fan: Rust / FreeBSD / ZFS
Josh Burgess @_joshburgess
2K Followers 5K Following Programmer into FP, Haskell, Rust, PureScript, OCaml, TypeScript and music (prog rock/metal, jazz fusion), mountains, hiking, grassroots motorsports, etc.
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Bob Ippolito @etrepum
5K Followers 3K Following @missionbit board member. Former founder/CTO of Mochi Media and Fig. Sometimes enjoys writing code. he/him https://t.co/8VABmVoPGI & https://t.co/XjXgNrSq8s bsky
Alfie Felix (Remove I... @alfiefelix
183 Followers 3K Following https://t.co/Mkie6mElPL F*** bolsheviks & subversives (they're usually one & the same)! Reject all forms of Marxism & Socialism.
chicio @wormphlegm
259 Followers 1K Following What are we, cats in an alley? Flipping bits \u{40}\u{f8ff}
jose romero @scalajos
923 Followers 5K Following Functional Programming brings some sanity in this quick&dirty IT world. Scala (ZIO, KYO), Rust. Constantly learning. Fighting entropy. @fpjos@fosstodon
Robin Sikkens @SikkensRobin
5 Followers 8 Following Computer Science bachelor student at Utrecht University.
Aleksandar Topuzović @atopuzov
246 Followers 1K Following https://t.co/ZVqjxAVFIO Swimming expert. Interested in Functional Programming, Haskell, Nix, Linux, Distributed systems, Correctness 🇮🇪🇪🇺🇭🇷🌍
Monadic Party @monadic_party
309 Followers 294 Following A Haskell summer school in Poznan and a meetup from Warsaw. We love functional programming.
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
justin @jusrin00
2K Followers 812 Following 90% random content, some programming. i have many repos and posts about nix, purescript, etc
All Systems Go! @ASGConf
784 Followers 63 Following Moved to: Mastodon: https://t.co/Lq4m8lLGLo BlueSky: https://t.co/heA90xTUFd
Taylor Fausak @taylorfausak
2K Followers 91 Following
Arthur Xavier @arthurxavierx
421 Followers 388 Following
Jessie Frazelle @jessfraz
131K Followers 229 Following CEO @zoodotdev, 👩🏻💻 @oxidecomputer, 📝 @ACMQueue
Camille Fournier @skamille
47K Followers 804 Following Distributed systems, dysfunctional programming, and all that management gobbledegook. Author, “The Manager’s Path." she/her. https://t.co/Uk9L1X9GeE
Daniël Verlaan @danielverlaan
74K Followers 618 Following journalist RTL Nieuws ☎️ 06 2089 8142 📫 [email protected] 🏆 winnaar Wie is de Mol, Tegel & Loep 📕🎙️🍿 boek, podcast en docu ‘Ik weet je wachtwoord'
Erik Post @erikagain
400 Followers 408 Following Lead dev at @Statebox ⭐️ Into FP, type theory, logic programming, category theory, algebra, topology, C64 asm, music, etc. Also likes oak trees.
Smallstep @smallsteplabs
2K Followers 185 Following Device Identity Platform™ for companies with sensitive resources like PII, code repos, SaaS apps, and more
@[email protected]... @Ocramius
19K Followers 1K Following I don't check this account anymore: find me at https://t.co/qmMI0oKcN2 instead.
Rutger Bregman @rcbregman
355K Followers 447 Following Historian. Books: 'Utopia for Realists' (2014), 'Humankind' (2020) and 'Moral Ambition' (2025). Co-founder of The School for Moral Ambition. 🔸
🇳🇱🚜🔥Paupe... @PauperhostingNL
2K Followers 1K Following Hosting zonder fratsen! Nudes: https://t.co/UdjHxbp4yo
Michał Kawalec @monad_cat
1K Followers 1K Following @[email protected] ; Principal Engineer at @xteam, @monadic_party organizer, mathematical physicist MPhys from @EdinburghUni. Co-creator of @partiarazem
Simone Giertz @SimoneGiertz
483K Followers 2K Following I build things and make videos about it. Business inquiries: [email protected]
bimodal performance h... @igorwhilefalse
170 Followers 192 Following a little bit too real. proto-preneur. they/them. profile pic by @mirlu_exe. Toot: @[email protected].
exec(ut) @execut_cc
17 Followers 11 Following A tech conference for and by IT students. Second edition: March 18th, 2019. More info over at https://t.co/vkmQkBz1Mg!
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Haskell Language @haskell_lang
784 Followers 10 Following
CommitStrip @CommitStrip
71K Followers 17 Following The blog relating the daily life of developers. Official english account.
Existential Comics (f... @existentialcoms
402K Followers 167 Following A philosophy webcomic about the inevitable anguish of living a brief life in an absurd world. Also jokes. Follow me on bluesky: existentialcomics
Dennis de Greef @dennisdegreef
557 Followers 1K Following I don't know what I'm doing most of the time. But most of the time I'm doing things that spark my interest over a wide range, mostly tech focussed.
Anjana Vakil @AnjanaVakil
32K Followers 1K Following Engineering & teaching & learning ✨ Independent Developer Educator & Software Engineer ✨ she/her ✨ Not active On Here anymore ✨ bsky: @anjana.dev
Pony Language @ponylang
2K Followers 1 Following Pony is an object-oriented, actor-model, capabilities-secure, high performance programming language.
Thought Follower @n0x13
1K Followers 376 Following We are drowning in information, while starving for wisdom. Human. Recovering Stress-o-holic. Demotivational speaker #DDD #Lean. https://t.co/oyFG1CSTRM
I Am Devloper @iamdevloper
409K Followers 0 Following just your friendly neighbourhood printer fixer 💸 promotional content: https://t.co/mz9fc9Cprl
van 9 tot 5 @van9t5
12K Followers 183 Following De heftigste kantoorstrip van Nederland & Vlaanderen
Neckbeard Hacker @NeckbeardHacker
19K Followers 24 Following Fat guy who knows C++. Hire me to replace @HipsterHacker's code with a set of very small shell scripts.
Hipster Hacker @hipsterhacker
53K Followers 15 Following In an age of robotic macro brewing, I create small-batch + handcrafted software.
BORED @BoredElonMusk
1.7M Followers 5K Following Fortune favors the BORED. Purveyor of fun on the internet. Builder. Miner. Button Clicker. Advisooor.
Honest Update @honest_update
20K Followers 1 Following These are the things we probably ought to say when updating incident status. Snark and compassion. Now, about your data… by @gphat and friends.
PHP CEO BLUECHECKMARK... @PHP_CEO
42K Followers 1 Following CEO OF A PHP COMPANY. DISAPPOINTING HUSBAND. DISAPPOINTED FATHER. ETH ME @ 0xdC91bEE94699dF922475f13d1151b9a2A61B39f3
Bret Victor @worrydream
55K Followers 10 Following past posts: https://t.co/B7ETHSGzT5 new posts: https://t.co/qtYDKYc6ez
Pieter Hintjens @hintjens
5K Followers 402 Following
Internet of Shit @internetofshit
406K Followers 236 Following screw it, put a chip in it. say hello: [email protected]
UtrechtTechCalendar @UtrechtTechCal
186 Followers 1 Following Tech, dev and user group events in the Utrecht region and beyond! A spin-off from @DomCode. Submit your event at https://t.co/Da865IvATW
Bor de Kock @BordeKock
2K Followers 1K Following Cryptography researcher but also a nerd in my spare time.🌹🏳️🌈 (hij/hem)
Zeger Hoogeboom @zegerhoogeboom
22 Followers 165 Following