Henry Garner

@hendroid.io

Principal Engineer & AI Lead @juxt.pro AI/ML • data intensive applications • product Author of Clojure for Data Science https://cljds.com/book Maintainer of Clojure(Script) library kixi.stats {London | Cambridge | Brighton}, UK

Almost all our coding is done with agents now and the thing I miss is being told I'm wrong! Give one a vague instruction and it just runs with it. #Allium is our attempt at fixing that: you write down what the software should do and it helps you find bugs before they're implemented allium-lang.org

Allium LLM-native spec language

The specification language that talks back. Allium is a behavioural specification language for communicating intent to LLMs.

allium-lang.org

The concept of thinking will surely evolve. Every time we invent a machine to do something we thought only humans could do, we discover a little bit more about what it really means to be human.

Post nicht verfügbar.

In his book Human-Centered AI Ben Shneiderman argues that "interface designs that are consistent, predictable and controllable are comprehensible, thus enabling mastery, satisfaction and responsibility."

A point of view photograph of me reading the book Human-Centered AI, with the section that I quote highlighted in the text.

No one who’s applied optical character recognition at scale will be surprised to learn that Pokemon was quite popular in the early 18th century.

A screen grab from Google Ngram Viewer showing that ‘pokemon’ was almost as popular 1700-1750 as from 2000+An example of ‘pokemon’ showing an OCR misinterpretation of ‘possession’ written in copperplate gothic font.

𝐄𝐯𝐞𝐫𝐲 𝐒𝐲𝐬𝐭𝐞𝐦 𝐢𝐬 𝐚 𝐋𝐨𝐠 Here is an idea on how to drastically 𝐫𝐞𝐝𝐮𝐜𝐞 𝐜𝐨𝐦𝐩𝐥𝐞𝐱𝐢𝐭𝐲 𝐚𝐧𝐝 𝐜𝐨𝐨𝐫𝐝𝐢𝐧𝐚𝐭𝐢𝐨𝐧 in distributed apps. A fun way to look at this is similar to the idea of Turning the Database Inside Out - like Turning the Microservice Inside Out. restate.dev/blog/every-s... 👇

Every System is a Log: Avoiding coordination in distributed applications

Distributed coordination makes application complex and brittle. Because all systems eventually build on logs, we can use a shared-log approach to eliminate most coordination. We discuss this conceptua...

restate.dev

My 8000-word note on agents: huyenchip.com//2025/01/07/... 1. An AI-powered agent's capability is determined by its tools and its planning ability 2. How to select the best tools for your agent 3. How to augment a model’s planning capability 4. Agent’s failure modes Feedback is much appreciated!

Agents

Intelligent agents are considered by many to be the ultimate goal of AI. The classic book by Stuart Russell and Peter Norvig, Artificial Intelligence: A Modern Approach (Prentice Hall, 1995), defines ...

huyenchip.com

Me and my Shoggoth, sitting in a tree, F, E, E, L, I, N, G. First came Llull, then came Babbage, then came transformers in the baby carriage.