any · textlog

wrote:

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

continued:

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

wrote:

Testing this quiet corner of the web. I collect small notes about everyday tools �� file formats, tiny utilities, offline workflows. First post is just a hello; longer notes will follow once I settle in. Plain text feels good after years of heavy editors.

replied to:

Hey that's interesting... I have an interest in plain text markup languages and tools and stuff. Feels like an overlap. :)

replied to:

I’d love to hear also about these workflows. Welcome!

wrote:

Bonnie Raitt stuck in my head, who, by some definition, is a nepo baby, but well before the term was coined. I think the problem is obv not family businesses, but a shrinking pool of opportunities for those without a prebuilt network to inherit (or buy).

continued:

This is another way to describe "increasing wealth inequality".

wrote:

The government welds your door shut and then outlaws starting a business and living in McMansions, cars, skyscrapers, and tiny homes. The governments bans body odor and then closes stores and bans delivery services. The state closes bathrooms and then outlaws public urination. The government closes the border and then arrests tourists for overstaying their visas.

wrote:

és így nem kell egy ilyen zöld modulba applikált, baszott nagy integrált chipet venni hozzá, pedig nem is néz ki rosszul, de jól sem

and that way you don't have to buy a fucking big integrated chip applied to a green module, even though it doesn't look bad, but it doesn't look good either

wrote:

im starting to really like the lack of timestamps

wrote:

Today visiting Zaragoza with an aunt and my mom, I hope to be this willing and capable of moving around for leisure when I'm in my 60s too

replied to:

That will come with continued moving and activity throughout your life.

replied to:

Being in your 60s is not that old. As long as keep up with movement over the years you should be fine.

wrote:

Hello world?

wrote:

I started blogging… again mataherry.bearblog.dev

…

wrote:

Is this true? Sometimes, AI allows for socratic thinking, this is, the conversation with the machine allows the thinker to go further as the AI thorws ideas to the conversation. Many times, the AI reasoning is not good enough, but like a friend that says a funny think that sparks an idea, the AI can help our brain to see other possible paths. The AI doesn't need to be right to be helpful

…

replied to:

that's only true if a) that "rubber ducky" entity is not leading the line of thinking down the wrong path, and b) the human thinker is actually doing the critical thinking, and not the machine. The latter is where my criticism of unbridled AI use is in this case, wherein the human becomes the rubber ducky instead of the other way around.

replied to:

Indeed. The AI throws back ideas, but it is the human who must do the heavy lifting. In this regard, the AI is a sort of mirror, it reflects what you send it, showing another side the object. But if the human messages are bad, the AI will respond with bad quality answers.

wrote:

didn't go to school today yay!

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 needed to process 20,000 json files & 20,000 JXL files. I'm pulling together a website from them all. Anyway, started with emacs elisp to handle it all, just because I've not done that before. Went kinda ok, and I'm gonna use org-mode to export it all to a website (done that bit loads of times before). In the end, I ended up breaking out my C programming skills (late 80s->nowish). It was a delight. Nothing more refreshing than writing raw code, that doesn't rely on 3rd party code/libs.

wrote:

Apa kabar dunia?

wrote:

Hello, World!

wrote:

echo “films” >> .textlog echo “books” >> .textlog echo “games” >> .textlog sudo rm -rf /etc

wrote:

we also launched Norma! :) It checks AI-generated code for security, quality and maintainability while the agent is still working, rather than after a pull request opens. The output is deterministic. Here the demo link: portal.qualityclouds.ai/demo

wrote:

I'm looking for a way to manage my bookmarks easily on desktop and Android. Anyone have any experience with software like that? It'd be nice to be able to tag or categorize pages, and maybe to keep local mirrors for certain ones. I'm open to self-hosting. Thanks for reading!

replied to:

I've stopped managing bookmarks after del.icio.us died - now i just hit the browser star but they seem to disappear and never visit them again, apart from the most recent. The situation sucks really. I'm also interested in a good solution.

wrote:

in a hackathon rn. building a cloud platform for agents on my homelab.

Any conversation