Troels Henriksen [email protected] @sigkill_dk

Hacker in academia. I think deterministic parallel programming is just great! I work on https://t.co/EDD6IfUdTw sigkill.dk Copenhagen, Denmark Joined December 2015

Tweets

2K
Followers

544
Following

172
Likes

1K

Troels Henriksen [email protected] @sigkill_dk

2 years ago

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 547 0

Matt Binder @MattBinder

2 years ago

a completely unhinged response to a person raising money for children

750 1K 24K 2.1M 242

Download Image

Sam Westrick @shwestrick

2 years ago

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…

0 2 7 688 3

Gabriele Keller @gckeller

2 years ago

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 6K 2

Arraycast @arraycast

2 years ago

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…

0 3 20 14K 4

Conor Hoekstra @code_report

2 years ago

Most popular array programming languages 🥳 plrank.com

5 10 53 6K 5

Download Image

Computer Science at Aarhus University @csaudk

2 years ago

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 9 2K 1

Download Image

‹Programming› 2025 @programmingconf

2 years ago

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…

0 6 9 1K 0

Download Image

Troels Henriksen [email protected] @sigkill_dk

2 years ago

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 375 0

Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi

2 years ago

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

6 14 66 17K 13

Download Image

Sam Westrick @shwestrick

3 years ago

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…

0 3 12 1K 1

PLDI @PLDI

3 years ago

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

1 3 4 1K 0

Troels Henriksen [email protected] @sigkill_dk

3 years ago

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 1K 2

Lambda Days @LambdaDays

3 years ago

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

1 4 10 909 2

Troels Henriksen [email protected] @sigkill_dk

3 years ago

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 315 0

Troels Henriksen [email protected] @sigkill_dk

3 years ago

Hoping for a parallel Christmas: github.com/athas/aoc22

0 1 5 0 0

Philip Munksgaard @impmunksgaard

3 years ago

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

1 2 7 0 1

Troels Henriksen [email protected] @sigkill_dk

3 years ago

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 0 0

Troels Henriksen [email protected] @sigkill_dk

3 years ago

I was inspired to write a followup blog post: futhark-lang.org/blog/2022-10-0…

Arraycast @arraycast

3 years ago

I was inspired to write a followup blog post: futhark-lang.org/blog/2022-10-0…

1 4 23 0 2

0 2 11 0 0

Arraycast @arraycast

3 years ago

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.