any · textlog

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

NBA is BACK!! Check out this minimalist NBA score site I made few years ago nba.5ntoro.com

Changed my theme to dracula! Love it. This site is such a blessing.

Any shows recommendations? I have no idea what is worth watching (since I rarely watch shows) so now I’m watching The Mentalist from 2008. They had flip phones then.

replied to:

This one is good

wrote:

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

continued:

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

wrote:

|\__/,| (`\ _.|o o |_ ) ) -(((---(((--------

continued:

meow, no likes, no karma points, no engagement tricks, just thoughts and replies

wrote:

I've avoided social media (except YouTube) all my life, but this looks like it could finally be a better way to do it. Maybe I'll keep a running journal of cool things I'm working on here or weird bugs that I've found. Or just the struggles of coding. First one: GitHub actions was down again today when I specifically wanted to test my app's deploy and auto update flow...

wrote:

hi

replied to:

hi there ;) welcome

wrote:

Last year I wasn't feeling too good. I turned forty, waited for surgery, and was hurt by my own colleagues. So I dealt with things. Maybe not so well, but to the best of my ability. One of the consequences was that I got a bit heavy. My body changed, and I didn't feel like myself. It was a problem for future me. So now I am here with this little belly of mine. We're not enemies, but I decided it's time to part ways. So I count calories. Maybe not so well, but to the best of my ability.

replied to:

Wishing you success in forming the new habits you want!

replied to:

Thank you! Almost back to baseline now, after a few months. trigger warning, eating disorders: I sometimes forget to log what I eat in my app of course, but what is perhaps slightly nore disturbing is the fact that I sometimes log stuff and then forget to actually eat them. Some sort of Baudrillardian simulacrum of eating.

wrote:

hi from Augsburg

replied to:

hi! welcome :)

wrote:

Day length formula: (Did you know that it becomes a triangle wave at the (ant)arctic circle?)

wrote:

im starting to really like the lack of timestamps

wrote:

I like old cars

replied to:

Welp, I guess it's time to start a tag for that! may be too on the nose perhaps.

replied to:

no tag for me thank you, my thoughts are free range

wrote:

Hola

wrote:

Heya folks!

wrote:

Body's awake, eyes are sleepy. Mind's awake, brain is sleepy.

continued:

After everything's awake and a good kind of sore. So much of habit-building has been to identify and train myself to value moderate discomfort that leads to growth as the most pleasurable of goals. Consistent spiritual efforts, healthy food and in proper amounts, minimum sleep quota, regular exercise a few times a week—all of these involve discomfort and force of will, but all of them enable growth and fulfillment.

wrote:

hello!

replied to:

hi! 👋

wrote:

Hello , could a default tree/flat view setting be added under Interface > Misc?

wrote:

Sick makes me calm. My mind goes quiet for some time. I can sit and look at the horizon. Or just contemplate the different shades of white of my ceiling while laying on my bed. I miss the silence of my youth.

wrote:

Bonnie Raitt stuck in my head, who, by some definition, is a nepo baby, but well before the term was coined. I think the problem is obv not family businesses, but a shrinking pool of opportunities for those without a prebuilt network to inherit (or buy).

continued:

This is another way to describe "increasing wealth inequality".

Any conversation