Munksgaard

7 ms·

31.
by Munksgaard 11mo ago
Also, while not exactly the algorithm Raph is looking for, here is a bracket matching function (from Pareas, which he also mentions in the talk) in Futhark: https://github.com/Snektron/pareas/blob/master/
32.
by Munksgaard 11mo ago
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| ...:
33.
by Munksgaard 11mo ago
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 probab
34.
Tell Me a Story(content.subvisual.com)
3 points by Munksgaard 1y ago|0 comments
35.
by Munksgaard 1y ago
They are not "just structs and tagged unions". The language support that enforces safe usage is not optional.
36.
by Munksgaard 1y 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. acros
37.
by Munksgaard 1y ago
Rebasing a stack of branches in git can also be pretty simple, with --update-refs. There's a good article here: https://andrewlock.net/working-with-stacked-branches-in-git-...
38.
by Munksgaard 1y ago
> It's your consciousness that decides your goals and beliefs; the rest of the body "learns" those things and is then preconditioned to react accordingly. Quotation needed.
39.
by Munksgaard 1y ago
IDA?
40.
by Munksgaard 1y ago
I'm also having trouble with getting it to read PDFs from URLs. I got this error: web https://example.com/file.pdf Error: page.goto: net::ERR_ABORTED at https://example.com/file.pdf Call log: - navig
41.
by Munksgaard 1y ago
Just tried it out, but it's unclear what the different buttons at the bottom of the chat history does. The rightmost one (cloud with an upwards arrow) seems to do the same as the first?
42.
Phoenix application, directly on your Tailnet(gist.github.com)
1 points by Munksgaard 1y ago|0 comments
43.
by Munksgaard 1y ago
I agree that the terminology is not ideal, but think there's a huge difference between JS' "weak types", i.e. abundant implicit conversions, and e.g. Elixirs "strong types", where `1 + "foo"` is a run
44.
by Munksgaard 1y ago
As someone who has used both SML, Haskell, Rust and Elixir professionally: No, not really. Access to the BEAM is nice, but unless you're targeting the BEAM in your compiler I don't see any benefit. Even if you're targeting th
45.
by Munksgaard 1y ago
Erlang/Elixir are certainly strongly typed[0] but they are not statically typed[1]. 0: https://en.wikipedia.org/wiki/Strong_and_weak_typing 1: https://en.wikipedia.org/wiki/Type_system#Static_
46.
The Paradoxes of Feminine Muscle(newyorker.com)
14 points by Munksgaard 1y ago|11 comments
47.
by Munksgaard 1y ago
Elixir has this, which is close: &foo(&1, bar)
48.
by Munksgaard 1y ago
Graphite.dev does this, and it works great.
49.
by Munksgaard 1y ago
Not quite. Note that the Elixir pipe puts the left hand of the pipe as the first argument in the right-hand function. E.g. x |> f(y) = f(x, y) As a result, the Elixir variant cannot be defined as a well-typed function, but must
50.
by Munksgaard 1y ago
There isn't actually any close() function in the std::fs::File: https://doc.rust-lang.org/std/fs/struct.File.html
51.
by Munksgaard 1y ago
The same way Rust prevents calling close() two times on a file.
52.
by Munksgaard 1y ago
Also, you don't actually have $5 in either box, but you once sold a 1% ownership stake in each box for 5 cents. There's only 10 cents in the in the merged box, but you value it at $10.
53.
by Munksgaard 1y ago
> - there is no way to browse navigation outside this broken ExDocs which outputs only HTML and LSP ExDoc support outputting EPUB as well as HTML.
54.
Tailscale Community Projects(tailscale.com)
4 points by Munksgaard 1y ago|0 comments
55.
by Munksgaard 2y ago
Meta is a couple of times larger than the entire entertainment industry combined...
56.
by Munksgaard 2y ago
I'm still not sure why I should switch away from alacritty...
57.
by Munksgaard 2y ago
You'll never guess what happened next!
58.
by Munksgaard 2y ago
Or `man ascii`
59.
by Munksgaard 2y ago
You're one of today's lucky 10,000: https://xkcd.com/1053/
60.
by Munksgaard 2y ago
I had the same reaction. But now I'm wondering, what is the intended way to close the minibuffer in these cases?

More ›