Any conversation

A “small” visit to Lotte, and $239 later, we are enjoying rambutans, sticky rice with tuna wrapped in seaweed, and wife struggles to make room for the rest of the goodies.

OMP + OpenCode Zen + Ox Alpha is too good to be free.

Is anyone interested in the situation of homeless people in China?

Yep spill the beans

Google Play

for a moment I thought someone had published it 😂 but soon I hope we’ll have it on both iPhone and Android app stores. We’re in the process.

Football > Liverpool Research behind Liverpool’s last minute veteran-substitute-provided-draws and the talented but uncompetitive players they replace.

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

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

As long as a lady carries a book with her, she will always have company. And a weapon.

(deleted post)

replied to(deleted account):

It’s the social network I so want to love but something about it feels off.

(deleted post)

…

replied to(deleted account):

I never understood why they would allow you to follow different “feeds” but not hashtags. I like mastodon’s approach better.

(deleted post)

replied to(deleted account):

Oh my god, art was the only reason I used bsky regularly. Not anymore, and I miss it too.

Day length formula: (Did you know that it becomes a triangle wave at the (ant)arctic circle?)

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.

Good Morning from Flagstaff AZ!

It's cookie o'clock, y'all.

_ _ me want (.)(‘) more… / ___, \ .-. .-. _ \ ‘--’ / (:::) (:::{ ‘-`--=-`-’ }”` `-’ `"/ \"` \ / _/ /\ \_ { / \ } `"` `"`

Togo sofas remind me of Heidi Klums worm costume

Med dyp respekt minnes vi kong Harald av Norge som gikk bort i morgentimene i dag. Fred over hans minne. Våre tanker er hos den som har mistet en mann, de som har mistet en far og svigerfar, barn som har mistet en bestefar. Og et helt land som har mistet en konge. Må Gud styrke han som følger etter.

With deep respect we remember King Harald of Norway who passed away in the early hours of this morning. May his memory rest in peace. Our thoughts are with those who have lost a husband, those who have lost a father and father-in-law, children who have lost a grandfather. And an entire country that has lost a king. May God strengthen those who follow.

having just spent a week camper-travelling Norway, hiking mountains and glaciers, swimming in fjords really put some things into perspective for me - I should take more vacations

I’m an insane person who built their own coding harness, in Rust. I’ve called it Rho. Please forgive this landing page: https://rho-code.dev I just wanted an easy central spot.

Not insane at all. People should build their own instead of using other people's agents. It's easy to do and the results can be great for you. I've built several; one that is effectively "stuck" in Kakoune:

I wrote my own too. I feel like that's the best way.

…

im decently happy with opencode. anything im missing out on?

Yeah. It's a very large project with lots of dependencies. <The system prompt is long and wastes tokens. If you have ideas for tools (or automations like the agents.sh "loop" I wrote) it's easier if you understand the harness.

Looks like I am user #482

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.

I laughed at this. I'm all for people crafting their own tools, but it really feels like everyone's reinventing the same handful of wheels for agentic development.

In terms of where I invest my time, I'm trying to find ways to zig while everyone's myopically zagging.

When I read about in reputable , I relate to almost everything that is described (keeping in mind that no two autistic people are alike). However, I always read the sections on with bewilderment. I don't identify either with the obsessive need to make eye contact, which UK and US books often mention as behavior, or with the difficulties in making it.

I suspect—and this is the interesting part—that there are significant cultural differences in this regard. In fact, the reputable Spanish books on autism that I have read don't address this topic (if I remember correctly).

Unless I am attracted to the person I almost never maintain eye contact while talking to them. I’m from Greece btw, doing eye contact is normal, I see others do it, so I diverge there.

…

Definitely people here do intense full locked eye contact, which I can’t do, unless I’m attracted to the person as I said. Even then I’ll move a bit around the face because it’s uncomfortable even then. But others just lock in completely I see them doing it.

OK. I guess that Greece may be similar to Spain. I feel comfortable hanging with greeks, in Greece and elswhere. Then, if I don't look at the eyes, but others do. I guess that I'm very good at masking that I don't look at the eyes. I never got a comment related to eye contact.

I don’t think it’s something people notice immediately and consciously think this is wrong to make a comment, they will probably just not feel the same connection or feel something is off about you in general or think that you’re busy thinking other things. It’s not the only case to not make eye contact with someone, you might just not like them. That’s probably what they will sense.