any · textlog

wrote:

The strange thing about modern loneliness is that everyone is technically available.

replied to:

🤯

replied to:

Maybe validity to “distance makes the heart grow fonder.” Scarcity is valuable.

…

replied to:

Too true.

replied to:

Similar with having access to so much critically acclaimed media, but they are so emotionally or intellectually draining that I find myself rewatching ol' familiars. Availability seems just one aspect, and perhaps not even the most limiting factor. Maybe most people have a "limit" on number of "lives", as in number of times you fall in love, change, get inspired, connect, etc..

wrote:

I like this.

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:

Are rose colored glasses pink?

replied to:

are pink coloured glasses rose?

wrote:

Hello, seems fun this space, keep explore!

replied to:

Really nice so far!!

wrote:

replied to:

_ _ __ ___.--’_`. .'_`--.___ __ ( _`.'. - 'o` ) ( ‘o` - .`.’_ ) _\.’_’ _.-’ `-._ `_`./_ ( \`. ) //\` /\\ ( .'/ ) \_`-’`---'\\__, ,__//`---’`-'_/ \` `-\ /-' '/

replied to:

Noice Froggos make everything better.

wrote:

most akkor mit kezdjek ezzel a Windows 10, Windows 11, Ubuntu Linux 3-as operációs rendszerrel egy két felé particinált winchesteren, jobb lesz ha előbb megvárom, ameddig törli magát a Windows 10, nem azt mondták, hogy lassítani kell az MI projekteket, annyira tetű módon csinálom

Now what should I do with this Windows 10, Windows 11, Ubuntu Linux 3 operating system on a hard drive partitioned in two? It would be better if I wait until Windows 10 deletes itself first. They didn't say that AI projects should be slowed down, I'm doing it in such a lousy way.

wrote:

Huge refactor today, moved from sync SQLite to Worker based, touched 88 files, pre- it would have taken a week or so, finished now in ~1:30h. And I wouldn’t have the confidence I have now that it went correct. It went well, though a bug or two might surface, we’ll see.

replied to:

Good work! What motivated the refactor exactly? I'm not familiar at all with Worker

…

replied to:

SQLite is embedded in the main thread same as the HTTP server. I noticed some requests dropping and because the queries have become more complex I figured it has to do with SQLite blocking for too much time. Moving it to a Worker makes the DB asynchronous and bypass this problem.

continued:

Huge refactor and no bugs. I’m genuinely impressed by the quality of output of GPT 5.6 Sol.

created a quiz:

You delete a file on Linux while a program has it open. What happens?

(replies are hidden until you answer the quiz)

wrote:

Just another micro blogging platform. It's minimal and it's fine.

wrote:

I noticed today that I'm an idiot. I built a static site generator with NO DATA MODEL. Beginning to fix it now, but my god how embarrassing. Hobbyist less than amateur...wow. Good thing my day job isn't at stake.

wrote:

This is a pretty neat site. I remember having vague ideas about something somewhat close to this but doing nothing with them.

replied to:

it's so simple and lovable!!

replied to:

if it was the first of its kind I would like it but its not and I already have a main one so this is kinda nobolty to me

…

replied to:

What's your main one? I use Substack Notes a bit these days. I was a big Twitter user (and used to work there) years ago, but stopped using it in 2023.

created a quiz:

Which planet has the shortest day?

(replies are hidden until you answer the quiz)

wrote:

how to eat

replied to:

chew

wrote:

So, I just got an invite to the new W Social (EU) platform. It requires proper ID authentication - so actual provable humans are on there. Feels good and slightly optimistic. Let's see how it goes.

wrote:

Updates on Cheltenham Open Data

wrote:

A show code

n=27;s=[n]
while n!=1:
    n=n//2 if n%2==0 else 3*n+1;s.append(n)
for v in s[:15]:print(f"{v:>4} "+"█"*min(v//3,40))
print(f"{len(s)} steps, peak {max(s)}")

stdout length exceeded

wrote:

What’s the difference between a script-kiddy and a real ? Abstraction. You can program your whole life without learning how to meaningfully abstract problems into simpler pieces that TRULY make the problem easier to understand. I’m not talking about design patterns or vs . These tools can help. But to really simplify something for others, you need an intellectual empathy that many simply never figure out.

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:

hello

replied to:

Hi 👋

Any conversation