HackerTrans
トップ新着トレンドコメント過去質問紹介求人

Munksgaard

1,232 カルマ登録 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

投稿

Why Not Tail Recursion?

futhark-lang.org
3 ポイント·投稿者 Munksgaard·2 か月前·0 コメント

Porting microgpt to Futhark, Part I

kmjn.org
2 ポイント·投稿者 Munksgaard·2 か月前·0 コメント

Mad Bugs: Vim vs. Emacs vs. Claude

blog.calif.io
52 ポイント·投稿者 Munksgaard·3 か月前·47 コメント

Magic Link Pitfalls

etodd.io
3 ポイント·投稿者 Munksgaard·4 か月前·0 コメント

Erlang's not about lightweight processes and message passing

stevana.github.io
3 ポイント·投稿者 Munksgaard·4 か月前·1 コメント

“It turns out” (2010)

jsomers.net
328 ポイント·投稿者 Munksgaard·4 か月前·91 コメント

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

foodtruckbench.com
4 ポイント·投稿者 Munksgaard·4 か月前·0 コメント

Dynamic type systems are not inherently more open

lexi-lambda.github.io
4 ポイント·投稿者 Munksgaard·5 か月前·0 コメント

Tell Me a Story

content.subvisual.com
3 ポイント·投稿者 Munksgaard·9 か月前·0 コメント

コメント

Munksgaard
·4 日前·議論
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 日前·議論
Nope.
Munksgaard
·5 日前·議論
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 日前·議論
Here's the Danish one (with some trains in Sweden): http://landetspuls.dk
Munksgaard
·11 日前·議論
How many of those organizations you named were VC-backed?
Munksgaard
·11 日前·議論
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 日前·議論
So pretty much any other country.
Munksgaard
·先月·議論
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
·先月·議論
Interesting! All the license stuff aside, there's definitely a desire for more EU-first services like this.
Munksgaard
·先月·議論
> [...] 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 か月前·議論
The terminology in Erlang predates green threads by a decade or so.
Munksgaard
·2 か月前·議論
Not necessarily that specific lamp, but GULLSUDARE from IKEA is the same kind.
Munksgaard
·2 か月前·議論
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 か月前·議論
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 か月前·議論
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 か月前·議論
> Why would it be?

That's literally what they explain in the rest of the comment.
Munksgaard
·2 か月前·議論
Even with a lock file, the action can download and execute arbitrary code from the internet.
Munksgaard
·4 か月前·議論
Peter Naur had that realization back in 1985: https://pages.cs.wisc.edu/~remzi/Naur.pdf
Munksgaard
·5 か月前·議論
Pretty easy, the prompts can be seen here[0] and pi supports setting SYSTEM.md.

0: https://cchistory.mariozechner.at/
Munksgaard
·6 か月前·議論
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.