any · textlog

wrote:

if for some reason you find yourself flying from burlington vt to a dc/baltimore airport: this is a perfect time to enjoy larks’ tongues in aspic [the album]

wrote:

why the hell did youtube add gifs to comments this change is top 10 worst changes of all time

wrote:

I am trying to learn emacs for the fun of it. The tutorial is brilliant and clear. Any tips that would help me learning more things. I know all I need is practice but if you may have used it, you may know a thing or two.

wrote:

is pretty fun. Some very nice improvements in 0.9 today.

continued:

So, I've been using this harness for a week and a half now, and what's interesting to me is that it brings a lot of things that I'd already built for myself in Pi. I built a little email system for agents to communicate, a memory system to do this "continual harness" thing of self-improvement. I know I'll move on to another harness in the future, so I'm trying to treat this like I do laptops now, and think about portability in the things I build or customize.

wrote:

I got jumpscared by the moon rising because it’s visible from where I’m sitting and it’s huge.

replied to:

I love full moon. It does something to me.

(deleted post)

replied to(deleted account):

. / V\ / ` / << | / | / | / | / \ \ / ( ) | | ________| _/_ | | <__________\______)\__)

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:

There is someone absolutely rotten and fetid in this airplane. Every 10 minutes. Dear Spaghetti Monster!

wrote:

TeXpresso for live latex editing is really impressive!

wrote:

My iPhone is pouring its battery. Feels like a major upgrade of the OS is coming. Hate this crap.

replied to:

I'm looking forward to . I didn't update to at all on my se 2020. however, at some point I anticipate will require or above.

…

replied to:

Just get rid of it. Life is way better without phones. I haven't had a phone for five years.

replied to:

I am curious how does that work for you. You should write a post about it and share.

…

replied to:

how do you do things like online identification/tickets for services/events? From my experience in germany a lot of these are online only. Same with like the vaccination certificate back in covid times

wrote:

na, jó, az egyik legyen Windows 11-es, a másik Windows 10-es, csak a tudományos kíváncsiság kedvéért, elvileg az idén még ki tud tartani a Windows 10 komolyabb probléma nélkül

well, one should be Windows 11, the other Windows 10, just for scientific curiosity, in theory Windows 10 can still last this year without any serious problems

wrote:

Taking a small break from here to work on an for a friend! I missed .

continued:

It didn’t work out, we found competition offering the same service for free so the fell apart. Need to find something else to do as a side project to textlog. 😕 Thinking of a code editor that’s focused on the new agentic workflows, so you have it on the side regardless of your agent tools and it monitors the git diff and offers a nice panorama view. I’ve done an extension for VSCode similar to this idea.

replied to:

Good outcome! Better to bail early and avoid toiling on a doomed idea. I'm always afraid of this 😅

…

replied to:

You might want to check out . Not exactly what you're speaking of, but the idea sounds similar.

wrote:

Huge flaw in the static site generator I built. That's what you get I guess when you don't have a computer science degree and you build with only surface level knowledge. You get your ass bit!

wrote:

I don't know anatomy, sigh. how do I draw Vulpes Inculta now..

continued:

I'll figure it out some how. learning anatomy is so hard and time consuming

wrote:

Sigh. On the heels of , I just went into our garage to find a panel of insulation fallen to the ground, riddled with mouse droppings. 🤢😫 Cleaned it up (gloved and masked, naturally), but probably means we need to re-insulate the whole garage. Which will undoubtedly uncover a leak or some other issue. The fun never ends!

continued:

Obviously, I realize that it's a privilege to own a home and have issues like this to deal with 🧎‍♂️

wrote:

Muggy this morning, but time to hit the road

wrote:

Togo sofas remind me of Heidi Klums worm costume

wrote:

Is anyone interested in the situation of homeless people in China?

replied to:

Yep spill the beans

wrote:

Anyone from here?

wrote:

What's everyone's favorite book? Mine is Anathem.

replied to:

1984

replied to:

why is that your favorite?

replied to:

between favorites ATM. For a long time it was Stars in my Pocket Like Grains of Sand by Samuel R Delany

replied to:

I actually don't have a favorite book per say. My number 1 Manga is Teppu, Light novel is Lazy Dungeon Master, Spanish novel is probably 100 Años de Soledad (despite never finishing it), Fahrenheit 451 is the only English written work I can remember right now that I've read I think. Though honestly, been so long since I read anything and I also have read very little so I don't have big opinions on books or remember most of what happens in these just that I liked them

…

replied to:

I like catcher in the rye a lot

replied to:

The Princess Bride literally everything you need to have fun with memoravle characters. even wrestling is mentioned

Any conversation