Troels Henriksen [email protected]

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…

@adamnemecek1 cabal test

@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.

@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.

@sigkill_dk @shwestrick Would you recommend it for non-hobby uses? Do you think it's too unstable to use for real applications?

So, other than Rust, are there practical languages that have data race freedom guarantees? Haskell? Scala? Is Haskell's memory model documented somewhere?

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!

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…

Most popular array programming languages 🥳 plrank.com

@blelbach Spicy holes.

@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.

Guy giving his award keynote at SPAA 2023. Packed room!

@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.

@shwestrick Why only multicore?