Troels Henriksen [email protected]

Hacker in academia. I think deterministic parallel programming is just great! I work on

[Troels Henriksen [email protected] @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: https://t.co/tKWKwvuiwp

[Troels Henriksen [email protected] @sigkill_dk]

@adamnemecek1 The package structure is not important. I think you need to write a main function that invokes the tests in Math.Test.TestAll (if it does not already exist), and then reference the file with that function in the .cabal file, like here: https://t.co/CG1YT3zfOo

[Matt Binder @MattBinder]

a completely unhinged response to a person raising money for children

[Sam Westrick @shwestrick]

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

[Troels Henriksen [email protected] @sigkill_dk]

@manchaary12 @dima_savin @code_report All Remora is missing is combinators, and that's not too hard to add. Although I would argue that no statically typed language is Iversonian.

[Troels Henriksen [email protected] @sigkill_dk]

@yminsky @shwestrick It is viable for non-hobby uses. The language and the compiler is stable. But it is still a tiny niche language with all that this implies; e.g. very austere tooling.

[Troels Henriksen [email protected] @sigkill_dk]

@yminsky @shwestrick I don't know of any use in industrial production applications, though some users have mentioned that from time to time. All non-hobby uses I see are prototypes or research, where future maintenance (or existing code bases) is not a concern.

[Troels Henriksen [email protected] @sigkill_dk]

@rtfeldman @sw_unscripted Sure, sounds fun!

[Gabriele Keller @gckeller]

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!

[Arraycast @arraycast]

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

[Conor Shakory @code_report]

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

[Troels Henriksen [email protected] @sigkill_dk]

@blelbach @tristanbrindle @cpponsea Generalisation: any subsequence of statements in your program is an ad-hoc unspecified named subroutine.

[Troels Henriksen [email protected] @sigkill_dk]

@blelbach Spicy holes.

[Troels Henriksen [email protected] @sigkill_dk]

@shwestrick Also, I remember Guy built a whole language that could do irregular parallelism on computers even more limited than GPUs!

[Troels Henriksen [email protected] @sigkill_dk]

@shwestrick We should write algorithms that are agnostic to that! Or better, have a cost model that allows reasoning about the cost of irregularity, even on hardware where it is well supported.

[Troels Henriksen [email protected] @sigkill_dk]

@hannelita @PLDI You should put your affiliation as "the PL community" or something.

[Troels Henriksen [email protected] @sigkill_dk]

@hannelita While I know you best from being a highly helpful volunteer at many PL conferences over the years, I also remember you being fun at taking PL stuff at PLTea.

[Troels Henriksen [email protected] @sigkill_dk]

@shwestrick Why only multicore?

[Troels Henriksen [email protected] @sigkill_dk]

@haskellhutt @RanjitJhala @nilehmann @atom_geller @nikivazou @PLDI One shows that it ought to work, the other that it seems to work.