programming

255 readers

8 users here now

Post about programming, interesting repos, learning to program, etc. Let's try to keep free software posts in the c/libre comm unless the post is about the programming/is to the repo.
Do not doxx yourself by posting a repo that is yours and in any way leads to your personally identifying information. Use reports if necessary to alert mods to a potential doxxing.
Be kind, keep struggle sessions focused on the topic of programming.

founded 2 years ago

MODERATORS

Llituro@hexbear.net

git@hexbear.net

Saoirse@hexbear.net

Advent of Code 2024 Day 8 (adventofcode.com)

submitted 7 months ago by zongor@hexbear.net to c/programming@hexbear.net

2 comments fedilink hide all child comments

Its antenna time. Maybe its just a me thing but the input reminds me a lot of Rogue/Angband?

@Enjoyer_of_Games@hexbear.net @Speaker@hexbear.net @gay_king_prince_charles@hexbear.net @iByteABit@hexbear.net

you are viewing a single comment's thread
view the rest of the comments

[–] PaX@hexbear.net 2 points 6 months ago* (last edited 6 months ago) (1 children)

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

[–] zongor@hexbear.net 2 points 6 months ago

Thanks comrade, yeah can do. Haven't had the time to do it daily since life got unexpectedly busy but planning on doing more. Ive been able to finish day 1 and then havent had time to do any others lol. lambda prolog really interesting, very advanced stuff. I vaguely remember a esolang years ago that lambda calculus but I can't remember anymore.