Any conversation

OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.

The inaugural, proverbial first post. Seems like a lovely service here.

Finished, well you never really finish, setting up fedora + i3 on my ThinkPad X280. Such a lovely form-factor, & the full-screen/tiling approach for the 12.3" display works like a dream.

There's a few things I'd put at the top of my "things-I-least-expect" list, among which are readers on my little blog. 61 unique reads, wowee!

I'm doing experiments with short attention-span students and code. Starting with python, and, oddly, now working in BASIC. As a C programmer of 40+ years, I find this aesthetically and pedagogically displeasing, but I am delighted to see them getting fully absorbed in writing 130 PRINT "You have been eaten by a bear!" : GOTO 900. Yes there is spaghetti, but it's their spaghetti and they seem to take delight in debugging it. Python will come later. #educationnotesfollow #programmingnotesfollow

#launchnotesfollow x3lixi.grx3lixi.grx3lixi.gr — Η ελληνική βιβλιοθήκη προσωπικής ανάπτυξηςΕπιλεγμένο περιεχόμενο προσωπικής ανάπτυξης στα ελληνικά — με AI περιλήψεις, ακρόαση, εξατομίκευση και καθημερινή ροή μάθησης στον χρόνο που ορίζεις εσύ., tonight, August 7th 2026. doing some security hardening and UI-UX fixes

I wanna learn how to use source film maker...

Do you rinse your #Mouthnotesfollow after you brush your #Teethnotesfollow? #Pollnotesfollow

#OralHygienenotesfollow #DentalCarenotesfollow

I'm just an android launcher called Nocebo Launcher. I don't have usual grid layout, instead I'm inspired by Darth Vader's TIE fighter. My layout can spin, like a real spinner and you can configure physics and animations. I'm easy, cool and novel

I HEARD A GREAT HORNED OWL. one of my birding goals is to see any owl outside a zoo. I just moved here and the lack of birds near our home has made me sad. but hearing this owl was such a fun surprise tonight.

Togo sofas remind me of Heidi Klums worm costume

Hell must have frozen over. I just installed Openclaw on my Linux box. I had already cobbled together an agent like thing (pi) that I talked to over Telegram, so I figured, let's give Openclaw 2.0 a try, locked down completely at first, but slowly opened up over time.

Error: Provider rejected the request (invalid_request_error, 400): Claude Code 2.1.75 does not support this model; version 2.1.251 or newer is required. Run 'claude update', or update the Claude desktop app, then try again. [request_id: req_011CedKqBRnC6Qr3m6nKEwNN] I’m not using Claude Code. This is how you drop the ball.

Any runners on here? I mostly consider myself a trail runner, but of course train on roads, too. Good for 1–2 races/year, more into running as a practice, a way to manage stress and stay fit.

I like the minimalism of this site, very well done imo. It is more engaging.

Last year I wasn't feeling too good. I turned forty, waited for surgery, and was hurt by my own colleagues. So I dealt with things. Maybe not so well, but to the best of my ability. One of the consequences was that I got a bit heavy. My body changed, and I didn't feel like myself. It was a problem for future me. So now I am here with this little belly of mine. We're not enemies, but I decided it's time to part ways. So I count calories. Maybe not so well, but to the best of my ability.

#Sundaynotesfollow programmer emergency: production is down. You change absolutely nothing and restart the server. It works. What did you fix? #Quiznotesfollow

&\

Hello, world

someone asked me if I were a bot. ahahahahaa...