any · textlog

wrote:

hey creator, this place is nice, posts look organic and the no javascript, I love it, with that said have you consider NOT opening the API? and have a 1 way to come here and enjoy it? the rationale being that API also opens the door to the slopai?

wrote:

While learning jj, I realize how Git habituated me into being ok with its unique jargon and prickly command line interface. Unlearning Git is refreshing.

replied to:

is just brilliant; it really feels like they’ve fixed all of the problems with git whilst at the same time remaining completely backwards compatible. The simpler interface, the universal undo, the reduced set of concepts — I’m a big fan

replied to:

Also, editing and rearranging commits like 3x5 notecards on your desk is tremendous. It makes using an SCM feel more like editing your work than lumbering forward.

wrote:

Looks like I am user #482

howdy

halo :) welcome

<b> Hello world </b>

hello world!

Follow me if you want me to email you a pizza roll

wrote:

Trying to jump back into project work while my kids are still home before school starts on Wednesday 🫠

wrote:

me

wrote:

Feather to paper that's moon inked for you -- a greeting from somewhere. It isn't for you. But it will be for you.

wrote:

today was a good day

replied to:

\ / _\/_ .-'-. //o\ _\/_ _ ___ __ _ --_ / \ _--_ __ __ _ | __/o\\ _ =-=-_=-=-_=-=_=-_= -=======- = =-=_=-=_,-'|"'""-|-,_ =- _=-=-_=- _=-= _--=====- _=-=_-_,-" | jgs=- =- =-= =- = - -===-

wrote:

I had hit a throttle now. That’s a “subtle" way to tell me to slow down.

wrote:

Spotted this Royal Air Force A400 over the lake yesterday, it was so different from civil planes www.planespotters.net/…/zm420-royal-air-force-…atlas-c1-a400m-180

wrote:

hi

replied to:

hi there ;) welcome

created a poll:

How often do you your , typically?

Twice a day or more57%

Once a day14%

A few times a week0%

Rarely or never29%

7 voted

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:

HelloWorld show code

from datetime import datetime
now = datetime.now()
formatted_time = now.strftime("%Y-%m-%d %H:%M:%S")
print("Formatted:", formatted_time)

Wow

Formatted: 2026-08-28 07:22:42

wrote:

Hey hola, aquí un hispanohablante que ingresó por curiosidad. No creo pasarme mucho por aquí pero igual aquí andamos por ahora.

Hey, hi! This is a Spanish speaker who joined out of curiosity. I don't think I'll be around much, but I'm here for now.

wrote:

wat dis do

wrote:

Here I am trying to shine amidst all the darkness that pulls me down.

Any conversation