Corbin

joined 1 year ago
[–] [email protected] 1 points 4 days ago

Show your list of packages or shut the fuck up already.

[–] [email protected] 1 points 6 days ago (2 children)

I'm the only one talking to you. You've convinced nobody else that you're even worth speaking to. Honestly, you sound like the weenie who tried to publish that bootlicking pro-military letter. Wanna go be the second person to sign it? You certainly aren't doing anything worthwhile with your time here on Lemmy.

[–] [email protected] 6 points 6 days ago* (last edited 6 days ago) (1 children)

I've been using NixOS for nearly a decade. It took me several days to understand the filesystem layout, and I had the advantage of knowing some capability theory beforehand. However, once I understood the Nix store, my paradigm shifted and I haven't had any further "unexpected troubles."

As far as I can tell, AppImages and Flatpaks are extraneous, heavy, improperly isolated, and propagate a sprawling filesystem which is hard to secure. Compare and contrast with Impermanent NixOS, which only persists data that the user has explicitly marked to be saved and has systemwide caching of installed applications.

[–] [email protected] 1 points 6 days ago

Maybe you should actually try one before sharing your thoughts.

[–] [email protected] 1 points 6 days ago (4 children)

You claim you have a list of packages, but you've revealed none of them. This is somewhere between the angry politician waving a list of enemies and the dishonest teenager claiming to have a romantic partner in terms of convincing me. Look, you have the time to write something like fifty Lemmy comments per month; I think that you can write the twenty or thirty lines of Nix required to build your pet package. It's a shitty carpenter who blames their power tools and a shitty scientist who makes empirical claims without evidence.

[–] [email protected] 1 points 1 week ago (6 children)

The nixpkgs community has been operating and maintaining nixpkgs-update since 2018. Earlier in the thread, you were shown the infamous Repology graph; it's also linked from the nixpkgs-update documentation. We already have a concerted plan to offer the freshest ports tree in the world and are executing on it. If your particular pet package isn't available, then contribute it yourself and the bot will ensure that it stays fresh and updated.

[–] [email protected] 2 points 1 week ago

I use the community impermanence flake instead of ZFS or btrfs. It's still fairly nice; I actually like knowing that stuff like ~/.cache doesn't persist anywhere on disk, even in snapshots. It does require a lot of careful thought, like e.g. which parts of the persistent disk need to be backed up locally.

[–] [email protected] 0 points 1 week ago (8 children)

Do it yourself. Contributing to nixpkgs is easy, especially for updating packages.

[–] [email protected] 2 points 2 weeks ago

By induction, that will only make your user base stupider.

[–] [email protected] 5 points 2 weeks ago (2 children)

They have two. If the complaint is that neither wiki is as rich as the Gentoo or Arch wiki, consider that perhaps NixOS users don't need as much supplementary advice for configuring their systems.

[–] [email protected] 2 points 2 weeks ago

It's been two decades. What kinks do you think NixOS has yet to iron out?

[–] [email protected] 3 points 3 weeks ago

You're not crazy or harsh. This is a very real problem. I have been stuck doing business development at every company I've worked for. There's always some shitty load-bearing Django app whose schema determines what the business is capable of doing, and somebody's gotta maintain it. It's gotten to the point where I assume that any interesting things I do will be outside of work and not for pay.

 

I'm happy to finally release this flake; it's been on my plate for months but bigger things kept getting in the way.

Let me know here or @[email protected] if you successfully run any interpreter on any system besides amd64 Linux.

 

The abstract:

This paper presents μKanren, a minimalist language in the miniKanren family of relational (logic) programming languages. Its implementation comprises fewer than 40 lines of Scheme. We motivate the need for a minimalist miniKanren language, and iteratively develop a complete search strategy. Finally, we demonstrate that through sufcient user-level features one regains much of the expressiveness of other miniKanren languages. In our opinion its brevity and simple semantics make μKanren uniquely elegant.

 

Everybody's talking about colored and effectful functions again, so I'm resharing this short note about a category-theoretic approach to colored functions.

view more: next ›