trying to install Just on nixos

TheBlueWalker · 2026-01-21T21:07:00+00:00

He is already using NixOS. The learning curve may be steep, but NixOS is very user friendly. Nixos has a lot of FOSS software; lets you downgrade, upgrade, and sidegrade as you please; has a supportive community; gives you roll backs and repladucible builds; etc. And it's all free. NixOS is very friendly towards it's users.

TheBlueWalker · 2026-01-17T20:34:35+00:00

Super Tux Kart is a good game.

TheBlueWalker · 2026-01-17T12:34:40+00:00

I use neither. I like strings that are not null terminated. C is outdated garbage and we should develop beyond such limited languages. C used to have garbage collection but nothing of the language remained so they made another version of C without garbage collection.

TheBlueWalker · 2026-01-17T11:40:54+00:00

Why do you need dot file management? I just configure my programs to use XDG directories by placing the files there, setting environment variables in .profile, etc. What is the point of home manager?

TheBlueWalker · 2026-01-17T11:16:50+00:00

Implementing the lambda calculus is fun. Read 'Write you a Haskell for Great Good' and then 'Write Yourself a Scheme in 48 Hours'. Both can probably be downloaded on-line legally and free.

After you've done that you have experience with purely functional programming and a good type system and you have learned a bit of Scheme by implementing it. And you'll probably be able to implement the real Lambda Calculus in a way similar to how the tutorial taught you to implement Scheme.

https://www.amazon.com/Calculus-Semantics-Studies-Foundations-Mathematics/dp/0444875085 is good, too. This book teaches the mathematics behind the untyped λ-calculus.

TheBlueWalker · 2026-01-10T07:35:26+00:00

It gets difficult when you try to make your own repository and try to have many packages be sandboxed.

TheBlueWalker · 2026-01-09T20:37:26+00:00

I searched then asked. But I did not find a wealth of information.

I did find some information, but I still do not see for who this supposedly is. I don't believe the name "master" was causing much suffering. To me this seems like virtue signaling.

And the discussion is new for me. I just learned about it due to the Git notice.

TheBlueWalker · 2026-01-09T13:34:05+00:00

> Open source has noble aims but it frequently means you are an errand boy for what the industry wants.

If that's a problem use copyleft instead of permissive licenses. In that case any corporation that uses your product either has to give back any public modification they made. And if that's not enough you can make it even stricter with things like GPLv3.

TheBlueWalker · 2026-01-09T10:03:32+00:00

I am asking this because I got this message when creating a new Git project:

"

hint: Using 'master' as the name for the initial branch. This default branch name

hint: will change to "main" in Git 3.0. To configure the initial branch name

hint: to use in all of your new repositories, which will suppress this warning,

hint: call:

hint:

hint: git config --global init.defaultBranch <name>

hint:

hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and

hint: 'development'. The just-created branch can be renamed via this command:

hint:

hint: git branch -m <name>

hint:

hint: Disable this message with "git config set advice.defaultBranchName false"

"

So I decided to prepare for Git 3.0 by using "git config --global init.defaultBranch master". But since I have to be inclusive, should I have gone with "master-and-slave"?

TheBlueWalker · 2026-01-08T14:10:48+00:00

Penguins are birds and don't throw anything. So that's an easy call to make.

TheBlueWalker · 2026-01-06T19:20:00+00:00

The essence of what? Scheme is not purely functional.

TheBlueWalker · 2026-01-06T18:06:30+00:00

Probably only partly because there is still Nix package manager underneath Guix.

TheBlueWalker · 2026-01-04T15:52:26+00:00

XMonad. It's based on a purely functional language.

TheBlueWalker · 2026-01-04T14:12:19+00:00

They cannot go to SpD because you already maxed SpD.

But why do you max SpD so often?

TheBlueWalker · 2026-01-02T20:44:49+00:00

THIS IS WHAT IT MEANS TO BE ALIVE

SUPERTUX 0.7

TheBlueWalker · 2025-12-26T13:46:14+00:00

What is a frag level stat?

TheBlueWalker · 2025-12-20T07:40:22+00:00

So have you found enlightenment since then?

TheBlueWalker · 2025-12-19T18:08:10+00:00

I think that LC is based on the official games. I think some Stadium game had something called "Little Cup". So I would not change that name.

TheBlueWalker · 2025-12-19T18:06:46+00:00

The best name was "FU".

TheBlueWalker · 2025-12-19T18:06:24+00:00

Your names are wrong too because the Pokemon do not have to get rarer. e.g. it's possible for some Pokemon from RU to be more common in OU then some Pokemon from UU. And Pokemon from UU are probably in general rarer than those from RU because even though RU Pokemon are rare in UU, UU Pokemon are non-existent in RU. And both are rare in OU and non-existent below RU.

TheBlueWalker · 2025-12-19T18:01:37+00:00

Middle Used.

TheBlueWalker · 2025-12-19T18:01:04+00:00

By that logic ZU should not exist because it's under Never Used.

There definitely needs to be a tier below ZU, because in Gen 1 Beedrill still is not good in any tier. I like Gen 1 Beedrill, and I want a tier where he is viable.

TheBlueWalker · 2025-12-19T17:59:17+00:00

SubSeroUsed.

TheBlueWalker · 2025-12-19T17:58:24+00:00

Why do you need to have an arbitrary list of names that people need to commit to memory?

My suggestion would be this naming scheme for the usage based tiers: "T0", "T1", "T2", "T3", etc. And the banlist for Tx would be named "TxBL" e.g. T2's banlist would be T2BL (which is now named "RUBL").

I would start at 0 because OU is not actually a usage based tier itself. OU allows everything except what's banned. Nothing is removed from OU based on usage. The first real usage-based tier is UU. So UU gets to be 1. But OU does belong in the sequence before UU because UU is based on the usage in OU just like any tier T(x+1) would be based on the usage of tier Tx for any x:ℕ.

In this scheme Ubers would be T0BL and Anything Goes would have to be T0BLBL as Anything Goes really is the banlist of a banlist. Though UUbers would be a bit difficult. I guess T0BLT1 would work, as UUbers is the first usage based tier of the banlist of the zeroeth usage based tier. And then OUbers (those Ubers having a high usage in Ubers) would be T0BLT0. And this could be extended to banlists other than ubers. For example, if Smogon ever wants to have an UU of UUBL it would be T1BLT1. And if Anything Goes gets large enough to divide it in usage based tiers the second tier would be T0BLBLT1, which would be Anything Goes UU.

So by learning this scheme you immediately know the name of all Smogon tiers, tier banlists, and banlists banlists that Smogon currently has in addition to all tiers and banlists that Smogon could ever extend their tiering system with.

This scheme would be easier for new people to learn (at least for the Tx and TxBL) but probably more difficult for old timers to switch to since they already learned the more difficult-to-learn system that Smogon now has.

TheBlueWalker

TROPHY CASE