An issue which I aim to resolve using a self-hosted VPN.

Pretty much everyone I’ve talked to about this says the same thing. LLMs are useful for one-off scripts or quickly generating boilerplate. It just turns out that those tasks don’t make up the majority of programming work unless you are in a bullshit job anyway.

We aren’t yet great at knowing when LLM will save time and when it will inflate time.

I use dufs. Copyparty seems good too.

There are CI tools like Prow and Tide which make it possible to use squash by default while still giving control to developers who want to use a different merge strategy.

-1 is common. I’ve at least seen it from python.

often ‘0’ is also used as the last element

Where? I’ve literally never heard of this convention.

Start with a language that is popular in your domain of interest. If that’s systems, learn C. If it’s data science, learn Python or Julia. If it’s web, learn Javascript.

Why not use zipapp?

https://docs.python.org/3.13/library/zipapp.html

Just a word of warning, I don’t know how much it’s actually used today. I think it had some scaling issues in practice.

Are you specifically interested in a distributed P2P social network? Maybe Scuttlebutt?

Wait is there actually a Zelda movie happening? I feel like I’ve heard of intentions to make a Zelda movie for 20 years.

If you can achieve the desired UX on web, I see few reasons to build a native app. But of course it can be hard to work with web technology sometimes; Javascript and WASM can’t do everything and they aren’t the best developer experience compared to more moderns languages.

Even for offline usage, there is increasing support for progressive web apps. For example, I don’t even need to be connected to the internet to use Exaclidraw after I’ve loaded the app once and installed it as a PWA.

Then there are times when you simply need access to native platform APIs. SQLite is a a very important technology that isn’t easily used from a web app. Most of the powerful APIs you get from an OS like the file system or graphics APIs are extremely watered down for the web.

JS is a lost cause.

Can we start a new web with a better language/platform already?

You say that like it can’t also happen to symbol names.

I’m perfectly happy to build my own NAS with NixOS and ZFS on it. I think it’s mostly a matter of getting the right hardware.

My biggest shortcoming at the moment is my NAS is also my gaming PC. It’s pretty inefficient to have that on all the time. But I haven’t had the time to build a dedicated NAS.

ntopng has all of that. I’m currently hosting it on my home router.

I would take a look at LEAN4.

https://lean-lang.org/functional_programming_in_lean/

I definitely cannot get behind the “no recursion” rule. There are plenty of algorithms where the iterative equivalent is significantly harder and less natural. For example, post-order DFS.

I guess maybe when lives depend on it. But they should be testing and fuzzing their code anyway, right?

EDIT: I can’t even find in the NASA PDF where it mentions recursion.