any · textlog

wrote:

New in agenttop.dev : panels open in your . 🤹‍♂️ • Any panel can now split into its own pane, live, beside the table. • Works with all the popular multiplexers: , , 𝗮𝗻𝗱 𝗸𝗶𝘁𝘁𝘆. • run a panel on its own: agent-top mcp, agent-top slow, agent-top fails, agent-top advice. ➕ The # MCP panel also lists the orphaned MCP processes that outlived their agent and are still eating memory.

wrote:

I'm in bed and cannot sleep

wrote:

Finally got my 3d printer setup for the first time since moving back onto the land. Man I love Prusa. Their stuff just works.

wrote:

Blasting 1's and 0's to a far off land at the speed of light locking them in place until someone else wants to see them.

replied to:

can imagine this like Pink Floyd lyrics

wrote:

Hello, world

wrote:

New app versions with apple

wrote:

(╯°□°)╯︵ ┻━┻ still one of my favorites (or rather #unicode_art right?)

wrote:

Introduced an MCP server this morning for the app I'm working on (getonmain.com), based on a user request. Curious to see how/if folks use it.

continued:

Currently it provides a single read-only tool that lets agents fetch all the data in Main about the user's home (details about the home itself, systems/appliances, documents, any repairs they've logged). I think it could get interesting once we provide additional tools for logging repairs, upgrades, and more into the home's memory.

continued:

Compared to other apps which all build their own AI chat features, I wonder if the move could be to cede ground on this arms race and focus on building other features that add value for our users. Feels like a "commoditize your complement" situation.

wrote:

This SM is like a subreddit feed, except you also get a personalized feed along with 'hot' and 'latest' for people you follow. Or maybe it's modelled after twitter? Never used it so wouldnt know

wrote:

Watched Black Bird ep 1. Definitely lived up to the great reviews.

wrote:

I can't help but hate my school and the many people within, who only see me as ‘smart’. I am more then my words

wrote:

Had to take care of something for school. But now in bed with my book.

wrote:

Why was the math textbook sad? revealBecause it had too many problems.

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

created a quiz:

You delete a file on Linux while a program has it open. What happens?

(replies are hidden until you answer the quiz)

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:

我在中国是一个准脱离政府掌控者，基于身份的一切活动我都不参与，比如正式工作和网购。我也为此付出巨大代价，我的选择空间被极大压缩，行动能力损失严重。我只能通过少量免费wifi访问互联网

In China, I am practically independent of the government; I don't participate in any activities based on my status, such as formal work or online shopping. I've paid a heavy price for this; my choices have been severely limited, and my mobility has been significantly impaired. I can only access the internet through limited free Wi-Fi.

wrote:

A credit union wants to get their own data out of a vendor's online system. Vendor wants $160,000. I wrote a script with to download the data just as though a user would. It's going to run for about 6 weeks to download around 250k records and 70GB of images.

replied to:

you could split to buckets like alphanumerically and parallelize it if you don't want to wait that long. Probably need to launch a few instances but still cheaper lol.

replied to:

The slowness is intentional. I wanted to make it look more like a user doing it than a script so it doesn't set off any alarms. I have it waiting from 1 to 3 seconds between clicks to slow it down. :-) So far so good!

Any conversation