• 39 Posts
Joined 1Y ago
Cake day: Jul 31, 2020


I sympathise with the syntax often getting in the way. On the flip side I find untyped languages opaque, leaving me to guess what code actually does. Lisps are a great offender because macros, syntactic primitives and functions look the same but behave differently, and without type signatures it becomes a mess.

The thing with type systems is that they only reveal the gestalt of something that’s already there. All languages have types. It’s just that many don’t bother to correct you.

I tried to write a language parser in Guile, but when I couldn’t figure out what the different data structures actually looked like I eventually gave up.

The most confusing part of flakes is that it isn’t the default, but sort of defacto is because so many use it (myself included). At this point I feel it should be the default. The installation process doesn’t use the flakes feature so it has to be worked around and it isn’t straight forward.

Nix(OS) has a case of expert user base that aren’t motivated enough to make it easier for those unfamiliar with the concepts to get going.

Nix makes more sense if you understand referential transparency and functional programming. Even then, how a lot of nix expressions are written is quite confusing with all the self-recursive overrides, functions that are somehow also sets etc.

The best documentation and tutorials are probably somewhere other than in the official ones (though official documentation is not bad). Nix Pills and the wiki, especially.

Totally understandable. One day we may see a graphical installer and configuration manager and that is the day I can start recommending others to try it

I suffer from it too.

For programming I’ve found that the more strongly typed a language is, the less I have to worry about keeping in mind. Being able to offload a lot of basic soundness checks to the computer saves me when I lose track and allows me to focus on smaller components without having to worry about messing something else up elsewhere.

That’s about it, though, in terms of life pro tips from me. I end up having to rely on others to complete some trains of thought as I seem to get stuck at an early stage of thinking something through. That means I often start a conversation with an impression or opinion that I’ll have revised by the end of it due to factors I hadn’t considered.

Learning Nix and NixOS was the best investment I’ve ever made for my computer use since switching to Linux a decade ago or so.

The barrier of entry is so high I don’t blame anyone for not making the leap but I wish more people could enjoy the benefits. All other distros bar GuixOS feel utterly archaic and clumsily designed by comparison.

…and my critique is about them not acting in their own interest (and fighting corporations at the same time). Linux wouldn’t have taken off if it weren’t copyleft. It would have been as niche as BSD if it had existed at all.

Why would they crack down specifically when it’s open sourced? I could see why they would do it before it goes open source though. Once it’s out there it’ll be hard to prevent the continuation of the project

The default configuration generated by nixos-generate-config is a good starting point. From there you can probably find more things to disable or trim down. environment.systemPackages and environment.defaultPackages for example are lists you can make very short.

I was alluding to the fact that it’s not a copyleft license. AGPL is a suitable OS license.

Matrix or IRC are popular. Can also be XMPP or any other open protocol. Bridge to proprietary networks if necessary but a FOSS project should never rely on Discord. https://drewdevault.com/2021/12/28/Dont-use-Discord-for-FOSS.html

MIT license is a great way of making sure corporations will take this and run away with it

Edit: and yet another supposedly open project using Discord

You can configure NixOS to have as little or as much as you want by setting the right options. Guix is much the same.

Arch also allows customising to a similar level but that’s less… configuring and more installing things and tweaking stuff here and there.

It just looks like another voxel cube sandbox game to me. We have plenty of those - even FOSS ones like Minetest and Veloren.

To find videos across several instances there is this (as official as it gets) search engine: https://sepiasearch.org/

Out of curiosity and if you don’t mind me asking, what collapse did you live through?

If you feel comfortable learning a functional programming language, NixOS is unbeatable when it comes to stability and (usually) up to date software. If you already know (or prefer) Lisp/Guile, Guix is just as good, as long as you don’t depend on proprietary software.

RavntoasklemmyHow do we expand

I think it would be good to decentralise communities so that the same community can be hosted on several servers. It sort of sucks to have a community die because a server goes away.

Maybe this is also an opportunity for DEs to rethink the rectangular UX? Would be cool to have a Unity8-like sidebar that will fit along any edge, irregular or straight alike. Also radial menus, we’re overdue for some native desktop radial menus!

It’s Haskell!

class Struggle f where
  abolish :: f a -> a

cross-posted from: https://lemmy.ml/post/67540

This week, we see lots of design changes to many systems. We hear about how this what is going on with the crafting and loot systems, as well as planned improvements in the combat fields. …


cross-posted from: https://lemmy.ml/post/65873

This week, we have some nice visuals to check out. We also see some updates to the minimap. …


cross-posted from: https://lemmy.ml/post/63444

This week, we take a deep dive into the recent physics overhaul with @lboklin. We also see improvements in the moderations, translation, and skill systems. …


cross-posted from: https://lemmy.ml/post/62793

This week, we see an amazing video of the new glider changes. Work is being done with audio, UX/UI, economics, maps, and lots more. …


With my work on some basic physics and fluid interactions (buoyancy and aerodynamic drag), I’ve moved back to working on aerodynamic lift. The video shows the current state of gliders relying only on generating aerodynamic lift based on wing properties. (This also works for birds, but they can only …

I haven’t kept up with the weekly articles lately, so here they are: …

We’re holding a party to celebrate the release of pre-alpha version 0.9. …

We’re holding a party to celebrate the release of pre-alpha version 0.9. …

This week, we have many writeups. We hear from @zesterer, @Christof, @Sarra_Kitty, @Sam, @VincentFoulon80, and @aweinstock. …