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:

a completely unhinged response to a person raising money for children

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: https://t.co/csOJVCbx5w

Join us at the Functional HP and Numerical Computing Workshop https://t.co/JrLiDVkgKo at @icfp_conference. It's just a month away, with @satnam6502 and @sperbsen as invited speakers — early registration closes tomorrow!

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. https://t.co/VOL1CNULf3

Most popular array programming languages 🥳 https://t.co/TmQJqDg7Ag

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 ➡ https://t.co/c7HxfgDPYG

Stay tuned for ‹Programming› 2024 in Lund, Sweden The final submission deadline for #ResearchPapers is October 1st, 2023 #prog24 #conference https://t.co/jt8bdtWDWq

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.

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 https://t.co/MDHKrdq666

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! https://t.co/hSAG04TeHM

The International workshop on Array-Oriented Programming (ARRAY) 2023! Submission Deadline March 31.

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:

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👇💥 https://t.co/Maykwq6iFu

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.

Hoping for a parallel Christmas:

I've written a blog post about array short-circuiting in Futhark https://t.co/KmCEZC0EpE #futhark #gpu #gottagofast

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!

I was inspired to write a followup blog post:

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.