Viewing profile — lewdwig

The thing is I think that I didn’t make any conscious decision to hop on AI, it’s just that it’s quite addictive and my nerd ADHD took over. But we are nerds, we’re often naturally…

I guess it’s reassuring to know Hanlon’s Razor holds for AGI too.

The standard skeptical position (“LLMs have no theory of mind”) assumes a single unified self that either does or doesn’t model other minds. But this paper suggests models have acc…

A language which is not 1.0, and has repeatedly changed its IO implementation in a non-backwards-compatible way is certainly a courageous choice for production code.

One thing that seems to mark most nerds is a tendency towards being utopian about tech in general but deeply sceptical of specific tech.

I don’t hate git either but you’ll meet very few people who will claim its UX is optimal. JJ’s interaction model is much simpler than git’s, and the difficulty I found is that the …

To Broadcom you’re not a customer, you’re a mark, a patsy, stooge, a _victim_. Their aim is to establish exactly what they can get away with, how far they can abuse you, before you…

I have noticed that LLMs are actually pretty decent at redteaming code, so I’ve made it a habit of getting them to do that for code they generate periodically. A good loop is (a) g…

I’m sure this’ll be misreported and wilfully misinterpreted because of the current fractious state of the AI discourse, but given the lawsuit was to do with piracy, not the copyrig…

TBH I’m surprised it’s taken them this long to change their mind on this, because I find it incredibly frustrating to know that current gen agentic coding systems are incapable of …

With code, I’m much more interested in it being correct and good rather than creative or novel. I see it is my job to be the arbiter of taste because the models are equally happy t…

Devops/SRE/Platform Engineering Downside: lots of Python, and Python indentation causes havoc with a lot of agentic coding tools. RooCode in particular seems to mangle diffs all th…

There are nascent signs of emergent world models in current LLMs, the problem is that they decohere very quickly due to them lacking any kind of hierarchical long term memory. A lo…

I use Claude Code almost daily now, and I think I’d rather cut off my own arm than go without it, but I don’t delude myself into thinking that current gen tools don’t have signific…

I have such a huge nerd crush on this guy. Witnessing the incredible skill of making even the most humble and obsolete of technologies seem like an absolute pinnacle of human ingen…

“Evil” is not a medical diagnosis but the classical understanding of evil does overlap quite strongly with the so-called “dark triad” of personality disorders of antisocial persona…

I love Clojure, I really do, but it feels to me like what I once thought was its unstoppable march ground to a halt and then it kinda fell out of the nerd consciousness. I’m hopefu…

I don’t think healthy scepticism is (or should be) controversial. But I find it interesting how willing certain people are to confidently claim that a model does or does not accura…

Structured concurrency is a notoriously hard problem. This is part of Zig’s 4th attempt to get it right.

And yet C/C++ developers have mostly spent the last 30 years not using those tools which is why safer successors to C and C++ appeared.

We exist in an era in which coursework as a medium of assessment has suddenly become nearly worthless. It does not surprise me that since this is the way things have been done for …

If Clippy struggles to account for current and future changes to the Rust compiler this to me raises an obvious question: why isn’t Clippy part of the Rust compiler?

In general, they’re not. But if the only thing emergent theories predict is Newtonian dynamics and General Relativity then that’s a big problem for falsifiability. But if they modi…

The problem with emergent theories like this is that they _derive_ Newtonian gravity and General Relativity so it’s not clear there’s anything to test. If they are able to predict …

Well-designed benchmarks have a public sample set and a private testing set. Models are free to train on the public set, but they can't game the benchmark or overfit the samples th…