Jochen Voss
@seehuhn.bsky.social
📤 109
📥 60
📝 125
Am I using Claude Code correctly?
26 days ago
0
0
0
First time that I have used AI to help with a "real" proof:
www.seehuhn.de/blog/maths-w...
loading . . .
Maths with Claude | seehuhn.de
An experience report on using Claude to help complete a mathematical proof.
https://www.seehuhn.de/blog/maths-with-claude/
about 2 months ago
1
4
1
It was only today that I learned that "altogether" has only one "l"!
about 2 months ago
0
0
0
Guess the country!
about 2 months ago
0
0
0
Happy Easter, everybody!
about 2 months ago
0
0
0
An easy visual puzzle (ǝsnO ɹǝʌᴉɹ ǝɥʇ uᴉ sƃuᴉןᴉɐɹ pǝƃɹǝɯqns ʎןןɐᴉʇɹɐԀ).
3 months ago
0
2
0
York Minster x Borg Cube
3 months ago
0
1
0
Random view from York railway station.
3 months ago
0
1
0
Some interesting thoughts in here, in an area where nobody has good answers yet.
add a skeleton here at some point
4 months ago
0
0
0
Fireworks!!!
4 months ago
1
0
0
Nearly Christmas!
4 months ago
1
0
0
Nice light show in
#York
museum gardens.
4 months ago
0
1
0
Are these new displays at
#York
station aimed at deaf people who cannot read? This must be a tiny fraction of all travellers!
loading . . .
4 months ago
1
0
0
I found a sea monster!
11 months ago
0
1
0
About to do some indoors gardening ...
11 months ago
0
1
0
Hull? Venice? What is the difference anyway?
11 months ago
0
2
0
Is March too early for a BBQ?
12 months ago
2
2
0
I really enjoyed the light show at
#York
minster. In my opinion, it's even better than last year. If you haven't seen it yet: The show is still on, 6-9pm, until 2nd March (repeats every 10 minutes).
about 1 year ago
0
2
0
During the pandemic, a heron took residence on the University of Leeds campus. I had not seen it in a long time, but today he is back. (Or maybe his friend is. How old does a heron get?) Hello heron 😊
about 1 year ago
1
4
0
Sometimes,
#DeepSeek
is overthinking things a bit. I should probably have untoggled the "DeepThink (R1)" button before saying thank you.
about 1 year ago
0
2
0
For the first time in my life I have reached a "triple ko" in the game of Go:
online-go.com/game/71268565
(I think).
#baduk
#gogame
#weiqi
loading . . .
Ladder Challenge: Dyonn(#15) vs Seehuhn(#14)
Dyonn vs. Seehuhn - 2025-01-11
https://online-go.com/game/71268565
about 1 year ago
0
2
0
I wonder what the purpose of this ladder is. Maybe it's a stairway to heaven?
about 1 year ago
0
2
0
I enjoyed reading this blog post by
@crawshaw.io
. This is very close to my own experiences.
crawshaw.io/blog/program...
loading . . .
crawshaw - 2025-01-06
https://crawshaw.io/blog/programming-with-llms
about 1 year ago
0
1
0
A happy New year to everybody!
about 1 year ago
1
4
0
Dramatic skies in
#York
about 1 year ago
0
5
0
#York
looking cosy tonight.
about 1 year ago
0
3
0
Christmas!
about 1 year ago
0
3
0
@politico.com
49% + 48% + 9% = 100%? I think the maths is somewhat off here! (From halfways down the Politico front page.)
about 1 year ago
0
2
1
More evidence that Christmas is near.
about 1 year ago
0
3
0
New water feature in
#York
. Maybe the flooding somehow causes water to be pushed out from underneath these metal covers? Or is this an unrelated pipe break?
about 1 year ago
0
3
0
ChatGPT wrote a very nice summary of the short story "Things" by Ursula K. Le Guin for me:
chatgpt.com/share/6750a1...
. The only downside: the summary has nearly nothing to do with the actual story. A bit like Stanislaw Lem writing reviews of non-existent books.
loading . . .
ChatGPT - Things by Ursula Le Guin
Shared via ChatGPT
https://chatgpt.com/share/6750a193-3994-800b-9741-0e2e7a778cc0
about 1 year ago
0
2
0
It's snowing in
#York
. Christmas must be close, now!
loading . . .
over 1 year ago
0
4
0
It's Christmas now!
over 1 year ago
0
3
0
Why are the walls of York minster so plain near the ground and get more and more decorated the higher up you look?
over 1 year ago
0
3
0
Must have taken forever to get those birds lined up just right!
over 1 year ago
0
3
0
you reached the end!!
feeds!
log in