Doing some daily questions leading up to the event to encourage some activity here, starting off with language selection

  • Ategon@programming.devM
    8·
    8 个月前

    Ill start off with my choice. Been teaching myself rust recently so I can mess around with the lemmy backend so will likely attempt it using rust to practice it a bit more

  • soulsource@discuss.tchncs.deEnglish
    3·
    7 个月前

    I’m going to try Lean4. It’s interesting for us at work, for gamedev, and I’m personally interested in it too.

    It’s not only a programming language, but also a theorem prover, and the boundaries between those two aspects are rather blurry. For instance, if does not take a Boolean as argument, but a Decideable logical proposition. if also does not only choose which branch to evaluate, but also offers a proof that the proposition is True or False in the respective branches, that one can later use to argue with the compiler if a certain function call is allowed or not (for instance, one can make a type that only contains natural numbers that are prime - and making an instance of that type requires a proof that the passed in number is indeed prime - and such a proof can be materialized using if).

    I’m still learning the language though, and am not certain if I can finish reading the book Functional Progrmaming in Lean till AoC starts… If I can’t manage, I’m just going to start AoC in Lean anyhow, and see how far I get.

  • DaleGribble88@programming.devEnglish
    3·
    8 个月前

    Go if I understand exactly what to do to solve the problem, C# or Python if I’m going to need to stumble around for a bit.

  • hardaker@programming.dev
    3·
    8 个月前

    I often pick languages or modules to learn for the easier puzzles, or even languages that should be hard too challenge myself. 2 years ago I used bash and CLI apps for the first five levels. And I’ve forced myself to get better at numpy and pandas too before I knew then as well.

    TLDR: user it as an opportunity to learn.

  • russ@programming.devEnglish
    2·
    7 个月前

    I’m going for zig and gerbil this year! Love AOC for learning new langs a day at a time :)

  • Link@programming.devB
    2·
    8 个月前

    Here are some possibly related communities in the instance:

    Feel free to crosspost into them or post future content on this topic there if they are relevant.
    I am a bot and this was performed automatically 🤖 For any issues contact Ategon.

    • Ategon@programming.devM
      4·
      8 个月前

      didnt realize I added the programming community to the communities that triggers the bot haha

      its relevant to this post but not crosspost relevant, will tweak the triggers

  • Andy@programming.dev
    2·
    8 个月前

    Factor, for sure. But I’ll be surprised if I get though the whole first week without falling behind.

  • tiredofsametab@kbin.social
    1·
    8 个月前

    I always forget this exists until it’s too late. I’m so tired lately, I’ll probably just knock it out in Go if I participate. I want to reactivate my rust or maybe even typescript, but I don’t think I can be bothered.