Tweag by Modus Create

At the recent #Nix #Bern #meetup Michael Stapelberg, the inventor and maintainer of the i3 window manager, talked about why he switched to Nix.

Michael is a former Debian Linux Developer, and creator of the Go appliance platform gokrazy. He tried NixOS from time to time, finally went all in in 2025

Announcing Rust 1.94.0 | Rust Blog Empowering everyone to build reliable and efficient software.

Rust 1.94.0 has been released! 🌈 🦀✨

A few highlights are array_windows() and element_offset() on slices, Peekable::next_if_map(), LazyCell::get and friends, and the new `include` key in config.toml to include other toml files!

Check out the blog post for details: blog.rust-lang.org/2026/03/05/R...

For the final talk on track B at #BOBkonf2026, @tacticalgrace.justtesting.org will present "SwiftUI is functional", focussing on the underlying concepts for a great overview.

bobkonf.de/2026/chakrav...

Branch weight support by iand675 · Pull Request #744 · ghc-proposals/ghc-proposals Rendered

Notorious mad lad @iankduncan.com has opened a GHC Proposal to add hints to guide branch prediction! github.com/ghc-proposal...

This may be key to better register allocation and code layout.

#Haskell

Release v0.7.0 · tweag/linear-base Full Changelog Headline changes Add instance Consumable/Dupable/Movable for ByteString, ShortByteString and Text #501 (Bodigrim) feat: Adds missing instances for NonEmpty and adds some Linear coun...

New release of the Linear-base library, our standard library for Haskell with linear types. It's a small release mostly with missing type class instances, courtesy of contributors @konn-san.com and Bodigrim. Thank you both!

Anonymous credentials: an illustrated primer This post has been on my back burner for well over a year. It’s been sitting here unwritten, not because the topic is unimportant — in fact, with every single month that goes by, I become mor…

I wrote a new post on anonymous credentials and how to build them. All of this is in service on a longer future post on how these will fit into age verification systems. blog.cryptographyengineering.com/2026/03/02/a...

State of Haskell 2025 results At the end of 2025, the Haskell Foundation re-started the Haskell Yearly Survey. I’d like to thank Taylor Fausak for being supportive of our effort in conducting these surveys. The last survey was con...

It's there folks! The results of the State of #Haskell 2025 survey have been published

discourse.haskell.org/t/state-of-h...

The results of the 2025 State of Rust Survey are now available! 📊

blog.rust-lang.org/2026/03/02/2...

PlanetNix VIP Reception with Flox & Tweag by Modus Create · Luma Join us for complimentary food and beers, hosted by Flox and Tweag! We’re getting together for a Nix evening and would love you to join. Hang out, meet other…

Join us in Pasadena, California this Thursday for complimentary food, drinks, and great conversation.

Learn more and RSVP: luma.com/f8jxzv6v

PlanetNix VIP Reception with Flox & Tweag by Modus Create · Luma Join us for complimentary food and beers, hosted by Flox and Tweag! We’re getting together for a Nix evening and would love you to join. Hang out, meet other…

It's not too late to register for our VIP Reception during Planet Nix! 🥂

We're teaming up with @flox.dev for an evening to connect with fellow Nix enthusiasts, engineers, and industry leaders.

#PlanetNix #Nix #DevOps

Exported for tests only: Precise control over API visibility with custom warnings This article describes a pattern made possible by recent advances in GHC 9.8, to allow library authors to control how internal data constructors can be labelled as unsafe for human consumption, while ...

Exported for tests only: Precise control over API visibility with custom warnings

#Haskell

tech.scrive.com/exported-for...

Cool stuff.

The program for the International Symposium on Functional and Logic Programming - FLOPS - is out, and registration is open.
FLOPS 2026 will happen May 26-28 in Tsukuba, Japan -
see you in there!
functional-logic.org/events/flops...

Named Routes in Servant Use records to structure your Servant APIs

Do you mean this? 😊 www.tweag.io/blog/2022-02... . Or is there more new things?

Nickel since 1.0 A round-up of improvements over the last two and a half years

Nickel has changed a lot since 1.0! Joe Neeman offers you a round-up of the main new features and improvements of these past couple of years (and 15 releases!). www.tweag.io/blog/2026-02...

NixCon 2026 venue proposal: Kraków, Poland · Issue #6 · nixcon/nixcon-proposals NixCon 2026 venue proposal - Kraków, Poland Auditorium Maximum is a modern conference and teaching facility located in Kraków very close to the city centre and many hotels. Context Kraków is an old...

We're happy to announce that Kraków has been selected as location for #NixCon 2026.

github.com/nixcon/nixco...

The latest version of Pandoc can run in the browser thanks to GHC's Wasm backend. This is really great! pandoc.org/app/

How I learnt to stop worrying and love AI or: How I learnt to stop worrying and love AI

Are you worried about your precious bodily context window? Are your LLMs taking liberties? When did static analysis ever kill anybody?

In our latest blog post, Christopher Harrison learns how to stop worrying and love AI: www.tweag.io/blog/2026-02...

“Well-Typed are delighted to announce a release preview of hs-bindgen, a tool for automatic Haskell binding generation from C header files”

Go try it out and give feedback!

well-typed.com/blog/2026/02...

#Haskell

AmeriHac 2026 retrospective This past weekend we held the first ever AmeriHac, a ZuriHac-style hackathon for the North American Haskell community. When I first proposed the idea of a North American event to the HF board, my crit...

#AmeriHac 2026 retrospective by @jmct.bsky.social

discourse.haskell.org/t/amerihac-2...

PlanetNix VIP Reception with Flox & Tweag by Modus Create · Luma Join us for complimentary food and beers, hosted by Flox and Tweag! We’re getting together for a Nix evening and would love you to join. Hang out, meet other…

Learn more and RSVP here: luma.com/f8jxzv6v

We look forward to seeing you there!

#PlanetNix #Nix #DevOps

PlanetNix VIP Reception with Flox & Tweag by Modus Create · Luma Join us for complimentary food and beers, hosted by Flox and Tweag! We’re getting together for a Nix evening and would love you to join. Hang out, meet other…

🔈 Mark your calendars: We’re teaming up with @flox.dev for a VIP Reception during Planet Nix!

📍 Pasadena, California
🗓️ Thursday, March 5
⏰ 7:00–9:00 PM PST

Join us for a chance to connect with fellow Nix enthusiasts, engineers, and industry leaders over great food and conversation. ⤵️

ZuriHac is free for participants. This is only possible with the help of our generous supporters, who are currently:
- The Haskell Foundation
- Jane Street
- OST
- Tweag by Modus Create
- Well-Typed

ZuriHac 2026 - Registrations are open!

ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science.

Register: zureg.zfoh.ch/register

Integrating Coverity static analysis with Bazel A Bazel story of how we integrated a proprietary static analysis tool for fast, incremental analysis with Bazel.

In their new blog post Mark Karpov, Alexey Tereshenkov share their story integrating the Coverity static analyser with Bazel and how they managed to leverage Bazel's distributed cache for (much) faster analyses. www.tweag.io/blog/2026-02...

[OOPSLA'25] Destination calculus: A linear λ-calculus for purely functional memory writes Destination Calculus: A Linear 𝜆-Calculus for Purely Functional Memory Writes (Video, OOPSLA1 2025) Thomas Bagrel and Arnaud Spiwack (Tweag, France / LORIA, France / Inria, France; Tweag,…

It seems we missed the release of the #ICFP videos.

Here is our own @aspiwack.bsky.social presenting his joint work with Thomas Bagrel on the Destination Calculus www.youtube.com/watch?v=zjAE...

[POPL'26] Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment (Video, POPL 2026) David M. Kahn, Jan Hoffmann, Runming Li (Denison University, USA; Carnegie Mellon University, USA; Carnegie Mellon…

The very enthusiastic David Kahn's Big-Stop Semantics www.youtube.com/watch?v=OEYW...

[POPL'26] The Relative Monadic Metalanguage The Relative Monadic Metalanguage (Video, POPL 2026) Jack Liell-Cock, Zev Shirazi, Sam Staton (University of Oxford, UK; University of Oxford, UK; University of Oxford, UK) Abstract: Relative monads…

Zev Shirazi's The Relative Monadic Metalanguage (with a funny use of linear types) www.youtube.com/watch?v=WxkE...

#POPL's videos are already out. Congratulation to the video team for the great work!

Below are some talks to check out