| 13 Feb 2026 |
 maralorn | Per Cabal component and per source file is a big difference | 15:23:14 |
 chreekat | Yeah, and ironically per-component builds aren't my goal right now. My main goals are to make a tool that lets stack.yaml(.lock) be the source of truth for a nix build, that is also fast. I guess using casa is an orthogonal goal, but it feels right because casa is, or could be, a better solution than the all-cabal-hashes repo | 15:25:07 |
| chreekat | it was sort of the next generation of "better interface to hackage" that fp complete was experimenting with. stack uses it, but besides that it sort of got trapped in amber as fpco moved away from haskell | 15:25:59 |
| chreekat | woo, the ginormous IFD fetch of all sources finally finished, it's compling shit now | 15:37:12 |
 linj | I am also interested in dyn drv. Could you share some learning materials of it? | 16:06:15 |
| chreekat | well, i don't really know of any. I myself am building this experiment in hopes of learning something about it | 16:47:19 |
| chreekat | confession: i am using claude. But I'm minimizing the blast damage by compartmentalizing the steps and checking carefully all the parts I do understand | 16:48:52 |
 alexfmpe | In reply to @b:chreekat.net
as a sanity check, if a tool was introduced that created a drv for every source file of every haskell dependency of your haskell package, that would be unreasonable, right? Way too many drvs? https://github.com/obsidiansystems/sandstone | 17:04:11 |
| linj | tip: there are slides in the slides branch | 17:51:34 |
|  Perigord changed their profile picture. | 19:11:38 |
 Alex | It shouldn't be, but I think this is mostly a question of how efficiently Nix can handle derivations.
I suspect that there is little effort put into making them low overhead, given how little of Nixpkgs creates such small derivations. | 19:41:09 |
| alexfmpe | summon John Ericson | 19:49:32 |
 John Ericson | hi | 20:18:57 |
| John Ericson | see sandstone | 20:19:17 |
| John Ericson | git@github.com:obsidiansystems/sandstone.git | 20:19:36 |
 Sigmanificient | the summoning ritual worked :D | 20:19:37 |
| John Ericson | * https://github.com/obsidiansystems/sandstone | 20:19:52 |
|  fpringle joined the room. | 22:22:11 |
|  fnctr changed their profile picture. | 22:58:01 |
| 14 Feb 2026 |
|  @funkyeggdev:matrix.org left the room. | 00:13:12 |
|  ijouw joined the room. | 01:09:28 |
 magic_rb | It would be very cool if we could use dyndrv for haskell builds, hmm | 10:24:16 |
|  amadaluzia joined the room. | 21:02:56 |
| 15 Feb 2026 |
|  amadaluzia[tde] changed their profile picture. | 00:28:57 |
|  indy joined the room. | 06:54:27 |
| amadaluzia[tde] changed their profile picture. | 22:03:28 |
| amadaluzia[tde] changed their profile picture. | 22:04:34 |
| 16 Feb 2026 |
| magic_rb |
romes: The first Stage3 cross-compiler (i.e. a cross-compiled compiler) built by our CI:
https://gitlab.haskell.org/ghc/ghc/-/jobs/2421476/artifacts/browse
I'm testing it now.
They managed to get a riscv ghc crossed from im assuming x86. Could be used for bootstrap on our side 🎉
(Cross post from #GHC:matrix.org)
| 11:29:59 |
| Alex | We already have a working setup for native RISC-V via x86 cross (which I think is in the official Nixpkgs cache now?), but an official RISC-V build could make it less fragile.
But I suspect that the new compiler is only viable for the latest GHC, which would take a while to become the default GHC? | 12:05:05 |
|  pneumatic changed their profile picture. | 15:17:52 |
