Hacker in academia. I think deterministic parallel programming is just great! I work on futhark-lang.org
ID: 4485373995
http://sigkill.dk 14-12-2015 22:06:15
2,2K Tweet
551 Followers
172 Following
In this episode, we talk to Troels Henriksen about Futhark a very interesting array language that compiles to GPU's and multi-core CPU's. ! Host: Conor Hoekstra Guest: Troels Henriksen Troels Henriksen [email protected] Panel: Marshall Lochbaum, Richard Park, Stephen Taylor and Bob Therriault.
Last year at #LambdaDays 2022, Troels Henriksen [email protected], assistant professor at the University of Copenhagen, gave an amazing talk with title 'Using smoke and mirrors to compile a functional programming language to efficient GPU code' #Functional #GPU Check it out👇💥 youtu.be/6TgaTRHMvT8
Several years ago we did some work on dependently typing the vagaries of the R language's vectors/arrays/matrices. Never published, but may be of interest, so I've put it on arXiv. CC Jack Wrenn Alexa VanHattum Dependently Typing R Vectors, Arrays, and Matrices arxiv.org/abs/2304.04265
Have you heard of Flix (flix) and Furthark? They are two new programming languages developed by Magnus Madsen and Troels Henriksen from DIKU - Department of Computer Science, UCPH in a DIREC-funded project. Read more about the project ➡ direc.dk/the-programmin…
Join us at the Functional HP and Numerical Computing Workshop icfp23.sigplan.org/home/FHPNC-2023 at ICFP Conference. It's just a month away, with Satnam Singh and Mike Sperber as invited speakers — early registration closes tomorrow!
A nice blog post by Troels Henriksen [email protected] about `smlfut` which allows SML (especially MLton and MPL) to easily call out to Futhark. I've used it and it works really well! Lots of interesting language interop details. Check it out: futhark-lang.org/blog/2023-10-1…