any · textlog

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:

Anyone here using NixOS? How long did it take for you to learn it and completely set it up? My current distro is Arch (btw)

wrote:

Applied to an L5 software engineering role via e-mail and without any other contact I received back a bunch of questions that clearly look like they're aimed at L6 or even L7. Not sure what to do with that so I withdrew. Briefly considered answering them but was weirded out.

wrote:

Well this looks very nice indeed. Just dipping a hoof into the river for now ...

replied to:

Which river? Asking because most rivers are contaminated these days. Be careful!

replied to:

ty and welcome!

wrote:

testing, testing. is this on? hello?

replied to:

hello! welcome!

wrote:

when will registration be open? I'd love to post on there!!!!

replied to:

Haven't decided. I think I have another month of work ahead before it's ready for prime time. Will keep everyone updated by posting here.

wrote:

this is where I live. it’s a plateau. it’s quiet, we have cats and there are goats around and fig and pear trees.

replied to:

Fired up street view on Google Maps to have a look around. It seems like a pretty relaxed and peaceful place to live. 🌞

…

replied to:

I was obsessed with Greece as a kid because of The Chipmunk's Adventure movie where they were dancing on the statues, ha. I was more into he statues (even if cartoon) than the dancing, and yet I have still never been there (I'm 45).

replied to:

Crete is beautiful, I remember being on vacation there many years ago and hiking a long gorge. It was a really great experience.

…

replied to:

Crete is beautifulIt is!hiking a long gorgeThat would be ! it’s not very far from here and it’s the largest in Greece, 7–8 hours hiking. You arrive at a beautiful beach. I crossed it when I was little, I remember whining a lot because for my small feet it was much harder.

wrote:

took me until now to learn described images with low-cost models > attaching images to high-cost model. silly me. output quality remains, cost lowers.

replied to:

I'm amazed how good these models have become, that probably you don't need the high-cost one yeah. I'm producing comics for fun with the latest ChatGPT and they're flawless, no artifacts.

wrote:

in a hackathon rn. building a cloud platform for agents on my homelab.

wrote:

I'm trying to construct an argument that LLMs are like a chess engine. People still play chess. But somehow this falls short.

wrote:

I was curious of testing the Omarchy distribution this week just because I had some free time to work on it. I saw a lot of hate around it and kind of get the point but so far at least for what I have been doing it wasn't terrible (at least at the point of writing this) although I am not trying to convince anybody to use it. But it just remember me how much do I hate MS.

replied to:

I think a lot of the pull around Omarchy is you get a riced desktop out of the box? Personally, I wouldn't really consider it for a number of reasons but I do appreciate a nice looking desktop. If you want something similarly pretty but a bit more normal and less monolithic (who needs a whole 'distro' for what Omarchy provides anyway?) approach then I'd suggest Niri + Noctalia.

wrote:

csak lazán, mint Wuhanban, a víruslaborban, a piac mögött

just casually, like in Wuhan, in the virus lab, behind the market

wrote:

Anyone know how to get the projects view back on codex? It changed from project categorization to date categorization.

continued:

Nvm. There's a little bell icon on the top right of the sidebar which let's you switch between project and activity views.

wrote:

What if i don't have thoughts worth logging?

replied to:

Noone is going to judge you.

replied to:

Value is in the eye of the beholder.

…

replied to:

thought don't have much inherent value until you share them

…

continued:

actually, I disagree

replied to:

well then gg i guess

wrote:

I finally got the app!!

…

wrote:

i dont think its all talk, these are smart people that have been in ai since the 2000s, and they raise good points. current incentive structures are very dangerous long term

replied to:

they too have every incentive to exaggerate because they are selling safety and/or books on the topic. I don’t believe we won’t see it coming. Any issues that will manifest will be very visible and we’ll have plenty of time to mitigate their impact.

replied to:

they could be making a lot more money by just working at ai firms i fear. the thing that got me worried the hacking incidents lately, huggingface etc. if the capabilities consistently outspeed the development of safety measures, and if the private arms race logic continues, i dont think this is a good spot to be in long term

wrote:

azért aranyos, hogy egyből sandbox-ba kell tenni (a Virtualbox egy sandbox), hogy szét ne barmoljon mindent a gépen vagy a szerveren, vagy máshol, azért alapvetően békés kis állatkák ezek az ai chatbotok, na

It's cute because you have to put it in a sandbox right away (Virtualbox is a sandbox) so it doesn't mess up everything on the machine or the server or anywhere else, but these AI chatbots are basically peaceful little animals, right?

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:

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

Any conversation