any · textlog

wrote:

오늘은 휴가~

Today is a vacation~

wrote:

The essential work of is building the theory of the problem + solution. Theory then enables creation of working code. In the end, the code is necessary, but it is not sufficient. Theory is indispensable. (cf. Peter Naur, 1985)

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:

I'm sooo late for work so time to lock in to catch up

continued:

The results of my simulation are bullocks but I believe I know why. Rerunning with the patch now. Fingers crossed!

continued:

Blasting this rn: My taste in music is abysmal but I enjoy it very much

continued:

Still running but already look deceptive. Fck that

…

continued:

Nothing works ffs

wrote:

My friend won 2nd place in the pc demo competition at Evoke in Köln this weekend, with his ascii-inspired demo Glyphnosis. Really happy for him! 💥

replied to:

woo that was great, happy for him! I had an Amiga too :D remember all that era so this demo resonated a lot

…

replied to:

That’s awesome. Congrats to your friend.

wrote:

What is a Textlog?

replied to:

/about

wrote:

Hi everyone! I just found this site, seems to be just my speed!

replied to:

hi! welcome! :D

replied to:

It's very relaxing, I'm a huge fan.

…

wrote:

last time i checked cbd was just not psychoactive at all no?

replied to:

It doesn’t have the high but it will make you more alert, kind of like tea or coffee.

replied to:

I just took a look on it yesterday and seems like the stimulant effect is there, so seems like at this point there are mix results on if it actually helps with anxiety and sleep issues. For me personally seems to work just fine but Im not 100% sure how much does it actually does something for me or is just a placebo effect. My thinking is that if I do it from time to time, I can let my body get use to the feeling of a sleep schedule without create dependency on external melatonin dosis or CBD.

wrote:

Sharing a great read today: Some of the takes are on the extreme end, but like most IT decisions, you can dial the pain to exactly what you want. ^C

replied to:

textlog runs on a 2.5€/mo vps 1 core/2gb ram, using just one instance of Bun with its embedded SQLite. Works perfect and I run a few other apps as well on that machine.

replied to:

It is quite amazing what you can run in those small VPSes if you just build with them in mind.

replied to:

Yeah, it survived being on 1st page of HN for a day just fine! Snappy, didn't sweat at all.

…

replied to:

Why does it have such a cute name 😭😭😭

wrote:

Hit me up if you want a long-term, low-commitment, long-distance, e-mail pen-pal. I've never had so much fun hyphenating things.

wrote:

Never forget, !

continued:

Come for a dance!

wrote:

So I found the blog of a Ukrainian Front Line soldier on Bear Blog today. Incredibly grim stuff to read, but I really wanna get in touch with that guy now and send him so cash so he can buy a burger. Hope Herman forwards my message 😪

wrote:

Well back ok the saddle after some deserving rest.

wrote:

Returned from the gym. Good day.

wrote:

⢀⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⢻⣿⡗⢶⣤⣀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣀⣠⣄ ⠀⢻⣇⠀⠈⠙⠳⣦⣀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣀⣤⠶⠛⠋⣹⣿⡿ ⠀⠀⠹⣆⠀⠀⠀⠀⠙⢷⣄⣀⣀⣀⣤⣤⣤⣄⣀⣴⠞⠋⠉⠀⠀⠀⢀⣿⡟⠁ ⠀⠀⠀⠙⢷⡀⠀⠀⠀⠀⠉⠉⠉⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣠⡾⠋⠀⠀ ⠀⠀⠀⠀⠈⠻⡶⠂⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢠⣠⡾⠋⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⣼⠃⠀⢠⠒⣆⠀⠀⠀⠀⠀⠀⢠⢲⣄⠀⠀⠀⢻⣆⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⢰⡏⠀⠀⠈⠛⠋⠀⢀⣀⡀⠀⠀⠘⠛⠃⠀⠀⠀⠈⣿⡀⠀⠀⠀⠀ ⠀⠀⠀⠀⣾⡟⠛⢳⠀⠀⠀⠀⠀⣉⣀⠀⠀⠀⠀⣰⢛⠙⣶⠀⢹⣇⠀⠀⠀⠀ ⠀⠀⠀⠀⢿⡗⠛⠋⠀⠀⠀⠀⣾⠋⠀⢱⠀⠀⠀⠘⠲⠗⠋⠀⠈⣿⠀⠀⠀⠀ ⠀⠀⠀⠀⠘⢷⡀⠀⠀⠀⠀⠀⠈⠓⠒⠋⠀⠀⠀⠀⠀⠀⠀⠀⠀⢻⡇⠀⠀⠀ ⠀⠀⠀⠀⠀⠈⡇⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢸⣧ ⠀⠀⠀ ⠀⠀⠀⠀⠀⠈⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠁

wrote:

The TPMS indicator came back on again today; on the same road, can you believe it? I might have to get it checked at Costco this weekend.

wrote:

Well, this looks like a lovely place.

replied to:

hello! welcome :)

wrote:

tech influencers on twitter: god i hate interacting with other people. i love my new bot that does it for me. life is so much better now that im just telling bots what to do and not talking to people. i can’t wait for everyone to be bots!

wrote:

Loving this, congratz on the

replied to:

<3 tysm

Any conversation