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
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.
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.
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.
20 Comments
b_van_b@programming.dev · 16 pts · 2y
Probably rust, so I can push myself to do some real practice with it.
mvirts@lemmy.world · 8 pts · 2y
Im borrowing this idea
Ategon@programming.dev · 8 pts · 2y
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
mvirts@lemmy.world · 4 pts · 2y
Rust until I get sick of it, then c or python 😹
Blaster_M@lemmy.world · 3 pts · 2y
If someone enters with FORTRAN and punch cards...
derpgon@programming.dev · 1 pts · 2y
Hell if someone enters with IntCode (AOC 2019 IIRC)
DaleGribble88@programming.dev · 3 pts · 2y
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 · 2 pts · 2y
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.
Andy@programming.dev · 2 pts · 2y
Factor, for sure. But I'll be surprised if I get though the whole first week without falling behind.
morrowind@lemmy.ml · 2 pts · 2y
Wait when is it.
Ategon@programming.dev · 3 pts · 2y
starts december 1st
Jummit@lemmy.one · 2 pts · 2y
I'm going to use https://harelang.org to get more comfortable in it, and maybe my own languages, Otomescript and Hase.
Link@programming.dev · 2 pts · 2y
Ategon@programming.dev · 4 pts · 2y
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
soulsource@discuss.tchncs.de · 2 pts · 2y
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,
ifdoes not take a Boolean as argument, but aDecideablelogical proposition.ifalso 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 usingif).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.
russmatney@programming.dev · 1 pts · 2y
Dang, haven’t heard of this, looks pretty cool!
Cyno@programming.dev · 1 pts · 2y
Python with Jupyter has always done well by me!
CommandingKangaroo@programming.dev · 1 pts · 2y
Probably R and very little Python. I like working with datasets and R feels easy to use compared to others.
Hammerheart@programming.dev · 1 pts · 2y
Python since its the only language im half decent at
russmatney@programming.dev · 1 pts · 2y
I’m going for zig and gerbil this year! Love AOC for learning new langs a day at a time :)
tiredofsametab@kbin.social · 1 pts · 2y
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.