Troels Henriksen athas@freeradical.zone (@sigkill_dk) header
Troels Henriksen athas@freeradical.zone (@sigkill_dk) profile picture

Troels Henriksen [email protected]

@sigkill_dk

Hacker in academia. I think deterministic parallel programming is just great! I work on https://teapaw.org/t.co/EDD6IfUdTw

 Copenhagen, Denmark
sigkill.dk
Joined December 2015
  • Tweets2K
  • Following170
  • Followers525
27Media
Photo by Troels Henriksen athas@freeradical.zone (@sigkill_dk)Photo by Troels Henriksen athas@freeradical.zone (@sigkill_dk)Photo by Troels Henriksen athas@freeradical.zone (@sigkill_dk)Photo by Troels Henriksen athas@freeradical.zone (@sigkill_dk)Photo by Troels Henriksen athas@freeradical.zone (@sigkill_dk)Photo by Troels Henriksen athas@freeradical.zone (@sigkill_dk)Photo by Troels Henriksen athas@freeradical.zone (@sigkill_dk)Photo by Troels Henriksen athas@freeradical.zone (@sigkill_dk)Photo by Troels Henriksen athas@freeradical.zone (@sigkill_dk)Photo by Troels Henriksen athas@freeradical.zone (@sigkill_dk)
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=16…
8
582
a completely unhinged response to a person raising money for children
Image from Matt Binder (@MattBinder)
714
1,208
104
22,602
2,094,810
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-1…
2
8
710
Join us at the Functional HP and Numerical Computing Workshop icfp23.sigplan.org/home/FHPN… at @icfp_conference. It's just a month away, with @satnam6502 and @sperbsen as invited speakers — early registration closes tomorrow!
7
1
13
6,011
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…
3
2
19
14,161
Most popular array programming languages 🥳 plrank.com/
Image from Conor Shakory (@code_report)
5
10
52
5,681
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-programming-lan…
Image from Computer Science at Aarhus University (@csaudk)
1
2
2
8
1,524
Stay tuned for ‹Programming› 2024 in Lund, Sweden The final submission deadline for #ResearchPapers is October 1st, 2023 #prog24 #conference 2024.programming-conference.…
A screenshot of the Research Paper page of the <Programming> 2024 website https://2024.programming-conference.org/track/programming-2024-papers#About

ALT A screenshot of the Research Paper page of the <Programming> 2024 website https://2024.programming-conference.org/track/programming-2024-papers#About

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.
5
382
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
The R programming language is widely used in large-scale data analyses. It contains especially rich built-in support for dealing with vectors, arrays, and matrices. These operations feature prominently in the applications that form R's raison d'être, making their behavior worth understanding. Furthermore, ostensibly for programmer convenience, their behavior in R is a notable extension over the corresponding operations in mathematics, thereby offering some challenges for specification and static verification. We report on progress towards statically typing this aspect of the R language. The interesting aspects of typing, in this case, warn programmers about violating bounds, so the types must necessarily be dependent. We explain the ways in which R extends standard mathematical behavior. We then show how R's behavior can be specified in LiquidHaskell, a dependently-typed extension to Haskell. In the general case, actually verifying library and client code is currently beyond LiquidHask

ALT The R programming language is widely used in large-scale data analyses. It contains especially rich built-in support for dealing with vectors, arrays, and matrices. These operations feature prominently in the applications that form R's raison d'être, making their behavior worth understanding. Furthermore, ostensibly for programmer convenience, their behavior in R is a notable extension over the corresponding operations in mathematics, thereby offering some challenges for specification and static verification. We report on progress towards statically typing this aspect of the R language. The interesting aspects of typing, in this case, warn programmers about violating bounds, so the types must necessarily be dependent. We explain the ways in which R extends standard mathematical behavior. We then show how R's behavior can be specified in LiquidHaskell, a dependently-typed extension to Haskell. In the general case, actually verifying library and client code is currently beyond LiquidHask

6
14
1
66
16,541
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/FHPN…
3
12
1,290
Troels Henriksen [email protected] retweeted
PLDI (@PLDI) profile picture
PLDI@PLDI27 Feb 2023
The International workshop on Array-Oriented Programming (ARRAY) 2023! Submission Deadline March 31. pldi23.sigplan.org/home/ARRA…
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/ARRA…
1
3
14
1,453
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
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.
3
320
Hoping for a parallel Christmas: github.com/athas/aoc22
GitHub - athas/aoc22: Advent of Futhark

GitHub - athas/aoc22: Advent of Futhark

Advent of Futhark. Contribute to athas/aoc22 development by creating an account on GitHub.

github.com
1
5
I've written a blog post about array short-circuiting in Futhark futhark-lang.org/blog/2022-1… #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-1…
Arraycast (@arraycast) profile pictureArraycast@arraycast1 Oct 2022
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.
2
11
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.
1
4
2
23
Load more