Tessera
Folgen

Tweag 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.

133 Posts84 Follower27 Folgt
Tweag by Modus Create@tweag.io · 4w ago

The Diff package adopts LiquidHaskell! The documentation of Diff was revamped and some of it is now checked automatically, with more static checks coming. Great work by Xavier Góngora. Check✅it out! discourse.haskell.org/t/diff-packa...

Diff package adopts LiquidHaskell for static checks

Hello, dear haskellers! I want to make a splash about LiquidHaskell being used for static checks in the Diff package, used transitively by more than 17000 packages according to hackage-revdeps [link]...

discourse.haskell.org

Tweag by Modus Create@tweag.io · 4w ago

🌳 Topiary now supports Language Injections, formatting "forests" of syntax trees embedded in one another—OCaml inside OCamllex, Rust/JSON blocks inside Markdown—without breaking the host layout. Read all about how we leveraged Tree-sitter to make this happen: www.tweag.io/blog/2026-07...

Topiary: Formatting Forests

How Topiary can now format embedded languages in OCamllex and Markdown files, and how the injection system works under the hood.

tweag.io

Tweag by Modus Create@tweag.io · last mo.

Christian Georgii presents tricorder at the Haskell Foundation's "Haskell and AI" workshop. A new DX tool providing simple, fast and focused feedback for building Haskell programs. He'll show you how it works and what can be tweaked to adapt it to your workflows. 🎥 youtu.be/vDmyl0ZJRF8?...

Haskell and AI Workshop

Welcome to the Haskell Foundation online workshop on AI and Haskell! 11:30 Alfredo Di Napoli: Consulting for clients who use AI: a tale of a few hats 12:00 Gautier Di Folco: LLM as a SDLC…

youtu.be

Arnaud Spiwack@aspiwack.bsky.social · 2mo ago

I wrote about my sheaves project in prose form. Code, even small as that project, doesn't give you a lot of navigation keys. So I wanted to make something a bit more sequential to help get the important points across. Let me know if it helps.

Tweag by Modus Create@tweag.io · 2mo ago

In his latest blog post, @aspiwack.bsky.social shows how, despite textbook definitions suggesting the contrary, sheaves (from category theory) can be implemented in ordinary functional programming languages. www.tweag.io/blog/2026-06...

Tweag by Modus Create@tweag.io · 2mo ago

Announcing tricorder, an incremental build tool for Haskell: multi-component auto-discovery, a background build daemon and a TUI dashboard. Great to pair with LLM agents: it has a context-friendly CLI and includes a skill for tight feedback loops. tinyurl.com/dmpc8mbk

Tweag by Modus Create@tweag.io · 2mo ago

build //newsletter issue 31 just dropped From remote caching tricks to running Claude prompts as Bazel actions, plus how to stop external resources breaking your builds .. there's something for every build nerd in this issue. BazelCon '26 in Amsterdam, who's going? build.news

Bild
Haskell programming language@haskell.org · 3mo ago

"linear-locks: locking primitives free of deadlocks" If you encounter STM's limitations when it comes to lock-free synchronisation, then Linear Haskell-backed locks maybe the solution you want! discourse.haskell.org/t/ann-linear... #Haskell

[ANN] linear-locks: locking primitives free of deadlocks

linear-locks provides locking primitives that are statically guaranteed not to lead to deadlocks. It achieves this by breaking one of the Coffman conditions for deadlocks: the “circular wait” conditi...

discourse.haskell.org

Haskell programming language@haskell.org · 3mo ago

You can take a look at their engineering blog: exploring-better-ways.bellroy.com/teams/techno...

Blog posts from the Technology Team

Technology

exploring-better-ways.bellroy.com

Andrew Donnellan@andrew.donnellan.id.au · 3mo ago

talking with a functional programming friend this evening and learned that apparently one of Australia's main employers of Haskell programmers is Bellroy, as in the wallet company, who maintain their e-commerce stack in-house and apparently write most of it in Haskell. wat

Haskell Interlude@haskellinterlude.bsky.social · 3mo ago

We sat down with Torsten Grust who is a professor of DB systems at the University of Tübingen. We talked about the best way to program databases, how to bridge the gap between regular programming languages and databases, and compiling just about everything to SQL. haskell.foundation/podcast/81/

Torsten Grust

Mike and Andres sat down with Torsten Grust, who is a professor of DB systems at the University of Tübingen. Even though Torsten loves SQL, he's used functional programming and Haskell to inform his w...

haskell.foundation

Elf M. Sternberg@elfsternberg.bsky.social · 3mo ago

A successful experiment in giving Haskell Rust-like affine discipline! Eventually, you might be able to run Haskell with completely predictable memory behavior in both scope and timing! This is absolutely wonderful: discourse.haskell.org/t/pure-borro...

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

TL;DR You can now use Rust-style mutable and shared borrows in Linear Haskell, within ST-like linear monad, BO, with pure, type-safe, and leak-freedom support of mutation and concurrency! It comes wit...

discourse.haskell.org