Posts by Edsko de Vries

Calling Purgatory from Heaven: Binding to Rust in Haskell
Edsko de Vries
Wednesday, 29 March 2023

Anonymous or large records with OverloadedRecordDot and OverloadedRecordUpdate
Edsko de Vries
Tuesday, 07 March 2023

Lockstep-style testing with quickcheck-dynamic
Edsko de Vries
Thursday, 08 September 2022

Verifying initial conditions in Plutus
Edsko de Vries, Finley McIlwaine
Tuesday, 23 August 2022

The Plutus Compilation Pipeline: Understanding Plutus Core(s)
Edsko de Vries
Wednesday, 03 August 2022

large-anon: Practical scalable anonymous records for Haskell
Edsko de Vries
Wednesday, 06 April 2022

New large-records release: now with 100% fewer quotes
Edsko de Vries
Wednesday, 23 March 2022

Type-level sharing in Haskell, now
Edsko de Vries, Andres Löh, Adam Gundry, Sam Derbyshire
Friday, 17 December 2021

Induction without core-size blow-up
a.k.a. Large records: anonymous edition
Edsko de Vries, Adam Gundry
Wednesday, 20 October 2021

Haskell Implementors' Workshop 2021
Christine Gundry, Andres Löh, Edsko de Vries, Douglas Wilson, Ben Gamari
Wednesday, 08 September 2021

Avoiding quadratic core code size with large records
Edsko de Vries
Friday, 20 August 2021

The fundamental problem solved by blockchain
Edsko de Vries
Monday, 22 March 2021

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