Troels Henriksen's bloghttp://sigkill.dk/atom.xmlTroels Henriksenathas@sigkill.dk2025-04-03T00:00:00ZThe GradBench Benchmark Suite for Automatic Differentiationhttp://sigkill.dk/blog/2025-04-03-gradbench.html2025-04-03T00:00:00Z2025-04-03T00:00:00ZStatic linking on Nix with GHC 9.6http://sigkill.dk/blog/2024-05-22-static-linking-on-nix-with-ghc96.html2024-05-22T00:00:00Z2024-05-22T00:00:00ZNotation as a Tool of Talkhttp://sigkill.dk/blog/2023-06-25-notation-as-a-tool-of-talk.html2023-06-25T00:00:00Z2023-06-25T00:00:00ZA quick note on testing custom GitHub Actionshttp://sigkill.dk/blog/2022-11-20-testing-github-actions.html2022-11-20T00:00:00Z2022-11-20T00:00:00ZMy phloghttp://sigkill.dk/blog/2022-11-16-phlog.html2022-11-16T00:00:00Z2022-11-16T00:00:00ZHelp test XDG support in cabal-installhttp://sigkill.dk/blog/2022-10-02-cabal-xdg.html2022-10-02T00:00:00Z2022-10-02T00:00:00ZMoscow SML on DOShttp://sigkill.dk/blog/2021-07-03-mosml-on-dos.html2021-07-03T00:00:00Z2021-07-03T00:00:00ZAnother Haskell and Nix setuphttp://sigkill.dk/blog/2021-05-06-another-haskell-and-nix-setup.html2021-05-06T00:00:00Z2021-05-06T00:00:00ZReflections on the VMCAI 2021 artifact evaluationhttp://sigkill.dk/blog/2020-12-21-vmcai-artifact-evaluation.html2020-12-21T00:00:00Z2020-12-21T00:00:00ZA subtle issue when using Nix and Cabal for CIhttp://sigkill.dk/blog/2020-06-19-nix-haskell-cabal-ci-problem.html2020-06-19T00:00:00Z2020-06-19T00:00:00Z