Search results

0
0
0
0
0
0
0
0
1
Andreas Grois @soulsource@mastodon.gamedev.place
Public

I'm still on day 4 of . Part1 is done, but it took about an hour on my calculator...

Part 2 will therefore take days if I don't implement some kind of trimming feature that removes already cleared-out areas from the search-space. Even with proper trimming I do expect it to take over a day... Not sure if the calculator's batteries last that long πŸ˜‰.

1
0
0
Abhinav 🌏 @abnv@fantastic.earth
Public

Solved day 6 part 2 in with this consice PEG parser and some math.

```janet
{:main (sequence :num-rows :op-row -1)
:num-rows (group (some :num-row))
:num-row (group (sequence (some :num-entry) "\n"))
:num-entry (sequence :blank (some (number :d)) :blank)))
:blank (any (replace " " 0))
:op-row (group (some (sequence :op (opt (some :s)))))
:op (choice (replace "*" :mult) (replace "+" :add))}
```

0
0
0
0
0
0
Juhis @hamatti@mastodon.world
Public

A completely new language to me is Janet with which @abnvAbhinav 🌏 commands with elegance to solve these problems.

It's so cool to see completely new languages and learn from different ways of solving problems.

abhinavsarkar.net/notes/tags/a

Seven notes tagged β€˜advent-of-code’

Personal website of Abhinav Sarkar

abhinavsarkar.net Β· abhinavsarkar.net

Link author: Abhinav 🌏@abnv@fantastic.earth

0
0
0
Juhis @hamatti@mastodon.world
Public

Another Python developer @eeentropyyy also writes great posts at christopherhimes.com/blog/

Blog

For an unpaginated list of all posts please check out the archive or browse posts by tags. {% for post in paginator.posts %} {% if post.type == "link" %} {{ post.title }} via {{ post.external_title }} {{ post.date | date: "%b %-d, %Y" }} [{{ post.type }}] {{ post.blurb }} Read More... {% if post.tags %} {% for tag in post.tags %} {{ tag }} {% endfor %} {% endif %} {% else %} {{ post.title }} {{ post.date | date: "%b %-d, %Y" }}  {% if post.type == "review" %} [{{ post.type }}][{{ post.media_type }}] {% else %} [{{ post.type }}] {% endif %}  read in {{ post.content | reading_time }} {{ post.blurb }} Read More... {% if post.tags %} {% for tag in post.tags %} {{ tag }} {% endfor %} {% endif %} {% endif %} {% endfor %} {% if paginator.page > 2 %} first {% endif %} {% if paginator.previous_page %} previous {% endif %} page: {{ paginator.page }} of {{ paginator.total_pages }} {% if paginator.next_page %} next {% endif %} {% if paginator.page last {% endif %}

christopherhimes.com Β· Christopher Himes

0
0
0
Juhis @hamatti@mastodon.world
Public

Another Python developer @eeentropyyy also writes great posts at christopherhimes.com/blog/

Blog

For an unpaginated list of all posts please check out the archive or browse posts by tags. {% for post in paginator.posts %} {% if post.type == "link" %} {{ post.title }} via {{ post.external_title }} {{ post.date | date: "%b %-d, %Y" }} [{{ post.type }}] {{ post.blurb }} Read More... {% if post.tags %} {% for tag in post.tags %} {{ tag }} {% endfor %} {% endif %} {% else %} {{ post.title }} {{ post.date | date: "%b %-d, %Y" }}  {% if post.type == "review" %} [{{ post.type }}][{{ post.media_type }}] {% else %} [{{ post.type }}] {% endif %}  read in {{ post.content | reading_time }} {{ post.blurb }} Read More... {% if post.tags %} {% for tag in post.tags %} {{ tag }} {% endfor %} {% endif %} {% endif %} {% endfor %} {% if paginator.page > 2 %} first {% endif %} {% if paginator.previous_page %} previous {% endif %} page: {{ paginator.page }} of {{ paginator.total_pages }} {% if paginator.next_page %} next {% endif %} {% if paginator.page last {% endif %}

christopherhimes.com Β· Christopher Himes

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Juhis @hamatti@mastodon.world
Public

We're at the halfway point of and I've been having a blast.

For me, one the best parts is getting to learn from other people as there are so many ways to solve these puzzles.

Here's a thread of some wonderful people whose solutions and explanations I enjoy reading.

0
0
0
Juhis @hamatti@mastodon.world
Public

We're at the halfway point of and I've been having a blast.

For me, one the best parts is getting to learn from other people as there are so many ways to solve these puzzles.

Here's a thread of some wonderful people whose solutions and explanations I enjoy reading.

0
0
0
0
3
0
psf @psf@oldbytes.space
Public

day 4 rewritten in C

gitlab.cs.washington.edu/fidel

This is a very simpleminded solution with no algorithmic fanciness: it's performing lots of repeated work in Part B.

  • PC - 1 ms
  • Raspberry Pi 2: 23 ms
  • Plus: 10 seconds

It was stunning to see a result returned in just 10 seconds on the , rather than minutes for previous days. The performance difference between an interpreter and an optimizing compiler is stark! Also, the TI-92 doesn't have a floating-point coprocessor, which makes Lua in particular struggle to run at speed.

TI-92+ graphing calculator displaying: Part A: 1451 Part B: 8701
0
0
0
0
0
0
0
0
0
psf @psf@oldbytes.space
Public

day 2,

Implementing a naive algorithm was fine, albeit a little slow on the Pi. Retro platforms will struggle with this one unless I come up with a better solution using numerical methods. Maybe I'll have something for the TI-92+ tomorrow. I'm sure it could handle the example input in Lua, but I want to do better than that.

The Raspberry Pi 2B uses a quad-core Cortex-A7 at 900 MHz. In 2016 this was my all-purpose "desktop" machine used for all tasks. The same Pi is still in service as my web server hosting my website and music. edlinfan.duckdns.org/music.html

[~] time ./02
Part A, B = 19219508902, 27180728081

real    0m2.188s
user    0m2.180s
sys 0m0.000s

[~] cat /sys/firmware/devicetree/base/model
Raspberry Pi 2 Model B Rev 1.2

[~] head -n 4 /proc/cpuinfo
processor   : 0
model name  : ARMv7 Processor rev 4 (v7l)
BogoMIPS    : 57.60
Features    : half thumb fastmult vfp edsp neon vfpv3 tls vfpv4 idiva idivt vfpd32 lpae evtstrm crc32

02.lua Β· main Β· Peter Fidelman / Advent of Code 2025 Β· GitLab

UW CSE Gitlab

gitlab.cs.washington.edu Β· GitLab

0
0
0
psf @psf@oldbytes.space
Public

day 2,

Implementing a naive algorithm was fine, albeit a little slow on the Pi. Retro platforms will struggle with this one unless I come up with a better solution using numerical methods. Maybe I'll have something for the TI-92+ tomorrow. I'm sure it could handle the example input in Lua, but I want to do better than that.

The Raspberry Pi 2B uses a quad-core Cortex-A7 at 900 MHz. In 2016 this was my all-purpose "desktop" machine used for all tasks. The same Pi is still in service as my web server hosting my website and music. edlinfan.duckdns.org/music.html

[~] time ./02
Part A, B = 19219508902, 27180728081

real    0m2.188s
user    0m2.180s
sys 0m0.000s

[~] cat /sys/firmware/devicetree/base/model
Raspberry Pi 2 Model B Rev 1.2

[~] head -n 4 /proc/cpuinfo
processor   : 0
model name  : ARMv7 Processor rev 4 (v7l)
BogoMIPS    : 57.60
Features    : half thumb fastmult vfp edsp neon vfpv3 tls vfpv4 idiva idivt vfpd32 lpae evtstrm crc32

02.lua Β· main Β· Peter Fidelman / Advent of Code 2025 Β· GitLab

UW CSE Gitlab

gitlab.cs.washington.edu Β· GitLab

0
0
0
0
0
0
Unison Programming Language @unison@fosstodon.org
Public

🌟 is in full swing in Unison!

Our community has made full use of Unison's computable doc format, writing up their solutions and helpful explainers!

Here's one from the Discord about Day 3! Join us! πŸ’Œ
share.unison-lang.org/@systemf

day03.doc Β· @systemfw/aoc-2025/main | Unison Share

Explore, read docs about, and share Unison libraries

share.unison-lang.org

0
0
0
0
0
0
0
0
0
Max @goldstein@im-in.space
Public

this year my challenge for is to implement my own (statically typed) language and solve every task with it, adding features to the language as I go. basic implementation and first day are ready!

codeberg.org/goldstein/aoc2025

I kinda cheated by implementing System F typechecking a couple of days before the challenge starts, but this still means I had to implement parsing + ADTs and basic pattern matching + let-in + primitive types + builtins + typing for all that stuff + de Bruijn indexing + evaluation in the first day, which is the primary downside of this challenge. System F typing was mostly mechanical anyway, I was just following a paper (Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism by Dunfield and Krishnaswami).

I spent last month preparing for this (reading TAPL and various papers, thinking about language design), so I’m pretty excited to actually attempt it.

Summary card of repository goldstein/aoc2025

aoc2025

aoc2025

codeberg.org Β· Codeberg.org

0
0
0
psf @psf@oldbytes.space
Public

Adapted 2025 day 1 in to use less memory to fit on Plus. Execution time: 2m 42s.

The TI-92+ has a 12 MHz 68000 and 188 KB RAM that is also used as the calculator's main ramdisk, meaning, the Lua interpreter, script, puzzle input, and all datastructures must fit in that size. The calculator runs on 4 AA batteries with a battery life of "well beyond a school year".

0
0
0
0
0
0
Woke Leftist Trash @agentultra@types.pl
Public

Something made me choose chaos today and attempt Advent of Code in C this year: github.com/agentultra/advent20

I setup my Haskell advent repo as well for this year in case I want to retreat to the ivory tower...

Advent of Code solutions for 2025. Contribute to agentultra/advent2025 development by creating an account on GitHub.

GitHub - agentultra/advent2025: Advent of Code solutions for 2025

Advent of Code solutions for 2025. Contribute to agentultra/advent2025 development by creating an account on GitHub.

github.com Β· GitHub

0
0
0
0
0
0
0
0
0
Qoyyuum @qoyyuum@fosstodon.org
Public

Took me 3 hours to solve day 1 and man, I made a lot of mistakes. You can watch my dumbass on stream trying to tackle it here: youtube.com/watch?v=QbmDmoC1PS0

Or be spoiled and see the solution. Do note that the code is now broken for Part 1 of Day 1. I might reorganize it to accommodate Part 1 and Part 2 solution in a single Python file. And looking at other people's code made me realize how overcomplicated my code is. Dammit. github.com/Qoyyuum/adventofcod

Advent of Code Catch Up

Powered by Restream https://restream.ioCoding late nights demands coffee. Buy me some at https://www.buymeacoffee.com/qoyyuumYou can join along or tackle the...

www.youtube.com Β· YouTube

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Felyashono @felyashono@autistics.life
Public

New instance, new introduction!
I'm a late (mostly self) diagnosed autistic in recovery from autistic burnout. In spring 2024 I left a career at Apple Retail and have been finding myself since. I'm deeply passionate about and experienced with Apple tech. I also love Sci-Fi and Fantasy, mostly TV and movies these days. I'm a gamer, mostly playing on Mac, iPad, and Switch. I was once a software engineer and still pursue it as a hobby, mostly developing small projects for the Apple ecosystem in Swift.

0
0
0
Anisse @Aissen@treehouse.systems
Public

Time for an !

I'm Anisse; husband, father, reader, gamer, developer living in France. I believe that everything is political, but what you'll find on this account is most likely to be tech-related:β€―that's how I like to use social media. I've been closely or remotely interested in for about 25 years, and in the last 15, mostly the side. I post about my ongoing game gear emulator, in December about Advent of Code, and between the occasional shitpost, about interesting tech news. You'll find my longer articles on my blog: anisse.astier.eu/ (rarely), and how to reach me. I also do the live-blog for once a year: kernel-recipes.org/en/2022/cat

It's been a few months on mastodon. Or many years, if you count the instance that shut down before I could migrate.

Here are a few interesting threads I wrote on a previous instance:
* debugging: octodon.social/@aissen/1092142
* Live-posting a event: octodon.social/@aissen/1093207
* impressions: octodon.social/@aissen/1094375
* A bitmanip trick for and other languages: octodon.social/@aissen/1094318
* Top 7 octodon.social/@aissen/1095972
* My theory on GG etymology octodon.social/@aissen/1093529
* Custom mastodon CSS icon octodon.social/@aissen/1093442

Linux Engineer's random thoughts

In which I babble about pet projects and rant about stuff I like. Linux engineer by day, I probably play too much video games on my occasional free time.

anisse.astier.eu

Link author: Anisse@Aissen@treehouse.systems

0
0
0
0
0
0
0
0
0