HN user

Munksgaard

1,232 karma

Currently working on modernizing and automating insurance for SMEs.

PhD in automatic memory optimizations for GPUs, focusing on Futhark.

philip@munksgaard.me

https://munksgaard.me

Posts38
Comments237
View on HN
futhark-lang.org 2mo ago

Why Not Tail Recursion?

Munksgaard
3pts0
www.kmjn.org 2mo ago

Porting microgpt to Futhark, Part I

Munksgaard
2pts0
blog.calif.io 3mo ago

Mad Bugs: Vim vs. Emacs vs. Claude

Munksgaard
52pts47
etodd.io 3mo ago

Magic Link Pitfalls

Munksgaard
3pts0
stevana.github.io 4mo ago

Erlang's not about lightweight processes and message passing

Munksgaard
3pts1
jsomers.net 4mo ago

“It turns out” (2010)

Munksgaard
328pts91
foodtruckbench.com 4mo ago

When Reasoning Becomes a Trap: Gemini 3 Flash in FoodTruck Bench

Munksgaard
4pts0
lexi-lambda.github.io 5mo ago

Dynamic type systems are not inherently more open

Munksgaard
4pts0
content.subvisual.com 9mo ago

Tell Me a Story

Munksgaard
3pts0
gist.github.com 1y ago

Phoenix application, directly on your Tailnet

Munksgaard
1pts0
www.newyorker.com 1y ago

The Paradoxes of Feminine Muscle

Munksgaard
14pts11
tailscale.com 1y ago

Tailscale Community Projects

Munksgaard
4pts0
drewdevault.com 1y ago

Rust in Linux Revisited

Munksgaard
162pts160
steveklabnik.com 1y ago

Against Names

Munksgaard
2pts0
pad.public.cat 2y ago

The European Union must keep funding free software

Munksgaard
6pts0
www.theorigin.ai 2y ago

OriginAI - Build custom enterprise software using GenAI

Munksgaard
2pts0
theoutline.com 2y ago

Reading more Ursula Le Guin (2019)

Munksgaard
178pts187
mycorrhiza.wiki 2y ago

Mycorrhiza Wiki

Munksgaard
2pts0
habr.com 2y ago

Book Illustrations Using MetaPost

Munksgaard
2pts0
futhark-lang.org 2y ago

Futhark 0.25.3 released – New HIP Back end

Munksgaard
3pts1
futhark-lang.org 3y ago

Generating audio with literate futhark

Munksgaard
64pts11
futhark-lang.org 3y ago

Array short-circuiting

Munksgaard
66pts12
www.youtube.com 4y ago

Peter Molyneux Explains the Design of Black and White

Munksgaard
10pts1
www.hotcars.com 4y ago

The Time Top Gear Created a Space Shuttle Out of a Reliant Robin

Munksgaard
1pts0
www.youtube.com 4y ago

The Last Padawan 2 – A Short Star Wars Story – Fan Film

Munksgaard
1pts0
munksgaard.github.io 5y ago

Blue Noise in Futhark

Munksgaard
34pts15
cs.stanford.edu 5y ago

Knuth: Recent News

Munksgaard
3pts0
github.com 6y ago

Elm Expectations

Munksgaard
3pts0
nobsgames.stavros.io 6y ago

No Nullshit Games

Munksgaard
2pts0
notpron.org 6y ago

Notpron

Munksgaard
2pts0
Road to Elm 1.0 17 days ago

Does it though? They are many longstanding bugs reported in their compiler repository, and this release doesn't seem to address any of them.

[...] Since I had been cleared physically, getting out of the psychiatric hospital quickly to see a neurologist proved difficult. This was the single point, in retrospect, where our health care system let me down. It took a lucky connection with someone who happened to be a doctor to get me out of the psychiatric facility and into the neurology department at Brigham and Women’s Hospital in Boston.

That sounds scary. As someone without any experience with psychiatric institutions or the US health system, I'm curious what people's views are on this.

Having taken a license in both Denmark and the states, the test in the states was laughable in comparison. In Denmark, there are like 20 mandatory lessons, wet-surface practice, a theoretical exam and a practical exam, both of which people routinely fail (because they're hard). In the US, I paid 20 bucks, drove around the block, parked and received my license.

Mirroring this divide, Denmark has a TV-show called "Klovn", which is basically a copy of "Curb Your Enthusiasm" (down to the , except that while the main character in Curb is the cause of a lot of cringe moments, he always ends up getting his redemption and being the hero (at least to the viewer). In "Klovn", the main character ("Frank") causes a lot of cringe moments in the same way, but he is a tragicomic character and is almost always in the wrong.

To be clear, you can express workgroup parallelism in Futhark, or rather, if the compiler sees that you've programmed your problem in such a way that it can take advantage of workgroup parallelism, it will.

But you're right, it would be interesting to see how the different approaches stack up to each other. The Pareas project linked above also includes an implementation using radix sort.

Thanks for clarifying! It would indeed be interesting to see a comparison between similar implementations in other languages, both in terms of readability and performance. I feel like the readability can hardly get much better than what you wrote, but I don't know!

Interesting talk. He mentions Futhark a few times, but fails to point out that his ideal way of programming is almost 1:1 how it would be done in Futhark.

His example is:

  sequence
    .map(|x: T0| ...: T1)
    .scan(|a: T1, b: T1| ...: T1)
    .filter(|x: T1| ...: bool)
    .flat_map(|x: T1| ...: sequence<T2>)
    .collect()
It would be written in Futhark something like this:
  sequence
    |> map (\x -> ...)
    |> scan (\x y -> ...)
    |> filter (\x -> ...)
    |> map (\x -> ...) 
    |> flatten

As someone who comes from Haskell/ML-like languages, I decided to opt for Elixir and Phoenix for my latest project, simply because of the maturity of the web framework and LiveView. If I weren't building a web app, I'd probably have gone with Gleam instead.

Edit: I do miss static typing, but it's worth it to not have to reinvent the web framework wheels myself.

Git-Annex 11 months ago

Git-Annex is a cool piece of technology, but my impression is that it works best for single-user repositories. So for instance, as @nolist_policy described in a sibling comment, managing all your personal files, documents, music, etc. across many different devices.

I tried using it for syncing large files in a collaborative repository, and the use of "magic" branches didn't seem to scale well.