Posts tagged ‘all’

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

Late Cost Centre Profiling
Matthew Pickering, Andreas Klebinger
Wednesday, 22 March 2023

Multiple Component support for cabal repl
Matthew Pickering
Thursday, 16 March 2023

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

GHC activities report: December 2022–January 2023
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire
Tuesday, 28 February 2023

Interface Files with Core Definitions
Matthew Pickering
Wednesday, 22 February 2023

GHC activities report: October–November 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire
Monday, 12 December 2022

Haskell development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Monday, 28 November 2022

Announcing a live tutorial on eventlog2html and ghc-debug
Finley McIlwaine, Andres Löh
Wednesday, 23 November 2022

Funding GHC, Cabal and HLS maintenance
Adam Gundry
Friday, 18 November 2022

GHC activities report: August–September 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire
Thursday, 27 October 2022

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

GHC activities report: June–July 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry, Douglas Wilson
Friday, 05 August 2022

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

GHC activities report: April–May 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry, Douglas Wilson
Thursday, 23 June 2022

Well-Typed Advanced Track at ZuriHac 2022
Andres Löh, Armando Santos, Adam Gundry
Wednesday, 01 June 2022

Hasura and Well-Typed collaborate on Haskell tooling
Matthew Pickering
Wednesday, 11 May 2022

GHC activities report: February–March 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry
Tuesday, 12 April 2022

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

Performance improvements for HLS
Zubin Duggal, Matthew Pickering, Adam Gundry
Friday, 01 April 2022

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

GHC activities report: December 2021–January 2022
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry
Monday, 14 February 2022

Haskell development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Thursday, 20 January 2022

The Interface for Multiple Home Units
Matthew Pickering
Friday, 07 January 2022

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

GHC activities report: October–November 2021
Ben Gamari, Andreas Klebinger, Matthew Pickering, Zubin Duggal, Sam Derbyshire, Adam Gundry
Monday, 13 December 2021

Haskell teaching and development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Monday, 01 November 2021

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

Remote Interactive Course on Type-level Programming with GHC
Christine Gundry, Andres Löh
Thursday, 14 October 2021

GHC activities report: August–September 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli, Adam Gundry
Wednesday, 13 October 2021

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

The new GHC diagnostic infrastructure
Alfredo Di Napoli
Monday, 23 August 2021

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

GHC activities report: June–July 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli
Friday, 06 August 2021

Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 03 August 2021

Best practices for foreign imports
Ben Gamari
Monday, 02 August 2021

Towards system profiler support for GHC
Andreas Klebinger
Thursday, 22 July 2021

ZuriHac 2021 Advanced Track Materials
Adam Gundry, Matthew Pickering, Ben Gamari, Andres Löh
Wednesday, 23 June 2021

The tale of keepAlive#
Ben Gamari
Monday, 21 June 2021

GHC activities report: April–May 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Zubin Duggal, Alfredo Di Napoli, Adam Gundry
Monday, 14 June 2021

GHC activities report: February–March 2021
Ben Gamari, Matthew Pickering, Andreas Klebinger, Adam Gundry, David Eichmann, Alfredo Di Napoli, Douglas Wilson
Wednesday, 14 April 2021

Improvements to memory usage in GHC 9.2
Matthew Pickering
Friday, 26 March 2021

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

Using GHC low-latency garbage collection in production
Domen Kožar
Tuesday, 16 March 2021

GHC activities report: December–January 2020/2021
Ben Gamari, Andreas Klebinger, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering
Wednesday, 10 February 2021

Memory Fragmentation: A Deeper Look With ghc-debug
Matthew Pickering, David Eichmann
Friday, 29 January 2021

A First Look at Info Table Profiling
Matthew Pickering, David Eichmann
Monday, 04 January 2021

Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Thursday, 17 December 2020

GHC activities report: October–November 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering, Andres Löh
Thursday, 03 December 2020

Sponsoring the Haskell Foundation
Duncan Coutts, Adam Gundry, Andres Löh
Friday, 06 November 2020

GHC activities report: August–September 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Andres Löh
Tuesday, 13 October 2020

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

Working with Hasura to improve GHC tooling
Adam Gundry, Ben Gamari, David Eichmann
Tuesday, 08 September 2020

ICFP 2020 & MSFP 2020
Christine Gundry, Andres Löh, Duncan Coutts, Ben Gamari, Alfredo Di Napoli, David Eichmann, Oleg Grenrus
Monday, 07 September 2020

Implementing a GHC Plugin for Liquid Haskell
Alfredo Di Napoli
Friday, 28 August 2020

Understanding Memory Fragmentation
David Eichmann
Thursday, 20 August 2020

GHC activities report: June–July 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, Andres Löh
Friday, 07 August 2020

ZuriHac 2020 Advanced Track Materials
Andres Löh
Thursday, 25 June 2020

Using Template Haskell to generate static data
Andreas Klebinger
Tuesday, 16 June 2020

Well-Typed Advanced Track at ZuriHac 2020
Andres Löh
Monday, 08 June 2020

Fix-ing regular expressions
Oleg Grenrus
Thursday, 04 June 2020

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

Profiling Template Haskell splices
Ben Gamari
Wednesday, 27 May 2020

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

DWARF support in GHC (part 5)
Ben Gamari
Tuesday, 07 April 2020

DWARF support in GHC (part 4)
Ben Gamari
Monday, 06 April 2020

DWARF support in GHC (part 3)
Ben Gamari
Sunday, 05 April 2020

DWARF support in GHC (part 2)
Ben Gamari
Saturday, 04 April 2020

DWARF support in GHC (part 1)
Ben Gamari
Friday, 03 April 2020

The problem with adding functions to compact regions
Ömer Sinan Ağacan
Wednesday, 25 March 2020

Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 17 March 2020

Unrolling data with Backpack
Oleg Grenrus
Friday, 01 November 2019

Low-latency garbage collector merged for GHC 8.10
Ben Gamari
Monday, 28 October 2019

A Summer of Runtime Performance
Andreas Klebinger
Monday, 14 October 2019

Eventful GHC
Alp Mestanogullari
Tuesday, 24 September 2019

Remote Interactive Courses
Christine Gundry, Andres Löh
Thursday, 05 September 2019

Announcing the optics library
Adam Gundry
Monday, 02 September 2019

Exploring Cloud Builds in Hadrian
David Eichmann
Thursday, 01 August 2019

Free training sessions at ZuriHac 2019
Christine Gundry, Adam Gundry, Duncan Coutts
Friday, 07 June 2019

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

Talk: A low-latency garbage collector
Ben Gamari
Sunday, 18 November 2018

Upcoming Haskell events: Haskell eXchange, Courses, MuniHac
Andres Löh
Thursday, 04 October 2018

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

8-hours remote interactive course on
"Type-level programming with GHC"
Andres Löh
Wednesday, 27 June 2018

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

Objects with special collection routines in GHC's GC
Ömer Sinan Ağacan
Tuesday, 15 May 2018

Haskell development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 27 March 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

Haskell development jobs with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry
Thursday, 11 May 2017

Upcoming courses and events 2017
Andres Löh
Monday, 24 April 2017

Hackage reliability via mirroring
Duncan Coutts
Friday, 30 September 2016

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

Haskell eXchange, Hackathon, and Courses
Andres Löh
Thursday, 01 September 2016

Announcing MuniHac
Andres Löh
Friday, 15 July 2016

Haskell development jobs with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 08 March 2016

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

Haskell courses in New York City
Adam Gundry
Tuesday, 12 January 2016

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

Implementing a minimal version of haskell-servant
Andres Löh
Wednesday, 04 November 2015

Haskell Hackathon, Haskell eXchange, Haskell courses in London, October 2015
Andres Löh
Friday, 11 September 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

Dependencies for Cabal Setup.hs files and other goodies
Duncan Coutts
Monday, 06 July 2015

Summer School on Generic and Effectful Programming
Andres Löh
Wednesday, 10 June 2015

Cabal & Hackage hacking at ZuriHac
Duncan Coutts
Monday, 01 June 2015

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

Recent Hackage improvements
Duncan Coutts
Monday, 18 May 2015

Improving Hackage security
Duncan Coutts
Thursday, 16 April 2015

OverloadedRecordFields revived
Adam Gundry
Monday, 30 March 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

How we might abolish Cabal Hell, part 2
Duncan Coutts
Wednesday, 28 January 2015

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

Compose conference and New York City Haskell courses
Andres Löh
Friday, 05 December 2014

Haskell development job with Well-Typed
Duncan Coutts, Andres Löh
Thursday, 27 November 2014

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

How we might abolish Cabal Hell, part 1
Duncan Coutts
Tuesday, 30 September 2014

Haskell courses and Haskell eXchange
Andres Löh
Tuesday, 23 September 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

Talk on Overloaded Record Fields for Haskell
Adam Gundry
Monday, 05 May 2014

Pointwise Lenses
Edsko de Vries
Thursday, 24 April 2014

Haskell gets static typing right
Andres Löh
Thursday, 17 April 2014

Fixing foldl
Duncan Coutts
Tuesday, 01 April 2014

Fun and Profit with Strongly-Typed Data Schemas
Adam Gundry
Tuesday, 01 April 2014

(New) Haskell Courses in London, April/May 2014
Andres Löh
Wednesday, 19 March 2014

GHC 7.8.1 RC2
Austin Seipp
Monday, 03 March 2014

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

GHC 7.8 first release candidate
Austin Seipp
Monday, 03 February 2014

Overloaded record fields for GHC
Adam Gundry
Friday, 29 November 2013

(Another) status update on GHC maintenance
Duncan Coutts
Tuesday, 08 October 2013

Hackage 2 now available for beta testing
Duncan Coutts
Monday, 09 September 2013

Status update on GHC maintenance
Duncan Coutts
Sunday, 04 August 2013

Well-Typed are hiring: Haskell developer
Duncan Coutts
Thursday, 11 July 2013

Video and slides on (Alternatives to) Lazy I/O
Duncan Coutts
Thursday, 11 July 2013

Haskell training in San Francisco and New York
Duncan Coutts
Wednesday, 24 April 2013

InfoQ interview with Duncan on Parallelism, Concurrency and Distributed Programming
Duncan Coutts
Thursday, 14 March 2013

Upcoming Haskell training courses
Duncan Coutts
Wednesday, 23 January 2013

Deterministic Parallel Programming with Haskell
Duncan Coutts
Saturday, 08 December 2012

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

The New Cloud Haskell
Duncan Coutts
Thursday, 04 October 2012

Haskell Courses
Andres Löh
Wednesday, 19 September 2012

A Cloud Haskell Appetiser (Parallel Haskell Digest 11)
Eric Kow
Saturday, 21 July 2012

Parallel Haskell Digest 11
Eric Kow
Thursday, 05 July 2012

Parallel Haskell Digest 10
Eric Kow
Friday, 18 May 2012

Parallel Haskell Digest 9
Eric Kow
Thursday, 19 April 2012

Parallel Haskell Digest 8
Eric Kow
Friday, 02 March 2012

Well-Typed are hiring: Haskell consultant
Andres Löh
Thursday, 12 January 2012

Parallel Haskell Digest 7
Eric Kow
Saturday, 24 December 2011

Tutorial on Parallel Programming in Haskell
Andres Löh
Friday, 07 October 2011

Parallel Haskell Digest 6
Eric Kow
Thursday, 06 October 2011

Upcoming Events
Andres Löh
Saturday, 10 September 2011

Parallel Haskell Digest 5
Eric Kow
Wednesday, 31 August 2011

Hacking on the hackage-server at the Haskell Hackathon
Duncan Coutts
Monday, 25 July 2011

Parallel Haskell Digest 4
Nicolas Wu
Friday, 22 July 2011

Parallel Haskell Digest 3
Nicolas Wu
Thursday, 16 June 2011

Parallel GHC project: new opportunity for an organisation to participate
Duncan Coutts
Wednesday, 08 June 2011

Parallel Haskell Digest 2
Eric Kow
Wednesday, 11 May 2011

Parallel Haskell Digest 1
Eric Kow
Thursday, 31 March 2011

More help with the Parallel GHC Project
Duncan Coutts
Wednesday, 02 March 2011

Well-Typed are hiring: Haskell consultant
Ian Lynagh
Tuesday, 15 February 2011

How much tea
Duncan Coutts
Friday, 14 January 2011

Parallel Haskell project underway
Dmitry Astapov
Monday, 15 November 2010

Post-ICFP summary
Duncan Coutts
Friday, 15 October 2010

Come to the Ghent Hackathon!
Duncan Coutts
Tuesday, 07 September 2010

Well-Typed Hires Two Additional Consultants
Ian Lynagh
Monday, 06 September 2010

Visiting Utrecht and IFL
Duncan Coutts
Friday, 03 September 2010

On Hiring Haskell People
Duncan Coutts
Tuesday, 24 August 2010

Haskell Platform download stats
Ian Lynagh
Saturday, 07 August 2010

Community Server Stats
Ian Lynagh
Thursday, 17 June 2010

Well-Typed are hiring
Duncan Coutts
Friday, 07 May 2010

Well-Typed delivers air traffic analysis tool for NATS
Duncan Coutts
Wednesday, 05 May 2010

Parallel Haskell: 2-year project to push real world use
Duncan Coutts
Thursday, 29 April 2010

To the Hackathon!
Duncan Coutts
Wednesday, 17 March 2010

Talk at the Functional Programming eXchange
Duncan Coutts
Wednesday, 09 December 2009

Video and slides from the IHG talk at CUFP
Duncan Coutts
Tuesday, 08 September 2009

Industrial Haskell Group meeting at CUFP
Ian Lynagh
Wednesday, 19 August 2009

GHC and Windows DLLs
Ben Lippmeier
Friday, 03 July 2009

GHC, primops and exorcising GMP
Duncan Coutts
Tuesday, 09 June 2009

Come talk at the Haskell Implementers' Workshop!
Duncan Coutts
Tuesday, 02 June 2009

Buildings plugins as Haskell shared libs
Duncan Coutts
Thursday, 21 May 2009

Next steps for the Haskell Platform
Duncan Coutts
Wednesday, 06 May 2009

Well-Typed at CUFP
Ian Lynagh
Sunday, 03 May 2009

"Hello world" now only 11k using GHC with shared libs
Duncan Coutts
Tuesday, 28 April 2009

First round of Industrial Haskell Group development work
Duncan Coutts
Tuesday, 28 April 2009

Platform progress and the Hackathon
Duncan Coutts
Friday, 24 April 2009

Regression testing with Hackage
Duncan Coutts
Saturday, 21 March 2009

The Industrial Haskell Group
Duncan Coutts
Monday, 02 March 2009

Cabal ticket #500
Duncan Coutts
Saturday, 14 February 2009

GHC 6.10.1 released!
Ian Lynagh
Tuesday, 04 November 2008

Haskell Platform talk at the London Haskell Users Group
Duncan Coutts
Tuesday, 04 November 2008

zlib and bzlib package updates
Duncan Coutts
Sunday, 02 November 2008

Some ideas for the Future of Cabal
Duncan Coutts
Tuesday, 07 October 2008

Slides from the Haskell Platform talk
Duncan Coutts
Friday, 26 September 2008

Hackage hacking and demo
Duncan Coutts
Wednesday, 24 September 2008

Well-Typed at ICFP
Duncan Coutts
Wednesday, 24 September 2008

The new haskell.org community SPARC server is online
Duncan Coutts
Tuesday, 02 September 2008

What's wrong with make?
Duncan Coutts
Thursday, 21 August 2008

Solving the diamond dependency problem
Duncan Coutts
Tuesday, 19 August 2008

New Cabal and cabal-install releases
Duncan Coutts
Tuesday, 17 June 2008

Information plumbing
Duncan Coutts
Thursday, 08 May 2008

The dreaded diamond dependency problem
Duncan Coutts
Thursday, 24 April 2008

GSoC project for Cabal make-like dependency framework
Duncan Coutts
Monday, 21 April 2008

Real World Haskell book available for pre-order
Duncan Coutts
Sunday, 20 April 2008

Cabal and Hackage at the hackathon
Duncan Coutts
Friday, 18 April 2008

Hac4: Thank you!
Björn Bringert
Wednesday, 16 April 2008

Hac4: Last day
Björn Bringert
Sunday, 13 April 2008

Hac4: Second day
Björn Bringert
Saturday, 12 April 2008

Hac4: Haskell Hackathon in Gothenburg
Björn Bringert
Friday, 11 April 2008

So we set up a Haskell consultancy company...
Duncan Coutts
Friday, 11 April 2008