Viewing profile — doorhammer

> Red cuts change the set of answers found by a query, green cuts don't. Ohhh, interesting. So a green cut is basically what I described as cutting branches you know are a waste of…

I'm wildly out of my depth here, but sometimes I find I learn quickly if I try out my intuition publicly and fail spectacularly :) > "This is necessary for optimization but can lea…

Side note: Just clocked your name. Read through Practical TLA+ recently modeling a few things at work. Incredibly helpful book for working through my first concrete model in practi…

Totally fair. Realistically “check it out” means I’ll probably spin up an env and try modeling a few things to see how it feels. I’m mostly a language tourist they likes kicking th…

I always come back to prolog to tool around with it but haven’t done a ton. Bidirectionality has always been super fascinating. Didn’t know about Picat. 100% going to check it out.…

I think you're interpreting > I understand how people can get addicted to it as > I understand how people can get addicted to it and I endorse it as a route to making all your worr…

As a whole the incentives of capitalism are aligned as you suggest, but every major corp I've worked with has not-so-rare pockets of savvy middle managers that know how to play the…

Hey, thanks for saying that. I have huge gaps in time commenting on HN stuff because tbh, it's just social anxiety I don't need to sign up for :| so I really value someone taking t…

Yeah, I don't want to downplay the reality of companies making bad decisions. I think for me, the way the GP phrased things just made me want to give them the benefit of the doubt.…

So, I fully agree that we should be aware how AI use is impacting front-line agents--honestly, I'd bet AI is overall a bad thing in most cases--but that's just a gut feeling. That …

Yeah, if I were running a QA department I wouldn't let llms anywhere near actual customers as far as trying to resolve a customer issue directly. And, this is just a guess, but it'…

They might not be, and their use-case might not be one I agree with. I can just imagine a plausible reality where they made a reasonable decision given the incentives and constrain…

Yeah, I was a QA data analyst supporting three multi-thousand agent call-centers for an F500 in 2012 and we were using phoneme matching for transcript categorization. It was defini…

So, I wouldn't be surprised if someone in charge of a QA/ops department chose LLMs over similarly effective existing ML models in part because the AI hype is hitting so hard right …

Again, not the OP, so I can't speak to exactly their use-case, but the vast majority of call center calls fall into really clear buckets. To give you an idea: Phonetic transcriptio…

I'm curious, have you noticed an impact on agent morale with this? Specifically: Do they spend more time actually taking calls now? I guess as long as you're not at the burnout poi…

Sentiment analysis, nuanced categorization by issue, detecting new issues, tracking trends, etc, are the bread and butter of any data team at a f500 call center. I'm not going to s…

Not the op, but I did work supporting three massive call centers for an f500 ecom. It's 100% plausible it's busy work but it could also be for: - Categorizing calls into broad buck…

I think it’s just a mistype I have a pro plan and I hammer o3–I’d guess more than a hundred a day sometimes—and have never run into limits personally Wouldn’t shock me if something…

Yeah, for sure! So I should say I'm playing a bit fast and loose with "internal DSL" here, so that might have been a little misleading. I'm not doing anything fancy like you could …

> the debugger nonsense, and with the weird CLI live reload removal C# is probably my favorite overall language and this resonates a lot with me. I did C# Windows dev for the first…

C# and Clojure are probably my two favorite languages, but I've done much much less Clojure in production, and for my personal disposition C# is my overall favorite. For bread-and-…

Tangentially related: When I was doing C# on Windows full time I ended up using LINQPad a ton for almost all of my daily scripting. LINQ + MoreLinq + Extension Methods makes it rea…

C# is one of my favorite languages and I generally think the features they add are high quality and provide a lot of real value, but I also agree that the flip side of that coin is…

I still really vividly remember a Descent map finally clicking in my head and thinking “oh… this game is _actually_ 3d” probably some nostalgia there but great memories