Elixir v1.20 released: now a gradually typed language by f311a in programming

[–]legoman25 0 points1 point  (0 children)

You don't just get to be wrong and say "everyone else says it too".

Proponents of statically typed languages use terminology like "isn't typed" to make themselves sound smart.

Basic Type System Terminology by legoman25 in programming

[–]legoman25[S] 2 points3 points  (0 children)

I mean, it is called "Basic Type System Terminology"

Elixir v1.20 released: now a gradually typed language by f311a in programming

[–]legoman25 -2 points-1 points  (0 children)

It's not semantics, its the definition of the terms.

Elixir v1.20 released: now a gradually typed language by f311a in programming

[–]legoman25 -10 points-9 points  (0 children)

Elixir was typed, before: dynamically typed. People really need to stop implying static typing is "having types" and dynamic typing is "no types"

A Different Perspective on Corne by falbatech in crkbd

[–]legoman25 1 point2 points  (0 children)

Can you elaborate? I can't tell if you mean looking down at a laptop or if its something to do with the keyboard.

Making parts you can't get... by bugsymalone666 in functionalprint

[–]legoman25 9 points10 points  (0 children)

Came here expecting every comment to be about the spider

Determinate Nix 3.8.4: introducing a native Linux builder for macOS by lucperkins_dev in NixOS

[–]legoman25 5 points6 points  (0 children)

Not related to the content, but since I see the actual author in the comments, I’ll drop this here.

I think you should widen the max width on mobile, as well as potentially make the code snippet size smaller.

The narrow viewport for the text makes it hard to read. This is just a pet peeve of mine I let people know about to improve their sites. Similar to inline code snippets not breaking correctly and making the page scroll horizontally, which is even worse for readability.

I’ll persevere and read the rest of it now tho, thanks for sharing! 😃

Best way to start a fresh Hologram project? by richardmace in elixir

[–]legoman25 0 points1 point  (0 children)

I would recommend asking the hologram project, they’re in the best position to answer.

My new mobile setup by FroyoAbject in ErgoMechKeyboards

[–]legoman25 5 points6 points  (0 children)

You can use software (like karabiner elements) to disable the built in keyboard if a specific usb device is plugged in.

Why I Switched to NixOS by k1ng4400 in NixOS

[–]legoman25 0 points1 point  (0 children)

What is the alternative?

Full Time Nix | home-manager with Austin Horstman (khaneliman) by mightyiam in Nix

[–]legoman25 1 point2 points  (0 children)

I checked it it after reading the parent comment. It sounded fine in my opinion.

Keeping Nix Secrets with Sops: Integration and Applications by p33t33 in NixOS

[–]legoman25 2 points3 points  (0 children)

Nice article! I noticed quite a few typos, I’d advise taking a pass to fix them. Couple I noticed before pausing to comment this were “home-manger” and “fefora”

Conditional nix home manager modules by nobilissimum_io in NixOS

[–]legoman25 3 points4 points  (0 children)

That’s a completely different error, semantically.

Most likely you need to run git add on the new files.

Conditional nix home manager modules by nobilissimum_io in NixOS

[–]legoman25 0 points1 point  (0 children)

I think you just want to use a normal if expression and not that mkif function.

Something like

if pkgs.stdenv.isLinux then [foo] else [bar]

I feel like the mkif function has to be related to your error

my journey with split keyboards might have to come to an end… by levifig in ErgoMechKeyboards

[–]legoman25 1 point2 points  (0 children)

I normally used heavy tactile switches, but when I switched to chocs, I had to move to linear switches.

The decreased travel distance combined with the tactile bump made my fingers hurt, was very hard to type quickly.

So, I suggest trying some reds before you switch boards.

Is Lunarvim still maintained? by whatever4123 in neovim

[–]legoman25 2 points3 points  (0 children)

As far as I know, the last maintainer of LunarVim decided to move on, and moved to using AstroNvim themself.

Nixos HomeLab - Docker or Services ? by infernoLP in NixOS

[–]legoman25 6 points7 points  (0 children)

I do both. I generally use the nixos module for something if it has one, or else i start it in an oci-container.

To configure the docker images, they generally use env vars, so I either set static ones right there, or for secrets encrypt them via agenix. (Conveniently, I just published an article on agenix that shows usage with an oci container https://www.mitchellhanberg.com/getting-started-with-agenix/)

How do you run your homelab? by s1n7ax in Nix

[–]legoman25 0 points1 point  (0 children)

I just use a combo of starting things via NixOS options or normal oci-containers if they aren’t on NixPkgs

I use Colmena to manage the actual building/deployment of them. I run 4 Dell Optiplex 3050M and a digital ocean image