<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
    <title>Futhark Developer Blog</title>
    <link href="http://futhark-lang.org/atom.xml" rel="self" />
    <link href="http://futhark-lang.org" />
    <id>http://futhark-lang.org/atom.xml</id>
    <author>
        <name>Troels Henriksen</name>
        
        <email>athas@sigkill.dk</email>
        
    </author>
    <updated>2026-03-04T00:00:00Z</updated>
    <entry>
    <title>Addressing a type system limitation with syntactic sugar</title>
    <link href="http://futhark-lang.org/blog/2026-03-04-array-record-updates.html" />
    <id>http://futhark-lang.org/blog/2026-03-04-array-record-updates.html</id>
    <published>2026-03-04T00:00:00Z</published>
    <updated>2026-03-04T00:00:00Z</updated>
    <summary type="html"><![CDATA[A discussion of mixed record/array updates, which turns out to address a problem that would otherwise require a rather complicated extension of the type system.]]></summary>
</entry>
<entry>
    <title>The why and how of parallel in-place random-access accumulation</title>
    <link href="http://futhark-lang.org/blog/2026-02-23-accumulators.html" />
    <id>http://futhark-lang.org/blog/2026-02-23-accumulators.html</id>
    <published>2026-02-23T00:00:00Z</published>
    <updated>2026-02-23T00:00:00Z</updated>
    <summary type="html"><![CDATA[To support automatic differentiation we had to come up with a new language construct, but it is too powerful for normal people (and their type systems).]]></summary>
</entry>
<entry>
    <title>So what is it with all the hedgehogs anyway?</title>
    <link href="http://futhark-lang.org/blog/2026-02-09-hedgehogs.html" />
    <id>http://futhark-lang.org/blog/2026-02-09-hedgehogs.html</id>
    <published>2026-02-09T00:00:00Z</published>
    <updated>2026-02-09T00:00:00Z</updated>
    <summary type="html"><![CDATA[You cannot dissect a frog or explain a joke without killing either, so don't read this if you are a humanitarian.]]></summary>
</entry>
<entry>
    <title>When cost models hit the wall clock</title>
    <link href="http://futhark-lang.org/blog/2026-02-04-when-cost-models-hit-the-wall-clock.html" />
    <id>http://futhark-lang.org/blog/2026-02-04-when-cost-models-hit-the-wall-clock.html</id>
    <published>2026-02-04T00:00:00Z</published>
    <updated>2026-02-04T00:00:00Z</updated>
    <summary type="html"><![CDATA[A comparison between the theoretical performance of a program and the achieved performance.]]></summary>
</entry>
<entry>
    <title>Custom tuning parameters - a dubious feature</title>
    <link href="http://futhark-lang.org/blog/2026-02-03-tuning-params.html" />
    <id>http://futhark-lang.org/blog/2026-02-03-tuning-params.html</id>
    <published>2026-02-03T00:00:00Z</published>
    <updated>2026-02-03T00:00:00Z</updated>
    <summary type="html"><![CDATA[A post about a new language feature with some real sharp edges, which might not be a good idea.]]></summary>
</entry>
<entry>
    <title>Futhark 0.25.35 released</title>
    <link href="http://futhark-lang.org/blog/2026-02-02-futhark-0.25.35-released.html" />
    <id>http://futhark-lang.org/blog/2026-02-02-futhark-0.25.35-released.html</id>
    <published>2026-02-02T00:00:00Z</published>
    <updated>2026-02-02T00:00:00Z</updated>
    <summary type="html"><![CDATA[A long time since I wrote one of these.]]></summary>
</entry>
<entry>
    <title>Why not tail recursion?</title>
    <link href="http://futhark-lang.org/blog/2026-01-20-why-not-tail-recursion.html" />
    <id>http://futhark-lang.org/blog/2026-01-20-why-not-tail-recursion.html</id>
    <published>2026-01-20T00:00:00Z</published>
    <updated>2026-01-20T00:00:00Z</updated>
    <summary type="html"><![CDATA[Futhark has an unusual restriction on functions, but there is a good reason for it.]]></summary>
</entry>
<entry>
    <title>Are arrays functions?</title>
    <link href="http://futhark-lang.org/blog/2026-01-16-are-arrays-functions.html" />
    <id>http://futhark-lang.org/blog/2026-01-16-are-arrays-functions.html</id>
    <published>2026-01-16T00:00:00Z</published>
    <updated>2026-01-16T00:00:00Z</updated>
    <summary type="html"><![CDATA[Sometimes two things are the same if you are sufficiently close or sufficiently far away, but different at a moderate distance.]]></summary>
</entry>
<entry>
    <title>NOVA might have been Futhark</title>
    <link href="http://futhark-lang.org/blog/2026-01-09-nova-might-have-been-futhark.html" />
    <id>http://futhark-lang.org/blog/2026-01-09-nova-might-have-been-futhark.html</id>
    <published>2026-01-09T00:00:00Z</published>
    <updated>2026-01-09T00:00:00Z</updated>
    <summary type="html"><![CDATA[Futhark arose in a surprisingly crowded little field, and it's a fair question whether we shouldn't have made a new language as well.]]></summary>
</entry>
<entry>
    <title>Another termination issue</title>
    <link href="http://futhark-lang.org/blog/2026-01-04-another-termination-issue.html" />
    <id>http://futhark-lang.org/blog/2026-01-04-another-termination-issue.html</id>
    <published>2026-01-04T00:00:00Z</published>
    <updated>2026-01-04T00:00:00Z</updated>
    <summary type="html"><![CDATA[This time it is the interpreter that is doing something unexpected.]]></summary>
</entry>

</feed>
