RSSAmplifier

Blog

Troels Henriksen's blog

What some hacker has written

sigkill.dkRSS feed ↗10 posts

Latest posts

The GradBench Benchmark Suite for Automatic Differentiation

Companion post to my presentation at EuroAD

Static linking on Nix with GHC 9.6

Static linking moves effort from your users to you, and it is time to pay the cost again.

Notation as a Tool of Talk

What came first - the title wordplay or the post idea?

A quick note on testing custom GitHub Actions

You can import the action in its own test suite to test it.

My phlog

Find me on Gopher

Help test XDG support in cabal-install

If the next version of cabal-install breaks horribly, then it is probably my fault.

Moscow SML on DOS

Nostalgia for a program I have never used.

Another Haskell and Nix setup

How to compile a Haskell program with Nix in just the right way.

Reflections on the VMCAI 2021 artifact evaluation

I was co-chair and these are my thoughts on how it went.

A subtle issue when using Nix and Cabal for CI

I ran into an issue with the CI setup for one of my projects, and I figured I'd write it down.