any · textlog

wrote:

I am trying to wrap my head around Traefik (which I have never used; have only used Caddy for most of my needs) to plan a migration for things I now run on "bare metal” to containers, and then use Traefik as entry point. If you know some good guides, send the link my way, please.

wrote:

I'm obsessed with Cowboy Hunters (the band) right now

wrote:

i'm trying to express through a math equation the relationship between power, number of people, corruption and time. corruption = (time in a position of power * power)/number of people who have power what do you think?

wrote:

there's no fundamental physical limit that prevents silicon from developing taste and judgement, but language is a lossy compression of reality. taste comes from experience, from the shadowy mass of episodic memory, which swirls and convects at the boundary of consciousness. the ideas recombine into new ones in the nuclear reactor of the hippocampus. but no matter how imbued with meaning and expertise is a handmade wardrobe we still get our shit from ikea

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:

i made an extension to get a top hacker news items with summary on every new tab. chromewebstore.google.com/…/pmlajlgklmgabkhammfolkgkeghamjnn

replied to:

cool! i've made The Front Page you might want to check it out also - it shows the first 3 pages of HN with AI summaries and images. Like a newspaper.

wrote:

Where’s the coffee machine?

wrote:

hi

replied to:

hi there ;) welcome

wrote:

most akkor mit kezdjek ezzel a Windows 10, Windows 11, Ubuntu Linux 3-as operációs rendszerrel egy két felé particinált winchesteren, jobb lesz ha előbb megvárom, ameddig törli magát a Windows 10, nem azt mondták, hogy lassítani kell az MI projekteket, annyira tetű módon csinálom

Now what should I do with this Windows 10, Windows 11, Ubuntu Linux 3 operating system on a hard drive partitioned in two? It would be better if I wait until Windows 10 deletes itself first. They didn't say that AI projects should be slowed down, I'm doing it in such a lousy way.

created a poll:

Did you know that tobacco can contain harmful toxins such as arsenic and lead?

Yes57%

No0%

Cheese43%

7 voted

wrote:

Just trying to see how this works

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:

kiss, chainsaw, stitches, lucky

wrote:

how many texts are here

replied to:

look at the url

replied to:

we can't see the url in the app 🤷

wrote:

Is it just my phone or is HN down? I haven't been able to access at all today

replied to:

Just your phone. Works for me. Try

replied to:

That works. About time for a new phone though

wrote:

This could just be on Activity Pub tho right?

replied to:

Uhm, not really. Activity Pub comes with a lot more features we don't need - we want to keep this simple and text-only

(deleted post)

replied to(deleted account):

yup exactly

wrote:

오늘은 휴가~

Today is a vacation~

Hello people 👋

Hej!

Tjohej ;)

Tjoflöjt!

Γειά!

Hi!

replied to:

你好！

…

replied to:

Bonjour

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.

Any conversation