any · textlog

Hacker News, Textlog... what other websites should I be visiting each day?

maybe?

Beautiful day with local community. Lots of physical labor, all my joints are swollen, back sore, soles of my feet aching, but a beautiful day of people working together and recognizing what a special group we have.

wrote:

"If you don't think of yourself years ago as an idiot... Perhaps it is because you still are one." In that spirit I started to write down my own thoughts. I think I am meant to call it a blog. Years from now I can read my old words and cringe at them. www.gruntsoft.com/words/

wrote:

Routines in Claude Desktop create Claude Code sessions, so hourly routine litters in iPhone' Claude.app Code tab. Screw it, built my local version of AWS StepFunctions - Stepper - and run skills as state machines there.

wrote:

akkor inkább holnap sürgősen elmegyek az állatparkba

Then I'd better go to the zoo tomorrow urgently.

wrote:

I like the minimalism of this site, very well done imo. It is more engaging.

replied to:

Appreciate it, thank you!

wrote:

I like this guy I drew ibb.co/vxRtMxQC

replied to:

Ha! I imagine there's a huge amount of truth there.

replied to:

andddd now he's Secretary of state!!!!

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:

Experiences of life spring from the contrasts.

wrote:

hallo, whirled

wrote:

The strange thing about modern loneliness is that everyone is technically available.

replied to:

🤯

replied to:

Maybe validity to “distance makes the heart grow fonder.” Scarcity is valuable.

…

replied to:

Too true.

replied to:

Similar with having access to so much critically acclaimed media, but they are so emotionally or intellectually draining that I find myself rewatching ol' familiars. Availability seems just one aspect, and perhaps not even the most limiting factor. Maybe most people have a "limit" on number of "lives", as in number of times you fall in love, change, get inspired, connect, etc..

wrote:

Putting a slide deck together (outside of work), despite agreeing with Tufte on this matter. I’ll also create a handout that tells the story better than the slides and deliver that, too, but was asked to produce a slide deck, and I think that’s part of the “effort theater.” Using Beamer for the slides, but not a theme that looks like Beamer because humans have eyes.

wrote:

This is my first note, there are many like it, but this one is mine.

wrote:

Why did the programmer quit his job? revealBecause he didn’t get arrays.

wrote:

How can I change an organisation with hundreds of frustrated employees, when I can’t change my own life with only one person. Does a different person run a company and a different person live their life? I doubt it.

replied to:

I think so, actually. My wife runs my household, I run my engineering org. As I get older I do see the two aspects of my personality start to merge but they are still divergent and were much moreso in my earlier years.

continued:

and to be clear, I don't mean that I offload all the work to her by any stretch. It's just that I'm much more outspoken and opinionated on the specifics of work life versus home life.

wrote:

Up up and away. Not sleeping, ok. Run run and breathe. Not waking, leave.

wrote:

hello, hello.

wrote:

Asked Claude to implement a game based on a text quest book I played in 90s. Let’s see. Tried to play the original text, downloaded epub. Well, I died after 3 minutes in the game.

Any conversation