Internship report: Extensions to the reflection mechanism of Liquid Haskell to handle functions from dependencies.

A tale of optimising GHC by improving sharing in its intermediate representation.

Announcement of smtlib-backends, a Haskell library providing a generic interface for interacting with SMT solvers using SMT-LIB

An experience report on improving HLS during my internship at Tweag.

An internship report on my experience working on improving search.nixos.org and my internship at Tweag

Tweag intern Abdellatif summarizes his internship, in which he augmented Chainsail with a Bayesian Replica Exchange scheme to improve sampling of multimodal distributions.

A short dive into Nickel's reference interpreter

A nixpkgs content database with graph building!

On design choices to build a resource-safe interface for Sparkle using linear types

An experience report on polishing Ormolu, the Haskell code formatter, during my internship at Tweag.

This blog post describes the tradeoffs of the choice between eager and lazy instantiation of type variables in GHC.

During my internship, I implemented the explicit specificity proposal to make GHC type signatures complete.

How to use the Makam metalanguage to implement an executable formal semantics for a simple language.

I got the opportunity to work on Bazel's Persistent Worker Mode for GHC during my internship at Tweag. My goal was to improve the mode of communication between Bazel and the Haskell GHC compiler.

I got the opportunity to work on Asterius, a new Haskell to WebAssembly compiler, during my internship at Tweag. My task was to get anything numerics-related stabilized in its compiled code.

The time has come again to invite applications for Tweag I/O’s paid internship programme this summer. For the past few years Tweag has taken on a number of students interested in developing their experience working on projects of benefit to the wider programming community. This…

Tweag I/O is inviting applications from students for our paid internship programme this summer. If you’re a student excited about working with Haskell, Nix and similar things, then get in touch! In previous years, our interns have worked on a variety of projects across research…