any · textlog

wrote:

code quality is about coupling. coupling is not a technical property of the code bytes. code acquires its meaning in contact with the cultural environment, and coupling is about meaning. two constants with no semantic relationship are nonetheless coupled in pragmatics if they refer to the same domain concept. if your goal is to minimise the time integral of future work, you must understand your domain: it decides which lines will need changing. to carve up a codebase is to carve up the world.

replied to:

I think you're right but executing on that idea requires a lot of care. It's similar to how functional programmers pathologically fear state; sometimes coupling/state are a necessary evil in order to keep the theory simple.

replied to:

true! i might have been wiser to say: code quality is about managing coupling across the whole system. extracting a coupling sometimes requires you to introduce complexity beyond that which the extraction reduces.

wrote:

thanks to ai I genuinely hate the word "genuinely" now 😭

wrote:

If you close your eyes and imagine some text, why it looks like ai-generated?

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:

I like this concept

wrote:

Big holiday today in Greece, bells ringing, bands singing, people gathered in the village, eating, enjoying life and I'm spending it inside coding. I don't feel bad and I'm not , it's just that I'm a bit odd. I don't like these forced gatherings. Feel stressful.

…

replied to(deleted account):

It’s called Dekapentavgoustos, meaning 15th of August in Greek, it’s a celebration of Virgin Mary. It’s a big national holiday.

replied to:

What does shots fired and Virgin Mary have in common???

replied to:

Crete.

replied to:

Hah. Didn’t see that coming

…

replied to:

I regret avoiding those things when I was younger. The stress from socializing is how you grow.

replied to:

where in Greece are you from? my family is from Karpathos.

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:

Made barbecue this evening. Lamb and chicken for meat, pepper and zucchini for veggies. Yummy! Kids loved it, the boy's sleeping now, the girl is reading a book, the wife's out with her girls, I'm with wine. Life's good.

replied to:

This is certainly one of the ways

wrote:

been building a voice first os using jev and some small voice models. I'm surprised how well it's working and I'm very close to the point where I can go into a feedback mode and tell it what behavior I want changed, it will spin up Claude or codex inside itself and setup the build to restart itself and continue with new code. tempted to let it build itself completely

replied to:

It sounds amazing! A voice first OS was also in my mind. Curious to hear more!

wrote:

Reading Slow Productivity by Cal Newport, discovered via onboarding content in mymind mymind.com

wrote:

hey y'all! this is the first post!

replied to:

What have you wrought?

replied to:

hiii congrats on the launch :)

…

replied to:

tysm! welcome :)

wrote:

setting up some of my workflows based on this writeup - ludwigabap.com/…/on-my-personal-…of-the-tools-i-use/ Particularly a big fan of zellij amongst others Also venturing into having agents enable more of my work - let us see how that goes.

wrote:

Management says „AI first“, everyone hears „Human second“

wrote:

The rho coding harness I’ve made has come along way and I’m constantly trying to evolve it, but whenever I go back to pi it’s startling the difference of what a solid computer science background brings.

wrote:

Ran a SQL workshop tonight, it went okay. just bums me out attendance to "learning" events is down unless you add the word AI to it.

wrote:

I gotta confess, I vibe codet a Kirigami-based application and I liked it. I am a anti AI person, and cannot wait for the bubble to burst. Yet I see it can empower people that do not know a tech stack, and get good enough results out of it. However i also see, it makes you lazy (and frustrates as soon as it gets somewhat complicated). It seems it is being adopted everywhere. This is scary... if it becomes necessary, will you be able to find a job where they don't require you to use AI?

replied to:

I lament the death of programming as an economically-viable craft, but am also leveraging the new tools to build things and to try to stay competitive. I think we have yet to find out how agentic coding will really make sense for companies once the costs stop being subsidized. But it's clearly not going anywhere.

wrote:

Hopefully this takes off