siddboots

7 ms·

1.
by siddboots 2mo ago
I fed ChatGPT the map with no other context, just “tell me about this function”. It did a bit of work finding the Jacobean etc and eventually worked out the implications of what it was seeing. It then proceeded to check the arithmetic 4 tim
2.
by siddboots 3mo ago
I saw it and completed it as “top posts” “new posts” “hot posts” “my posts”.
3.
by siddboots 3mo ago
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 task of writing S
4.
by siddboots 3mo ago
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.
5.
by siddboots 3mo ago
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 today literally no one d
6.
by siddboots 3mo ago
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.
7.
by siddboots 4mo ago
“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.
8.
by siddboots 4mo ago
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.
9.
by siddboots 5mo ago
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 regression or o
10.
by siddboots 5mo ago
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/
11.
by siddboots 5mo ago
Well, that wasn’t my conclusion at all to be clear!
12.
by siddboots 5mo ago
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 local to
13.
by siddboots 6mo ago
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.
14.
by siddboots 6mo ago
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 but rewarding
15.
by siddboots 6mo ago
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 model of how the variou
16.
by siddboots 9mo ago
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 quite a lot. This is tru
17.
by siddboots 9mo ago
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” and then making a pla
18.
by siddboots 10mo ago
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 think it’s likely th
19.
by siddboots 10mo ago
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 exactly in the cross
20.
by siddboots 10mo ago
Well, one might use picard to find a musicbrainz release id, so that beetz has something to grab on to when importing.
21.
by siddboots 1y ago
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 vast fields - e.g
22.
by siddboots 1y ago
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 the recent workouts
23.
by siddboots 1y ago
Can you explain why? Genuinely curious as a lover of case/match. My only complaint is that it is not general enough.
24.
by siddboots 1y ago
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 other task at hand - it e
25.
by siddboots 1y ago
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 others, independent o
26.
by siddboots 1y ago
This perspective is the inspiration for much of lattice theory. When you consider implication as an ordering, then "x and y" becomes max(x, y), "x or y" becomes min(x, y). True becomes the top term, False becomes the bot
27.
by siddboots 1y ago
Sometime very soon we’ll cross a threshold where most people can do most of their coding through a tool like Claude and be more productive. It will feel like coding still, breaking and building things, but they will get more done in the sam
28.
by siddboots 1y ago
This ain’t what you asked but I’m using Claude Code with a pro subscription and I get about an hour use out of it before I run out of tokens. Then I spend 4 hours thinking about how to set up my context for the next session.
29.
by siddboots 1y ago
I’d say this is firmly about knowing how colour mixing works, and not about memorising.
30.
by siddboots 1y ago
I think both approaches are useful. AI2027 presents a specific timeline in which a) the trajectory of tech is at least somewhat empirically grounded, and b) each step of the plot arc is plausible. There's a chance of it being convincin

More ›