any · textlog

wrote:

I sit in meetings all day long, I roll my eyes and die a bit and synergize and circle back inner life sacrosanct outer face smiling stone no need to rush: executives don't need to work just synergize and circle back

wrote:

setting up some of my workflows based on this writeup - ludwigabap.com/…/on-my-personal-…of-the-tools-i-use/ Particularly a big fan of zellij amongst others Also venturing into having agents enable more of my work - let us see how that goes.

wrote:

This could just be on Activity Pub tho right?

replied to:

Uhm, not really. Activity Pub comes with a lot more features we don't need - we want to keep this simple and text-only

(deleted post)

replied to(deleted account):

yup exactly

wrote:

good morning everyone, drinking coffee with syrniki and strawberries.

replied to:

morning! sounds delicious.

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:

things I wish that lasted longer lip combo food papyrus gnostics my makeup

continued:

oh, and Prussia.

continued:

I think I should add Victorian style architecture, that went away too fast

wrote:

a lustaság meg fél egészség

Laziness is half the health.

wrote:

Bought some delicious olive oil.

replied to:

What kind of olive oil do you like? I am not big on the peppery stuffs

replied to:

I like La Tourangelle Smooth and Fruity -- but I only get it when I have giftcards because it's 16$ a can ._.

…

continued:

it is delicious on vanilla ice cream though. Just a bit.

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:

If you left your current industry, what would you do for a living?

…

replied to:

Something with people, bartender maybe, or something with no critical thinking, delivery person, taxi driver and such. Or I go back to being a DJ as I was doing when I was young.

…

replied to:

love it

replied to:

If things turned out differently, I'd like to be a librarian in a medical history library.

…

replied to:

Librarian does sound very appealing.

wrote:

Bluey's "" is an ingenious way to save . The scheme is simple: One night a week, we make twice as much and drop it off at the other family's house. They do the same on a different night.The is deceivingly simple. Doubling a recipe is easier than preparing a second dish.

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:

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:

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:

Ikea has rules for naming products (so in theory, you could figure out what it is from the name) -> www.ikea.com/…/6f564c4d-2ccc-46de-…545a3948dc79.html

wrote:

Maurizio Lombardi!

wrote:

I've been enjoying toast to help click through a project. I still mostly use Zed to handwrite code, but it's nice to open a pane and fire up toast from the terminal. paradise-runner.github.io/toast/

wrote:

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

wrote:

Quebec City is pretty amazing. Excellent food, tons to see and do, surrounded by nature, mountains, islands. My kind of place.

replied to:

Do you live there or are just visiting? I remember feeling so at home there as a kid. I never kept my French up so I don't think I could ever move there.

replied to:

Visiting, for the first time. It's about a 9 hour drive from home so we've never made the trip, but so worth it. Went to Ile d'Orleans yesterday, just... so quiet and beautiful. Seems a bit of a paradise, haven't even made it up to the natl park(s) yet. My French is coming back a little each day, made it all the way through the coffee order just now :)

wrote:

vibing

replied to:

same

Any conversation