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
160 from 15 Apr 2016 to 21 Oct 2026
Posting
weekly (36 in the last year)
Kind
project news
Feed
https://futhark-lang.org/atom.xml

2026 36

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