Do you also not understand parallel functional programming or language-based security? Actually nobody does, which is why researchers try to figure it out! Come and help as a PhD student at #DIKU/#UCPH: jobportal.ku.dk/phd/?show=1609…
0
0
8
583
Troels Henriksen athas@freeradical.zone retweeted
a completely unhinged response to a person raising money for children
713
1,207
22,569
2,094,817
Troels Henriksen athas@freeradical.zone retweeted
A nice blog post by @sigkill_dk 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…
Lots of interesting language interop details. Check it out:
futhark-lang.org/blog/2023-10-1…
0
2
8
710
Troels Henriksen athas@freeradical.zone retweeted
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 @satnam6502 and @sperbsen as invited speakers — early registration closes tomorrow!
0
7
13
6,011
Troels Henriksen athas@freeradical.zone retweeted
PyTorch and Dex with Adam Paszke. A view from the inside. Can the Array languages learn anything from the ascendency of PyTorch and Dex?
Host: Conor Hoekstra
Guest: Adam Paszke
Panel: Marshall Lochbaum, Stephen Taylor and Bob Therriault.
arraycast.com/episodes/episo…
Host: Conor Hoekstra
Guest: Adam Paszke
Panel: Marshall Lochbaum, Stephen Taylor and Bob Therriault.
arraycast.com/episodes/episo…
0
3
19
14,167
Troels Henriksen athas@freeradical.zone retweeted
Most popular array programming languages 🥳 plrank.com
5
10
53
5,681
Troels Henriksen athas@freeradical.zone retweeted
Have you heard of Flix (@flixlang) and Furthark? They are two new programming languages developed by @MagnusMadsenDK and Troels Henriksen from @DIKU_Institut in a DIREC-funded project. Read more about the project ➡ direc.dk/the-programmin…
1
2
8
1,525
Troels Henriksen athas@freeradical.zone retweeted
Stay tuned for ‹Programming› 2024 in Lund, Sweden
The final submission deadline for #ResearchPapers is October 1st, 2023
#prog24 #conference
2024.programming-conference.org/track/programm…
The final submission deadline for #ResearchPapers is October 1st, 2023
#prog24 #conference
2024.programming-conference.org/track/programm…
0
6
9
1,288
I'm excited to go to PLDI 2023, although less excited that it's in Florida. Looking forward to meeting people I've never met before, and of course co-chairing ARRAY.
0
0
5
383
Troels Henriksen athas@freeradical.zone retweeted
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 @tenellous @avanhatt
Dependently Typing R Vectors, Arrays, and Matrices
arxiv.org/abs/2304.04265
CC @tenellous @avanhatt
Dependently Typing R Vectors, Arrays, and Matrices
arxiv.org/abs/2304.04265
6
14
66
16,541
Troels Henriksen athas@freeradical.zone retweeted
Interested in high-level techniques for high-performance computing?
Happy to announce that FHPNC is happening this September in Seattle, co-located with ICFP!
We are looking forward to your submissions. Please spread the word!
icfp23.sigplan.org/home/FHPNC-202…
Happy to announce that FHPNC is happening this September in Seattle, co-located with ICFP!
We are looking forward to your submissions. Please spread the word!
icfp23.sigplan.org/home/FHPNC-202…
0
3
12
1,290
Troels Henriksen athas@freeradical.zone retweeted
The International workshop on Array-Oriented Programming (ARRAY) 2023! Submission Deadline March 31. pldi23.sigplan.org/home/ARRAY-202…
1
3
4
1,047
Do you really like arrays? Or do you think they are overrated and want to take them down once and for all? In either case, ARRAY 2023 (colocated with @pldi) is open for submissions: pldi23.sigplan.org/home/ARRAY-202…
1
3
14
1,454
Troels Henriksen athas@freeradical.zone retweeted
Last year at #LambdaDays 2022, @sigkill_dk, 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
#Functional #GPU
Check it out👇💥
youtu.be/6TgaTRHMvT8
1
4
10
921
Went through everyone I'm following here and added them on Mastodon if I could find a published username. I'm not certain this place will stay hospitable for much longer.
0
0
3
321
Hoping for a parallel Christmas: github.com/athas/aoc22
0
1
5
Troels Henriksen athas@freeradical.zone retweeted
I've written a blog post about array short-circuiting in Futhark futhark-lang.org/blog/2022-11-0…
#futhark #gpu #gottagofast
#futhark #gpu #gottagofast
1
2
7
To get Crusader Kings 3 working, I had fuss about with strace to see which systems calls were going wrong. For Victoria 3, ldd and fiddling with LD_LIBRARY_PATH was sufficient. Gaming on Linux is steadily improving!
1
1
2
I was inspired to write a followup blog post: futhark-lang.org/blog/2022-10-0…
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: @code_report
Guest: Troels Henriksen @sigkill_dk
Panel: Marshall Lochbaum, Richard Park, Stephen Taylor and Bob Therriault.
0
2
11
Troels Henriksen athas@freeradical.zone retweeted
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: @code_report
Guest: Troels Henriksen @sigkill_dk
Panel: Marshall Lochbaum, Richard Park, Stephen Taylor and Bob Therriault.
Host: @code_report
Guest: Troels Henriksen @sigkill_dk
Panel: Marshall Lochbaum, Richard Park, Stephen Taylor and Bob Therriault.
1
4
23