any · textlog

wrote:

’ keybindings are easy and the best out there, they are mnemonic. C-c k p l - kubernetes-pods-list M-g n - go next C-h v - help on variable M-s o - search occurrence

wrote:

I wonder, is life best lived like a job? I.e set goals for yourself and then work to achieve them? Today I realised how passively I have been living mine so far, but maybe that's ok? I don't want a second job.

wrote:

My first post on Twitter in 2007 or so was kinda about the utility of broadcasting what was on my mind. :)

wrote:

hi everyone

wrote:

So annoyed that reddit is gating read-access to it's threads. What's up with that?? (╯°□°)╯︵ ┻━┻ (thx ascii-art)

wrote:

There are many distractions. Much is way too verbose. A calm, quiet and “distraction less” experience suits me better. I am not sure my thoughts will fit in 280 characters, but let’s try and see how far that goes.

wrote:

I'm having way too much fun painting backgrounds which breathe and flow, made out of neural cellular automata, into the game I'm making today.

wrote:

hi all

replied to:

hello!!!

replied to:

hi mate 👍

…

replied to:

hi 👋

…

replied to:

yoooo

replied to:

Hello from 🇮🇩

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:

"Insanity is ~~doing~~ prompting the same thing over and over again and expecting different results."

replied to:

🤣

wrote:

When I read about in reputable , I relate to almost everything that is described (keeping in mind that no two autistic people are alike). However, I always read the sections on with bewilderment. I don't identify either with the obsessive need to make eye contact, which UK and US books often mention as behavior, or with the difficulties in making it.

continued:

I suspect—and this is the interesting part—that there are significant cultural differences in this regard. In fact, the reputable Spanish books on autism that I have read don't address this topic (if I remember correctly).

replied to:

Unless I am attracted to the person I almost never maintain eye contact while talking to them. I’m from Greece btw, doing eye contact is normal, I see others do it, so I diverge there.

…

replied to:

Definitely people here do intense full locked eye contact, which I can’t do, unless I’m attracted to the person as I said. Even then I’ll move a bit around the face because it’s uncomfortable even then. But others just lock in completely I see them doing it.

replied to:

OK. I guess that Greece may be similar to Spain. I feel comfortable hanging with greeks, in Greece and elswhere. Then, if I don't look at the eyes, but others do. I guess that I'm very good at masking that I don't look at the eyes. I never got a comment related to eye contact.

replied to:

I don’t think it’s something people notice immediately and consciously think this is wrong to make a comment, they will probably just not feel the same connection or feel something is off about you in general or think that you’re busy thinking other things. It’s not the only case to not make eye contact with someone, you might just not like them. That’s probably what they will sense.

replied to:

This is probably the right answer. I guess I have to forget about it. The kids I think about it the better.

wrote:

Tax wealth not work

wrote:

"Sharing economy" once meant something. You'd Uber someone B→C when already driving A→B→C→D; you'd AirBNB your home when vacationing and stay at someone else's home who was doing the same. No driving just for Uber; no houses just for AirBNB. I fear this history will be forgotten.

replied to:

Agree, it was once like that. But a very long time ago and for very short period of time. Then, capitalism did its tricks.

replied to:

My hometown is a popular tourist destination and we no longer can rent apartments on a year-basis. Everything is AirBnB and they only rent them to locals pretty expensive and off-season. As a local I can't live in my hometown anymore, so I'm staying in the mountains.

…

replied to:

one good example of this is actually 2good2go, no?

wrote:

In other news, I'm circling what sure looks like GCP overbilling us by over $1M/year going back as far as I can see.

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 world!

wrote:

i love indian food.

wrote:

I think I’m gonna read devil man crybaby, I’ve always heard of it..

continued:

Oops! Looks like that’s the name of the show -_- I’ll give both a shot

wrote:

Good morning, techno. Konstantin Scharf - Still Moving

wrote:

I am a remote worker, and has been for 4 years now. It works great. But the owner of the office I've been renting have sold the building, and the new owner has different visions. I could work from home, but my 3 month daughter is a screamer. I had a great, cheap deal. All alternatives I find is like 3x the price.

replied to:

You gave me an , Airbnb but for office space, you can only go in the day, get at least a desk/chair/internet. Might exist already idk.

replied to:

Not a bad idea. I know some people rent a single desk in some other companies office. Problem is you kinda need to know the owner to find those deals

…

replied to:

A company called Spacious to do this with restaurant spaces that aren’t used during the day. Always seemed like a good idea to me, but they went under.

Any conversation