News for hackers. Stuff that matters.
Re:The Little Typer – The Beauty of Dependent Type Systems, ... by specialp on Tuesday October 11, 2022 @10:34AM (#33163843)
I was at that talk by David which is the first link. Highly recommended watch, he is such a good presenter. The way he went full circle there and had the room in raucous applause at the end was something I never forgot.

There are no comments on this comment yet.