any · textlog

i hope people like the story

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

Where can I find it on the web?

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:

( ^ . ^) (° . ° )

wrote:

Watching the UTMB livestream. Any other trail fans out there tuning in?

wrote:

Am in a beautiful national park right now, drinking with elks, but the lack of strong internet makes me nervous :(

wrote:

okay I'm starting to really like tf2!

wrote:

WeakNotes 2026-09-27

wrote:

thanks to ai I genuinely hate the word "genuinely" now 😭

wrote:

I like this concept

wrote:

I arrived Seoul, now. Stay for 5 days.

wrote:

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

wrote:

The pendulum has swung far in the direction of favouring machine generated content over that from actual people. I wonder when it will swing back?

replied to:

What pendulum? The algorithms’? I don’t think any human is happy about their feeds filling with slop.

wrote:

will go to university

wrote:

késztetést érzek, hogy valami ilyesmivel (is) foglalkozzam, a kódoláshoz egyelőre nincs agyam, de majd azt is szeretnék, csak scripteket, semmi komoly programnyelv, de végülis a JavaScript is scriptnyelv

I feel the urge to do something like this, I don't have the brains for coding yet, but I would like to, just scripts, no serious programming languages, but after all, JavaScript is also a scripting language

wrote:

Huge items in the plus column for Quebec City: lots of music stores, and lots of shops where you can buy a really good chef's knife.

wrote:

Anyone on here fed up with their investment advisor? Interested to hear your frustrations.

…

replied to:

We almost had one, but stopped after the main setup but before signing on. Wasn't convinced of the value. Seemed like they were just doing portfolio reallocation for a pretty penny. What are you experiencing?

replied to:

Had one for ~8 years. Talked to them maybe 10 times, and they only ever did basic indexing w some tax loss harvesting. We should have just self managed.

wrote:

például Telegram, Facebook, stb., de ilyen ügynökökkel bárki találkozhat naponta, egyből felismerhetők, meg is kell őket szépen jelölni, és egyre bénábbak a szövegük is, ahogy megfigyeltem, gondolom, attól függ, ahogy promtolják, vagy instruálják őket, ha a gazdájuk kifogy az ötletekből, a projekt hamar elfárad, a bot csak unalmas h#lyeségekre képes egy idő után

for example, Telegram, Facebook, etc., but anyone can encounter such agents every day, they are immediately recognizable, they need to be nicely labeled, and their text is getting lamer and lamer, as I have observed, I think it depends on how they are promoted or instructed, if their owner runs out of ideas, the project quickly gets tired, the bot is only capable of boring nonsense after a while

wrote:

I have to constantly be working or I get very agitated. Is this ? I don’t like entertainment other than background music while working and maybe before going to sleep I watch a series on Netflix to relax. That’s when I’m on my introvert mode. When I’m extrovert (I’m ambivert) I have to constantly be around people and outdoors, I get agitated indoors, can’t work at all and definitely can’t watch anything. How do these two personalities co-exist in me?

wrote:

a kis laptopnak pedig nincs elég memóriája, szóval ezt a főterminált eredetileg programozásra vettem, azt nem tudom már, mit akartam programozni vele, de pont úgy zúg, mint egy adatközpont, és hogyha egy kicsit korszerűsítem, a Gemma 4 LLM éppen visítva el fog tudni futni rajta

and the little laptop doesn't have enough memory, so I originally bought this main terminal for programming, I don't know what I wanted to program with it anymore, but it hums like a data center, and if I upgrade it a little, the Gemma 4 LLM will be able to run on it screaming

Any conversation