Index of /blog/

Name DateSize
../ 01-Oct-2025 15:10-
2016-04-15-futhark-and-pyopencl.html 12-Oct-2025 04:0313.9K
2016-04-25-futhark-and-pygame.html 12-Oct-2025 04:0215.0K
2016-06-20-futhark-as-an-apl-compiler-target.html 12-Oct-2025 04:025.9K
2016-09-03-language-design.html 12-Oct-2025 04:029.9K
2016-12-04-diving-beet.html 12-Oct-2025 04:0210.9K
2016-12-09-two-syntax-design-problems.html 12-Oct-2025 04:0212.0K
2016-12-28-futhark-at-fosdem.html 12-Oct-2025 04:023.5K
2017-01-15-futhark-at-lambdadays.html 12-Oct-2025 04:022.6K
2017-01-25-futhark-module-system.html 12-Oct-2025 04:0213.8K
2017-03-06-futhark-record-system.html 12-Oct-2025 04:0214.3K
2017-03-21-futhark-videos.html 12-Oct-2025 04:022.5K
2017-04-01-roman-numerals.html 12-Oct-2025 04:024.2K
2017-05-23-language-design-checklist.html 12-Oct-2025 04:027.6K
2017-06-25-futhark-at-pldi.html 12-Oct-2025 04:0227.8K
2017-09-26-calling-futhark-from-c-and-haskell.html 12-Oct-2025 04:0219.8K
2017-10-04-futhark-0.1.0-released.html 12-Oct-2025 04:025.1K
2017-10-10-block-comments-are-a-bad-idea.html 12-Oct-2025 04:0210.7K
2017-11-11-dot-notation-for-records.html 12-Oct-2025 04:027.2K
2017-11-19-futhark-0.2.0-released.html 12-Oct-2025 04:024.6K
2017-12-05-a-strategy-for-documenting-futhark.html 12-Oct-2025 04:025.8K
2017-12-27-reflections-on-a-phd-accidentally-spent-on-language-design.html 12-Oct-2025 04:0219.5K
2018-01-28-how-futhark-manages-gpu-memory.html 12-Oct-2025 04:0233.3K
2018-02-02-futhark-0.3.0-released.html 12-Oct-2025 04:025.7K
2018-04-01-futhark-with-fangs.html 12-Oct-2025 04:026.9K
2018-04-10-futhark-0.4.0-released.html 12-Oct-2025 04:026.9K
2018-05-31-futhark-0.5.1-released.html 12-Oct-2025 04:0210.1K
2018-06-18-designing-a-programming-language-for-the-desert.html 12-Oct-2025 04:0212.5K
2018-07-05-python-gotta-go-faster.html 12-Oct-2025 04:025.4K
2018-07-09-futhark-0.6.1-released.html 12-Oct-2025 04:027.6K
2018-07-20-the-future-futhark-package-manager.html 12-Oct-2025 04:029.5K
2018-08-03-the-present-futhark-package-manager.html 12-Oct-2025 04:0215.7K
2018-08-24-futhark-0.6.3-released.html 12-Oct-2025 04:023.3K
2018-09-16-the-futhark-debugger.html 12-Oct-2025 04:0211.6K
2018-09-21-futhark-0.7.1-released.html 12-Oct-2025 04:0216.3K
2018-12-08-why-futhark-sometimes-goes-wrong.html 12-Oct-2025 04:0218.2K
2018-12-25-futhark-0.8.1-released.html 12-Oct-2025 04:0214.6K
2019-01-13-giving-programmers-what-they-want.html 12-Oct-2025 04:029.7K
2019-02-08-futhark-0.9.1-released.html 12-Oct-2025 04:0215.7K
2019-02-18-futhark-at-ppopp.html 12-Oct-2025 04:0229.2K
2019-03-25-futhark-0.10.1-released.html 12-Oct-2025 04:027.9K
2019-04-10-what-is-the-minimal-basis-for-futhark.html 12-Oct-2025 04:0234.7K
2019-06-08-futhark-0.11.1-released.html 12-Oct-2025 04:0217.4K
2019-06-22-futhark-on-nvidia-jetson.html 12-Oct-2025 04:029.5K
2019-08-03-towards-size-types.html 12-Oct-2025 04:0228.8K
2019-08-21-futhark-0.12.1-released.html 12-Oct-2025 04:0211.5K
2019-08-31-beginning-a-collection-of-futhark-examples.html 12-Oct-2025 04:024.9K
2019-10-25-beating-c-with-futhark-on-gpu.html 12-Oct-2025 04:0227.0K
2019-11-27-futhark-0.13.1-released.html 12-Oct-2025 04:0210.2K
2019-12-18-design-flaws-in-futhark.html 12-Oct-2025 04:0219.3K
2020-01-24-futhark-0.14.1-released.html 12-Oct-2025 04:0211.4K
2020-02-09-how-we-keep-the-lights-on.html 12-Oct-2025 04:0214.6K
2020-03-15-futhark-0.15.1-released.html 12-Oct-2025 04:0221.2K
2020-04-13-statically-linking-the-futhark-compiler.html 12-Oct-2025 04:029.3K
2020-05-03-higher-order-parallel-programming.html 12-Oct-2025 04:0221.4K
2020-06-28-attributes-in-futhark.html 12-Oct-2025 04:0223.7K
2020-07-01-is-futhark-getting-faster-or-slower.html 12-Oct-2025 04:0212.5K
2020-07-07-futhark-0.16.1-released.html 12-Oct-2025 04:0217.3K
2020-07-13-bounds-checking.html 12-Oct-2025 04:0218.3K
2020-09-01-performance-regression.html 12-Oct-2025 04:028.6K
2020-09-19-futhark-0.17.2-released.html 12-Oct-2025 04:026.8K
2020-09-27-poseidon-retrospective.html 12-Oct-2025 04:0216.9K
2020-10-08-futhark-0.18.1-released.html 12-Oct-2025 04:026.2K
2020-11-07-futhark-0.18.2-released.html 12-Oct-2025 04:024.1K
2020-11-11-will-futhark-work-on-apple-silicon.html 12-Oct-2025 04:024.1K
2020-12-28-futhark-and-dex.html 12-Oct-2025 04:0218.9K
2021-01-11-no-regrets.html 12-Oct-2025 04:0214.7K
2021-01-18-futharkscript-img/ 12-Oct-2025 04:02-
2021-01-18-futharkscript.fut 12-Oct-2025 03:5914.2K
2021-01-18-futharkscript.html 12-Oct-2025 04:0221.9K
2021-03-04-futhark-0.19.1-released.html 12-Oct-2025 04:029.1K
2021-05-11-anatomy-of-a-type-checker-bug.html 12-Oct-2025 04:0217.4K
2021-06-27-no-escape.html 12-Oct-2025 04:0216.8K
2021-08-02-value-representation.html 12-Oct-2025 04:0218.8K
2021-08-05-half-precision-floats.html 12-Oct-2025 04:0216.7K
2021-08-16-on-prefix-operators.html 12-Oct-2025 04:028.5K
2021-08-26-futhark-in-the-browser.html 12-Oct-2025 04:0215.7K
2021-08-28-futhark-0.20.1-released.html 12-Oct-2025 04:025.5K
2021-09-24-the-futhark-error-index.html 12-Oct-2025 04:026.6K
2021-10-16-explicit-existentials.html 12-Oct-2025 04:0214.4K
2021-12-19-past-and-present.html 12-Oct-2025 04:0222.2K
2022-01-27-cost-models-are-contracts.html 12-Oct-2025 04:0223.0K
2022-04-04-futhark-is-a-low-level-language.html 12-Oct-2025 04:0212.1K
2022-04-12-the-final-problem.html 12-Oct-2025 04:0211.9K
2022-04-15-futhark-0.21.9-released.html 12-Oct-2025 04:0215.2K
2022-06-13-uniqueness-types.html 12-Oct-2025 04:0220.5K
2022-07-01-how-futhark-talks-to-its-friends.html 12-Oct-2025 04:0224.2K
2022-07-07-futhark-0.21.13-released.html 12-Oct-2025 04:0216.0K
2022-08-15-end-of-a-language-feature.html 12-Oct-2025 04:0218.2K
2022-10-03-futhark-on-arraycast.html 12-Oct-2025 04:0212.6K
2022-11-03-short-circuiting.html 12-Oct-2025 04:029.8K
2022-12-06-in-place-map.html 12-Oct-2025 04:029.8K
2022-12-10-case-study.html 12-Oct-2025 04:0219.5K
2022-12-22-literate-audio-img/ 12-Oct-2025 04:02-
2022-12-22-literate-audio.fut 12-Oct-2025 03:596.1K
2022-12-22-literate-audio.html 12-Oct-2025 04:0214.3K
2022-12-25-reflections-on-advent-of-code.html 12-Oct-2025 04:0215.9K
2023-01-18-how-we-make-the-compiler-crash.html 12-Oct-2025 04:027.4K
2023-01-27-gccontent.html 12-Oct-2025 04:0219.0K
2023-03-17-on-nontermination.html 12-Oct-2025 04:0212.2K
2023-03-20-why-are-sizes-signed.html 12-Oct-2025 04:028.4K
2023-05-12-size-type-challenges.html 12-Oct-2025 04:0230.3K
2023-05-16-how-to-write-futhark.html 12-Oct-2025 04:0211.0K
2023-07-06-futhark-0.25.1-released.html 12-Oct-2025 04:0214.8K
2023-08-30-futhark-0.25.3-released.html 12-Oct-2025 04:029.1K
2023-10-13-smlfut.html 12-Oct-2025 04:0226.1K
2023-12-04-end-of-an-optimisation.html 12-Oct-2025 04:0214.7K
2024-02-03-quantifying-student-projects.html 12-Oct-2025 04:028.6K
2024-03-06-array-representation.html 12-Oct-2025 04:0225.3K
2024-04-18-random-numbers-with-uniqueness-types.html 12-Oct-2025 04:0214.9K
2024-06-10-how-we-test-the-futhark-compiler.html 12-Oct-2025 04:0224.7K
2024-06-17-automap.html 12-Oct-2025 04:0249.6K
2024-07-08-large-array-literals.html 12-Oct-2025 04:029.0K
2024-07-17-opencl-cuda-hip/ 03-Oct-2025 13:03-
2024-07-17-opencl-cuda-hip.html 12-Oct-2025 04:0230.8K
2024-09-05-folding-floats.html 12-Oct-2025 04:027.2K
2024-09-23-faster-opencl-float-atomics.html 12-Oct-2025 04:026.6K
2024-10-28-inlining.html 12-Oct-2025 04:028.1K
2024-12-01-futhark-fmt.html 12-Oct-2025 04:029.1K
2024-12-20-most-used-tokens.html 12-Oct-2025 04:028.2K
2025-03-04-adding-a-new-backend.html 12-Oct-2025 04:0225.7K
2025-05-07-implement-your-language-twice.html 12-Oct-2025 04:029.3K
2025-06-04-better-at-the-bad.html 12-Oct-2025 04:0210.0K
2025-07-29-tracking-source-locations.html 12-Oct-2025 04:0218.8K
2025-09-26-the-biggest-semantic-mess.html 12-Oct-2025 04:0219.8K