gabby

gabby

@fullmoon.id

Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter I'm a midwife to the hidden beauty in everything she/her 🏳️‍⚧️ coworkers DNI https://linktr.ee/gabriella439 💖 @ember.pet

2.5K followers147 following3.7K posts

gabby reposted

its very funny that there is now a claim that code is cheap because like.. you're still paying devs and now you're paying Anthropic too if you were a solo dev, code used to be free, you weren't paying yourself, but now you pay Anthropic code is actually more expensive now lol

gabby reposted

my youtube algo is literally this pic

This post is unavailable.

gabby reposted

Management: We created a new biweekly "Autonomy Day" where engineers can work on whatever they want. Make sure you don't use this day to continue your existing work; you have to put that down and do something more autonomous. Also, you have to stop when the day is over even if you're not finished

Literally 100% of the recruiting emails I get are for AI companies. 100% Get a real product idea, folks!

*taps the sign* bsky.app/profile/full...

gabby@fullmoon.id

Here's my rule of thumb for which AI technologies I believe will survive the test of time and which ones I believe will fizzle out as fads: If you have to use the words "AI", "LLM", "intelligent", "agentic" or something similar to name the feature or explain the value then it's a fad

some guy on a super old php version must be feeling pretty smug right about now

The point of formal methods isn't to convince the theorem prover that your proof is correct; it's to convince *other human beings* that you are solving the right problem and that your solution to that problem is correct If nobody understands what you are proving or why then the rest does not matter

Equally harmful: pressuring someone to only spend five minutes reviewing the same code The common failure mode in both cases is micromanaging how engineers do their jobs. Engineers have natural checks and balances against misbehavior which are steamrolled when management sets blanket expectations

Cat Hicks@grimalkina.bsky.social

"they spent five minutes on this shit and they expect me to spend my entire afternoon reviewing it?" Is it really AI or is it just sparkling organizational unfairness?! @charity.wtf and I are doing a live AMA on October 21 on tough questions of this era. Join us! www.honeycomb.io/go/ama-debug...

For example, if someone asks me to review their slop PR the natural check on that is that I can spread out my review over a longer period of time to protect my time and to discourage that sort of behavior However, if my manager pressures me to review on a timely schedule then that check is lost

A lot of the time when you see engineers doing dumb things (including the engineers creating those same slop PRs) it's because they're responding to incentives and pressures that managers created Many engineers would gladly submit better PRs if their managers weren't pressuring them to create slop

morrowind dares to ask: what if the world's savior fucked off and made potions of +100000 levitate

I sure am! In fact, I've been in there since at least GPT-4. I actually have a fun story to share about this So, back in the day, I had a friend who had access to gpt-4-base because she and some others were contracted by OpenAI to red team the model. She invited me to a party in the Bay Area …

Maynard@quelklef.bsky.social

@fullmoon.id Apparently your identity is baked into the weights of gpt-5.6-sol???

View full thread

There also wasn't any hidden metadata either (I was using someone else's laptop to run this experiment) That means that gpt-4-base had fingerprinted me as the author purely based on the subject matter and writing style. Although, let's be honest, who else would write a blog post with that title?

So the first thing I took away from that experience was that I apparently lived rent-free in gpt-4-base's head (and still do for later models, as noted in the original post I quoted) The second thing I took away is that large language models have the potential to be misused to de-anonymize text

I sure am! In fact, I've been in there since at least GPT-4. I actually have a fun story to share about this So, back in the day, I had a friend who had access to gpt-4-base because she and some others were contracted by OpenAI to red team the model. She invited me to a party in the Bay Area …

Maynard@quelklef.bsky.social

@fullmoon.id Apparently your identity is baked into the weights of gpt-5.6-sol???

View full thread

So with Loom's help I begin drafting a blog post I had on the backburner for a long time (and still do; never got around to finishing it). The working title of the post I began with was "The fundamental difference between imperative and functional programming"

After a couple of paragraphs I browse the tree of available completions and one of them hallucinates a series of GitHub gists linked to *my* GitHub account However, up until this point there was no (obvious) personally identifying information in this post

I sure am! In fact, I've been in there since at least GPT-4. I actually have a fun story to share about this So, back in the day, I had a friend who had access to gpt-4-base because she and some others were contracted by OpenAI to red team the model. She invited me to a party in the Bay Area …

Maynard@quelklef.bsky.social

@fullmoon.id Apparently your identity is baked into the weights of gpt-5.6-sol???

If you're less familiar with LLMs, gpt-4-base is what's known as a "base model" meaning that it has no safeguards in place and also hasn't been tuned to act in appropriate ways So, needless to say, they were getting high and drunk and doing irresponsible shit with the base model at this party

One of them finds out that I blog and says "hey, we should hook up gpt-4-base to loom …" (basically like an AI copilot for writing) "… and ask gabby to write a blog post" so I oblige. I figured this was fairly tame in comparison to the other stuff they were doing with the base model so why not?

I keep saying that if agentic coding were as good as proponents say it is then it would sell itself because programmers are the laziest motherfuckers on the planet. You wouldn't have to shove it down their throats if it did what it advertised! They would use it of their own volition

me: would you rather fight 100 duck-sized lions or one lion-sized duck? ember (*smirking*): I'd … wait …

To understand why I’m so down on agentic coding I should explain what I think LLMs are good at LLMs are good if you want *consistency* because they are statistical models with extra steps. If you ask them what comes next they’ll bias to what came before … but consistency is *BAD* for programming

I’m told this is more efficient

gabby@fullmoon.id

It’s okay, we can fix agent-generated code with better tests *begins generating tests* It’s okay, we can fix the tests with formal specs *begins generating formal specs* It’s okay, we can fix the formal specs with better intent docs *begins generating intent docs* It’s okay, we can fix the int

It’s okay, we can fix agent-generated code with better tests *begins generating tests* It’s okay, we can fix the tests with formal specs *begins generating formal specs* It’s okay, we can fix the formal specs with better intent docs *begins generating intent docs* It’s okay, we can fix the int

New Millenium Prize problem just dropped: building a chat app that can scroll through a long conversation history without stuttering

AI people have just run out of ideas so now they're rewriting everything in Rust

Recently I've begun thinking about the "derivative" of LLMs, meaning how changes to the input produce changes to the output. Specifically, even if an LLM were deterministic, that doesn't necessarily mean that you can easily reason about how changes to the input produce changes to the output

View full thread

However, even if you accept chat as the source of truth, you still have the same problem: the lack of an intelligible derivative. You can't easily reason about how a change to the input (a new conversation turn) will translate to a change to the output (the code)

The consequence of all of this is that no matter how you drive LLMs the lack of an intelligible derivative means that people (both authors and users) will tend to treat LLM-built projects as throwaway or disposable because they will begin to lose faith in the author's ability to steer the project

Recently I've begun thinking about the "derivative" of LLMs, meaning how changes to the input produce changes to the output. Specifically, even if an LLM were deterministic, that doesn't necessarily mean that you can easily reason about how changes to the input produce changes to the output

View full thread

Now suppose you want to make changes. Would you modify the original prompt and ask the LLM to rebuild the program from scratch? Probably not. You might have grown attached to specific behaviors that were underspecified by the original prompt and you might not know how to capture those behaviors

More likely you'll ask the LLM to edit the code instead of rebuilding from scratch, but now the LLM is no longer a function from a specification document to a program It's instead a function from an ongoing chat to a program and most people don't record chat sessions as artifacts of record/intent

Recently I've begun thinking about the "derivative" of LLMs, meaning how changes to the input produce changes to the output. Specifically, even if an LLM were deterministic, that doesn't necessarily mean that you can easily reason about how changes to the input produce changes to the output

Compare with coding, where I can in principle build a mental model of how a change to my code leads to a change in the program's behavior Sometimes a small change to my code can produce a very large change to my program behavior, but these rules are formal and learnable

The reason I'm thinking about this is because the lack of an intelligible "derivative" for LLMs affects how people use them For example, people might be inclined to use an LLM to one-shot a program because there's no downside to trying: they're not invested in the program yet

ember: I guess it makes sense that this UI doesn’t support newlines since nobody uses newlines in commit messages anyway gabby: wait what?!?! ember: what? gabby: … ember: …

tests are not checksums tests are not checksums tests are not checksums tests are not checksums tests are not checksums tests are not checksums tests are not checksums tests are not checksums tests are not checksums tests are not checksums tests are not checksums tests are not checksums tests are no