when im teaching someone something, my instinct is to make things as friendly and approachable as possible. when i'm learning something, I feel unstable if I can't find the ground, and when something's too friendly it feels like a lie
@AcerFur it makes weird programming choices in all languages so i doubt the issue is just not enough lean in training data. also opus 4.5 -> 4.6 was a noticeable step increase in lean capabilities which made me think they are using synthetic data. i agree it's really annoying though
@ElliotGlazer it landed on your timestamp i might have just not listened long enough to understand what quasi-thin groups are or have to do with simple groups. seems like he had maybe talked about that earlier?