HackerLangs
TopNewTrendsCommentsPastAskShowJobs

Munksgaard

1,232 karmajoined 15 ปีที่แล้ว
Currently working on modernizing and automating insurance for SMEs.

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

[email protected]

https://munksgaard.me

Submissions

Why Not Tail Recursion?

futhark-lang.org
3 points·by Munksgaard·2 เดือนที่ผ่านมา·0 comments

Porting microgpt to Futhark, Part I

kmjn.org
2 points·by Munksgaard·2 เดือนที่ผ่านมา·0 comments

Mad Bugs: Vim vs. Emacs vs. Claude

blog.calif.io
52 points·by Munksgaard·3 เดือนที่ผ่านมา·47 comments

Magic Link Pitfalls

etodd.io
3 points·by Munksgaard·4 เดือนที่ผ่านมา·0 comments

Erlang's not about lightweight processes and message passing

stevana.github.io
3 points·by Munksgaard·4 เดือนที่ผ่านมา·1 comments

“It turns out” (2010)

jsomers.net
328 points·by Munksgaard·4 เดือนที่ผ่านมา·91 comments

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

foodtruckbench.com
4 points·by Munksgaard·4 เดือนที่ผ่านมา·0 comments

Dynamic type systems are not inherently more open

lexi-lambda.github.io
4 points·by Munksgaard·5 เดือนที่ผ่านมา·0 comments

Tell Me a Story

content.subvisual.com
3 points·by Munksgaard·9 เดือนที่ผ่านมา·0 comments

comments

Munksgaard
·3 วันที่ผ่านมา·discuss
I've just add a Nix package, but I don't know if/when it will be merged: https://github.com/NixOS/nixpkgs/pull/539297
Munksgaard
·5 วันที่ผ่านมา·discuss
Nope.
Munksgaard
·5 วันที่ผ่านมา·discuss
Does it though? They are many longstanding bugs reported in their compiler repository, and this release doesn't seem to address any of them.
Munksgaard
·5 วันที่ผ่านมา·discuss
Here's the Danish one (with some trains in Sweden): http://landetspuls.dk
Munksgaard
·11 วันที่ผ่านมา·discuss
How many of those organizations you named were VC-backed?
Munksgaard
·11 วันที่ผ่านมา·discuss
Similarly, "heli" is a commonly recognized clipping of helicopter: https://en.wiktionary.org/wiki/heli#English

See e.g. https://en.wikipedia.org/wiki/Helipad
Munksgaard
·23 วันที่ผ่านมา·discuss
So pretty much any other country.
Munksgaard
·เดือนที่แล้ว·discuss
As far as I can tell, Kagi also requires you to create an account before you can try it out. You can of course disagree with that practice, but it is not like Uruky is requiring something far out of the ordinary.
Munksgaard
·เดือนที่แล้ว·discuss
Interesting! All the license stuff aside, there's definitely a desire for more EU-first services like this.
Munksgaard
·เดือนที่แล้ว·discuss
> [...] 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.
Munksgaard
·2 เดือนที่ผ่านมา·discuss
The terminology in Erlang predates green threads by a decade or so.
Munksgaard
·2 เดือนที่ผ่านมา·discuss
Not necessarily that specific lamp, but GULLSUDARE from IKEA is the same kind.
Munksgaard
·2 เดือนที่ผ่านมา·discuss
For people reading the comments first: This is an article about David Foster Wallace (DFW) and her sister, Amy. The title is a rewording of the title of one of DFW's essays "Consider the Lobster"[0], which is an interesting read if you haven't read it.

0: https://www.columbia.edu/~col8/lobsterarticle.pdf
Munksgaard
·2 เดือนที่ผ่านมา·discuss
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.
Munksgaard
·2 เดือนที่ผ่านมา·discuss
It was pretty well received when mitchellh copied the idea and formalized it into vouch.

- https://news.ycombinator.com/item?id=46930961 - https://github.com/mitchellh/vouch
Munksgaard
·2 เดือนที่ผ่านมา·discuss
> Why would it be?

That's literally what they explain in the rest of the comment.
Munksgaard
·2 เดือนที่ผ่านมา·discuss
Even with a lock file, the action can download and execute arbitrary code from the internet.
Munksgaard
·4 เดือนที่ผ่านมา·discuss
Peter Naur had that realization back in 1985: https://pages.cs.wisc.edu/~remzi/Naur.pdf
Munksgaard
·5 เดือนที่ผ่านมา·discuss
Pretty easy, the prompts can be seen here[0] and pi supports setting SYSTEM.md.

0: https://cchistory.mariozechner.at/
Munksgaard
·6 เดือนที่ผ่านมา·discuss
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.