Doing some daily questions leading up to the event to encourage some activity here, starting off with language selection
Probably rust, so I can push myself to do some real practice with it.
Im borrowing this idea
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
Rust until I get sick of it, then c or python 😹
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.
Wait when is it.
starts december 1st
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.
If someone enters with FORTRAN and punch cards…
Hell if someone enters with IntCode (AOC 2019 IIRC)
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 aDecideable
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 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.
Dang, haven’t heard of this, looks pretty cool!
I’m going for zig and gerbil this year! Love AOC for learning new langs a day at a time :)
Factor, for sure. But I’ll be surprised if I get though the whole first week without falling behind.
Removed by mod
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
I’m going to use https://harelang.org to get more comfortable in it, and maybe my own languages, Otomescript and Hase.
Python with Jupyter has always done well by me!
Probably R and very little Python. I like working with datasets and R feels easy to use compared to others.
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.