Posts by Edsko de Vries

Being lazy without getting bloated
Edsko de Vries – Monday, 28 September 2020

MuniHac 2020
Christine Gundry, Andres Löh, Duncan Coutts, Edsko de Vries – Thursday, 17 September 2020

The abstract nature of the Cardano consensus layer
Edsko de Vries – Friday, 29 May 2020

Interview with Edsko and Duncan about
Composition in Blockchain Implementations
Duncan Coutts, Edsko de Vries – Friday, 08 May 2020

Integrated versus Manual Shrinking
Edsko de Vries – Monday, 13 May 2019

An in-depth look at quickcheck-state-machine
Edsko de Vries – Wednesday, 23 January 2019

Compositional zooming for StateT and ReaderT using lens
Edsko de Vries – Tuesday, 04 September 2018

Semi-Formal Development: The Cardano Wallet
Edsko de Vries – Thursday, 31 May 2018

Object Oriented Programming in Haskell
Edsko de Vries – Thursday, 08 March 2018

Visualizing lazy evaluation
Edsko de Vries – Monday, 18 September 2017

Binary instances for GADTs
(or: RTTI in Haskell)
Edsko de Vries – Thursday, 15 June 2017

Sharing, Space Leaks, and Conduit and friends
Edsko de Vries – Thursday, 29 September 2016

Efficient Amortised and Real-Time Queues in Haskell
Edsko de Vries – Friday, 15 January 2016

Dependently typed servers in Servant
Edsko de Vries, Andres Löh – Wednesday, 02 December 2015

Hackage Security Beta Release
Edsko de Vries, Duncan Coutts – Tuesday, 25 August 2015

Parametricity Tutorial (Part 2): Type constructors and type classes
Edsko de Vries – Friday, 14 August 2015

Lightweight Checked Exceptions in Haskell
Edsko de Vries, Adam Gundry – Friday, 31 July 2015

Hackage Security Alpha Release
Edsko de Vries – Wednesday, 08 July 2015

Parametricity Tutorial (Part 1)
Edsko de Vries – Saturday, 23 May 2015

Qualified Goals in the Cabal Solver
Edsko de Vries – Friday, 27 March 2015

Monads: From Web 2.0 to Hardware Drivers
Edsko de Vries – Tuesday, 03 February 2015

Simple SMT solver for use in an optimizing compiler
Edsko de Vries – Wednesday, 31 December 2014

Quasi-quoting DSLs for free
Edsko de Vries – Sunday, 19 October 2014

Dealing with Asynchronous Exceptions during Resource Acquisition
Edsko de Vries, Duncan Coutts – Thursday, 28 August 2014

Debugging Haskell at assembly level
by scripting lldb in Python
Edsko de Vries – Friday, 01 August 2014

Understanding the RealWorld
Edsko de Vries – Thursday, 12 June 2014

Understanding the Stack
Edsko de Vries – Wednesday, 21 May 2014

Pointwise Lenses
Edsko de Vries – Thursday, 24 April 2014

Performance profiling with ghc-events-analyze
Edsko de Vries, Duncan Coutts – Wednesday, 12 February 2014

Communication Patterns in Cloud Haskell (Part 4)
Edsko de Vries – Monday, 15 October 2012

Communication Patterns in Cloud Haskell (Part 3)
Edsko de Vries – Friday, 12 October 2012

Communication Patterns in Cloud Haskell (Part 2)
Edsko de Vries – Monday, 08 October 2012

Communication Patterns in Cloud Haskell (Part 1)
Edsko de Vries – Friday, 05 October 2012