sisyphean

joined 2 years ago
MODERATOR OF
[–] sisyphean@programming.dev 1 points 2 years ago

I understand what you mean, and I even agree with it, but just to be a little pedantic, variable names are code, or at least they are more code than comments or docs.

But yes, encoding units into the type system is a much better solution. It doesn't work however for config options, environment variables or CLI switches.

[–] sisyphean@programming.dev 0 points 2 years ago (1 children)

Ha! You can't just say "fight me" and then disappear! What are your arguments?

[–] sisyphean@programming.dev 1 points 2 years ago* (last edited 2 years ago) (1 children)

Oh definitely. I've been on a continuous Lemmy/kbin binge since Friday. This place is way more enjoyable than reddit because:

  • Your voice matters. People actually upvote and reply!
  • There is no karma! One less thing to obsess over (though you can see how many posts/comments a user has made).
  • The content is much more interesting and reminiscent of the early days of Reddit.
  • Maybe I'm too nerdy but I like how clean the site is.
  • There is absolutely zero commercial interest across the entire lemmyverse and it's awesome. You can talk to actual people and have fun!
  • It feels magical that there are all these different Lemmy and kbin servers and you can see people from 10 instances talking to each other in the same thread.
[–] sisyphean@programming.dev 1 points 2 years ago

Don't worry, I couldn't get past LVL 4 either after lots of trying. It's pretty annoying to read that so many people got to level 7 in the Hacker News thread...:D

[–] sisyphean@programming.dev 1 points 2 years ago

IIRC F# even has built-in support for units.

[–] sisyphean@programming.dev 1 points 2 years ago

Oh thanks, this is an important thing to know!

[–] sisyphean@programming.dev 1 points 2 years ago

Thank you! I will just keep posting every day then.

[–] sisyphean@programming.dev 1 points 2 years ago* (last edited 2 years ago)

Thank you, these are excellent tips! Btw here is the community: https://programming.dev/c/auai (!auai@programming.dev) - I didn't want to mention it because I didn't want my post to sound like cheap self-promotion, but I guess I'm a bit too shy in this regard.

The icon and the cover image are terrible, I'm planning to replace them later.

[–] sisyphean@programming.dev 2 points 2 years ago* (last edited 2 years ago)

Some of the /r/ExperiencedDevs mods are running the programming.dev instance and most Star Trek-related subreddits moved to startrek.website, so it’s already happening.

[–] sisyphean@programming.dev 1 points 2 years ago* (last edited 2 years ago)

Reposting on Reddit: 👎

Reposting to help Lemmy grow: 👌

[–] sisyphean@programming.dev 10 points 2 years ago

Well that sucks… for Reddit management

view more: ‹ prev next ›