From tweag.io
GHC's wasm backend now supports Template Haskell and ghci
0 1
A summary of the current support status of Template Haskell and ghci in GHC's wasm backend, explaining how it's implemented and laying out potential future improvements.
on Thu, 10AM
From tweag.io
Exploring Effect in TypeScript: Simplifying Async and Error Handling
0 0
An introduction to Effect, an open-source library that promises to improve your TypeScript code
on Nov 7
From tweag.io
How to make your papers run: Executable formal semantics for your language
0 0
How to use the Makam metalanguage to implement an executable formal semantics for a simple language.
on Oct 2
From tweag.io
Bazel, Cabal, Stack: Why choose when you can have them all?
0 0
Bazel gets native support for third-party Haskell libraries and building Cabal packages since the 0.10 release of rules_haskell.
on Sep 23
From tweag.io
Reflecting away from definitions in Liquid Haskell
0 0
Internship report: Extensions to the reflection mechanism of Liquid Haskell to handle functions from dependencies.
on Sep 14
From tweag.io
Adding algebraic data types to Nickel
0 1
A recent release of Nickel added algebraic data types and pattern matching. This blog post explains the motivation behind this addition, the design choices made, the considerations around backward compatibility and how ADTs can be useful for a configuration language.
on Sep 7
From tweag.io
Deploying Buildbarn on Kubernetes with mTLS on the side
0 0
No packet should pass unencrypted or unauthenticated.
on Aug 29
From tweag.io
Hard user separation with NixOS
0 0
Setup two encrypted partitions with a shared Nix store
on Aug 27
From tweag.io
Let there be types: observable type sharing for GHC Core
0 0
A tale of optimising GHC by improving sharing in its intermediate representation.
on Aug 15
From tweag.io
Integration testing: pain points and remedies
0 0
While a crucial phase of software development, integration testing faces challenges in terms of speed, reliability, and maintenance. This article discusses these common issues in the process.
on Jul 13
From tweag.io
Liquid Haskell through the compilers
0 0
An experience report on plugin upgrades
on May 31
From tweag.io
Re-implementing the Nix protocol in Rust
0 0
We re-implemented the nix remote protocol, declaratively
on May 6
From tweag.io
Software Identifiers through the eyes of Nix
0 0
This is an answer to a request for comments issued by CISA about software identifiers that CISA encouraged me to publish as a separate blog post.
on Mar 12
From tweag.io
Extending destination-passing style programming to arbitrary data types in Linear Haskell
0 0
This blog post presents a safe API for destination-passing style programming using Linear Haskell against arbitrary functional data types.
on Mar 8
From tweag.io
CLI User Experience Case Study: Topiary
0 0
Topiary's journey to a modern, user-friendly CLI experience.
on Jan 21
From tweag.io
A look under GHC's hood: desugaring linear types
0 0
How GHC's design informs linear types
on Jan 20
From tweag.io
Functional Python, Part II: Dial M for Monoid
0 0
Commandeering techniques from richly typed, functional languages into Python for fun and profit. In this episode: Typeclasses and continuation-passing style.
on Dec 17
From tweag.io
Implementing a content-addressed Nix
0 0
What had to change in the Nix internals to make it able to build content-addressed derivations?
on Dec 16
From tweag.io
BazelCon Community Day - Munich
0 0
A summary of BazelCon Community Day 2023 in Munich
on Dec 7
From tweag.io
rhine-bayes: a library for online reactive Bayesian inference
0 0
Use monad-bayes and rhine in your interactive machine learning application
on Oct 13, 2023
From tweag.io
rhine-bayes: a library for online reactive Bayesian inference
0 0
Use monad-bayes and rhine in your interactive machine learning application
on Oct 12, 2023
From tweag.io
CLI User Experience Case Study: Topiary
0 0
Topiary's journey to a modern, user-friendly CLI experience.
on Oct 8, 2023