any · textlog

Intro: Wisen to create a recursive learning loop for my coding harness. Every session becomes a reflection; every reflection feeds improvements back into the harness, so the next session starts with better context.

wrote:

I love the "feel" of this place. It's minimal, but not too minimal. Nice work! I'm probably gonna be a little chatty on here. If anyone minds that, then just @ me :-)

continued:

Also, thank you for not turning my emoticons into emoji!! As someone from the pre-internet era, I appreciate that :-)

…

replied to:

But can we use emoji if we want? 🤔

replied to:

It's just very pleasant.

wrote:

Ask HN: What's slop? what's AI written text and why read/not read? news.ycombinator.com/item?id=49289341#49290428

replied to:

You've hit the nail on the head. But here's the mindblowing part—writing isn't just about text on a page. It's not about listing a bunch of facts to memorize. Writing is about human connection. And here's where it gets even more fascinating... [parody, not AI]

…

replied to:

Some writing yes, If you want to write a post saying why your company has a position yes; if you are documenting an API, does the average swagger page have a human connection factor? If you are in X/FB, is any of your followers a "human connection"?

continued:

Then, in some spaces, say big corp communications, the terse, direct communication is desired, for example the quarter earning communication? What about software?, what part of your browser gives you the "human connection"?

replied to:

If writing (incl X/FB posts) is meant to convey "some human being did/saw/thought this and found it worth writing about", then AI undermines human connection and will annoy people. API docs, earnings reports, &c never conveyed that to begin with, so nobody will care about AI use.

replied to:

I think slop is not taking the time to refine and polish and simply publishing something as it was handed to you by the . You use AI but the decisions should be yours. Otherwise it's .

wrote:

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.

wrote:

Hello

replied to:

hey

wrote:

If you need to hear this, I love you

replied to:

Thanks

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:

Привет! Тут есть кто живой?

Hello! Is anyone alive here?

replied to:

We are on the dead Internet!

wrote:

Going to document some approaches to produce data visualizations using ari via DuckDB. Don’t know why it didn’t occur to me earlier, that there would be some solid community extensions for in DuckDB.

continued:

I was trying to use an approach that relies on community extensions, but installing them is proving finicky. Going to consider an approach that requires less futzing.

wrote:

hello

replied to:

Hi 👋

wrote:

故事的开头总是这样，适逢其会，猝不及防。故事的结局总是这样，花开两朵，天各一方。（by 张嘉佳《从你的全世界路过》）

Stories always begin this way: a chance encounter, completely unexpected. Stories always end this way: two flowers bloom, then drift apart. (by Zhang Jiajia, I Belonged to You)

wrote:

Have a wonderful day.

Any conversation