I saw it and completed it as “top posts” “new posts” “hot posts” “my posts”.
Once a spec becomes sufficiently large and detailed and complicated, it becomes very difficult to ensure it is internally consistent. That's why I start every project with a METASPEC.md so that Claude can break up the…
[dead]
They aren't saying that other models have the same overall level of capability. They are saying that the specific capability that the US Government tested is also available in other models.
20 years ago everyone was sold css entirely on the premise that, once the standards were adopted by all of the browsers, we would all be writing purely semantic html with completely orthogonal and swappable css. And…
For Vim it isn’t replacing mouse necessarily. It’s giving you another way to navigate the cursor around the buffer by giving you absolute references rather than relative motions.
“Fed up” as a phrase comes from feeding livestock up to their fill. It’s very similar to how you would say “filled up”. So the upness comes from raising the level up to the limit.
For a long time I thought that the AdSense business model was ultimately doomed because I assumed that people hate ads as much as I do. It turns out I was just wrong about what most people are willing to put up with.
While I'm really enjoying this paper, I think you are way overstating the significance here. This is mathematically interesting, and conceptually elegant, but there is nothing in this paper that suggests a competitive…
I’ve been building a toy for exploring elliptic functions, modular forms, and elliptic curves. Sorry mobile support is not there yet. https://grge.github.io/weierstrass/
Well, that wasn’t my conclusion at all to be clear!
Very cool concept and execution, well done. I don't quite understand what is going on with the "spotlight" UI concept - I can click around on the characters and it highlights an area and it also reloads the landscape…
I think your assumption about inlining is essentially correct. As far as I know postgres was the last major rdbms to have an optimiser fence around CTEs.
I've been working on a side project for ~10 years (very intermittently) that involves a tricky combination of mathematics, classical AI algorithms, and programming language design, and I've gone though this very slow…
Openclaw has 20k commits, almost 700k lines of code, and it is only four months old. I feel confident that that sort of code base would have a no coherent architecture at all, and also that no human has a good mental…
I think the total volume idea is more flawed than you realise. Pretty much everyone would be able to achieve greater volume, on any exercise, just by decreasing the weight, so your high rep caveat is covering up for…
To add to this, I find talking to it about code quality or architecture issues can work quite well. Just treating it like another developer. Saying, “I’m not happy with the way the project is going because of X, and Y”…
I think I have almost the opposite intuition. The fact that attention models are capable of making sophisticated logical constructions within a recursive grammar, even for a simple DSL like SQL, is kind of surprising. I…
Concrete Mathematics is probably the best single book that you could read to prepare you for some the problems beyond the first 50. It’s extremely fun, and also mathematically serious. A large portion of PE problems are…
Well, one might use picard to find a musicbrainz release id, so that beetz has something to grab on to when importing.
It's just a good set of models to use to think about all sorts of different mathematical systems, kind of like a unified vocabulary. Beyond undergraduate level, category theory these days plays a huge role within many…
I do this at the moment in my hand rolled personal assistant experiment built out of Claude code agents and hooks. I describe my workouts to Claude (among other things) and they are logged to a csv table. Then it reads…
Can you explain why? Genuinely curious as a lover of case/match. My only complaint is that it is not general enough.
In my experience, complicated rules like this are extremely unreliable. Claude just ignores it much of the time. The problem is that when Claude sees a failing test it is usually just an obstacle to completing some…
This would mean moving to 100% weighted exams, and there's good reasons why there has been a general trend away from that over recent decades. For one thing, some students simply perform better under pressure than…
I saw it and completed it as “top posts” “new posts” “hot posts” “my posts”.
Once a spec becomes sufficiently large and detailed and complicated, it becomes very difficult to ensure it is internally consistent. That's why I start every project with a METASPEC.md so that Claude can break up the…
[dead]
They aren't saying that other models have the same overall level of capability. They are saying that the specific capability that the US Government tested is also available in other models.
20 years ago everyone was sold css entirely on the premise that, once the standards were adopted by all of the browsers, we would all be writing purely semantic html with completely orthogonal and swappable css. And…
For Vim it isn’t replacing mouse necessarily. It’s giving you another way to navigate the cursor around the buffer by giving you absolute references rather than relative motions.
“Fed up” as a phrase comes from feeding livestock up to their fill. It’s very similar to how you would say “filled up”. So the upness comes from raising the level up to the limit.
For a long time I thought that the AdSense business model was ultimately doomed because I assumed that people hate ads as much as I do. It turns out I was just wrong about what most people are willing to put up with.
While I'm really enjoying this paper, I think you are way overstating the significance here. This is mathematically interesting, and conceptually elegant, but there is nothing in this paper that suggests a competitive…
I’ve been building a toy for exploring elliptic functions, modular forms, and elliptic curves. Sorry mobile support is not there yet. https://grge.github.io/weierstrass/
Well, that wasn’t my conclusion at all to be clear!
Very cool concept and execution, well done. I don't quite understand what is going on with the "spotlight" UI concept - I can click around on the characters and it highlights an area and it also reloads the landscape…
I think your assumption about inlining is essentially correct. As far as I know postgres was the last major rdbms to have an optimiser fence around CTEs.
I've been working on a side project for ~10 years (very intermittently) that involves a tricky combination of mathematics, classical AI algorithms, and programming language design, and I've gone though this very slow…
Openclaw has 20k commits, almost 700k lines of code, and it is only four months old. I feel confident that that sort of code base would have a no coherent architecture at all, and also that no human has a good mental…
I think the total volume idea is more flawed than you realise. Pretty much everyone would be able to achieve greater volume, on any exercise, just by decreasing the weight, so your high rep caveat is covering up for…
To add to this, I find talking to it about code quality or architecture issues can work quite well. Just treating it like another developer. Saying, “I’m not happy with the way the project is going because of X, and Y”…
I think I have almost the opposite intuition. The fact that attention models are capable of making sophisticated logical constructions within a recursive grammar, even for a simple DSL like SQL, is kind of surprising. I…
Concrete Mathematics is probably the best single book that you could read to prepare you for some the problems beyond the first 50. It’s extremely fun, and also mathematically serious. A large portion of PE problems are…
Well, one might use picard to find a musicbrainz release id, so that beetz has something to grab on to when importing.
It's just a good set of models to use to think about all sorts of different mathematical systems, kind of like a unified vocabulary. Beyond undergraduate level, category theory these days plays a huge role within many…
I do this at the moment in my hand rolled personal assistant experiment built out of Claude code agents and hooks. I describe my workouts to Claude (among other things) and they are logged to a csv table. Then it reads…
Can you explain why? Genuinely curious as a lover of case/match. My only complaint is that it is not general enough.
In my experience, complicated rules like this are extremely unreliable. Claude just ignores it much of the time. The problem is that when Claude sees a failing test it is usually just an obstacle to completing some…
This would mean moving to 100% weighted exams, and there's good reasons why there has been a general trend away from that over recent decades. For one thing, some students simply perform better under pressure than…