Can you add me to the ping list? Sry you haven't been getting many responses, appreciate you posting these, they're rly fun. I've never done Advent of Code before (first time hearing of it from this site actually)

I have been here silently trying to solve some of these, I keep getting like halfway done but then the next day's challenge comes and I abandon it for the new one lol

Have taken the opportunity to learn a new, very different from any I'm familiar with, language. Maybe tomorrow I can get something working lol. Am specifically trying to avoid falling back on the familiar and usual idioms of imperative languages and do it in X language's way so has been hard. I found a more expressive dialect of it today with semantics I like better, hopefully I can express the problem more directly in it now. Will share solutions later :3 if I figure it out ofc

Okay, I was being vague so I didn't have to commit but thats dumb lol, it's λProlog. It's Prolog but with higher-order logic and a type theory (typed lambda calculus) which makes a lot of things sooo much easier lol. But now I have to figure out type theory :/ idk how I feel about it