girvo

29 ms·

661.
by girvo 1y ago
Yep, absolutely the case for my labs.
662.
by girvo 1y ago
When your “mistakes” are “a user has their bank account drained irrecoverably”, no, we don’t.
663.
by girvo 1y ago
And it’s absolutely true in my experience, coding was never the bottleneck (modulo advanced shader programming which LLMs still aren’t great at despite my best efforts)
664.
by girvo 1y ago
> Is the cooling off because industry leadership promised agi last year and it’s not here yet? Effectively, yes: the promises are so huge, that even the impressive usefulness and value it brings today is dwarfed in comparison.
665.
by girvo 1y ago
> I suspect that they're better at some kinds of codebases than others. Probably. My works custom dev agent poops the bed on our front-end monorepo unless you're very careful about context, but then being careful about context
666.
by girvo 1y ago
As would the Clipping song by the same name on their latest album that is heavily inspired by these stories as well!
667.
by girvo 1y ago
> which the LLM presumably also fixed after finding them In my experience: not always, and my juniors aren't experienced enough to catch it, and the LLM at this point doesn't "learn" from our usage properly (and we&#x
668.
by girvo 1y ago
That’s why they’re “less used” and not “never used”
669.
by girvo 1y ago
Ah, I thought we were talking more generally about PL constructs that let you avoid intermediate variables, apologies :)
670.
by girvo 1y ago
> so they are more memory efficient They can be. It depends on the language, interpreter, compiler, and whether you do anything with those intermediate variables and the optimiser can get rid of them.
671.
by girvo 1y ago
I cannot agree with this enough :) I live right in Red Hill. Bluey is literally my home! This is my neighbourhood! This is the first time I've ever felt that... and its amusing to feel that as a person in my mid 30s from a childrens sh
672.
by girvo 1y ago
Sadly true: and I’m one of those who walks their talk wrt. small phones. I don’t need a ute, though, so I drive a cupra born instead
673.
by girvo 1y ago
Ah yes, I, the non-python programmer, find PEGs useful and good because of checks notes Guido, somehow? What a ridiculous comment.
674.
by girvo 1y ago
PEGs (even outside Janet) are amazing and what I reach for all the time :) definitely one of those tools that’s worth learning!
675.
by girvo 1y ago
> But I wish we'd get over this phase where everyone thinks they're an expert, and that every bad codebase or slow app was the result of someone who didn't care. I can only speak to my own experience, but it’s been this wa
676.
by girvo 1y ago
Tbf that’s what post-deployment verification tests sre ideal for, instead of as integration/e2e tests blocking your merges/deployments
677.
by girvo 1y ago
Confluence, and DAC mostly
678.
by girvo 1y ago
DRM becoming so entrenched in the web still makes me sad beyond measure
679.
by girvo 1y ago
Same! I was really hoping it was discussed. I’m assuming “lots, but it depends on what you’re working on”?
680.
by girvo 1y ago
Yeah that’s true IIRC but it’s rarely been a problem for my usage!
681.
by girvo 1y ago
Parsing expression grammars (pegs) are usually IME more maintainable long term, partially just because of much more testable and composable they are
682.
by girvo 1y ago
A human will tell you “I am not sure, and will have to ask engineering and get back to you in a few days”. None of these LLMs do that yet, they’re biased towards giving some answer, any answer.
683.
by girvo 1y ago
I've not gone into it yet, but I think BDD would fit reasonably well with agents and generating tests that aren't entirely useless.
684.
by girvo 1y ago
> Meanwhile these companies are raising billion dollar seed rounds and telling us that all programming will be done by AI by next year. Which is the same thing they said last year, and hasn't panned out. But surely this time it&#x
685.
by girvo 1y ago
There was a Battletech MUD??? That's so cool :) MechWarrior 2 is what got me into it as a kid
686.
by girvo 1y ago
My Gen Z coworkers use it IRL, for what that’s worth!
687.
by girvo 1y ago
Why not? Was it broken? If it was, is it easily fixable?
688.
by girvo 1y ago
No, this is far far more wide reaching and it’s intellectually dishonest to pretend otherwise. It’s why it’s so exciting.
689.
by girvo 1y ago
I was about to say "Yeah, its my favourite feature of Nim!" and then I realised what account I was replying to ;)
690.
by girvo 1y ago
I'm about 30 seconds away from doing the same. It's honestly woeful how bad it is. Probably just going to move to the Fastmail client directly, I suppose.

More ›