Painlessly switch your Haskell build from Cabal to Bazel | Continue reading
Comparing Nix input hashes can guarantee that some refactors are bug-free. | Continue reading
A short dive into Nickel's reference interpreter | Continue reading
Tweag's Nix team plans for the coming years | Continue reading
Nix is all about applying functional programming to files and processes. | Continue reading
Announcing the new haskell_module rule in rules_haskell | Continue reading
Integrating Haskell Stack and Nix in a smooth yet non-invasive way, with an explanation, example and template. | Continue reading
How to get reproducible development environments for probabilistic programming packages such as PyMC3, Theano or TensorFlow using Nix. | Continue reading
Why union and intersection contracts are hard in a lazy language, and how Nickel handles them. | Continue reading
Introduce the trick we use to run ghc test suite that needs to exec wasm code | Continue reading
Scale your engineering power. We enable deep-tech startups to achievetheir vision, from research to product delivery. | Continue reading
Why formatting chains of infix operators is hard in Haskell. And how I addressed it for Ormolu. | Continue reading
In this post we introduce Merkle trees, the data structures needed to make the Trustix log append-only and searchable. | Continue reading
Overview of the new features in Nix 2.4 and 2.5 | Continue reading
Small tutorial on using valgrind to find hot spots in ghc and other Haskell programs | Continue reading
Peirce divides reasoning into three complementary processes: deduction, abduction and induction. In this post, I will show how these logical processes relate to software. | Continue reading
How to use lenses and other optics within an Arrow-based framework. | Continue reading
Haskell's Data and Control module hierarchies have always bugged me. Now, I understand that the intuition behind the Data/Control separation is rooted in a deep technical justification. | Continue reading
Why wasn't Nix built with a content-addressed store? | Continue reading
Trustix aims at enhancing trust in software binaries and improve reproducibility tracking using distributed binary caches. | Continue reading
Why Template Haskell is hard for cross compilation and how Asterius does it | Continue reading
Destinations give you control over your memory allocations, and linear types make them pure. | Continue reading
Scale your engineering power. We enable deep tech startups to achievetheir vision, from research to product delivery. | Continue reading
In this first post of Tweag's four-part series on Markov chain Monte Carlo sampling algorithms, you will learn about why and when to use them and the theoretical underpinnings of this powerful class of sampling methods. We discuss the famous Metropolis-Hastings algorithm and give … | Continue reading
Scale your engineering power. We enable deep tech startups to achievetheir vision, from research to product delivery. | Continue reading
Why content-addressability is desirable for Nix. | Continue reading
Learn how to use Nix to create highly reproducible Python builds that are aware of native dependencies. | Continue reading
How to manage NixOS systems using Nix flakes. | Continue reading
The repositories of distributions such as Debian and Nixpkgs are among the largest collections of open source (and some unfree) software. They are complex systems that connect and organize many interdependent packages. In this blog post I'll try to shed some light on them from t … | Continue reading
Looking back at the journey which brought us there, and forward to what still lies ahead. | Continue reading
An introduction to Nix flakes and a tutorial on how to use them. | Continue reading
An introduction to Nix flakes and a tutorial on how to use them. | Continue reading
Peirce divides reasoning into three complementary processes: deduction, abduction and induction. In this post, I will show how these logical processes relate to software. | Continue reading
A primer on the interaction between linear types and exceptions in Haskell. | Continue reading
How to use the Makam metalanguage to implement an executable formal semantics for a simple language. | Continue reading
We're happy to announce the first release of Ormolu, a formatter for Haskell source code. | Continue reading
Bazel gets native support for third-party Haskell libraries and building Cabal packages since the 0.10 release of rules_haskell. | Continue reading
In this blog post series, we're going to lead you through Bayesian modeling in Haskell with the monad-bayes library. In the first part of the series, we introduce two fundamental concepts of `monad-bayes`: `sampling` and `scoring`. | Continue reading
inline-js:seamless JavaScript/Haskell interop | Continue reading
The repositories of distributions such as Debian and Nixpkgs are among the largest collections of open source (and some unfree) software. They are complex systems that connect and organize many interdependent packages. In this blog post I'll try to shed some light on them from t … | Continue reading