The Curious Engineer

All blogs / Functional / PL theory

Futhark Developer Blog

futhark-lang.org

High-performance purely functional data-parallel array programming on the GPU

Functional / PL theoryCompilersPerformance / optimization

’16’17’18’19’20’21’22’23’24’25’26
Posts
162 from 15 Apr 2016 to 4 Nov 2026
Posting
weekly (38 in the last year)
Kind
project news
Feed
https://futhark-lang.org/atom.xml

2026 38

  1. Nondeterminism in Futhark
  2. Speeding up GPU copies by permuting iteration spaces, or, optimising the identity function
  3. Integers - how ought they work?
  4. Making all divisions slower to fix a bug in 0.000000000000000000542% of cases
  5. What we ended up doing about alias propagation
  6. The End of FutharkScript
  7. 2026-10-08-end-of-futharkscript.fut
  8. 2026-10-08-end-of-futharkscript-img/
  9. Keeping Futhark off the GPU
  10. Do not let your type system reason about aliasing in your programming language
  11. Towards Futhark 1.0
  12. How should Futhark expose irregular arrays to the programmer?
  13. Finally adding recursive functions to Futhark
  14. Full flattening of nested data parallelism
  15. 2026-07-21-rewriting-the-type-checker.html
  16. 2026-07-04-the-cost-of-constants.html
  17. 2026-06-18-data-parallel-pretty-printing.html
  18. 2026-06-18-data-parallel-pretty-printing.fut
  19. 2026-05-27-futhark-0.26.3-released.html
  20. 2026-05-22-benchmarking-a-real-futhark-application.html
  21. 2026-05-06-count-trailing-zeros.html
  22. 2026-05-06-count-trailing-zeros.fut
  23. 2026-05-06-count-trailing-zeros-img/
  24. 2026-04-29-breaking-api-compatibility.html
  25. 2026-04-22-value-oriented-programming.html
  26. 2026-03-25-property-based-testing.html
  27. 2026-03-24-scan-scatter-fusion.html
  28. 2026-03-04-array-record-updates.html
  29. 2026-02-23-accumulators.html
  30. 2026-02-09-hedgehogs.html
  31. 2026-02-04-when-cost-models-hit-the-wall-clock.html
  32. 2026-02-04-when-cost-models-hit-the-wall-clock/
  33. 2026-02-03-tuning-params.html
  34. 2026-02-02-futhark-0.25.35-released.html
  35. 2026-01-20-why-not-tail-recursion.html
  36. 2026-01-16-are-arrays-functions.html
  37. 2026-01-09-nova-might-have-been-futhark.html
  38. 2026-01-04-another-termination-issue.html

2025 5

  1. 2025-09-26-the-biggest-semantic-mess.html
  2. 2025-07-29-tracking-source-locations.html
  3. 2025-06-04-better-at-the-bad.html
  4. 2025-05-07-implement-your-language-twice.html
  5. 2025-03-04-adding-a-new-backend.html

2024 13

  1. 2024-12-20-most-used-tokens.html
  2. 2024-12-01-futhark-fmt.html
  3. 2024-10-28-inlining.html
  4. 2024-09-23-faster-opencl-float-atomics.html
  5. 2024-09-05-folding-floats.html
  6. 2024-07-17-opencl-cuda-hip.html
  7. 2024-07-17-opencl-cuda-hip/
  8. 2024-07-08-large-array-literals.html
  9. 2024-06-17-automap.html
  10. 2024-06-10-how-we-test-the-futhark-compiler.html
  11. 2024-04-18-random-numbers-with-uniqueness-types.html
  12. 2024-03-06-array-representation.html
  13. 2024-02-03-quantifying-student-projects.html

2023 10

  1. 2023-12-04-end-of-an-optimisation.html
  2. 2023-10-13-smlfut.html
  3. 2023-08-30-futhark-0.25.3-released.html
  4. 2023-07-06-futhark-0.25.1-released.html
  5. 2023-05-16-how-to-write-futhark.html
  6. 2023-05-12-size-type-challenges.html
  7. 2023-03-20-why-are-sizes-signed.html
  8. 2023-03-17-on-nontermination.html
  9. 2023-01-27-gccontent.html
  10. 2023-01-18-how-we-make-the-compiler-crash.html

2022 16

  1. 2022-12-25-reflections-on-advent-of-code.html
  2. 2022-12-22-literate-audio.html
  3. 2022-12-22-literate-audio.fut
  4. 2022-12-22-literate-audio-img/
  5. 2022-12-10-case-study.html
  6. 2022-12-06-in-place-map.html
  7. 2022-11-03-short-circuiting.html
  8. 2022-10-03-futhark-on-arraycast.html
  9. 2022-08-15-end-of-a-language-feature.html
  10. 2022-07-07-futhark-0.21.13-released.html
  11. 2022-07-01-how-futhark-talks-to-its-friends.html
  12. 2022-06-13-uniqueness-types.html
  13. 2022-04-15-futhark-0.21.9-released.html
  14. 2022-04-12-the-final-problem.html
  15. 2022-04-04-futhark-is-a-low-level-language.html
  16. 2022-01-27-cost-models-are-contracts.html

2021 15

  1. 2021-12-19-past-and-present.html
  2. 2021-10-16-explicit-existentials.html
  3. 2021-09-24-the-futhark-error-index.html
  4. 2021-08-28-futhark-0.20.1-released.html
  5. 2021-08-26-futhark-in-the-browser.html
  6. 2021-08-16-on-prefix-operators.html
  7. 2021-08-05-half-precision-floats.html
  8. 2021-08-02-value-representation.html
  9. 2021-06-27-no-escape.html
  10. 2021-05-11-anatomy-of-a-type-checker-bug.html
  11. 2021-03-04-futhark-0.19.1-released.html
  12. 2021-01-18-futharkscript.html
  13. 2021-01-18-futharkscript.fut
  14. 2021-01-18-futharkscript-img/
  15. 2021-01-11-no-regrets.html

2020 16

  1. 2020-12-28-futhark-and-dex.html
  2. 2020-11-11-will-futhark-work-on-apple-silicon.html
  3. 2020-11-07-futhark-0.18.2-released.html
  4. 2020-10-08-futhark-0.18.1-released.html
  5. 2020-09-27-poseidon-retrospective.html
  6. 2020-09-19-futhark-0.17.2-released.html
  7. 2020-09-01-performance-regression.html
  8. 2020-07-13-bounds-checking.html
  9. 2020-07-07-futhark-0.16.1-released.html
  10. 2020-07-01-is-futhark-getting-faster-or-slower.html
  11. 2020-06-28-attributes-in-futhark.html
  12. 2020-05-03-higher-order-parallel-programming.html
  13. 2020-04-13-statically-linking-the-futhark-compiler.html
  14. 2020-03-15-futhark-0.15.1-released.html
  15. 2020-02-09-how-we-keep-the-lights-on.html
  16. 2020-01-24-futhark-0.14.1-released.html

2019 13

  1. 2019-12-18-design-flaws-in-futhark.html
  2. 2019-11-27-futhark-0.13.1-released.html
  3. 2019-10-25-beating-c-with-futhark-on-gpu.html
  4. 2019-08-31-beginning-a-collection-of-futhark-examples.html
  5. 2019-08-21-futhark-0.12.1-released.html
  6. 2019-08-03-towards-size-types.html
  7. 2019-06-22-futhark-on-nvidia-jetson.html
  8. 2019-06-08-futhark-0.11.1-released.html
  9. 2019-04-10-what-is-the-minimal-basis-for-futhark.html
  10. 2019-03-25-futhark-0.10.1-released.html
  11. 2019-02-18-futhark-at-ppopp.html
  12. 2019-02-08-futhark-0.9.1-released.html
  13. 2019-01-13-giving-programmers-what-they-want.html

2018 15

  1. 2018-12-25-futhark-0.8.1-released.html
  2. 2018-12-08-why-futhark-sometimes-goes-wrong.html
  3. 2018-09-21-futhark-0.7.1-released.html
  4. 2018-09-16-the-futhark-debugger.html
  5. 2018-08-24-futhark-0.6.3-released.html
  6. 2018-08-03-the-present-futhark-package-manager.html
  7. 2018-07-20-the-future-futhark-package-manager.html
  8. 2018-07-09-futhark-0.6.1-released.html
  9. 2018-07-05-python-gotta-go-faster.html
  10. 2018-06-18-designing-a-programming-language-for-the-desert.html
  11. 2018-05-31-futhark-0.5.1-released.html
  12. 2018-04-10-futhark-0.4.0-released.html
  13. 2018-04-01-futhark-with-fangs.html
  14. 2018-02-02-futhark-0.3.0-released.html
  15. 2018-01-28-how-futhark-manages-gpu-memory.html

2017 14

  1. 2017-12-27-reflections-on-a-phd-accidentally-spent-on-language-design.html
  2. 2017-12-05-a-strategy-for-documenting-futhark.html
  3. 2017-11-19-futhark-0.2.0-released.html
  4. 2017-11-11-dot-notation-for-records.html
  5. 2017-10-10-block-comments-are-a-bad-idea.html
  6. 2017-10-04-futhark-0.1.0-released.html
  7. 2017-09-26-calling-futhark-from-c-and-haskell.html
  8. 2017-06-25-futhark-at-pldi.html
  9. 2017-05-23-language-design-checklist.html
  10. 2017-04-01-roman-numerals.html
  11. 2017-03-21-futhark-videos.html
  12. 2017-03-06-futhark-record-system.html
  13. 2017-01-25-futhark-module-system.html
  14. 2017-01-15-futhark-at-lambdadays.html

2016 7

  1. 2016-12-28-futhark-at-fosdem.html
  2. 2016-12-09-two-syntax-design-problems.html
  3. 2016-12-04-diving-beet.html
  4. 2016-09-03-language-design.html
  5. 2016-06-20-futhark-as-an-apl-compiler-target.html
  6. 2016-04-25-futhark-and-pygame.html
  7. 2016-04-15-futhark-and-pyopencl.html