G-J van Rooyen

Domain Specific Languages as AI Supervision Gates Everyone's talking about AI agents. Autonomous this, agentic that.

trying this linkedinfluencer thing to say OCaml and Domain Specific Languages

www.linkedin.com/pulse/domain...

“Fish” can be both singular (one individual) and plural (multiple individuals of the same species.) “Fishes” is multiple species.

🐠 Fish

🐠🐠🐠 Fish

🐠🐡🐟 Fishes

Now you know. And knowing is half the battle.

How about:

Roses are red
Violets are blue
Lucy glows pinkish
Like when I see you

Literate Agents “We don’t really have any technical documentation in the data room yet, so you can just tell us what you need,” the CTO said.

I've been thinking a lot about how coding agents can help us write more literate programs.
gvrooyen.substack.com/p/literate-a...

This is great - it's about time someone updated the discourse on LLM energy usage to reflect that coding agents use massively more prompts than occasional questions to ChatGPT

Simon estimates that a day of coding agent usage comes out close to the energy needed to run a dishwasher

Bluesky is pleasant; it's my first port of call nowadays. AI-safe but not hypey.

I dip into X occasionally, very carefully, only stay in safe neighborhoods, and try not to say much.

Uh, I'd avoid Mastodon altogether if you have radical thoughts like "LLMs can theoretically be useful too"... 😂

My experience with agentic coding (Amp) and OCaml has been super positive - as in one-shotting an entire application that I now use daily. My working theory is that the strong type system gives the agent a very strict and tight feedback loop for converging on a working solution

The Frontier Is Now Free $10/day for any mode, including smart with Opus 4.5

Also, I see they've just announced that the ad-supported tier gives you $10 worth of Claude Opus 4.5 tokens per day, which seems pretty useful:

ampcode.com/news/amp-fre...

Amp Amp is a frontier coding agent that lets you wield the full power of leading models.

Have you had a look at Amp (ampcode.com)? Curated ensemble of models, and the CLI and IDE integrations are great. My team uses the paid plan, but the ad-supported free tier is apparently really good too

Please bring the card machine with you when you bring the bill. I had the pollo con spinaci, I didn't return the ring to Mordor. You don't have to split this interaction across multiple volumes.

Look folks gen AI videos are out in the wild so if you weren't already being careful about sharing rage bait videos then now is a great time to start

If you can't trace a video back to a trusted source then I recommend leaving it where it is, like a slice of bologna you found on the street

Minor medical situation on the flight and it’s cool that my wife is able to jump up and help out when they ask for a licensed medical professional.

One day someone will need a regular expression so I stay ready.

RIP Jane Goodall, by all accounts a wonderful woman who loved this Far Side cartoon

With the sad passing of Tom Lehrer, a flashback to the place where I heard one of his songs for the very 1st time more than three decades ago

Maine attraction!

Had a vampire marathon this weekend with my son: Nosferatu (1922), Shadow of the Vampire (2000), Nosferatu (2024). Highly recommended watching order 🧛🏻

Oh nice, I saw your tweet about that Robert Caro passage a couple of weeks ago. I was briefly intrigued and wondered where it came from, but things were a bit too busy to dig deeper.

The Power Broker is now in my library; really looking forward to start dipping into it

have been confused for days about insane cats invading our yard and destroying the plants for no reason only to find out I have accidentally planted fucking catnip all over the place, I am this neighborhoods feline drug lord, ive devasted their society

Out of interest, what was your takeaway from the jj experiment? I found it quite difficult to break my git muscle memory on shared work repos

Rereading an old fantasy novel from my youth. The protagonist names are all bouba; the villains outlandishly kiki

I switched to Arch a bit more then a week ago – 1st time with Linux as my main OS in more than a decade. Incredibly impressed by how mature, sleek, and customizable everything has become. And my entire Steam library is playable here now, with better performance than on Windows!

Not switching back.

Website for bank, insurance, airline, or buying tickets of any kind: Did you get that code I sent you

Me: Yeah, here you go

Website: Sweet, you're logged in

Me: Great is it cool if I go to the bathroom

Website: Yeah bro of course

Me: And you're not gonna log me out right

Website: Who is this

Screenshot of the "Gleam" section of the StackOverflow Developer Survey. Both "Worked with" and "Want to work with" are checked.

:fistpump:

Ek steel hierdie en maak dit "net hoed, geen stoet"

A `jj_prompt_info()` zsh function that generates a string with the current minimal commit identifier.

The prompt string I use in my `.zshrc` to just show the current minimal change ID. Since the working copy is always committed, no need to check for any uncommitted changes.

An LLM-generated prompt to give to LLMs. It describes the desired CSV structure, gives key instructions based on prior troubleshooting, and a clear description of the output artefact.

Love using plain chat as a scratchpad where I can back-and-forth with the AI until I get what I need (I've been desperate to turn my bank's old email statements into flexible machine-readable data for DECADES) and then just ask for a prompt that I can use in future or pass along to an agent

The word “login” comes from throwing a log attached to a rope with knots overboard a ship to see how many knots go by over time (see also, knots as speed). You’d then put that info in the “log book.” You’d “log in” on a regular basis. This wasn’t from 1959, it was likely from 1689! Etymology baby!

I think the git workflow bit is worth talking and writing about even more. This is definitely a topic I'll pick up with my team. I love how new tools can unexpectedly level-up old tools – thanks for pointing this one out!

"Speech is a clumsiness and writing an impoverishment," to quote Richard Rhodes somewhat out of context