technical.cx Sources

Lobsters

Serokell’s Work on GHC: Dependent Types, Part 5

This article continues the fine tradition of Serokell's GHC team sharing their progress on bringing dependent types to Haskell. A lot has happened since the last report, and there is plenty to cover. In this edition, Vladislav Zavialov presents three major...

Lobsters

nixpkgs-multiverse: fast mode

“The fastest evaluation is the one that never happens.” – Sun Tzu, The Art of Evaluation

Lobsters

ActivityPub Won by Being Boring

At FediForum 2026, ActivityPub co-author Evan Prodromou explained why the protocol succeeded by staying deliberately ordinary and why the W3C's Q3 2026 revision needs to keep it that way.

Lobsters

Leaving Mozilla

> On burn-out and bull-headedness