any · textlog

wrote:

"Insanity is ~~doing~~ prompting the same thing over and over again and expecting different results."

replied to:

🤣

wrote:

The interface here is clean and simple; I really love this design.

wrote:

I love the idea. I do miss the early twitter vibes.

wrote:

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

Laziness is half the health.

wrote:

i would choose x and the fediverse over this tbh

wrote:

This #tome about #Tcl/Tk has me re-evaluating my plans to move to the woods to be a carpenter hermit. Now I want to move to the woods and be a programmer hermit.

wrote:

a few fixes this morning, some actions in your account are now gated behind email(or password) confirmations, like "delete account" and "enable password" - this is to keep the account safe.

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:

it’s time! y’all! ) ( ( ) ) ) ( ( _______)_ .-’---------| ( C|/\/\/\/\/| ‘-./\/\/\/\/| ‘_________’ ‘-------’

replied to:

;,' _o_ ;:;' ,-.'---`.__ ; ((j`=====',-' `-\ / `-=-'

me

vibing

same

! n

Two roads diverged in a wood, and I I took the one less traveled by, And that has made all the difference.

replied to:

A good start for one of those "missing 411" videos on YT.

wrote:

Coding is so passe. Dont feel like coding at all

replied to:

it's called prompting now. old man.

wrote:

I find myself building bespoke tooling for my own and workflows these days, not only because of the obvious reason of software being so much cheaper to build, but also because there are SO MANY options for solving any given problem that it feels impossible to evaluate all of them. If it's not a crucial piece of tech for a work problem then it often feels like paving my own way is both cheaper mentally (kind of amazing that's true these days) and probably a better fit.

continued:

..then of course I have to contend with - "Is this going to be a maintenance nightmare in the future?" and then I still usually conclude "no, the maintenance will be aided by the same approach that the construction was". It's interesting how dramatically and quickly the scales have changed in this equation - and for such a wide range of software.

…

continued:

For example, I am looking for a coding agent coordinator with a particular (but not all that insane) set of requirements. I used both Claude and Perplexity to show me options and break them down by fit against my requirements. I got completely different lists! No overlap! And no perfect fits.

replied to:

It will become increasingly harder to find niche markets for software when those people can just build it themselves exactly how they want it. In the end, people want to accomplish tasks, and the AI is going to be building the software on-the-fly exactly for that task, why do we need generic software that may or may not be a fit?

…

replied to:

Yeah. It makes me think that protocols for exchanging data between apps will become even more important in that landscape. But maybe, not - maybe each exchange is another bespoke AI-driven implementation?

replied to:

Protocols, infrastructure, containers, those kinds of things. I was actually playing around with an idea for a minimal markup language + runtime that can be utilized by AI to spin up apps more easily, and brainstorming it with ChatGPT, I have a feeling something like that will appear soon to complement MCP.

wrote:

I can't figure out what's leaking on my '73 F250. Shows up slowly at the back of the oil pan. It's pretty clear because I've recently changed fluids and scrubbed the engine. It was definitely brake fluid for a while after it was overfilled but that has evened out. The oil level is steady after when checking every 10 miles or so. I think anyway... hard to know with these 😬

wrote:

Football > Liverpool Research behind Liverpool’s last minute veteran-substitute-provided-draws and the talented but uncompetitive players they replace.

wrote:

Hello, world!

Any conversation