Troels Henriksen athas@freeradical.zone (@sigkill_dk) 's Twitter Profile
Troels Henriksen [email protected]

@sigkill_dk

Hacker in academia. I think deterministic parallel programming is just great! I work on futhark-lang.org

ID: 4485373995

linkhttp://sigkill.dk calendar_today14-12-2015 22:06:15

2,2K Tweet

551 Followers

172 Following

Arraycast (@arraycast) 's Twitter Profile Photo

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.

Troels Henriksen athas@freeradical.zone (@sigkill_dk) 's Twitter Profile Photo

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!

Philip Munksgaard (@impmunksgaard) 's Twitter Profile Photo

I've written a blog post about array short-circuiting in Futhark futhark-lang.org/blog/2022-11-0… #futhark #gpu #gottagofast

Troels Henriksen athas@freeradical.zone (@sigkill_dk) 's Twitter Profile Photo

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.

Lambda Days (@lambdadays) 's Twitter Profile Photo

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

Troels Henriksen athas@freeradical.zone (@sigkill_dk) 's Twitter Profile Photo

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…

PLDI (@pldi) 's Twitter Profile Photo

The International workshop on Array-Oriented Programming (ARRAY) 2023! Submission Deadline March 31. pldi23.sigplan.org/home/ARRAY-202…

Sam Westrick (@shwestrick) 's Twitter Profile Photo

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…

Shriram Krishnamurthi (primary: Bluesky) (@shriramkmurthi) 's Twitter Profile Photo

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

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 <a href="/tenellous/">Jack Wrenn</a> <a href="/avanhatt/">Alexa VanHattum</a> 
Dependently Typing R Vectors, Arrays, and Matrices
arxiv.org/abs/2304.04265
Troels Henriksen athas@freeradical.zone (@sigkill_dk) 's Twitter Profile Photo

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.

‹Programming› 2025 (@programmingconf) 's Twitter Profile Photo

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…

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…
Computer Science at Aarhus University (@csaudk) 's Twitter Profile Photo

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…

Have you heard of Flix (<a href="/flixlang/">flix</a>) and  Furthark? They are two new programming languages developed by <a href="/MagnusMadsenDK/">Magnus Madsen</a> and Troels Henriksen from <a href="/DIKU_Institut/">DIKU - Department of Computer Science, UCPH</a> in a DIREC-funded project. Read more about the project ➡ direc.dk/the-programmin…
Arraycast (@arraycast) 's Twitter Profile Photo

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…

Gabriele Keller (@gckeller) 's Twitter Profile Photo

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!

Sam Westrick (@shwestrick) 's Twitter Profile Photo

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…

Troels Henriksen athas@freeradical.zone (@sigkill_dk) 's Twitter Profile Photo

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…