Aleksandr Bantev thought running a Nixpkgs team was hard. Turns out it's not!
Read about his experience in our latest blog post: www.tweag.io/blog/2026-10...
@tweag.ioTweag by Modus Create
@tweag.io
Tweag is the home of specialized engineering and advisory for Modus Create, uniting engineers and researchers to solve complex challenges. With expertise in functional engineering, build systems like Nix, Bazel, and Buck2, and blockchain like Cardano.
@tweag.io@tweag.ioDocker builds shouldn’t be the slowest part of CI.
At #BazelCon Training Day, Tweag’s Rafael Lima will lead a workshop on using Bazel, rules_oci and rules_img to assemble container images through a graph-based approach, independently of a local Docker daemon.
13 Oct | 09:00–10:30 | Room 11–14
@tweag.io
@tweag.ioTopiary v0.8.0 -- Irresistible Ironwood -- is out! 🌳
New: Tree-sitter language injections (Markdown code blocks, OCaml in OCamllex and Menhir), much richer error reporting, better multi-line strings and a --check flag for CI.
@tweag.ioSeven years later, Nix flakes are still experimental.
At #NixCon2026, Tweag’s Valentin Gagarin will explain why he changed his mind about flakes and why he thinks the controversy was never really about the technology itself.
📅 27 September
🕘 09:00–09:45
📍Room A
@tweag.ioYour coding agent read the instructions an hour ago. Does it still remember them?
Victor Nascimento Bakke on tricorder-mcp, the new MCP server for Tricorder, our Haskell dev tool – and why it keeps agents on track in long sessions.
@tweag.ioSandboxed Nix builds are great. Rebuilding for the 42nd time? Less so.
At #NixCon2026, Tweag’s Guillaume Maudoux will talk about Nixception: fast incremental builds without giving up sandboxing, using the same cache inside and outside the sandbox.
📅 26 September
🕝 14:30–15:15
📍Room A
@tweag.ioA new release of rules_nixpkgs is here 🚀
v0.14.0 adds full support for Bazel 7, support for depending on Nix flakes and FlakeHub-backed packages, and support for export/propagation of package licenses.
@tweag.ioWe’re heading to #NixCon2026. 👋
We’ll be in Kraków from 25–28 September, as a Silver Sponsor.
Our engineers will be attending and speaking throughout the event.
Working on adopting or scaling Nix? Come and talk to us.
@tweag.ioLiquid Haskell can prove your type class laws with an SMT solver – or could, until GHC 9 broke it. Juan Pablo Yamamoto spent #GSoC bringing it back. Here's how it went:
@tweag.io@aspiwack.bsky.social specified a tiny SAT solver in Rocq and let a coding agent write the code and proofs. Once the agent stopped duplicating his entire program to dodge a proof, one question remains: Are we formal proofs yet?
@tweag.ioTricorder 0.2.0.0 is now available, introducing a quick way to evaluate Haskell expressions directly from comments. Add `-- $> 2 + 2` anywhere in your source code and Tricorder will evaluate it, with the output available in `tricorder ui` and `tricorder eval-comments`.
