Viewing profile — dirkc

This immediately made me think of nand2tetris.org, but as a game. Is that what NANDGame is?

I'm curious about ways to entice agents to perform weird and wacky things when working on a codebase.

Isn't the problem with formal methods that it isn't clear whether or not most of the useful code we use are actually formally verifiable? The article mentions NP-complete, but is i…

Earlier today I found this - https://arxiv.org/abs/2606.11755 I've been thinking lately about different ways to get agents to do interesting things when let loose on a code base. T…

Thanks, clearly my caffeine intake is at issue

I see a reference to Khan Academy, but not Go?

For small applications having an observability stack like ELK or Prometheus + Grafana tends to outweigh the application itself ito cost and complexity. I haven't found something I'…

I get a cloudflare 502 error for standard.site

Isn't that just saying CapEx is a bigger part of their costs as if that is a positive thing?

I did something similar, for similar reasons. In the end I just did whatever to get it published. If you show up at my door, I'll pour you your choice of beer/coffee. But I agree, …

> As for me, I’ve found that the community and activity proxies are still good. Definitely still something to look into. A project I'm checking in on from time to time is https://g…

Keep the timer, but after 30 seconds, deduct a point, after 60 seconds show an option to reveal the word / give up.

I got curious and had a look at some of the code (>1m .rs). I was surprised to see code for a S3 client in there? I clearly don't get the value proposition of bun? And even if I ac…

I like the idea, but I didn't like losing after a few words. Now it might just be me not being good at losing, but who is? Maybe the game can always progress to the next word with …

> as we aggressively adopt AI for engineering Why do we need to aggressively adopt things rather than thoughtfully adopt things? It sounds like they are probably punching AI and en…

The challenge is that more and more people are producing project like this - 1,000s of commits and > 200k lines of code - and saying it was carefully created using agent based work…

Thanks for all the info you've provided! Maybe I'm just being a little grumpy. If I really need to look into a repository, I clone it and use vanilla git command line tools to have…

Cloudflare seems to be an example of a company massively upping their output in the last year or so. And a lot of it seems AI driven. I'm definitely keeping an eye on them to see i…

How would one go about reviewing a piece of code like this? One of the things I'd typically do is peek at the commit history. Seeing what people worked on and how they did it tends…

Wow, I'm surprised that doing an online course through coursera is still that expensive - £17,000 or $22,000 USD over 3 years! Interestingly it does seem comparable with what it wo…

For me the worst scenario is when a kitchen sink of non-existent functionality the customer never asked for was sold. And in all likelihood it will never be used. But some project …

Thanks, this articulates something that I've been struggling to put a finger on. You can't review agent generated code the same way you would review a PR, someone needs to fine com…

I grew up with a TV like that. I'm pretty sure the one we had probably caused at least a hand full of slipped disks

Don't compromise your professional integrity by lying about how you work. Rather find a job where you don't need to lie about your use of AI if you can.