Use Guix/Nix, have your cake and eat it

oh yes, guix+hurd is only x86

It would be nice having native programs. At least you can use any native xmpp app with the same account to do text, audio, and visual comms (including groups). The only thing they don’t support is the actual social feeds/posts aspect (and soon spaces!).

Yes!

https://guix.gnu.org/manual/1.5.0/en/html_node/GNU-Distribution.html

I love ipv6 but I don’t see how it is related to anything here

Yes your description is just right and is the heart of my question. To use your terminology:

Currently:

• Away from home: Phone -> VM -> Home Server
• At home: Phone -> VM -> Home Server (inefficient!)

Ideally:

• Away from home: Phone -> VM -> Home Server
• At home: Phone -> Home Server

In the ideal case, I would never have to change anything about the wireguard config/status on the Phone, nor would I have to change the domain name used to reach the resource on the Home Server.

Oh hm I didn’t think about your last point, maybe it’s not really an issue at all. I think I’m not 100% on how the wireguard networking works.

Suppose I tunnel all of my traffic through wireguard on the remote server. Say that while I am home, I request foo.local, which on the remote server DNS maps to a wireguard address corresponding to my home machine. The remote will return to me the wireguard address corresponding to the home machine, and then I will try and go to that wireguard address. Will the home router recognize that that wireguard address is local and not send it out to the remote server?

Yes that would work, but it feels a bit cumbersome to have 2 fqdns per service, which I would have to switch between using depending on on whether I’m local or not.

And so when away do you just directly connect to the external IP and do port forwarding?

So you have a public DNS record pointing to your home IP?

I think tailscale would work, though I’d ideally want to use something like headscale instead, but that’s a bit of a logistical hastle for my setup. Do you know if pangolin can handle this as well?

Häagen-Dazs

“Häagen-Dazs” is an invented pseudo-Scandinavian phrase coined by the American Reuben Mattus, in a quest for a brand name that he claimed was Danish-sounding. However, the company’s pronunciation of the name ignores the letters “ä” and “s”, and letters like “ä” or digraphs like “zs” do not exist in Danish.

His daughter Doris Hurley reported in the 1996 PBS documentary An Ice Cream Show that her father sat at the kitchen table for hours saying nonsensical words until he came up with a combination he liked.

I wonder if Kuhn really understood Plantinga’s argument by the end

On of the better science fiction story experiences awaits those who read the lyrics while listening through the album.

Where is that from? It is extremely pessimistic and obviously false.

someone should tell Iceland

wait until you try emacs

nice name

Structuralists seem to forget that words are signfiers and signs of meaning, not the source of meaning

Wouldn’t that only apply to ontic structuralists? They say the structures themselves are the real things. But epistemic structuralists merely say that the kind of knowledge we can have about reality is structural knowledge (but the world itself might be full of non-structural objects).

The problem isn’t so much the side effect as it is the ability to introduce side effects arbitrarily with no warning to someone using your functions

Yes, I try to allude to this in the “caution” and “tldr2” sections, but I think I could have been more clear. You are right that for many people it’s not so much about avoiding side effects as it is about coming up with ways to use them carefully. Stateful monads and clojure’s atoms/refs were in fact what I had in mind. And debating the pros/cons of these techniques is indeed a good conversation on its own! What I mostly wanted to get across is that fp is not about programming without side effects. All the good debate is about the extent to which we should try to avoid side effects, and what techniques we should use when doing so.

I think it’s also really important to call out the concept of total functions

Yeah I think this is totally (heh) worth talking about, and a much better topic than pure functions. I only didn’t mention it because I don’t see it brought up too often.