KindaABigDyl

KindaABigDyl, 10 months ago

I prefered AppImages, but now that I’m on Nix, I’ve gone back to native. Native packages work well in the NixOS ecosystem.

KindaABigDyl, 10 months ago

NixOS!!!

KindaABigDyl, 10 months ago

Nah

KindaABigDyl, 10 months ago

Lol is it really free of Western technologies if it’s running on Linux?

KindaABigDyl, 10 months ago

Arch does not have a place though. It’s just a more buggy Arch with a worse maintaining team

EDIT: Actually, tbh it’s incorrect to even call Manjaro Arch. That’s an insult to Arch

KindaABigDyl, 10 months ago

Oops lol

Leaving in

KindaABigDyl, 10 months ago

Not an emacs user, but probably there’s an option for emacs that will allow you to embed your emacs config into your nix config.

If you’d rather have a separate file, you can install files to /etc/ via the environment.etc.“<file-name>”.source = ./file/in/your/nix/repo or using home-manager with home.“<file-name>”.source = ./file/in/your/nix/repo

I’m a “put it in the nix config” guy myself, and that’s how I set up neovim

KindaABigDyl, 10 months ago

Sorry I didn’t know there was a difference. I thought Doom Emacs was a version of Emacs, not something that worked alongside the original. Like I said I’m a neovim user

KindaABigDyl, 11 months ago

I got a book on Haskell at half price books.

KindaABigDyl, 11 months ago

On second thought, this could be a bad idea. It's my company's VPN. I'd have to keep track of my employer's certificate when backing up my config along with my username for the login and other stuff that could pose a security risk.

Still should be possible, but in this case, probably a bad idea lol

KindaABigDyl, 11 months ago

I used to do it on my tablet for a while trying to mess with building on Linux ARM, but it was never more than just playing around.

KindaABigDyl, 11 months ago (edited 11 months ago)

BotW is a cool game, and I had fun playing it.

That fun didn't last very long though. I got bored pretty quickly. I'm not sure I even have 50hrs in it to this day. I did some shrines and got the divine beasts, but I never felt compelled to 100% or fight Ganon or do any side quests.

It had a cool premise, but there just wasn't enough stuff to keep me interested, and tbh I think that's true across the board, bc from what I've seen, most of the people who get tons and tons of fun out of it are making their own fun doing stuff like speed running and finding glitches, not just generally playing the game. Those kind of things don't interest me. If I wanted just a sandbox, I'd play Minecraft or Gary's Mod or something.

On the other hand, I'm already at 100hrs now in TotK. I got all the depths filled out, completed more shrines than I ever did in BotW (and found more than exist in BotW), completed a ton of the side quests (especially the "Side Adventures" ones that I really enjoyed), got all of the old games' armors and upgraded them fully (except TP; dear Lord it is too much Topaz!!!), explored lots of caves and wells, etc, etc. I'm doing things in the game, and I'll keep doing things through this game. Everything is so much more engaging. TotK takes the intricate sandbox world and actually makes it worth using.

Tl; Dr: I dropped BotW whereas I'm actually playing TotK. BotW was a really cool experience, but I'm firmly in the camp of "TotK makes BotW feel like a tech demo." Do I still have love for BotW? In some ways, but generally no.

KindaABigDyl, 11 months ago

There are add-ons?

KindaABigDyl, 11 months ago

That looks pretty sick, thanks!

KindaABigDyl, 11 months ago

Typed. Haskell is the goat

KindaABigDyl, 11 months ago

I feel like it's not that it couldn't be removed, but more that it's too low ROI. Devs are expensive

KindaABigDyl, 11 months ago (edited 11 months ago)

A language designed around the idea of data mutation. Like, just doing data mutation. No functions, no stack, just here's some data and here's how it changes. It's very similar to imperative languages as you might guess, but it basically removes functions from the main data path and simplifies everything which leads to some weird syntax and features.

There are still functions in some ways via a trait system kind of like Rust (also where and polymorphism appears), but it's not quite the same.

I don't really know exactly how to explain it beyond that, so here's a snippet:

[Import]
std

[Data]
a :: Int = 4
b :: Int = 5
a_str :: &Char = []

[Mut]
std.out write "The sum of 4 and 6 is "
b += 1
a += b
a_str alloc_num_str a
std.out write a_str

Not that += here is not equivalent to a = a + b, but rather += is the name of a Numeric trait procedure. Using words I might call it add. It's a add b or with C++-esque syntax it's like (&c)->add(b) or something.

There is a File struct in the std module and a Write trait implemented for &Files that includes a write(&Char) procedure as well as an instance of an &File called "out." So to write a string of characters to stdout, you do std.out write <characters>

So from this, I can say that procedures in traits in this language are like mini versions of the stuff under [Mut] that you can call with parameters. These procedures can also have embedded C code which is how you interact with external stuff and how the core and standard libraries are implemented.

Trait and struct definitions go under [Type] and have their own syntax

Forcing all logic to be an explicit mutation of a singular datum may end up being the worst way to program ever, but it's at least a different way

EDIT: Conceptually this is the same, but the syntax is a bit different now

KindaABigDyl, 11 months ago (edited 11 months ago)

Update: I wrote up a quick manual for the language explaining concepts in more depth and reworking the syntax

KindaABigDyl, 11 months ago

Here's a couple example programs.

hello_world.mjut

# Print a simple hello world message
let msg :: &Char = "Hello, world!n"
mutate:
- stdout write msg

truth_machine.mjut

# Truth machine - if you input a 1, it prints 1 forever
# But a 0, it prints 0 & quits
let inp :: Char = 0
mutate:
- stdin alloc_read_line # Read data into stdin :: &Char
- inp := stdin:0
- inp -= '0'
- if inp - goto quit;
- forever:
    + stdout write "1"
    + goto forever
- quit:
    + stdout write "0"

I think I have it fleshed out enough to get a basic version working. I'll write up a lexer and parser tomorrow (it's after midnight, so actually today lol) probably

KindaABigDyl, 11 months ago

Lexer done! On to parser

KindaABigDyl, 11 months ago

I use Markdown (very rarely LaTeX too) in Neovim, and LibreOffice for anything I can't do in Markdown.

Sometimes I'll start up the MarkdownPreview plugin I have, but typically I don't.

If I need to share it, I'll typically convert to PDF with pandoc or a random tool online if I can't get pandoc to work the way I want it.

KindaABigDyl, 11 months ago

In BotW, stamina bc nothing can really kill you early game, but there are some steep places you'll wanna get

In TotK, hearts bc with the slight overworld adjustments, you can get pretty much everywhere with 1 wheel now and even basic mobs can one hit you at the start

KindaABigDyl, 11 months ago

It could be the devs just like programming in Rust. It's a nice language lol