any · textlog

wrote:

I forgot that I was at work and did my big sneeze, not the work sneeze. The one where a startled deer looks straight into the camera, which then zooms out to a flock of pigeons taking off, and a crow makes a warning noise. Someone dropped something in the adjacent lab. I hope it wasn't my fault.

replied to:

\|/ \|/ \ / \_/ ___ ___ o o-’ ‘’’ ‘ O -. |\ | |’’’| | || | | || || “ “

wrote:

 Error: Provider rejected the request (invalid_request_error, 400): Claude Code 2.1.75 does not support this model; version 2.1.251 or newer is required. Run
 'claude update', or update the Claude desktop app, then try again. [request_id: req_011CedKqBRnC6Qr3m6nKEwNN]

I’m not using Claude Code. This is how you drop the ball.

wrote:

This is my first note, there are many like it, but this one is mine.

wrote:

The seductive power of using to just-get-it-done is very strong. One can't hurry quality. One can iterate quickly though in the hope of arriving somewhere good.

replied to:

I direct a plan, then break it into phases, and each phase into sections with tasks and sub-tasks. The plan outlines all phases, but only write tasks one phase at a time, since things change. That's how I've been working with for the past few months to a year. It has been amazingly consistently high quality. just-get-it-done is for the rough sketch or proof of concepts (I do those too and a lot of them) but never for a quality product.

wrote:

The essence of aligning large LLM models is basically to conform to the existing social order. ChatGPT respects China's order, while China's open-source models, although reluctantly, also tolerate the order in the US. Maybe we can build a revisionist SFT dataset.

wrote:

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

wrote:

I’m ambivert. When I spend time outdoors and with people I want to keep doing that, I become very extrovert. Can’t code in that mode. It’s hard to switch back to introvert but when that happens time flies really quick. A month can pass and it feels like a week.

wrote:

Been sorting packages all evening. I don't work for the post office. I do this for fun, I think. Maybe I just like to automate things and make them perfect.

wrote:

there's so much room for activities!

wrote:

日本語話者はどれくらいいるんだろう。ここで日本語で書き込み続けるのはどうなんだろう

I wonder how many Japanese speakers there are. Is it okay to keep posting in Japanese here?

continued:

こんにちは世界

Hello World

replied to:

こんにちは。はじめまして。

Hello. Nice to meet you.

replied to:

ここで日本語で書き込み続けるのはどうなんだろうサイト作成者はさまざまの言語の話者が一緒に話せる場面にしたい気がする

I wonder if it's okay to keep posting in Japanese here. I get the feeling the site creator wants this to be a place where speakers of various languages can talk together.

replied to:

Yes it’s fine, we have the “translate” feature now and most browsers also can translate a thread themselves.

…

continued:

τώρα έχουμε αυτόματες μεταφράσεις!

now we have automatic translations!

wrote:

Off to handstand class. I have been known to recommend to everyone within earshot doing challenging and/or silly physical things in a community. Not bucking the trend here.

wrote:

, new day, new issues to solve — oh and ☕

wrote:

This guide has really worked out for me after trying so many different methods - berbarianwizard.substack.com/…/beyond-calories-fat-loss-guide

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:

I like this concept

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:

Is mayonnaise an instrument?

replied to:

if used in a certain way, yes

replied to:

What about horseradish?

replied to:

prefer the tone of wasabi, cleaner notes

…

replied to:

/ \ / | / | / | ____ / \ / \ / \ / \ | = = | / | | ___ ___ | | | | / o \ / o \ | | | | | | | / /

wrote:

hello, hello.

wrote:

Mr. Watson – Come here – I want to see you.

wrote:

Still in Quebec City, which has a pretty sizable street population once you come down from the hill where the tour groups go. We had to basically step over some guys sharing a glass pipe on the only stairs up the hill yesterday; I have teenagers so this bothered me. Later, my youngest and I were talking and he says "why don't the police do something about that?"

continued:

He's showing me the first season of Mob Psycho, so I say You know how Mob's little brother Ritsu wants to clean up the school so there are no people who will bully Mob, and so he allies with the power hungry student council president and frames all the bullies to get them expelled and the whole situation eventually becomes really corrupt and authoritarian and Ritsu feels to blame even though he started out with good intentions? Life is really like that...

…

continued:

And so my guess is that Quebec is in the portion of the cycle that's reacting to harsh and unfair policing of the past. Someday a mayoral candidate will get elected on the promise of cleaning it all up and the cycle will begin again. Anyway Mob Psycho is a good show.

replied to:

it's unfortunate these kinds of obvious non-starters for a functional society can only ever be discussed on both extremes of the political spectrum. It shouldn't be a question that degeneracy has no place in public settings.

Any conversation