Attention, Nix and Tacos Is All You Need

Our arxiv submission is pending.

A TacoSprint 2026 Retrospective | Farid Zakaria’s Blog is also my personal retrospective.

11 Likes

adding more context on the ocaml closure size reduction work, the numbers gotten are probably from a wip commit where cmt/cmti files are just deleted (which is unlikely to be merged)

in ocamlPackages.findlib: drop compiler references from built closures by stepbrobd · Pull Request #534051 · NixOS/nixpkgs · GitHub i chose to add nuke reference hook in findlib which would result in a slightly larger closure size (a few mb larger for lwt) but more generic than dune only proposal and keep the cmt/cmti files (useful for lsps)

@StepBroBD I sent you the branch with all the WIP on Matrix. I just checked and I don’t have anything left locally. Feel free to reach out to me on Matrix to see what the reason is you don’t get the same numbers!