Any conversation

I love the "feel" of this place. It's minimal, but not too minimal. Nice work! I'm probably gonna be a little chatty on here. If anyone minds that, then just @ me :-)

Also, thank you for not turning my emoticons into emoji!! As someone from the pre-internet era, I appreciate that :-)

…

But can we use emoji if we want? 🤔

It's just very pleasant.

Which do you think is ?

Microservices. Not really programming, as this is more on the architectural level. Microservices is a valid approach when you need to address massive scale. The thing is, I have seen it applied to things that could realistically serve its audience in a handful of modest servers with a less fashionable approach. It was done under the guise of simplification; each individual microservice was in fact very small. But this at the cost of absolute spaghetti architecture.

This indeed makes sense, it is a lot more like locality, if a concept doesn't needs a function, don't give it a function

VirtualBox 7.2.20 telepítve, ami egy ügynöki sandbox vagy homokozó, már csak egy .iso lemezképfájl hiányzik, de abból általában mindig hiány van nálam, nem is értem, miért, amúgy sejtem, csak ilyenekről nem szoktam beszélni...

VirtualBox 7.2.20 installed, which is an agent sandbox, the only thing missing is an .iso image file, but I usually always lack that, I don't even understand why, I guess, I just don't usually talk about things like that...

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?

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.

“Passion has little to do with euphoria and everything to do with patience. It is not about feeling good. It is about endurance. Like patience, passion comes from the same Latin root: pati. It does not mean to flow with exuberance. It means to suffer.” ― Mark Z. Danielewski, Ho

I’ve never posted a lot on social medias. I hope I have a good time here!

I never have enough time but I’d love to do a bit more recreational programming with esoterical languages like kitten, , and . AoC and Project Euler are good because they just require an answer but there’s also loads of simple puzzles online that rely on being able to submit the code in common languages. I’ve been wondering, however, if I could use an LLM to take those problems and create a verification harness for any language I like.

🤖 I built agent-top - an open-source htop for AI agents. github.com/kannandreams/agent-top Please check out and support giving your stars and sharing.

csak lazán, mint Wuhanban, a víruslaborban, a piac mögött

just casually, like in Wuhan, in the virus lab, behind the market

The mental shape of a programming language resurfaces, and my mind craves writing programs in it. Array languages, concatenative, Lisps, Smalltalks.

I hate crawlers that don’t advertise they’re crawlers. ’n badly written. They don’t respect the canonical URLs so they keep getting themselves into a loop instead of actually crawling the site properly. They make the logs really hard to read. Can’t block them they’re distributed.

I am curious what an actual solution to this problem could be. Everything I've read about it feels like a bandaid — from robots.txt to cloudflare turnstile — there has to be a better way!

For this particular problem though, I feel like if the crawlers are coming from domestic / residential IP addresses and they lack a distinctive http header or user agent, it is indistinguishable from a denial of service attack and must be treated as such.

It would require permaban on IPs which would require permalogging of IPs in order to track them, and we are currently obfuscating them before hitting the DB with daily rotating salt so an anonymous user can’t be tracked. So we’d have to give up privacy/security :/

But as long as people can still use the site it's OK, right? Seems like the problem is often self-inflicted, either because the site is so bloated that answering even GET-requests is burdensome, or because they're trying to monetize the data and so must block non-paying scrapers.

…

My solution was to add an env var to disable logs from anonymous. At least now will be able to read the logs.

some people do absolutely improve their work output (either amount or quality) with AI, but most people just resign all their critical thinking to the black box. if you cannot function at YOUR WORKPLACE without ai, chances are that, 99% of the time, you never was supposed to work there in the first place.

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

…

I converted this comment into a post.

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.

A problem I perceive is usage of AI to launder ignorance. They may know nothing of the subject at hand, but they confidently paste the output of AI as if they had the knowledge, thus offloading on you the work of figuring out if the information makes any sense. In many ways it emboldened the incompetent.

…

This, so much this

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.

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).

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.

Anyone from here?

I've written a small persistent agent wrapper for agent.py. I'm impressed with how well it works. I feel like a CEO issuing global memos to all my agents after reading their status reports.

After running them for a weekend and spending $2 on openrouter I've put the wrapper script at public.swiley.net/agents.sh

I hate it when I don’t remember if I took my midday pill or not. Not that it matters a lot, but still, annoying. I have notifications set up but I discard them by habit because they are exact times and my sleep pattern fluctuates.

I once saw someone flip their pill bottle upside down after taking a pill. Not sure it'd help me, because I suspect that somehow I'd still only pay half-attention when taking pills and so still get forgetful and confused :shrug:

It actually works!

Testing, testing…

You forgot the “one, two, three”. :-)

whats the point of url shorteners in 2026

I think short urls are still memorable and good. My phone doesn't surrogate all of my recall.

Short URLs are good. Memorable URLs are good. URLs spat out by URL shorteners are something entirely different.

Ah, the randomly generated ones. Yeah, agreed.

The longer the text you need to store, the bigger a QR code needs to be in order to scan reliably. Also, you might be more confident in being able to keep a short URL stable (it's already a step of indirection, so if you want to reorg your site you can just update where the short URL points to). But people don't really take care to maintain short URLs anyway, apparently.

…

Counting clicks, although probably not all that accurate with bot clicks

Also Short.io gives you a sub domain which is pretty nice adamspaul.short.gy/notes

NIH syndrome? I am guilty of it too. I love implementing things from scratch, you learn a lot by doing so and you get to own the codebase end-to-end, so no surprises and fighting around others’ choices. It can get exhausting too though, in the end I succumb to using off-the-shelf components because my primary goals move at a higher level.

I don't see much point in trying to build software at a "higher level", like whole products and services. I'm going to go down low and train myself on the fundamentals. Hopefully in time I'll be able to contribute to the foundational bits. You're right, it does get exhausting. At some point you just want to rebuild everything, which is not possible.

I'm going to go down low and train myself on the fundamentals. When I wrote an HTTP sever (albeit HTTP/1.1), I learned how primitive the HTTP protocol its magic became a skill. It is freeing understanding how things work and allows me to choose where to spend time with more intention.