venanzio

@venanzio@mathstodon.xyz

I'm a mathematician and a judo coach. I'm interested in science, philosophy, baroque music, zen meditation.

Researcher in mathematical logic, type theory, functional programming, formal verification, cyber security.

Member of the Green Party (https://vote.greenparty.org.uk/) and of Humanists UK (https://humanists.uk/).

I live according to the Epicurean philosophy. I'm translating and commenting Lucretius' "De Rerum Natura":
http://duplavis.com/the-nature-of-things.html

This profile is from a federated server and may be incomplete. Browse more on the original instance.

venanzio, 5 months ago to haskell

Day 3 of #AdventOfCode
https://adventofcode.com/2023/day/3

#haskell solutions: https://github.com/venanzio/AoC/tree/main/2023

The parsing was slightly challenging: you have to keep track of the position in the input grid while reading.
Once we have lists of coordinates for part numbers, symbols, and gears, then the solutions are easy.

reply

expand (1)

collapse (1)

report

activity

copy /kbin url

copy original url

open original url

Loading...

+ BoydStephenSmithJr