Viewing profile — siddboots

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…

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 METASP…

[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 othe…

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 completel…

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 mos…

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 t…

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 ar…

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,…

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 …

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…

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…

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…

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 seri…

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 the…

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 ar…

Can you explain why? Genuinely curious as a lover of case/match. My only complaint is that it is not general enough.