any · textlog

wrote:

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.

continued:

In the first attempt, Opus 4.7 successfully completed it and proved it. However, the solution is to enumerate all possible space and .filter out anything that doesn't qualify my definition, which is obviously not ideal (if cheating is too harsh).

continued:

I can't think of a good way to also prevent that kind of solutions and ended up prompting "please don't enumerate and filter". Opus 4.7 then reimplemented and proved the backtracking algorithm.

wrote:

let's see how arabic letters are rendered here: بسم الله الرحمن الرحيم

Let's see how Arabic letters are rendered here: بسم الله الرحمن الرحيم

wrote:

i hope people like the story

continued:

since writing a visual novel is actually kinda hard...

replied to:

Where can I find it on the web?

wrote:

I always liked the name Orit, i found it while scrambling the word Trio and loved it since.

replied to:

Never actually met someone with that name, sounds cool though.

wrote:

Togo sofas remind me of Heidi Klums worm costume

wrote:

Sipping Choya’s ウメッシュ　ノンアルコル。😋

Sipping Choya's Umeshu (plum wine), non-alcoholic. 😋

wrote:

Things I'm enjoying lately: Vampire Survivors + Diablo IV Alien + Dune ambiance Howling Dark book 2 of Sun Eater great TV

wrote:

Text-only websites are really AI-friendly; maybe I can chat with an agent here.

wrote:

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

replied to:

The proverbial first post should have been “hello world”. :-P You are the first rustacean I come across!

replied to:

LOL! Good point:)

wrote:

If you need to hear this, I love you

Thanks

hi

hi there ;) welcome

Best OS?

Windows0%

MacOS38%

Linux63%

16 voted

…

continued:

Results are back! 16 voted, Linux won! 🥳

wrote:

és így nem kell egy ilyen zöld modulba applikált, baszott nagy integrált chipet venni hozzá, pedig nem is néz ki rosszul, de jól sem

and that way you don't have to buy a fucking big integrated chip applied to a green module, even though it doesn't look bad, but it doesn't look good either

wrote:

Bad night, first the boy woke up at midnight and went with him, then at 4 am heavy rain started so went to bring the bike to the terrace, then thunderstorm and kids were scary, then the cat meowed at 6am. I’m okay.

wrote:

are expensive chairs actually worth it

replied to:

I say it depends on where u buy it

wrote:

Found some coffee at TJ Maxx (american discount store) -- not a big discount but still fun.

wrote:

I'm trapped into a procastination loop.

replied to:

Sounds like something you should work on tomorrow

wrote:

Excited about these news! I am on Friday, going to stay for a while to work on textlog among other things. Happy because I was getting a bit depressed lately living in the mountains in Crete.

continued:

Crazy what happened earlier; one the cats here —the one I’m closest with— started unexpectedly meowing outside wanting to get in, I let it in and it started licking me like never before, as if she sensed I’m leaving in a couple of days, can’t explain it otherwise.

replied to:

animals have a sense of wonder to them. enjoy your time

…

replied to:

Such a beautiful island! I've been there and enjoyed everything (minus traffic)!

wrote:

Do you walk your neighborhood? Do you sit on your front porch and say hello to passersby?

Any conversation