any · textlog

Is there a terminal app for viewing textlog?? Kind of hate browsers.

…

just started using it and this comment is coming from there, thanks for the link

Hi! welcome! there is one that is . Not ready 100% and it has few UI bugs but it works if you manage to install it (not very hard). No automatic build process yet.

…

replied to:

dope if I find any bugs I'll PR them

replied to:

😍

wrote:

Dear alerts-that-interrupt-the-restarting-of-my-computer: haha the harassment filters in this site won't let me post what I think of thee

wrote:

𐑔𐑮𐑰 𐑓 𐑔𐑮𐑰 𐑪𐑯 ·𐑚𐑮𐑦𐑑𐑦𐑖 𐑛𐑦𐑖𐑩𐑟 𐑞𐑦𐑕 𐑢𐑰𐑒𐑧𐑯𐑛: 𐑣𐑨𐑛 𐑩 𐑓𐑫𐑤 ·𐑦𐑙𐑜𐑤𐑦𐑖 𐑯 𐑩 𐑐𐑲 (𐑮𐑨𐑚𐑦𐑑) 𐑘𐑨𐑕𐑑𐑼𐑛𐑱, 𐑯𐑬 𐑑 𐑛𐑵 𐑨 𐑚𐑰𐑓 𐑮𐑴𐑕𐑑. 𐑤𐑳𐑝𐑤𐑰 𐑯 𐑒𐑷𐑟𐑰 𐑦𐑯 𐑞𐑦𐑕 𐑷𐑑𐑳𐑥𐑯𐑩𐑤 𐑢𐑨𐑞𐑼. Three for three on British dishes this weekend: had a full English and a pie (rabbit) yesterday, now to do a beef roast. Lovely and cozy in this autumnal weather.

wrote:

Hello, textlog!

replied to:

hello! welcome! :)

wrote:

Sending this first message to figure out how to join the community.

replied to:

Seems that you already have. Welcome.

wrote:

This is really cool site but only drawback I see is 500 character per post limit. I think this should me more like 1500. or there is a limitations type something like I can do 3-4 long post per day credit. whom can i message for this feature request?

replied to:

I am certain will get back to you on such matters - creator of this platform.

replied to:

On some Mastodon instances, they post whole blog posts or massive threads and I feel this type of platform is not the place for such content. But this is clearly personal taste.

wrote:

If there's an audience, I can write about the real China beyond the spotlight

wrote:

On the lower end of the sine wave of stress and burnout. Looking forward to the ascent.

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:

!

wrote:

VirtualBox 7.2.20 telepítve, ami egy ügynöki sandbox vagy homokozó, már csak egy .iso lemezképfájl hiányzik, de abból általában mindig hiány van nálam, nem is értem, miért, amúgy sejtem, csak ilyenekről nem szoktam beszélni...

VirtualBox 7.2.20 installed, which is an agent sandbox, the only thing missing is an .iso image file, but I usually always lack that, I don't even understand why, I guess, I just don't usually talk about things like that...

wrote:

just started using yazi and immediately love it. dont know why i ever put up with gui file explorers

wrote:

Bad night, first the boy woke up at midnight and went with him, then at 4 am heavy rain started so went to bring the bike to the terrace, then thunderstorm and kids were scary, then the cat meowed at 6am. I’m okay.

wrote:

Switched from gpg to age, because pinentry sucks. With age I set both of my Mac’s security enclaves + software private key (stored in Passwords.app) + yubikey for hardware backup. Looks good.

wrote:

Hi!

replied to:

hey there! welcome 😊

wrote:

ai coding feels like it has reached diminishing returns for me. luna is my default orchestrator, routing work by complexity. in practice, usage lands around 16% luna, 48% sol, 30% astra, and 6% terra. at this point, i care less about each new frontier release. the system already finds a capable model for the job. the frontier is moving beyond my day-to-day work, so i’m happy to settle into predictable models for a while.

replied to:

I’ve found the same, albeit with Opus — it’s hard to find uses for Fable. I don’t need a model that works for longer or works on harder problems, I need one that consistently produces simple, easy to understand, code; which at this point none of them do.

replied to:

I've been there since I settled on a combination of GLM, DeepSeek and MiMo for planning, implementation, and verification flows. I'm a lot more interested at this point in having cheaper models that can consistently do the work I need. It's been a while that I hanven't noticed any improvement when I try new frontier models. I only notice they are very expensive.

…

replied to:

same here, for almost an year. At this point, I could easily live with models that were released 6-12 months ago and continue doing so. also possibly the reason why the current focus has been around agentic workflows or agentic anything, than the model capabilities.

replied to:

Coding probably yeah, but still they are bad at generating novel information, new ideas and such. They’re also not very good at seeing the bigger picture, they will narrowly perform the task but they’re not taking into account future revisions, which ends up in refactor after refactor in order to move forward.

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:

let's see how arabic letters are rendered here: بسم الله الرحمن الرحيم

Let's see how Arabic letters are rendered here: بسم الله الرحمن الرحيم

wrote:

today was a good day

replied to:

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

wrote:

ran 5km daily for 7 weeks now

replied to:

wow congrats!

replied to:

Wow, respect!

Any conversation