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:

For the first time in a couple of year, I wove a rattan basket today, and the best part is it only took two hours when I was expecting it to take all day

wrote:

is where all the linux fortunes get injected with new electrons, new spins, new universe fairy dust to have a second eternal life?

wrote:

murm

wrote:

Task that I would estimate a week of work done in 10 mins with the AI. What an amazing era we are entering.

wrote:

Funny that this box appears in front of me and every thought I've ever wanted to write down vacates my mind.

replied to:

I do way better going out and writing on pa[er first.

wrote:

I subscribe to the Tony Stark school of engineering. "Sometimes you have to run before you walk." Earlier this year, I built my own static site generator. I hate literally every static site generator out there (not joking). get-taxus.org

wrote:

text log Minecraft server when ?

replied to:

What's your Minecraft skin?

…

replied to:

really? (⁠⊙⁠_⁠◎⁠) I just saw it before and felt like it described me sometimes (⁠•⁠ ⁠▽⁠ ⁠•⁠;⁠) what game is he from!??!

continued:

or show, or any other media,,

replied to:

That's so funny, I've never seen anyone get into it by this quote alone, he's the antagonist of the game The Elder Scrolls III: Morrowind. The quote is even better when you hear it in context, but don't spoil the experience, you ought to play the game and hear it for yourself. What do you normally play?

replied to:

I play tf2 and fallout NV(if it wasn't obviously enough)!!! when I were younger I was a big fan of gacha life lol

…

continued:

warning: possible self-harm content
click to view anyway

spelled obvious wrong. kill me now... go ahead I deserve it ..

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:

There is beauty in simplicity. Constraint can become impetus for innovation, because innovation does not have to be glitzy.

replied to:

좋은 문장입니다.

That is a good sentence.

…

replied to:

Word! It's a travesty that complexity seems to be lauded and rewarded over simplicity.

replied to:

My favorite innovations in my own work -- and to be honest, I'd prefer to call them "discoveries" -- came from simplification. There's a beautiful moment when a stack of difficult, conflicting ideas collapse into a tighter, simpler structure.

…

replied to:

Enlightenment

wrote:

Am in a beautiful national park right now, drinking with elks, but the lack of strong internet makes me nervous :(

wrote:

Lots of slop PRs at $WORK. Trying Claude Tag, works well but token-billed, daily usage over 100€ for three sessions.

replied to:

ouch, that's a month for virtually unlimited Codex. why so expensive?

replied to:

Anthropic uses token billing for Claude Tag. But it’s different from CC - it’s an AI Colleague, so I’m asking PM and EM to talk to it instead of to me - accountability switches.

replied to:

so it's expensive and you're left with dealing with the PRs others generate for you?

…

replied to:

No, Claude Tag’s PRs are my team’s. Slop PRs come from outside of the team. Anyways, dozens PRs per day is draining energy. Don’t want to review anything anymore.

wrote:

The seductive power of using to just-get-it-done is very strong. One can't hurry quality. One can iterate quickly though in the hope of arriving somewhere good.

replied to:

I direct a plan, then break it into phases, and each phase into sections with tasks and sub-tasks. The plan outlines all phases, but only write tasks one phase at a time, since things change. That's how I've been working with for the past few months to a year. It has been amazingly consistently high quality. just-get-it-done is for the rough sketch or proof of concepts (I do those too and a lot of them) but never for a quality product.

wrote:

akkor ennyi volt a türelem, megyek haza nemsokára, és lebontom a dual bootot a lapcsiról, és a körmére nézünk már ennek a Gemmának

That's all for now, I'll be home soon and take the dual boot off the laptop, and we'll see what happens to this Gemma.

wrote:

I'm going to attempt to build a take on a board game I loved, from 1989, MBT, by Avalon Hill. Watch me face plant. Starting by trying to understand hex math.

wrote:

WezTerm for local and remote multiplexing really is the ideal experience - it's so much better than using zellij, tmux, zmx, and friends.. I don't think they pitch this feature hard enough on their site. I think the in-terminal multiplexers have their place - e.g. if you need to access from mobile (no WezTerm there) or on machines where you simply don't want to install WezTerm for some reason. WezTermrm could probably eliminate that last one by packaging just the mux server.

wrote:

I had a great summer vacation

replied to:

hey that's great! happy for u, places you visited?

replied to:

My childhood home. I saw enough of the world, now rediscovering what changed back home.

wrote:

I recently made a 10 foot sailboat and took it on a fifty-mile adventure in the Salish Sea. I can still feel the way the wind pushed the boat over the water. I kept imagining the way that our progress was the sum of the vectors of wind, current, and gravity.

replied to:

Sailing feels amazing. Wind, current, and gravity are pretty good analogies for our path in life. Thanks for sharing. Enjoy your future sailing trips.

wrote:

a Gemma 4 a Google tulajdona, nem tárol más adatot, csak amiről a gépen fogom a Rezső nevű OpenClaw ügynököt kérdezgetni, helyileg azt sem itt tartja, hanem a felhőnek csúfolt infrastruktúrában, ami legvalószínűbben valamelyik brazíliai esőerdőben foglal helyet vagy Finnországban

Gemma 4 is owned by Google, it doesn't store any other data, except what I'll ask the OpenClaw agent named Rezső about on the machine, it doesn't keep it locally either, but in the infrastructure mocked as the cloud, which is most likely located in a Brazilian rainforest or in Finland

Any conversation