David V.
@dv48.bsky.social
I live in a quantum superposition: I like good food and fast food, I like classical music and chip tunes, I like climbing alpine summits and doing nothing at home, I like rational things and fantasy stories.
Reposted by David V.
“Tasted a little tear gas— tasted like fascism”
June 8, 2025 at 4:40 AM
“Tasted a little tear gas— tasted like fascism”
Reposted by David V.
Thanks for tuning in to The Witcher 4 — Unreal Engine 5 tech demo and joining us during the State of Unreal 2025! #UnrealFest
The full presentation will be uploaded and shared with everyone later today, but in the meantime, here's four screenshots straight from the demo to tide us all over. 😍
The full presentation will be uploaded and shared with everyone later today, but in the meantime, here's four screenshots straight from the demo to tide us all over. 😍
June 3, 2025 at 1:50 PM
Thanks for tuning in to The Witcher 4 — Unreal Engine 5 tech demo and joining us during the State of Unreal 2025! #UnrealFest
The full presentation will be uploaded and shared with everyone later today, but in the meantime, here's four screenshots straight from the demo to tide us all over. 😍
The full presentation will be uploaded and shared with everyone later today, but in the meantime, here's four screenshots straight from the demo to tide us all over. 😍
Ça a l'air bon, il faut que je teste.
Alors vraiment les gens il vous faut le beurre de cacahuète, l'argent du beurre de cacahuète, et le sourire du taulier.
Bon d'accord.
Une recette végé, en plus. Pour la version végane vous pouvez remplacer le miel par du sirop d'agave.
Bon d'accord.
Une recette végé, en plus. Pour la version végane vous pouvez remplacer le miel par du sirop d'agave.
May 4, 2025 at 3:17 PM
Ça a l'air bon, il faut que je teste.
Reposted by David V.
I think a lot about what Carl Sagan said in one of his final interviews.
May 4, 2025 at 6:21 AM
I think a lot about what Carl Sagan said in one of his final interviews.
Reposted by David V.
Stephen Fry's argument against God and His morals.
April 27, 2025 at 2:14 PM
Stephen Fry's argument against God and His morals.
Reposted by David V.
Here’s some unique news: my music has been added to the library of congress
www.npr.org/2025/04/09/n...
www.npr.org/2025/04/09/n...
National Recording Registry adds Tracy Chapman, Hamilton and the Minecraft game soundtrack
There are 25 new additions to the Library of Congress collection. They include albums by Elton John, Miles Davis, Amy Winehouse, and the original cast recording of Hamilton.
www.npr.org
April 9, 2025 at 2:55 PM
Here’s some unique news: my music has been added to the library of congress
www.npr.org/2025/04/09/n...
www.npr.org/2025/04/09/n...
Reposted by David V.
Les magistrats qui ont condamné Marine Le Pen ont pris le soin d’expliciter dans leur jugement la nécessité d’une peine d’inéligibilité avec exécution provisoire, au vu de la gravité des faits et du système de défense adopté.
Par Michel Deléan
Par Michel Deléan
Marine Le Pen condamnée et inéligible : ce que dit vraiment le jugement
Les magistrats qui ont condamné Marine Le Pen ont pris le soin d’expliciter dans leur jugement la nécessité d’une peine d’inéligibilité avec exécution provisoire, au vu de la gravité des faits et du système de défense adopté.
l.mediapart.fr
April 1, 2025 at 4:02 PM
Les magistrats qui ont condamné Marine Le Pen ont pris le soin d’expliciter dans leur jugement la nécessité d’une peine d’inéligibilité avec exécution provisoire, au vu de la gravité des faits et du système de défense adopté.
Par Michel Deléan
Par Michel Deléan
So I've been putting aside solving problems for #AdventOfCode, but I'm learning to use gloss to display Day 16's grid. Why isn't there a method to get a text Picture 's width ? Frustrating.
December 20, 2024 at 5:08 PM
So I've been putting aside solving problems for #AdventOfCode, but I'm learning to use gloss to display Day 16's grid. Why isn't there a method to get a text Picture 's width ? Frustrating.
Reposted by David V.
Some folks are pretty good seeing things coming.
December 18, 2024 at 11:37 AM
Some folks are pretty good seeing things coming.
I just completed "Warehouse Woes" - Day 15 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/15
github.com/davire/adven...
github.com/davire/adven...
#haskell
Took me hours to make part2 works, stupid error. I won't be able to spend so much time again, I'm afraid. Fun though !
github.com/davire/adven...
github.com/davire/adven...
#haskell
Took me hours to make part2 works, stupid error. I won't be able to spend so much time again, I'm afraid. Fun though !
Day 15 - Advent of Code 2024
adventofcode.com
December 15, 2024 at 6:18 PM
I just completed "Warehouse Woes" - Day 15 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/15
github.com/davire/adven...
github.com/davire/adven...
#haskell
Took me hours to make part2 works, stupid error. I won't be able to spend so much time again, I'm afraid. Fun though !
github.com/davire/adven...
github.com/davire/adven...
#haskell
Took me hours to make part2 works, stupid error. I won't be able to spend so much time again, I'm afraid. Fun though !
I've completed "Restroom Redoubt" - Day 14 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/14
The first part was trivial, for the 2nd part once I learned that the "tree" would be in a "square", I tried to find all frames with at least 4 long lines.
github.com/davire/adven...
#haskell
The first part was trivial, for the 2nd part once I learned that the "tree" would be in a "square", I tried to find all frames with at least 4 long lines.
github.com/davire/adven...
#haskell
Day 14 - Advent of Code 2024
adventofcode.com
December 14, 2024 at 10:02 PM
I've completed "Restroom Redoubt" - Day 14 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/14
The first part was trivial, for the 2nd part once I learned that the "tree" would be in a "square", I tried to find all frames with at least 4 long lines.
github.com/davire/adven...
#haskell
The first part was trivial, for the 2nd part once I learned that the "tree" would be in a "square", I tried to find all frames with at least 4 long lines.
github.com/davire/adven...
#haskell
Anyone has an Idea what is the eater egg they're talking about ? The picture of the christmas tree, what is it exactly supposed to look like ?
Is it part of the problem to find out ?
Is it part of the problem to find out ?
December 14, 2024 at 6:56 PM
Anyone has an Idea what is the eater egg they're talking about ? The picture of the christmas tree, what is it exactly supposed to look like ?
Is it part of the problem to find out ?
Is it part of the problem to find out ?
I just completed "Claw Contraption" - Day 13 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/13
For part 2 I had to google a way to solve n⋅a+m⋅b = t because there is no way brute force would work.
github.com/davire/adven...
#haskell
For part 2 I had to google a way to solve n⋅a+m⋅b = t because there is no way brute force would work.
github.com/davire/adven...
#haskell
Day 13 - Advent of Code 2024
adventofcode.com
December 14, 2024 at 4:11 PM
I just completed "Claw Contraption" - Day 13 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/13
For part 2 I had to google a way to solve n⋅a+m⋅b = t because there is no way brute force would work.
github.com/davire/adven...
#haskell
For part 2 I had to google a way to solve n⋅a+m⋅b = t because there is no way brute force would work.
github.com/davire/adven...
#haskell
I thought I was done with part 1 of day 12, I had the answer right for the sample.
I don't know if I have it in me to debug this right now.
I think I'll check day 13 and come back to day 12, hopefully, later
I don't know if I have it in me to debug this right now.
I think I'll check day 13 and come back to day 12, hopefully, later
December 14, 2024 at 12:41 PM
I thought I was done with part 1 of day 12, I had the answer right for the sample.
I don't know if I have it in me to debug this right now.
I think I'll check day 13 and come back to day 12, hopefully, later
I don't know if I have it in me to debug this right now.
I think I'll check day 13 and come back to day 12, hopefully, later
I feel stuck on day 12 of advent of code. I know where to go but I struggle to express it in Haskell, I know I'll get there but I get frustrated by the time it takes me.
December 14, 2024 at 11:39 AM
I feel stuck on day 12 of advent of code. I know where to go but I struggle to express it in Haskell, I know I'll get there but I get frustrated by the time it takes me.
I just completed "Plutonian Pebbles" - Day 11 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/11
There it is, I completed part two with yet another approach. I'm happy because it completes in a blink.
Compression is your friend !
github.com/davire/adven...
#haskell
There it is, I completed part two with yet another approach. I'm happy because it completes in a blink.
Compression is your friend !
github.com/davire/adven...
#haskell
Day 11 - Advent of Code 2024
adventofcode.com
December 12, 2024 at 6:32 PM
I just completed "Plutonian Pebbles" - Day 11 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/11
There it is, I completed part two with yet another approach. I'm happy because it completes in a blink.
Compression is your friend !
github.com/davire/adven...
#haskell
There it is, I completed part two with yet another approach. I'm happy because it completes in a blink.
Compression is your friend !
github.com/davire/adven...
#haskell
I've completed Part One of "Plutonian Pebbles" - Day 11 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/11
Part 1 was really easy but It looks like I won't be able to complete part 2 today, i'm at the 3rd attempt and somehow the memoisation I'm trying doesn't work. Debug time ahead !
Part 1 was really easy but It looks like I won't be able to complete part 2 today, i'm at the 3rd attempt and somehow the memoisation I'm trying doesn't work. Debug time ahead !
Day 11 - Advent of Code 2024
adventofcode.com
December 11, 2024 at 8:19 PM
I've completed Part One of "Plutonian Pebbles" - Day 11 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/11
Part 1 was really easy but It looks like I won't be able to complete part 2 today, i'm at the 3rd attempt and somehow the memoisation I'm trying doesn't work. Debug time ahead !
Part 1 was really easy but It looks like I won't be able to complete part 2 today, i'm at the 3rd attempt and somehow the memoisation I'm trying doesn't work. Debug time ahead !
I just completed "Hoof It" - Day 10 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/10
github.com/davire/adven...
The second part was easier than the first, IMHO. I don't know why I lost so much time. I used an unboxed vector. I hope it was a good choice. Well it worked.
#haskell
github.com/davire/adven...
The second part was easier than the first, IMHO. I don't know why I lost so much time. I used an unboxed vector. I hope it was a good choice. Well it worked.
#haskell
Day 10 - Advent of Code 2024
adventofcode.com
December 10, 2024 at 7:53 PM
I just completed "Hoof It" - Day 10 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/10
github.com/davire/adven...
The second part was easier than the first, IMHO. I don't know why I lost so much time. I used an unboxed vector. I hope it was a good choice. Well it worked.
#haskell
github.com/davire/adven...
The second part was easier than the first, IMHO. I don't know why I lost so much time. I used an unboxed vector. I hope it was a good choice. Well it worked.
#haskell
I just completed "Disk Fragmenter" - Day 9 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/9
github.com/davire/adven...
It was not too complicated but I'm still taking time to solve because I haven't been doing #haskell for so long.
github.com/davire/adven...
It was not too complicated but I'm still taking time to solve because I haven't been doing #haskell for so long.
Day 9 - Advent of Code 2024
adventofcode.com
December 9, 2024 at 9:18 PM
I just completed "Disk Fragmenter" - Day 9 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/9
github.com/davire/adven...
It was not too complicated but I'm still taking time to solve because I haven't been doing #haskell for so long.
github.com/davire/adven...
It was not too complicated but I'm still taking time to solve because I haven't been doing #haskell for so long.
I just completed "Resonant Collinearity" - Day 8 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/8
github.com/davire/adven...
#haskell
Too busy today, I thought I wasn't going to make it tonight.
github.com/davire/adven...
#haskell
Too busy today, I thought I wasn't going to make it tonight.
Day 8 - Advent of Code 2024
adventofcode.com
December 8, 2024 at 9:39 PM
I just completed "Resonant Collinearity" - Day 8 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/8
github.com/davire/adven...
#haskell
Too busy today, I thought I wasn't going to make it tonight.
github.com/davire/adven...
#haskell
Too busy today, I thought I wasn't going to make it tonight.
Morning sky, a few days ago
December 8, 2024 at 7:18 PM
Morning sky, a few days ago
I just completed "Bridge Repair" - Day 7 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/7
Easier than yesterday, yet this is taking me increasingly more time
github.com/davire/adven...
#haskell
Easier than yesterday, yet this is taking me increasingly more time
github.com/davire/adven...
#haskell
Day 7 - Advent of Code 2024
adventofcode.com
December 7, 2024 at 4:44 PM
I just completed "Bridge Repair" - Day 7 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/7
Easier than yesterday, yet this is taking me increasingly more time
github.com/davire/adven...
#haskell
Easier than yesterday, yet this is taking me increasingly more time
github.com/davire/adven...
#haskell
I just completed "Guard Gallivant" - Day 6 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/6
My first version wouldn't terminate within 10 minutes. Turns out brute-forcing a solution won't cut it.
github.com/davire/adven...
#haskell
My first version wouldn't terminate within 10 minutes. Turns out brute-forcing a solution won't cut it.
github.com/davire/adven...
#haskell
Day 6 - Advent of Code 2024
adventofcode.com
December 6, 2024 at 7:21 PM
I just completed "Guard Gallivant" - Day 6 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/6
My first version wouldn't terminate within 10 minutes. Turns out brute-forcing a solution won't cut it.
github.com/davire/adven...
#haskell
My first version wouldn't terminate within 10 minutes. Turns out brute-forcing a solution won't cut it.
github.com/davire/adven...
#haskell