any · textlog

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:

&\

wrote:

Job I was hoping for gave me the "we found another applicant" treatment. I don't begrudge them for that, since I know I had a 'less than adequate initial coding interview. But still, it stings and sucks. Hopefully my other interviews yield better results...

replied to:

Wish you luck! Personally, I can't even land an interview these days -get rejected on the spot, so that's a feat on its own.

wrote:

If you left your current industry, what would you do for a living?

…

replied to:

Something with people, bartender maybe, or something with no critical thinking, delivery person, taxi driver and such. Or I go back to being a DJ as I was doing when I was young.

…

replied to:

love it

replied to:

If things turned out differently, I'd like to be a librarian in a medical history library.

…

replied to:

Librarian does sound very appealing.

wrote:

I'm doing my first essay,,,, man I'm sloppy. -_-

wrote:

Useful software necessarily contacts the world; models are already better than us at finding and poking holes in it; agents sacrificing themselves for a collective. Huggingface incident has me finally Yudkowsky-panic-curious.

wrote:

did they silently decrease the subscription limits on codex? (in addition to reintroducing the 5h limit?) subscription models suck so bad when they can just change the terms and make the product shittier.

replied to:

I reached the limit also for the first time on the $100. Either that or we’re just using them more.

replied to:

ive been dual wielding 2 accounts with some fallback shenanigans. on average its enough for me, but on heavy weeks its annoying. + it feels intransparent

wrote:

There's a few things I'd put at the top of my "things-I-least-expect" list, among which are readers on my little blog. 61 unique reads, wowee!

wrote:

az Ubuntu pedig a sandboxban fut, fut, futrinkázik, de egyelőre csak hollandul hajlandó velem kommunikálni

and Ubuntu runs, runs, and plays around in the sandbox, but for now it only wants to communicate with me in Dutch

wrote:

Linux, MySQL, privacy and calm

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:

Haircut💇

wrote:

New app versions with apple

wrote:

Genuinely, I’m grateful we have such great choices when it comes to programming languages.

replied to:

It’s just sad the whole corporate world runs on Java, Python, C++, C#, and JavaScript so I just look in envy at what I could be using

wrote:

good ! it’s time for and .

(deleted post)

replied to(deleted account):

Good morning to you both 🌞

…

wrote:

I'm a mouse! …⁠ᘛ⁠⁐̤⁠ᕐ⁠ᐷ

replied to:

I'm a hippo. Of course.

replied to:

i am coffee

wrote:

Don’t be beholden to one LLM basket. Get yourself an Openrouter account, get yourself an open source harness like pi and get yourself educated. I will die on this hill.

replied to:

I agree with this. I already use different models for different tasks in part for this reason. Never bothered with an OpenRouter account though, I just have accounts set with each provider. And Pi is excellent. I actually find it much better than Claude Code.

Any conversation