Marco Devillers
@asmodaie.bsky.social
Likes to shuffle bits. Shares and/or likes don't mean endorse but mean interesting to me. Programming languages enthusiast. https://egel-lang.github.io
I've completed "Movie Theater" - Day 9 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/9
I had dental work done today, so I stole a solution. I promise it's purely functional
I had dental work done today, so I stole a solution. I promise it's purely functional
December 9, 2025 at 2:55 PM
I've completed "Movie Theater" - Day 9 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/9
I had dental work done today, so I stole a solution. I promise it's purely functional
I had dental work done today, so I stole a solution. I promise it's purely functional
I just completed "Playground" - Day 8 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/8
December 8, 2025 at 6:29 AM
I just completed "Playground" - Day 8 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/8
I've completed "Laboratories" - Day 7 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/7
December 7, 2025 at 7:27 AM
I've completed "Laboratories" - Day 7 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/7
I've completed "Trash Compactor" - Day 6 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/6
December 6, 2025 at 9:24 AM
I've completed "Trash Compactor" - Day 6 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/6
I've completed "Cafeteria" - Day 5 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/5
December 5, 2025 at 8:11 AM
I've completed "Cafeteria" - Day 5 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/5
I've completed "Printing Department" - Day 4 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/4
December 4, 2025 at 8:06 AM
I've completed "Printing Department" - Day 4 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/4
I've completed "Lobby" - Day 3 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/3
December 3, 2025 at 10:42 AM
I've completed "Lobby" - Day 3 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/3
I just completed "Gift Shop" - Day 2 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/2
December 2, 2025 at 8:23 AM
I just completed "Gift Shop" - Day 2 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/2
I've completed "Secret Entrance" - Day 1 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/1
December 1, 2025 at 8:58 AM
I've completed "Secret Entrance" - Day 1 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/1
I am dabbling with the Lean prover. First baby steps.
August 7, 2025 at 2:22 PM
I am dabbling with the Lean prover. First baby steps.
Getal is alweer bijgesteld. Maar het betreft risicovol waardepapier dus kijken of het goed gemanaged is.
April 4, 2025 at 9:23 PM
Getal is alweer bijgesteld. Maar het betreft risicovol waardepapier dus kijken of het goed gemanaged is.
A great shot and a nice reminder that given the vast amount of human interactions 6 sigma events need to happen every day. One in a million just isn't that much.
We'll just need to wait and see what was going on here.
We'll just need to wait and see what was going on here.
January 1, 2025 at 8:57 PM
A great shot and a nice reminder that given the vast amount of human interactions 6 sigma events need to happen every day. One in a million just isn't that much.
We'll just need to wait and see what was going on here.
We'll just need to wait and see what was going on here.
I've completed "Crossed Wires" - Day 24 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/24 #Egel
Test whether an outside oracle is valid.
Test whether an outside oracle is valid.
December 25, 2024 at 1:35 AM
I've completed "Crossed Wires" - Day 24 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/24 #Egel
Test whether an outside oracle is valid.
Test whether an outside oracle is valid.
I've completed "LAN Party" - Day 23 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/23
December 23, 2024 at 6:15 PM
I've completed "LAN Party" - Day 23 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/23