Profile cover photo
Profile photo
Matthew Brecknell
82 followers
82 followers
About
Matthew Brecknell's posts

Post has attachment
A playlist of an old BFPG talk series.

Post has attachment

Post has attachment
University of Queensland tells cyclists to GTFO, reinforces attitude that motorists shouldn't have to look out for cyclists. Wouldn't it be more responsible to remind motorists of their legal obligation to NOT KILL CYCLISTS?

Post has attachment
Part two of an introduction to dependent types in Agda, given at the Brisbane Functional Programming Group.

Part one is here:
https://www.youtube.com/watch?v=QyUVONbwHYE

Post has attachment
Part one of an Introduction to dependent types in Agda, given at the Brisbane Functional Programming Group.

Part two is here:
https://www.youtube.com/watch?v=7iAkFh9xOIc

Post has attachment
Exploring the relationships between finite sum and product types, Sigma and Pi types, and exponentials
Photo

Post has attachment
My wife just launched her website, together with her first novel.

Post has attachment
Lambda, the ultimate haircut. #yow13
Photo

Post has attachment

Post has attachment
Wait while more posts are being loaded